0.00 / 17.30 s

Σ-LeWM: Learning World Models via S-Information for Robot Control

Xinrui Zu, Michael Przystupa, Zhao Yang, Shujian Yu, Kevin Sebastian Luck

Vrije Universiteit Amsterdam, The Netherlands

In one sentence

A decoder-free latent world model is trained not only to predict the next latent state, but also to explain the current state from where it lands and to recover the action that connects them. Together, the three objectives maximise the S-information of the transition (Zt, At, Zt+1) — and the resulting latent space plans better, further ahead, and with up to 7.5× less search.

Gear assembly · IsaacSim

Seat the peg in the hub

Same encoder, same planner, same data — only the training objective differs. Six of thirty test episodes, side by side: LeWM solves 1 of 30, Σ-LeWM solves 21 of 30.

Animated grid of gear-assembly episodes: LeWM solves 1 of 30, Σ-LeWM solves 21 of 30
The idea

One transition, three directions

Forward, backward and inverse dynamics are three readings of one transition.

LeWorldModel (LeWM) learns a latent transition f(zt, at) → zt+1 without a decoder. Σ-LeWM adds two auxiliary predictors, used only during training, so that every variable of the transition is predictable from the other two. Each predictor is a lower bound on a mutual-information term, and the three terms are the three orientations of one shape.

forward MSE + SIGReg
IF = I(Zt+1; Zt, At)

Predict the next latent from the current latent and the action. This is the standard LeWM objective, and the only predictor used at test time.

backward DCL
IB = I(Zt; Zt+1, At)

Explain the current latent from where the action lands. A contrastive backward-dynamics head keeps states that lead to the same outcome close together.

inverse DCL
II = I(At; Zt, Zt+1)

Recover the action from two consecutive latents. The embedding must keep whatever the action changed — the control-relevant structure.

IF + IB + II  =  TC(Zt, At, Zt+1) + DTC(Zt, At, Zt+1)  =  Σ(Zt, At, Zt+1)

The sum of the three directional terms is the total correlation plus the dual total correlation — the S-information, written Σ. Hence the name.

Diagram of the forward, backward and inverse predictors trained on the shared encoder
Fig. 1 — One shared encoder, three predictors. Forward dynamics is trained with the LeWM loss; backward and inverse dynamics with the decoupled contrastive loss (DCL). At test time only forward dynamics is used, so planning is identical to LeWM: CEM in latent space.
Results

Better plans, longer horizons, less search

93.6%Push-T successvs. 85.2% for LeWM at the same planner setting (h=5, CEM30).
+18 ppLong horizonGain over random at h=15 on Cube; the margin over LeWM grows with the horizon.
7.5×Faster planning4 CEM iterations already match LeWM at 30 on Push-T; 8 iterations beat it.
73%Gear assemblyStrict success on a sealed gear-assembly task, vs. 10% for LeWM (IsaacSim).
MethodPush-TCubeTwoRoomReacher
Random policy (floor)2.043.623.613.6
LeWM85.264.890.487.2
Sub-JEPA93.269.294.084.0
RC-aux68.494.884.8
Σ-LeWM (ours)93.682.891.288.0

Table I — Success rate (%) on the four standard LeWM benchmarks, same CEM planner (h=5, 30 iterations), 5 seeds × 50 episodes.

Overview of main results: longer horizon, planning speed, robot manipulation, task difficulty
Fig. 2 — Longer horizons (a), planning speed (b), sealed gear assembly (c) and tightening success tolerance (d).
Gear assembly and Franka stacking results
Fig. 6 — Two IsaacSim manipulation tasks with strict success criteria, against LeWM, AC-MTM and SMWM.
Why it works

The latent space keeps what control needs

PCA of the frozen latents, coloured by physical quantities. With the backward and inverse objectives, block height, gripper closure and task success each occupy a compact, separable region; one-step reachability from a state forms a clean fan of sixteen action directions. A learned GC-IDM planner also does better on these latents than on LeWM's (Cube: 97.6% vs. 90.4%).

PCA visualisations of LeWM and Σ-LeWM latents coloured by physical quantities
Fig. 7 — Push-T reachability, Cube block height, Cube gripper state and Gear task-relevance. Top row LeWM, bottom row Σ-LeWM.

Both backward and inverse are necessary

Cube, h=5, success %. Contrastive (DCL) variants; adding either auxiliary term helps, adding both helps most.

LeWM base64
+ inverse72
+ backward80
+ both (Σ-LeWM)84
Citation
@article{sigma-lewm2027,
  title     = {{\Sigma}-LeWM: Learning World Models via S-Information for Robot Control},
  author    = {Zu, Xinrui and Przystupa, Michael and Yang, Zhao and Yu, Shujian and Luck, Kevin Sebastian},
  year      = {2027}
}