贝叶和迪亚科尼斯1992年证明7次精确切洗即可随机化牌堆，若放宽切牌约束，答案直到2024年才揭晓。
1992年，数学家Dave Bayer和Persi Diaconis完成了一项影响深远的证明：一副标准的52张扑克牌经过7次标准的切洗式洗牌后，牌堆排列将达到彻底的随机状态。这个结果中最令人着迷的是所谓的"截断现象"：从第1次到第6次洗牌，牌堆始终保持相当有序的状态，可一旦迈过第7次的门槛，混乱便骤然降临。正如海明威描述一个人如何破产的那句名言："先是渐进的，然后突然爆发。"截断现象不仅在扑克牌中存在，在凝聚态物理的自旋玻璃以及众多大规模动力系统中都被认为普遍存在。
但这一经典结论背后潜藏着一个严格约束：每次洗牌时牌堆必须被切成大致均等的两半，并按照精确的概率模型逐张交错合并——每张牌从左右两堆中掉落的概率与各堆剩余牌数成正比。Diaconis这位14岁离家出走拜师魔术师后来成为斯坦福大学教授的传奇数学家坦言："我们所有的分析都依赖于那些具体操作细节。"
1999年，芝加哥大学数学家Steven Lalley尝试放宽这些约束来处理不均切牌的问题。他在混合过程中识别出了所谓的"冷点"——牌堆中某些区域的牌即使经过多次洗牌仍然倾向于保持原有的相对顺序，这些冷点是牌序信息的最后藏身之处。Lalley设想当冷点消失时截断现象就会出现，但他始终无法给出完整的证明，问题因此搁置了二十余年。
转机出现在2024年夏季。哈佛大学统计学家(目前在OpenAI工作的)Mark Sellke、剑桥大学研究生Jialu Shi以及普林斯顿大学研究生Jiamin Wang三位年轻数学家联手攻克了这一难题。他们的关键创新是为每张牌分配一串由0和1组成的"条形码"来追踪其在整个洗牌过程中的路径轨迹：每次切牌后，落入左堆的牌被标注为1，右堆的牌被标注为0，经过多轮洗牌后每张牌都积累了一个唯一的二进制标签序列。两张牌如果拥有完全相同的条形码，就意味着它们在最终排列中仍然保持了最初的相对顺序。冷区提供了一条巧妙的计算捷径——既然只有这些区域对混合有抵抗，就只需要检查冷区中牌面的条形码是否匹配。以此为基础，三人成功证明了只要经过足够多次的洗牌(次数取决于牌的初始数量和切割的均匀程度)，截断现象总是会发生。Diaconis对此给予了极高评价："这是一项杰出的数学成果，是一个全新的思路，令人惊叹的是这样的方法居然真正有效。"一副52张牌的排列方式为52的阶乘，大约是一个8后面跟着67个零，这个数字几乎与整个银河系中原子的估计总数相当——也意味着你每一次洗牌创造出的排列组合在宇宙历史上几乎肯定从未出现过。
原文：https://www.quantamagazine.org/seven-perfect-shuffles-randomize-a-deck-of-cards-but-how-many-sloppy-ones-20260617/