[논문 리뷰] A constructive version of Birkhoff's ergodic theorem for Martin-L\"of random points

Laurent Bienvenu, Adam R. Day외 3명|arXiv (Cornell University)|2010. 07. 29.

Computability, Logic, AI Algorithms참고 문헌 7인용 수 6

한 줄 요약

이 논문은 캔터 공간 내의 마틴-lö프 무작위 점에 대해 비르코프의 에르고딕 정리의 효과적 판정을 구성적으로 증명하며, 계산 가능한 에르고딕 사상의 궤도에서 하향 연속 함수의 시간 평균이 공간 평균으로 수렴함을 보여준다. 핵심 기여는 일반적인 효과적 에르고딕 정리가 일반화된 쿠체라 유형 정리로 환원됨을 보이며, 이는 이전 결과보다 더 약한 가정 하에 더 단순한 새로운 증명을 제공한다.

ABSTRACT

A theorem of Ku\v{c}era states that given a Martin-L\"of random infinite binary sequence {\omega} and an effectively open set A of measure less than 1, some tail of {\omega} is not in A. We first prove several results in the same spirit and generalize them via an effective version of a weak form of Birkhoff's ergodic theorem. We then use this result to get a stronger form of it, namely a very general effective version of Birkhoff's ergodic theorem, which improves all the results previously obtained in this direction, in particular those of V'Yugin, Nandakumar and Hoyrup, Rojas.

연구 동기 및 목표

• 마틴-lö프 무작위 점과 효과적으로 열린 집합에 대해 비르코프의 에르고딕 정리의 효과적 판정을 확립하기.
• 관측 함수가 하향 연속일 경우(예: 효과적으로 열린 집합의 지시 함수일 경우) 효과적 에르고딕 정리가 성립하는지 여부라는 열린 문제를 해결하기.
• 일반화된 쿠체라 정리의 형태로 환원함으로써 효과적 에르고딕 정리의 새로운 단순화된 증명을 제공하기.
• 계산 가능한 측도 공간 내에서 보다 넓은 범주인 함수와 변환에 대해 효과적 에르고딕 정리의 적용 가능성을 확장하기.

제안 방법

• 계산 가능한 에르고딕 사상의 궤도가 측도가 1보다 작은 효과적으로 열린 집합에 머물 수 없음을 보이기 위해 쿠체라 정리를 일반화하기.
• 고전적 비르코프의 에르고딕 정리를 기초로 삼되, 표준 증명을 피함으로써 효과성을 유지하기.
• 구성적 추론을 통해 하향 연속 함수에 대한 일반 효과적 에르고딕 정리를 일반화된 쿠체라 정리로 환원하기.
• 일반화된 쿠체라 결과를 반복되는 에르고딕 사상에 대한 무작위 점의 수열에 적용하여 궤도 변환 하에서 랜덤성이 유지됨을 보장하기.
• 일반화된 마틴-lö프 테스트와 효과적으로 열린 집합의 측도론적 성질을 사용하여 추론을 체계화하기.
• 결과를 임의의 계산 가능한 확률 공간과 계층적으로 계산 가능한 에르고딕 사상으로 확장하기.

실험 결과

연구 질문

• RQ1 관측 함수가 하향 연속일 경우(예: 효과적으로 열린 집합의 지시 함수일 경우), 마틴-lö프 무작위 점에 대해 효과적 에르고딕 정리가 성립하는가?
• RQ2 전체 효과적 에르고딕 정리를 측도가 작은 효과적으로 열린 집합을 피하는 궤도를 포함하는 특수한 경우로 환원할 수 있는가?
• RQ3 고전적 비르코프 정리의 증명을 피하면서도 효과성을 유지하는 구성적 증명이 존재하는가?
• RQ4 반복되는 에르고딕 사상 하에서 수열의 랜덤성이 유한하거나 계산 가능한 궤도 이동을 통해 유지되거나 복구될 수 있는가?
• RQ5 조건부 무작위 원소의 수열에서 랜덤성 결함이 어떻게 누적되는가? 궤도 변환을 통해 이를 교정할 수 있는가?

주요 결과

• 이전 결과에서 계산 가능한 함수를 요구했던 바에 비해, 마틴-lö프 무작위 점과 하향 연속 함수에 대해 효과적 에르고딕 정리가 성립함을 보였다.
• 효과적으로 열린 집합에 대한 일반 효과적 에르고딕 정리는 일반화된 쿠체라 정리로 환원될 수 있으며, 이는 증명의 구조를 단순화한다.
• 마틴-lö프 무작위 점에서 시작하는 계산 가능한 에르고딕 사상의 궤도는 측도가 1보다 작은 어떤 효과적으로 열린 집합에도 머물 수 없다.
• 고전적 비르코프 정리의 증명을 피하고, 효과적인 측도론적 추론과 일반 마틴-lö프 테스트에 의존함으로써 증명을 구성하였다.
• 결과는 임의의 계산 가능한 확률 공간과 계층적으로 계산 가능한 에르고딕 사상으로 일반화되었다.
• 궤도 이동을 통한 새로운 방식으로 밀라베의 상대적 랜덤성에 대한 정리의 증명을 얻었으며, 이는 랜덤성 결함이 유한하거나 계산 가능한 변환을 통해 교정될 수 있음을 보여준다.