学習したワールドモデルは、ロールアウト誤差が制御されたホライズン上でのみ有用である。論文「Conformal Orbit-Valid Trust Horizons for Equivariant World Models」は、既知の群対称性を備えた潜在ワールドモデルに対する信頼ホライズン認証を扱う。著者らは、1ステップの潜在残差と有限時間展開の推定から生のホライズン曲線を構成し、分割共形の乗法因子で校正することで、分布的な保証を伴う信頼ホライズン証明書を得る手法を提案する。
再現可能な監査セット上で、校正によって得られた共形因子はγ_α=1.0であった。これは、監査プロトコルの下では生の証明書がすでに十分保守的であることを意味する。著者らは50回の安定監査を実施し、反保守的な違反を1件も観測しなかった。この結果に基づき、違反率に対する正確二項分布の95%上界は5.8%と報告されている。
本論文の主要な構造的結果は、正確な同変性が校正済みの信頼ホライズン曲線を群軌道上に輸送できるという点である。具体的には、環境の力学、エンコーダ、予測器、行動変換、および潜在計量が論文で示された同変・不変条件を満たすとき、ロールアウト誤差と信頼ホライズンは群軌道上で一定になる。これにより、対称性を利用して校正コストを削減できる理論的根拠が与えられる。
実装面では、構築されたモデルは軌道輸送残差が小さいことを示す。14回の軌道監査において、残差の中央値は1.1%、最大値は4.1%であった。また証明書は空ではなく、認証ホライズンと実測ホライズンの比の中央値は0.67であり、保守的ではあるが実用的な意味を持つことが示された。
さらに著者らは、証明書レベルの校正コスト研究を行い、相補的な2つの状況を明らかにした。対称な2次元基板上では、同変モデル、通常モデル、拡張モデルのいずれも単一の校正セクターから軌道有効証明書を得られ、モデル間の分離は見られなかった。これは、この基板自体が非等変ベースラインを近似的に軌道ロバストにしているためである。一方、3次元ヨー監査では別の状況が現れる。同変モデルは単一セクターで安全かつ非空の軌道有効証明書を獲得するが、健全な非等変ベースラインは違反、緩み、鋭さ、または追加セクターのコストを支払う必要がある。
重要な注意点として、この証明書は保守的な分布的監査であり、大域的な可達性保証ではない。また、証明書に誘導されたサブゴール間隔は、現在の3次元CEM-MPC行動層では確認されていない。これは、証明書の下流応用にはさらなる検証が必要であることを示唆している。本論文は15ページ、図6点からなり、2026年6月23日に投稿された、機械学習とロボティクスの交差領域に位置する研究である。