[논문 리뷰] Algorithmically random points in measure preserving systems, statistical behaviour, complexity and entropy

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

Computability, Logic, AI Algorithms참고 문헌 11인용 수 2

한 줄 요약

이 논문은 동역학적 시스템의 동역학과 불변 측도가 계산 가능한 조건을 만족하는 측도를 유지하는 동역학계에서 알고리즘적으로 무작위인 점들을 조사한다. 계산 가능한 분할을 이용해 효과적인 기호 모델을 구성함으로써, 이러한 점들이 일반적인 통계적 행동을 보이며(비르코프 에르고딕 정리에 따라), 재귀적임을 증명하고, 궤도 복잡도가 시스템의 메트릭 엔트로피와 동일하다는 것을 보인다.

ABSTRACT

We consider the dynamical behavior of Martin-Lof random points in dynamical systems over metric spaces with a computable dynamics and a computable invariant measure. We use computable partitions to define a sort of effective symbolic model for the dynamics. Trough this construction we prove that such points have typical statistical behavior (the behavior which is typical in the Birkhoff ergodic theorem) and are recurrent. We introduce and compare some notion of complexity for orbits in dynamical systems and we prove that the complexity of the orbits of random points equals the entropy of the system.

연구 동기 및 목표

• 계산 가능한 측도를 유지하는 동역학계에서 마르틴-뢰프 무작위 점들의 동역학적 행동을 분석하기.
• 이러한 랜덤 점들이 비르코프 에르고딕 정리에 따라 예측된 일반적인 통계적 행동을 보임을 확립하기.
• 동역학계에서 궤도의 복잡도 개념을 정의하고 비교하기.
• 랜덤 점들의 궤도 복잡도가 시스템의 메트릭 엔트로피와 동일하다는 것을 증명하기.

제안 방법

• 계산 가능한 분할을 통해 효과적인 기호 모델을 구성하여 시스템의 역학을 표현하기.
• 계산 가능한 불변 측도를 이용해 시스템 맥락에서 알고리즘적 무작위성을 정의하기.
• 비르코프 에르고딕 정리를 적용하여 랜덤 점들이 일반적인 통계적 행동을 보임을 보여주기.
• 특히 콜모고로프 복잡도를 중심으로 알고리즘 정보 이론에 기반한 궤도 복잡도 정의하기.
• 궤도의 渐近적 복잡도와 시스템의 메트릭 엔트로피 사이의 대응 관계 수립하기.
• 시스템 내에서 일반적인 행동을 통해 알고리즘적 랜덤 점들의 재귀성 증명하기.

실험 결과

연구 질문

• RQ1 계산 가능한 측도를 유지하는 동역학계에서 마르틴-뢰프 랜덤 점들이 비르코프 에르고딕 정리에 의해 예측된 바와 같이 일반적인 통계적 행동을 보이나?
• RQ2 계산 가능한 구조를 가진 동역학계 맥락에서 궤도 복잡도를 어떻게 공식적으로 정의하고 비교할 수 있는가?
• RQ3 랜덤 점들의 궤도의 알고리즘적 복잡도와 시스템의 메트릭 엔트로피 사이에 직접적인 관계가 존재하는가?
• RQ4 이러한 시스템에서 알고리즘적 랜덤 점들의 재귀성을 어떻게 확립할 수 있는가?
• RQ5 계산 가능한 분할은 어떻게 효과적인 기호 모델을 구성하는 데 도움이 되는가?

주요 결과

• 계산 가능한 측도를 유지하는 동역학계에서 알고리즘적 랜덤 점들은 비르코프 에르고딕 정리에 의해 보장되는 바와 같이 일반적인 통계적 행동을 보인다.
• 이 점들은 재귀적이며, 초기 위치의 임의의 이웃에 무한히 반복하여 돌아오는 성질을 가진다.
• 궤도 복잡도는 알고리즘 정보 이론, 특히 콜모고로프 복잡도를 중심으로 공식적으로 정의된다.
• 랜덤 점들의 궤도의 渐近적 복잡도는 시스템의 메트릭 엔트로피와 동일하다.
• 계산 가능한 분할을 통해 구성된 효과적인 기호 모델은 필수적인 동역학적 성질을 유지하며, 랜덤성과 복잡도의 분석을 가능하게 한다.
• 결과적으로 이 연구는 계산 가능한 동역학계에서 알고리즘적 랜덤성, 통계적 일반성, 엔트로피 간의 깊은 연결을 확립한다.