[论文解读] Elementary Proof of a Theorem of Jean Ville

Élliott H. Lieb, Daniel N. Osherson+1 more|ArXiv.org|Jul 11, 2006

Computability, Logic, AI Algorithms参考文献 8被引用 9

一句话总结

本文提供了让·维勒（Jean Ville）定理的一个初等、组合动机的证明，表明对于任意可数的选取函数集合，都存在一个二进制序列，其1的极限频率为1/2（即平衡），但通过从未超过一半比特为1的方式违反了公平性条件。该构造确保了所有无限次关注的选取函数最终仍产生1/2的极限频率，从而否定了冯·米塞斯（von Mises）的频率主义随机性定义。

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.

研究动机与目标

• 提供让·维勒定理的自包含、初等证明，该定理否定了理查德·冯·米塞斯（Richard von Mises）的频率主义随机性定义。
• 证明不存在任何可数的选取函数集合能完全刻画真正的随机性，因为总存在一个非随机序列满足所有基于选取函数的频率条件。
• 构造一个二进制序列，使其对所有选取函数都满足极限频率条件（1/2），但始终在每个有限阶段偏向0。
• 通过证明所选子序列频率的波动是有界的且增长慢于多项式，强化维勒原始结果，揭示基于选取的随机性存在更深层的结构性限制。

提出的方法

• 该证明通过阶段式递归方法构造二进制序列 $ q $，基于自然数的有限子集，其索引由选取函数决定。
• 定义了一组从选取函数导出的有限集 $ A^*(n) $，确保在任何有限阶段，序列中1的数目从不超过长度的一半。
• 在区间 $ I(n) $ 中使用底数 $ r > 2 $（例如 $ r = 3 $），以控制序列中1和0的累积和。
• 对每个选取函数 $ f_\nu $，其无限子序列中1的数目被限制为 $ C_\nu \times n^{\nu} $，其中 $ \nu > 0 $，且 $ C_\nu $ 依赖于 $ \nu $，从而确保极限收敛于1/2。
• 该方法借鉴了洛瓦兹（Loveland, 1966）和乌斯彭斯基等人（Uspenskii et al., 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 $，暗示存在进一步优化的可能。