[论文解读] On the universality of potential well dynamics

Terence Tao|arXiv (Cornell University)|Jul 8, 2017

Mathematical Dynamics and Fractals参考文献 9被引用 3

一句话总结

本文证明，光滑势阱中粒子的动力学具有普遍性：当且仅当流支持一个强适应1-形式时，任何非奇异、紧致的光滑流都可以嵌入此类系统。利用Nash嵌入定理，作者构建了一个具有强制势阱的系统，该系统图灵完备，意味着系统中轨迹行为可编码任意图灵机的停机问题，从而使某些可达性问题不可判定。该结果可推广至环面上的非线性波动方程及黎曼流形上的系统。

ABSTRACT

Given a smooth potential function $V : \mathbf{R}^m o \mathbf{R}$, one can consider the ODE $\partial_t^2 u = -( abla V)(u)$ describing the trajectory of a particle $t \mapsto u(t)$ in the potential well $V$. We consider the question of whether the dynamics of this family of ODE are \emph{universal} in the sense that they contain (as embedded copies) any first-order ODE $\partial_t u = X(u)$ arising from a smooth vector field $X$ on a manifold $M$. Assuming that $X$ is nonsingular and $M$ is compact, we show (using the Nash embedding theorem) that this is possible precisely when the flow $(M,X)$ supports a geometric structure which we call a \emph{strongly adapted $1$-form}; many smooth flows do have such a $1$-form, but we give an example (due to Bryant) of a flow which does not, and hence cannot be modeled by the dynamics of a potential well. As one consequence of this embeddability criterion, we construct an example of a (coercive) potential well system which is \emph{Turing complete} in the sense that the halting of any Turing machine with a given input is equivalent to a certain bounded trajectory in this system entering a certain open set. In particular, this system contains trajectories for which it is undecidable whether that trajectory enters such a set. Remarkably, the above results also hold if one works instead with the nonlinear wave equation $\partial_t^2 u - Δu = -( abla V)(u)$ on a torus instead of a particle in a potential well, or if one replaces the target domain $\mathbf{R}^m$ by a more general Riemannian manifold.

研究动机与目标

• 确定光滑势阱中粒子的动力学是否能普遍模拟任意光滑、非奇异、紧致的流。
• 识别一种几何障碍——具体而言，即强适应1-形式的存在性——以解释为何某些流无法实现此类嵌入。
• 构建一个图灵完备的势阱系统，使其中的轨迹行为可编码任意图灵机的停机问题。
• 将普遍性结果从有限维欧氏空间推广至环面上的非线性波动方程及一般黎曼流形上的系统。
• 证明不可判定性可在光滑势阱动力学中自然出现。

提出的方法

• 作者利用Nash嵌入定理，将给定的紧致、非奇异流等距嵌入具有黎曼度量的欧氏空间。
• 他们将强适应1-形式定义为将光滑流嵌入势阱动力学的必要且充分的几何条件。
• 该构造涉及将流嵌入四维环面，利用不相交区域表示通用图灵机的状态与纸带配置。
• 在环面上定义了一个微分同胚，通过在不相交方块上使用仿射映射以及在Cantor集上使用斜积，模拟图灵机的转移规则。
• 通过将波动方程视为环路空间上的哈密顿系统，将该系统扩展至环面上的非线性波动方程。
• 关键技术创新在于在配置空间中利用Cantor集结构来编码无限纸带状态，并模拟图灵计算。

实验结果

研究问题

• RQ1 在何种几何条件下，光滑、非奇异、紧致的流可被嵌入势阱动力系统？
• RQ2 在势阱动力系统中是否存在一个通用动力系统，可模拟紧致流形上任意一阶常微分方程？
• RQ3 图灵机的停机问题能否在光滑势阱系统的轨迹行为中被编码？
• RQ4 势阱动力系统的普遍性是否可推广至如环面上的非线性波动方程等无穷维系统？
• RQ5 强适应1-形式的存在性在决定流能否嵌入势阱动力系统中起何种作用？

主要发现

• 当且仅当流支持一个强适应1-形式时，光滑、非奇异、紧致的流才可被嵌入势阱系统。
• 强适应1-形式的存在是此类嵌入的必要且充分条件，Bryant给出的反例表明，当该形式不存在时，嵌入不可实现。
• 可构造一个具有强制势阱的系统，使其图灵完备，即任意图灵机在给定输入下的停机等价于轨迹进入某一特定开集。
• 在此系统中存在有界轨迹，其是否进入目标开集的问题不可判定，从而证明了光滑势阱动力学中存在内在不可判定性。
• 普遍性结果可推广至环面上的非线性波动方程，以及一般黎曼流形上的势阱系统，且保持相同的嵌入与不可判定性特征。
• 该构造表明，此类系统中轨迹可达性的判定可在有限精度下实现，意味着不可判定性在有限精度观测下仍具鲁棒性。