arXiv:2606.24945cs.LGcs.RO2026-06

研究物理模型在学习表示后如何保持守恒律,给出可证明的演化步数上限。

When Do Conservation Laws Survive Learned Representations? Certified Horizons for Latent World Models

论文配图:When Do Conservation Laws Survive Learned Representations? Certified Horizons for Latent World Models
图 1 · 摘自论文原文
  • 以解码后的物理不变量为认证对象,而非学习到的隐变量哈密顿量。
  • 在多种观测设置下,认证范围可达数十至数百步,非线性越强效果越好。
  • 适用于验证复杂表示学习系统中物理规律的可靠性,适合从事世界模型研究者。

我们提出一个表示学习问题:当模型学习隐表示后,物理守恒律是否仍可被证明?通过定义‘认证时域’,可在事先根据可观测模型缺陷,确定轨迹在物理不变量等值面上可保证维持的步数。关键在于认证目标:不认证学习到的隐哈密顿量或标量见证函数(模型可能在真实能量上漂移),而是解码隐状态后评估已知不变量所得到的物理不变量。围绕该对象,我们推导出壳层时域证书,其预算分解为表示、读出和隐动力学三类缺陷;通过软学习见证函数与不变量之间的单调对齐桥,实现对解码不变量的认证时域。我们在状态、学习升维和像素观测的保守系统上进行了测试。结果表明,守恒律可经受表示学习的考验,但并非所有几何先验都同样鲁棒。硬正则辛结构在已知相空间坐标下提供最长时域,但无法跨越学习到的坐标图;而受控-利普希茨对齐的软不变量则在非线性学习表示中表现良好,尤其在两个升维系统中,收益随非线性增强,并在像素数据上恢复认证能力(在读出稳定子管内)。开普勒问题揭示了几何边界。核心对象不是隐哈密顿量,而是解码后的物理不变量,其对表示学习的鲁棒性可被测量、认证与证伪。

原文摘要 · Abstract (English)

We ask a representation-learning question about physical world models: when does a conservation law remain certifiable after a model learns a latent representation? A certified horizon bounds -- in advance, from measurable model defects -- how many steps a rollout provably stays on a physical invariant's level set. The key design choice is what is certified: not a learned latent Hamiltonian or a learned scalar witness (a model can conserve either while drifting in true energy), but the decoded physical invariant obtained by decoding the latent state and evaluating the known invariant. Around this object we derive shell-horizon certificates whose budget decomposes into representation, readout, and latent-dynamics defects, with a monotone alignment bridge through which a soft learned witness yields a certified horizon for the decoded invariant, and test them across state, learned-lift, and pixel observations on conservative systems. Conservation certificates can survive learned representation, but not all geometric priors survive equally. Hard canonical symplectic structure yields the longest horizons in known phase coordinates yet does not cross a learned chart, whereas a controlled-Lipschitz-aligned soft invariant survives in the nonlinear learned-representation settings we test -- two lift systems, with the gain growing with nonlinearity, and pixels. Pixel certification is recovered on a readout-stable sub-tube, and the Kepler problem exposes a geometric boundary. The central object is therefore not a latent Hamiltonian, but a decoded physical invariant whose robustness to representation learning can be measured, certified, and falsified.

世界模型守恒律表示学习认证

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。