[논문 리뷰] Elementary Proof of a Theorem of Jean Ville

Élliott H. Lieb, Daniel N. Osherson외 1명|ArXiv.org|2006. 07. 11.

Computability, Logic, AI Algorithms참고 문헌 8인용 수 9

한 줄 요약

이 논문은 장 비유의 정리를 간단하고 조합론적으로 유도된 증명을 제시한다. 이는 임의의 가산적인 선택 함수 집합에 대해, 1의 비율이 1/2로 수렴하는 균형 잡힌 이진수열이 존재하지만, 그 수열은 항상 1의 비율이 절반 이하로 유지되며 공정성 조건을 위반함을 보여준다. 이 구성은 모든 무한번 이상 관심을 가질 선택 함수가 여전히 1/2로 수렴하는 빈도를 보장하여, 폰 마이제스의 빈도주의적 난수 정의를 반박한다.

ABSTRACT

Considerable thought has been devoted to an adequate definition of the class of infinite, random binary sequences (the sort of sequence that almost certainly arises from flipping a fair coin indefinitely). The first mathematical exploration of this problem was due to R. Von Mises, and based on his concept of a "selection function." A decisive objection to Von Mises' idea was formulated in a theorem offered by Jean Ville in 1939. It shows that some sequences admitted by Von Mises as "random" in fact manifest a certain kind of systematicity. Ville's proof is challenging, and an alternative approach has appeared only in condensed form. We attempt to provide an expanded version of the latter, alternative argument.

연구 동기 및 목표

• 장 비유의 정리를 자가 포함된 간단한 증명을 제공함으로써, 리처드 폰 마이제스의 빈도주의적 난수 정의를 뒤엎는다.
• 모든 가산적인 선택 함수 집합이 진정한 난수를 완전히 특징지울 수 없음을 보이며, 항상 모든 선택 기반 빈도 조건을 만족하는 비난수 수열이 존재함을 보여준다.
• 모든 선택 함수에 대해 한계 빈도 조건(1/2)을 만족하지만, 모든 유한 단계에서 0에 대해 편향된 이진수열을 구성한다.
• 비유의 원래 결과를 강화하여, 선택된 부분수열 빈도의 진동이 유계이면서 다항식보다 느리게 증가함을 보이며, 선택 기반 난수의 더 깊은 구조적 제약을 시사한다.

제안 방법

• 선택 함수로 인덱싱된 자연수의 유한 부분집합 기반으로 재귀적 방법을 사용해 이진수열 $ q $ 를 단계적으로 구성한다.
• 선택 함수에서 유도된 유한 집합 $ A^*(n) $ 의 순서열을 정의하여, 수열에서 1의 수가 언제나 유한 단계에서 길이의 절반을 초과하지 않도록 보장한다.
• 구간 $ I(n) $ 에서 기저 $ r > 2 $ (예: $ r = 3 $) 를 사용하여 수열에서 1과 0의 누적합을 제어한다.
• 각 선택 함수 $ f_\nu $ 에 대해, 그 무한 부분수열에서 1의 수는 $ C_\nu \times n^{\nu} $ 이하로 제한되며, $ C_\nu $ 는 $ \nu $ 에 따라 달라지며, 이는 수렴이 1/2로 이루어짐을 보장한다.
• 로벨란드(1966)와 우스펜스키 등(1990)의 조합 기법을 활용하여 더 명확하고 구조적인 증명을 유도한다.
• 최종 수열 $ q $ 는 $ q(n) $ 이 역사 $ A[1], \dots, A[n] $ 에만 의존하도록 정의되어 있어, 구성이 잘 정의되고 단계별로 계산 가능하다.

실험 결과

연구 질문

• RQ1 전체적으로 1의 빈도가 1/2로 수렴하는 이진수열을 구성할 수 있는가? 그러나 어떤 가산적인 선택 함수 집합에 의해 선택된 무한 부분수열의 1의 빈도도 모두 1/2로 수렴하면서, 모든 유한 단계에서 누적 1의 수가 길이의 절반을 초과하지 않는가?
• RQ2 이러한 수열에서 선택된 부분수열 빈도의 진동을 유계로 제한할 수 있으며, 만약 가능하면 그 진동은 얼마나 빨리 증가하는가?
• RQ3 이러한 수열의 존재가 폰 마이제스의 난수 정의를 반박하는가? 만약 그렇다면 어떤 조건에서 반박하는가?
• RQ4 이 구성 방식을 수정하여 진동의 유계를 더욱 낮추는, 예를 들어 로그적 또는 더 느린 증가율로 만들 수 있는가?
• RQ5 진동 유계의 증가율과 구성에서 사용된 구간 기저 $ r > 2 $ 의 선택 간의 관계는 무엇인가?

주요 결과

• 구성된 수열 $ q $ 는 $ \lim_{n\to\infty} S(q[n])/n = 1/2 $ 를 만족하여, 1의 빈도가 전체적으로 균형을 이루고 있음을 보장한다.
• 모든 선택 함수 $ f_\ell \in \mathcal{E} $ 가 유한한 위치를 무한히 선택하는 경우, $ \lim_{n\to\infty} S_f(q\|n)/n = 1/2 $ 를 만족하여, 모든 선택 함수에 대해 빈도 조건이 충족됨을 보여준다.
• 모든 유한 단계 $ n $ 에서 누적합 $ S(q[n]) \leq n/2 $ 를 만족하여, 1의 수가 언제나 0의 수를 초과하지 않으며, 공정한 동전 수열에서 예상되는 대칭성을 위반한다.
• 진동 $ \delta_\ell(n) = S_f(q\|n) - n/2 $ 는 $ \ell $ 에 따라 달라지는 상수 이하로 유계이므로, 부분수열이 공정성에서 크게 벗어나지 않음을 나타낸다.
• 모든 $ \varepsilon > 0 $ 에 대해, 진동은 $ \delta_\ell(n) \geq -C_\ell(\varepsilon) \cdot n^\varepsilon $ 를 만족하여, 음의 방향으로 다항식보다 느리게 증가함을 보여준다.
• 기저 $ r > 2 $ 를 조정함으로써, 진동 유계를 $ n $ 의 어떤 양의 거듭제곱보다도 느리게 증가시킬 수 있으며, 향후 보다 정교한 개선이 가능할 것으로 시사된다.