[論文レビュー] On the universality of potential well dynamics

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

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

ひとこと要約

本稿では、滑らかなポテンシャル井戸内の粒子の力学的挙動が、任意の非特異的かつコンパクトな滑らかな流れが、強い適応可能1形式を備える場合に限り、そのような系に埋め込み可能であるという意味で普遍的であることを確立している。ナッシュ埋め込み定理を用いて、チューリング完全な強制的ポテンシャル井戸系を構成し、その系における軌道の挙動が任意のチューリングマシンの停止問題を符号化できることを示しており、特定の到達可能性の問題が決定不能である。この結果は、トーラス上の非線形波動方程式およびリーマン多様体に対しても拡張可能である。

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形式の存在を同定すること。
• 任意のチューリングマシンの停止問題が、有界な軌道内に符号化可能なチューリング完全なポテンシャル井戸系を構築すること。
• 有限次元ユークリッド空間からの普遍性結果を、トーラス上の非線形波動方程式および一般のリーマン多様体へのポテンシャル井戸系へと拡張すること。
• 滑らかなポテンシャル井戸力学から自然に生じる、決定不能性が動的系に現れることを示すこと。

提案手法

• 著者たちはナッシュ埋め込み定理を用いて、与えられたコンパクトで非特異な流れをリーマン計量を備えたユークリッド空間に等長埋め込みする。
• 滑らかな流れをポテンシャル井戸力学に埋め込むための必要十分な幾何的条件として、強い適応可能1形式を定義する。
• 埋め込みは4次元トーラスに施され、状態とチューリングマシンのテープ状態を表す互いに交わらない領域を用いる。
• トーラス上に微分同相写像を定義し、互いに交わらないボックス上でアフィン写像を用いてチューリングマシンの遷移規則を模倣し、カントール集合上でスケイプ積を用いる。
• 波動方程式をループ空間上のハミルトニアン系とみなすことにより、トーラス上の非線形波動方程式への拡張がなされる。
• 主な技術的革新は、無限のテープ状態を符号化しチューリング計算を模倣するために、配置空間にカントール集合の構造を用いることである。

実験結果

リサーチクエスチョン

• RQ1 滑らかで非特異的かつコンパクトな流れが、ポテンシャル井戸系の力学に埋め込まれるための幾何的条件は何か？
• RQ2 コンパクト多様体上の任意の1階常微分方程式を模倣できる普遍的な動的系が、ポテンシャル井戸力学内に存在するか？
• RQ3 チューリングマシンの停止問題が、滑らかなポテンシャル井戸系の軌道挙動に符号化可能か？
• RQ4 ポテンシャル井戸力学の普遍性は、トーラス上の非線形波動方程式のような無限次元系へと拡張可能か？
• RQ5 強い適応可能1形式の存在が、流れがポテンシャル井戸力学に埋め込み可能かどうかを決定する上で果たす役割は何か？

主な発見

• 滑らかで非特異的かつコンパクトな流れは、強い適応可能1形式を備える場合に限り、ポテンシャル井戸系に埋め込み可能である。
• 強い適応可能1形式の存在は、そのような埋め込みのための必要十分条件であり、ブライアントによる反例により、この形式が存在しない場合には埋め込みが不可能であることが示されている。
• チューリング完全な強制的ポテンシャル井戸系を構築可能であり、任意のチューリングマシンの停止は、特定の開集合への軌道の到達と同値である。
• 特定の開集合への到達可能性が決定不能である有界な軌道が存在し、滑らかなポテンシャル井戸力学における本質的決定不能性を示している。
• 普遍性の結果は、トーラス上の非線形波動方程式および一般のリーマン多様体上のポテンシャル井戸系へと拡張可能であり、同じ埋め込みおよび決定不能性の性質を保っている。
• この構成により、このような系における軌道の到達可能性は有限の精度で測定可能であり、決定不能性が有限精度観測のもとでも安定であることが示唆される。