CST-WM

A Causally Structured World Model
for Embodied Visual Tracking

Junyi Hu  ·  Shuaihang Yuan  ·  Yi Fang

New York University Abu Dhabi

corresponding author  ·  jh10472@nyu.edu

Given one egocentric view and two candidate action sequences, a conventional world model routes the action directly into the target-evidence update and cannot tell the two apart; CST-WM removes that edge and its predictions match the simulator.
The failure this paper is about. From one egocentric observation, the robot must imagine which of two candidate action sequences — A (forward, turn-left) or B (forward, turn-right) — keeps the target visible and at a valid following distance. A conventional world model routes the current action directly into the target-evidence update, so it produces plausible-looking rollouts that fail to separate A from B. CST-WM deletes that edge: target evidence H is updated without reading the action, which only reaches future observations through the robot branch x. The resulting predictions distinguish the two sequences and agree with the simulator.

Abstract

When the sensor moves with the agent, the agent's own action and what it observes stop being independent. Any predictor trained on that data faces a choice it is never told about: learn how the action moves the body and how the world answers, or learn the shortcut and read the answer straight off the command. Both fit the data. Only one is the relation you meant.

We call the second outcome causal hallucination. In embodied visual tracking it takes a precise and damaging form: the model writes the current action directly into the latent state that represents whether the target is still visible, instead of letting the action reach that state only through robot motion and the change in observation it produces. The rollouts stay plausible and the semantics go wrong — an agent planning on them cannot separate an action that keeps the target in view from one that loses it, and re-acquisition after occlusion is assigned no meaning at all.

CST-WM writes the relation among robot, target and environment into the transition itself. The latent state is decomposed into a target-evidence branch, a robot branch and an observation branch, and the factorization blocks any action-carrying representation from entering the target-evidence update while action remains available to robot motion and observation. The constraint is architectural rather than a penalty term, and it is verified rather than assumed: we measure the leakage Jacobian |∂H/∂a| and intervene by swapping actions at rollout time. Combined with rollout-based model-predictive control, one objective yields both stable following and temporary re-acquisition.

Predicting the future accurately is not the same as predicting it for the right reasons. For an agent that acts on what it predicts, the structure of the prediction has to match how evidence actually reaches it — and a constraint that cannot be shown to hold is not a constraint.

The idea

An agent that follows a person spends most of its time in the easy case. The moments that decide the episode are the other ones — the target occluded, drifting out of frame, or confusable with someone else — where the robot has to commit to a movement before reliable evidence comes back. The value of an action there is not how it moves the robot; it is what the action will do to the evidence.

That framing rules out both of the usual answers. A reactive tracker is myopic: once the target disappears it has nothing left to plan with. But a generic action-conditioned world model is not the answer either, because the very entanglement it is trained on offers it the shortcut. Action should reach target evidence by moving the body and changing what the body will see — not by being written into the target state directly. A predictor that takes the shortcut still produces plausible futures while conflating control with evidence, and no accuracy metric computed on those futures will tell you which model you have.

01

Structured latent state

Target evidence, robot state, and observation are separate branches rather than one entangled latent.

02

Blocked action edge

The transition is factorized so no action-carrying representation can enter the target-evidence update — enforced architecturally, not by a penalty.

03

One planner, two behaviours

Stable following and temporary re-acquisition fall out of the same rollout-based MPC objective.

Method

Each egocentric frame yields a compact target-evidence token H — an open-vocabulary detection confidence plus the normalized target box area, i.e. whether the target is observable and how large it appears — together with a visual latent Z from a frozen VAE and a robot state x integrated from the action history. Crucially, H is a planning-oriented summary of observability and apparent scale, not a full external state estimate, so no privileged geometry is needed at test time.

The transition is a diffusion model whose three branches are denoised in a fixed order under strict masking: H is updated without reading the action; the robot branch absorbs the action and becomes the sole action carrier; the observation branch then fuses both. The computational graph contains no direct edge from the action to target evidence, and the zero Jacobian ∂Hℓ+1/∂a = 0 serves as a diagnostic that the constraint really holds. Planning is model-predictive control with the Cross-Entropy Method, scoring rollouts directly on the predicted evidence tokens — so the planner never has to decode a full image at every horizon.

Pipeline: structured state construction, causally structured diffusion transition with masked branches, and model-predictive planning with the Cross-Entropy Method.
Overall pipeline. (a) Structured state construction. (b) Causally structured diffusion transition — the three branches denoised in a fixed order under architectural masking. (c) Model-predictive planning with CEM: candidate action sequences are rolled out, scored, and the first action of the best sequence is executed in receding-horizon form.

Is apparent scale a usable stand-in for distance?

Within the 1–3 m following range the protocol targets, the detector-derived evidence score rises monotonically with closeness and only saturates at very short range — enough to regulate following distance without ever estimating metric distance. Training it with an auxiliary in-range distance label (simulator-only, and never used at test time) closes most of the gap to a direct-distance oracle: 0.70 DRS versus the oracle's 0.72.

Detector-based target-evidence score plotted against true relative robot-human distance, rising monotonically over most of the range.
The target-evidence score against true robot–human distance on EVT-Bench. It is an observability–distance proxy for planning, not a calibrated geometric estimate.

Demo

Real-world deployment on a physical robot, recorded across four environments that differ in lighting and layout, plus one clip isolating a target-loss and re-acquisition episode. Pick a segment:

Bright indoor. Office corridors under normal lighting. The robot holds a steady following distance down a straight corridor while the target walks away from it.

All four environment segments, uncut, in one file: full video (2:58).

Qualitative real-world tracking results in several different environments.
Qualitative real-world tracking in different environments.

Results

Evaluated on EVT-Bench and Habitat 3.0 from egocentric observations only, with scene-disjoint splits and three seeds. The adapted NWM baseline shares our observation interface, planning horizon, candidate budget, and action bounds — so the only remaining difference is the latent transition design.

Tracking

MethodEVT SR↑EVT TR↑EVT CR↓ Hab. F↑Hab. DRS↑Hab. ES↑
Uni-NaVid25.739.541.9
Habitat 3.0 baseline0.290.470.40
SDA-S20.390.630.43
TrackVLA85.178.61.65
TrackVLA++86.081.02.10
Adapted NWM0.410.610.49
CST-WM88.783.41.410.530.700.61
In-domain EVT-Bench (SR / TR / CR) and Habitat 3.0 standard tracking (F / DRS / ES). Cross-dataset transfer from EVT-Bench to Habitat 3.0 holds the same ordering (CST-WM 0.48 F vs. 0.43 for the adapted NWM).

Recovery after temporary target loss

MethodShort occl. Re-acq.↑Long occl. Re-acq.↑ Out-of-FOV Re-acq.↑Distractor Re-acq.↑Long occl. TTR↓
TrackVLA0.710.480.520.4314.6
Adapted NWM0.750.540.570.4913.2
CST-WM0.840.690.730.659.8
The margin is widest under long occlusion and distractor crossing — the conditions that most require long-horizon reasoning and a clean separation between target evidence and action-conditioned observation change.

Does the structural constraint actually hold?

Three diagnostics say yes, and that it matters. The Jacobian of predicted target evidence with respect to the current action falls to 0.001 for CST-WM against 0.112 for the adapted NWM. Under an action-swap intervention the predicted evidence stays put (variance 0.006 vs. 0.084). And in a controlled check where the humanoid is held still while the robot moves, target-evidence stability reaches 0.98 while observation sensitivity stays at 0.84 — the model is selectively insensitive to action in the right branch, not numb to it everywhere.

Offline rollout fidelity versus planning horizon: latent prediction error and target-visibility AUROC.
Rollout fidelity. Lower latent error and higher target-visibility AUROC at every horizon, with the gap widening as the horizon grows.
Radar chart of the ablation study on Habitat 3.0, with the full model enclosing every ablated variant.
Ablations. Removing action masking costs the most in re-acquisition and worsens leakage; the full model encloses every variant.
Qualitative recovery episodes after temporary target loss on EVT-Bench.
Recovery episodes after temporary target loss on EVT-Bench.
Performance versus per-step latency for three planning configurations.
Performance–latency trade-off. The default configuration captures most of the gain without the cost of the largest setting.

Citation

@article{hu2026cstwm,
  title   = {CST-WM: A Causally Structured World Model for Embodied Visual Tracking},
  author  = {Hu, Junyi and Yuan, Shuaihang and Fang, Yi},
  journal = {arXiv preprint},
  year    = {2026}
}