[논문 리뷰] On the universality of potential well dynamics

Terence Tao|arXiv (Cornell University)|2017. 07. 08.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 3

한 줄 요약

이 논문은 매끄러운 잠재우물 내에서 입자의 역학이, 유한성과 비특이성 조건을 만족하는 임의의 매끄럽고 컴act한 흐름이 강하게 적응된 1형식을 지닌 이상, 잠재우물 시스템에 임bed할 수 있다는 의미에서 보편성을 갖는다. 나쉬 임bedding 정리에 기반해 저자들은 튜링 완전인 강제 잠재우물 시스템을 구성하였으며, 이는 궤적 행동이 임의의 튜링 기계의 정지 문제를 암호화할 수 있음을 의미한다. 이로 인해 일부 도달 가능성 질문은 결정 불가능해진다. 이 결과는 토러스 상의 비선형 파동 방정식과 리만 다양체로까지 확장된다.

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.

연구 동기 및 목표

• 매끄러운 잠재우물 내에서 입자의 역학이 임의의 매끄럽고 비특이적이며 컴팩트한 흐름을 보편적으로 모델링할 수 있는가를 규명하는 것.
• 특정 흐름에 대한 임bed 가능성을 방해하는 기하학적 장벽, 즉 강하게 적응된 1형식의 존재 여부를 규명하는 것.
• 임의의 튜링 기계의 정지 문제를 유한 궤적 내에 암호화하는 튜링 완전 잠재우물 시스템을 구성하는 것.
• 유한 차원 유클리드 공간에서의 보편성 결과를 토러스 상의 비선형 파동 방정식과 일반 리만 다양체로 확장하는 것.
• 매끄러운 잠재우물 역학에서 결정 불가능성이 자연스럽게 발생할 수 있음을 보여주는 것.

제안 방법

• 저자들은 주어진 컴팩트하고 비특이적인 흐름을 리만 메트릭을 지닌 유클리드 공간에 등거리 임bed하기 위해 나쉬 임bed딩 정리를 사용한다.
• 강하게 적응된 1형식은 매끄러운 흐름을 잠재우물 역학에 임bed할 수 있는 필요 및 충분한 기하학적 조건으로 정의된다.
• 유한한 흐름을 4차 토러스에 임bed하고, 상태와 테이프 구성에 대해 서로소 영역을 사용하여 유니버설 튜링 기계의 상태를 표현한다.
• 토러스 위에서 정의된 미분동형사상은 서로소 상자 위에서의 애핀 변환과 칸토어 집합 위에서의 스케일드 프로덕트를 통해 튜링 기계의 전이 규칙을 시뮬레이션한다.
• 파동 방정식을 루프 공간 위의 해밀토니안 시스템으로 간주함으로써, 토러스 상의 비선형 파동 방정식으로 시스템을 확장한다.
• 핵심적인 기술적 혁신은 구성 공간에 칸토어 집합의 구조를 도입하여 무한한 테이프 상태를 암호화하고 튜링 계산을 시뮬레이션하는 데 있다.

실험 결과

연구 질문

• RQ1 매끄럽고 비특이적이며 컴팩트한 흐름이 잠재우물 역학 시스템에 임bed될 수 있는 기하학적 조건은 무엇인가?
• RQ2 컴팩트한 다양체 위의 임의의 1차 상미분방정식을 시뮬레이션할 수 있는 보편적인 동역학 시스템이 잠재우물 역학 내에 존재하는가?
• RQ3 튜링 기계의 정지 문제가 매끄러운 잠재우물 시스템의 궤적 행동에 암호화될 수 있는가?
• RQ4 잠재우물 역학의 보편성 결과는 토러스 상의 비선형 파동 방정식과 같은 무한차원 시스템으로까지 확장되는가?
• RQ5 강하게 적응된 1형식의 존재가 흐름이 잠재우물 역학에 임bed될 수 있는지 여부를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 매끄럽고 비특이적이며 컴팩트한 흐름은 강하게 적응된 1형식을 지닐 때에만 잠재우물 시스템에 임bed될 수 있다.
• 강하게 적응된 1형식의 존재는 이러한 임bed 가능성을 위한 필요 및 충분 조건이며, 브라이언트의 반례는 이 형식이 없을 경우의 비임bed 가능성을 보여준다.
• 튜링 완전인 강제 잠재우물 시스템을 구성할 수 있으며, 이는 임의의 튜링 기계가 주어진 입력에 대해 정지하는 것과 특정 열린 집합에 궤적이 도달하는 것이 동치가 된다는 것을 의미한다.
• 이 시스템 내에는 특정 목표 열린 집합에 도달하는지 여부를 결정할 수 없는 유한 궤적이 존재하며, 이는 매끄러운 잠재우물 역학 내에서 내재된 결정 불가능성을 보여준다.
• 보편성 결과는 토러스 상의 비선형 파동 방정식과 일반 리만 다양체 상의 잠재우물로까지 확장되며, 동일한 임bed 가능성 및 결정 불가능성 성질을 유지한다.
• 이 구성은 이러한 시스템에서 궤적 도달 가능성은 유한 정밀도로 측정될 수 있음을 보여주며, 이는 결정 불가능성이 유한 정밀도 관측 하에서도 강건함을 의미한다.