1992年，数学家们 famously 证明了七次“洗牌”——那种玩家将一副牌分成两堆，然后用拇指以拉链状的动作将它们交错在一起——足以将牌洗乱。当Dave Bayer和Persi Diaconis提出这个证明时，他们还揭示了过程中的一个惊人现象：起初，牌保持相对有序。但到了第七次洗牌，牌组突然倾入一种高度无组织的状态。这种行为被称为截止现象，其兴趣超出了纸牌的范畴，许多动态系统——包括凝聚态物理中的“自旋玻璃”——被认为都会表现出这种现象。不幸的是，Bayer和Diaconis的证明——有些人称之为数学奇迹——只有在遵循一些严格的限制条件时才有效。如果你的洗牌方式更像是初中生而不是魔术师，结果就不成立。现在，三位数学家终于扩展了这一发现，适用于不那么精确的洗牌。哈佛大学统计学家Mark Sellke，目前正在OpenAI实习，和Jialu Shi及Jiamin Wang（分别是剑桥大学和普林斯顿大学的研究生）证明，即使不将牌组分成两堆整齐的堆，也存在洗牌的截止现象。Diaconis对他工作的更新表示热情：“这是个新想法，令人称奇的是这样的东西竟然如此有效，”他说。“这是一项杰出的数学成果。” 洗牌的冷点 将谦逊的洗牌称为“复杂”是极其简化的。普通牌组的可能排列有52的阶乘——也就是52 × 51 × 50 × … × 3 × 2 × 1，或（粗略来说）一个8后面跟着67个零，接近我们银河系中原子数量的估计数字。换句话说，每次你洗牌时，都会产生一种几乎从未存在且将来也不会再出现的配置。但对纸牌洗牌的数学兴趣超越了它的组合复杂性。早在1981年，Diaconis和Mehrdad Shahshahani在纸牌洗牌的背景下发现了截止现象——之后数学家们开始在各处发现它。Persi Diaconis在14岁时离家出走，与一位魔术师合作。10年后他重返学校并成为一名专业数学家。卡片魔术仍在他的研究中发挥着作用。 Caroline Gates 截止现象类似于物理中的相变，例如水在零摄氏度时突然结晶成固态冰。但截止现象发生在“马尔可夫链”的特定数学背景中，马尔可夫链是概率模型，描述了一个系统（如牌组）在不同配置之间运动的方式。截止现象，顾名思义，就像欧内斯特·海明威著名地描述破产一样：逐渐发生，然后突然。尽管截止现象普遍存在——据Sellke称，它们预计会出现在“大多数大型复杂系统”中——但证明关于它们的普遍定理也很困难。“对于大多数认为存在截止的情况，”与Diaconis合作的康奈尔大学数学家Laurent Saloff-Coste说，“人们不知道如何证明它。”这就是“七次洗牌足够”定理的重要之处。Bayer和Diaconis——在青少年时期离家出走向专门从事纸牌魔术的魔术师学习，后来成为著名的数学家——不仅证明了现实系统中确切截止现象的存在。他们提供了一个公式来确定截止的位置，这个公式适用于任何大小的牌组。然而，条款和条件也适用。一：洗牌必须遵循一个现实但严格的模型，其中牌是从左堆或右堆以随机方式逐一交错。（每一张牌以与剩余牌数成比例的概率从左或右堆掉落。这意味着牌不会简单地在左右之间交替，这会导致可预测的结构；相反，顺序可能是“左，右，右，左，右，左，左。”）二：牌组在洗牌前必须大致分成两半。“我们所有的分析都依赖于这些细节，”Diaconis说。1999年，芝加哥大学的数学家Steven Lalley试图放宽这些约束，寻求不以大致均匀切割牌组为前提的洗牌截止证明。“对我来说，这似乎是个自然的提问——有一些人倾向于将牌切得稍高或稍低，”他说。这些不那么均匀切割的牌组在多次洗牌后，牌的相对顺序往往保持不变。虽然结果...