[논문 리뷰] Dynamical systems, simulation, abstract computation

Stefano Galatolo, Mathieu Hoyrup외 1명|arXiv (Cornell University)|2011. 01. 04.

Cellular Automata and Applications참고 문헌 36인용 수 4

한 줄 요약

이 논문은 계산 분석과 튜링 기계 모델을 사용하여 동역학 시스템에서 불변 측도, 줄리 집합, 일반적인 점의 이론적 한계를 조사한다. 많은 동역학적 양—특히 조각별로 확장되는 사상에서의 불변 측도—는 임의의 정밀도로 계산될 수 있음을 보여주지만, 일부 시스템에서는 이러한 계산이 본질적으로 불가능하며, 동역학에서 시뮬레이션에 대한 본질적인 이론적 장벽을 설정한다.

ABSTRACT

We survey an area of recent development, relating dynamics to theoretical computer science. We discuss the theoretical limits of simulation and computation of interesting quantities in dynamical systems. We will focus on central objects of the theory of dynamics, as invariant measures and invariant sets, showing that even if they can be computed with arbitrary precision in many interesting cases, there exists some cases in which they can not. We also explain how it is possible to compute the speed of convergence of ergodic averages (when the system is known exactly) and how this entails the computation of arbitrarily good approximations of points of the space having typical statistical behaviour (a sort of constructive version of the pointwise ergodic theorem).

연구 동기 및 목표

• 알고리즘을 사용하여 불변 측도와 줄리 집합와 같은 핵심 동역학적 객체를 엄밀하게 계산할 수 있는지의 이론적 가능성을 조사하기.
• 이러한 객체들이 튜링 기계에 의해 임의의 정밀도로 계산될 수 있는 조건을 규명하기.
• 특히 혼돈적 또는 비균일하게 하이퍼볼릭인 설정에서 동역학 시스템의 시뮬레이션과 계산에 대한 이론적 한계를 설정하기.
• 통계적 행동이 일반적인 성질을 띠는 계산 가능한 점들의 수열을 계산하여 점별 에르고딕 정리의 구성적 판본을 제공하기.
• 계산 가능성 결과의 강건성과 복잡성, 시간 복잡도 및 시스템의 변화에 대한 민감도를 고려하여 분석하기.

제안 방법

• 측도와 집합을 임의의 정밀도로 계산할 수 있는 개념을 형식화하기 위해 계산 가능한 분석과 계산 가능한 거리 공간을 사용한다.
• 조각별로 확장되는 사상에서의 불변 측도의 계산 가능성을 증명하기 위해 효과적인 상수를 갖는 라스오타-요르케 부등식을 적용한다.
• 에르고딕 평균의 균일 수렴 결과를 활용하여 통계적으로 일반적인 성질을 띠는 계산 가능한 점들의 수열을 구성한다.
• 지도와 측도의 알고리즘적 기술을 활용하여 불변 집합과 측도의 효과적인 근사치를 생성한다.
• 에르고딕 평균의 수렴 속도에 기반하여 불변 측도의 지지집합에 조밀하게 분포하는 의사난수 점들의 균일한 알고리즘적 구성 방법을 제안한다.
• 시간 제한이 있는 변형과 시스템 매개변수의 변화가 계산 가능성에 미치는 영향을 고려하여 계산의 복잡성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 튜링 기계가 동역학 시스템의 불변 측도를 임의의 정밀도로 계산할 수 있는가?
• RQ2 줄리 집합과 관련된 브로린-류비치 측도는 알고리즘적으로 계산 가능할 수 있으며, 그 계산 복잡도의 상한은 무엇인가?
• RQ3 주어진 에르고딕 시스템에 대해 통계적으로 일반적인 성질을 띠는 계산 가능한 점들의 수열을 알고리즘적으로 생성할 수 있는가?
• RQ4 계산 가능한 시스템이지만 불변 측도가 계산 가능한 시스템은 존재하는가?
• RQ5 불변 측도의 계산 가능성은 조각별로 확장되거나 비균일하게 하이퍼볼릭인 지도와 같은 시스템의 정규성과 구조에 따라 어떻게 달라지는가?

주요 결과

• 계산 가능한 도함수를 갖는 조각별로 확장되는 사상에서는 라스오타-요르케 부등식의 효과적인 추정치를 사용하여 물리적 불변 측도를 임의의 정밀도로 계산할 수 있다.
• 계산 가능한 동역학 시스템 중에서도 계산 가능한 불변 측도가 존재하지 않는 경우가 존재하며, 이는 동역학에서 시뮬레이션에 대한 본질적인 이론적 한계를 보여준다.
• 초등형 및 일부 포물형 케이스에서는 줄리 집합과 관련된 브로린-류비치 측도가 계산 가능하지만, 일부 시겔 평면의 줄리 집합은 매우 높은 시간 복잡도를 가진다.
• 불변 측도의 지지집합에 조밀하게 분포하며 점별 에르고딕 정리를 만족하는 계산 가능한 점들의 균일한 수열을 알고리즘적으로 구성할 수 있다.
• 에르고딕 평균의 수렴 속도는 시스템 기술로부터 효과적으로 추정할 수 있으며, 이는 일반적인 점들의 알고리즘적 구성에 기여한다.
• 비계산 가능한 불변 측도의 존재는 반드시 강건하지는 않지만, 이 현상은 드물며 시스템의 미세한 구조적 성질에 따라 달라질 수 있다.