结果族 238：Optimal logarithmic mixing of the Thorp shuffle · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
还是那台 Thorp 洗牌机。姊妹篇让换向规则按固定循环转（第 1、2、…、@@M@@d@@ 个方向轮着来），这篇却让每一步随机挑方向——唯一的规矩是任意连续 @@M@@d@@ 步的方向合起来能张满整个空间，就像开车时随机转向、但保证绝不原地兜圈。它独立复现了同样的结论：整副牌 @@M@@\Theta(d)@@ 次洗匀，还顺手把常数改进到 @@M@@512d@@。
关键词卡片
@@M@@d@@ 个构成 @@M@@\mathbb F_2^d@@ 的基。@@M@@k@@ 张牌放进 @@M@@n@@ 个位置的基准分布。看个具体例子
取 @@M@@n=2^{10}=1024@@：@@M@@256d=2560@@ 次后，任意指定的不超过 @@M@@7n/8=896@@ 张牌的联合位置已接近均匀注入；配上姊妹篇的 Fourier 传递定理，两个时间块共 @@M@@512d=5120@@ 次后整副牌收敛。数字版定理：@@M@@\|q_d^{*(512d)}-U_n\|_{\mathrm{TV}}\to0@@（对最坏初始牌序一致），而 @@M@@t<2d-O(1)=20@@ 次时绝不可能混合。
为什么值得关心
随机方向路线与固定循环路线方法迥异、结论一致，互为印证，说明 @@M@@\Theta(d)@@ 这个阶数是洗牌结构本身的属性，而非某个巧妙技巧的巧合；文中系统发展的”部分置换律何时能控制全排列”理论，也是从边际信息通往整副牌混合的通用桥梁。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”随机转向但不许原地兜圈”的开车比喻，翻译过来是：还是那台配对掷硬币的 Thorp 洗牌机，但每一步开关沿哪个方向由随机决定，唯一的纪律是任意连续 @@M@@d@@ 步的方向合起来能张满整个位置空间。姊妹篇按固定循环换方向，本文随机挑方向，殊途同归地得到整副牌 @@M@@\Theta(d)@@ 次洗匀，还把常数改进到 @@M@@512d@@。
第二级台阶
精确化：位置等同于 @@M@@\mathbb F_2^d@@ 的顶点，满足上述纪律的方向序列称为随机坐标架；只观察一部分牌的联合位置所得的分布称为部分置换律；@@M@@k@@ 张不同的牌无放回、均匀地落进 @@M@@n@@ 个位置的基准分布称为均匀注入。误差向量的平方和称为能量，能量随洗牌几何衰减是核心机制。
第三级台阶
定理在牌数 @@M@@2^d@@、坐标架纪律两条假设下陈述：前者承袭立方体结构，后者保证每 @@M@@d@@ 步内每个坐标都被刷新一次、单牌均匀性成立，也让新方向以大概率跨越旧张成的超平面。结论是：最坏初始牌序下 @@M@@32800d@@ 次物理洗牌后全排列律与均匀分布的总变差趋于零；更强的固定表估计说 @@M@@256d@@ 次后任一固定的至多 @@M@@7n/8@@ 张牌的有序像组与均匀注入的距离为 @@M@@o(1)@@ 且对表一致；配上姊妹篇的 Fourier 传递即得 @@M@@512d@@。支撑计数下界 @@M@@2d-O(1)@@ 与上界合并，最优混合阶 @@M@@\Theta(d)@@ 得以在第二条独立路线上确立。
利用随机坐标架独立证明 @@M@@2^d@@ 张牌的 Thorp 洗牌在 @@M@@32800d@@ 次后全排列律收敛到均匀分布、对最坏初始牌序一致；固定表估计与姊妹篇的 Fourier 传递结合改进到 @@M@@512d@@ 次，共同确立最优混合阶 @@M@@\Theta(d)@@。
同族姊妹篇用固定的循环坐标序列分析 Thorp 洗牌，本文另辟一条路线：允许每一步的开关方向随机，只要任意连续 @@M@@d@@ 个方向构成 @@M@@\mathbb F_2^d@@ 的基。这一自由度让”下一方向的匹配跨越任意超平面”成为大概率事件，从而可以沿用 swap-or-not 分析中的条件能量收缩思想（Hoang–Morris–Rogaway）。历史上 Aldous 与 Diaconis 曾报告 @@M@@O((\log n)^2)@@ 阈值的非正式论证，而严格的最好界长期是 Morris 的 @@M@@O(d^3)@@（二进制牌数）。本文不仅独立证得全牌混合的对数阶，还系统发展了”部分置换律”的理论：哪些关于部分牌的信息、以何种平均意义，能推出整副牌的收敛。
主定理：@@M@@n=2^d@@ 时 @@M@@\|q_d^{*(32800d)}-U_n\|_{\mathrm{TV}}\to0@@，且对每个确定性初始牌序一致成立；与支撑下界 @@M@@2d-O(1)@@（@@M@@t@@ 次洗牌至多 @@M@@2^{tn/2}@@ 种硬币串）合并，得最优混合阶 @@M@@\Theta(d)@@。文中还有一组强弱不同的推论：固定表估计——@@M@@256d@@ 次后任一固定的至多 @@M@@7n/8@@ 张牌有序像组与均匀注入（uniform injection）分布的距离为 @@M@@o(1)@@，且对表一致；轨道传递给出 @@M@@2048d@@；同一固定表估计配合姊妹篇”Fourier 传递”的同构估计得到最优推论 @@M@@512d@@（两个 @@M@@256d@@ 时间块），最终 @@M@@d<t_{\mathrm{mix}}(d)\le512d@@；另有 @@M@@2056d@@、@@M@@4096d@@、@@M@@32768d@@、@@M@@65568d@@ 等多条独立路线。
第一块基石是固定日程的坐标架恒等式（frame identity）：设方向序列 @@M@@v_1,\ldots,v_T@@ 满足任意连续 @@M@@d@@ 个方向构成基，则可用剪切矩阵 @@M@@L_t=L_{t-1}(I+e_{i(t)}c_t)@@ 递推构造线性双射，使沿这些方向的独立开关过程 @@M@@Z@@ 与原循环坐标过程 @@M@@X@@ 的整条路径同分布：@@M@@Z_t\overset{\mathrm{law}}=L_tX_tL_0^{-1}@@。原因在于共轭把均匀开关仍变为均匀开关——再复合该匹配子群的一个固定元素不改变均匀性。端点映射是位置双射、保持总变差距离，故固定输入表在两种描述下的距离相等；此恒等式只在方向日程完全固定后使用。
能量收缩则必须按时间顺序揭示方向：首个基之后，每步从前 @@M@@d-1@@ 个方向的张成之外均匀抽取新方向并掷全新硬币。在线观察场记录方向前缀与已暴露牌的路径前缀；一个关键因子化保证揭示下一方向不改变隐藏牌位置的条件律。隐藏牌的条件质量在两端都空闲的开关上被平均（平方误差有精确递减量），在只剩一个空闲位置的开关上被输运；跨超平面收缩引理断言期望能量下降至少是较小一侧空闲位置占比乘以当前能量。平衡的来源是独立于洗牌抽取的一块 @@M@@n/64@@ 张省略牌：条件于洗牌历史，其像是均匀子集，指数矩方法给出两侧失衡概率仅 @@M@@2(2/3^{3/4})^{n/64}@@。于是能量以速率 @@M@@1/256@@ 几何收缩，到 @@M@@T=1025d@@ 步时剩余能量不超过 @@M@@e^{-4d}@@ 加指数小项。经逐张序列比较与坐标架恒等式转回物理洗牌，再对均匀划分取平均，存在确定性的 64 块划分，其全部补集边际误差之和为 @@M@@o(1)@@。
提升阶段与姊妹篇同构而参数不同：每个补集像组识别块子群的左陪集（coset），统一修剪得到公共律，64 个陪集系质量被四倍均匀值封顶；把维数 @@M@@D@@ 的不可约表示限制到 64 个块子群的乘积，必有因子维数不超过 @@M@@D^{1/64}@@，轨道维数控制给出算子范数不超过 @@M@@AD^{-23/64}@@；32 个独立时间块的非平凡非符号 Plancherel 贡献以 @@M@@\sum D^{-21}@@ 计趋于零，符号表示由”翻最后一枚硬币等价于复合一个对换”单独消去，合计 @@M@@32\times1025d=32800d@@。@@M@@512d@@ 推论换用固定表估计（@@M@@256d@@ 步、对每个固定表一致）配合姊妹篇控制整个 Hilbert–Schmidt 范数的同构传递，只需两个时间块。
本文尚未形式化；按 OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。主定理 @@M@@32800d@@ 与姊妹篇的 @@M@@1600d@@ 相互独立、方法迥异（随机方向对固定循环方向），结论一致、互为印证；@@M@@512d@@ 推论则显式引用”Fourier 传递”篇的同构估计与互逆维数和定理，体现族内分工。文中 @@M@@2048d@@、@@M@@4096d@@ 等多条路线基于同一边际估计的不同放大方式，结构上互相支撑。
问 1：方向规则”任意连续 @@M@@d@@ 个方向构成基”为什么不能松成完全随机的独立方向？
（答：这一纪律承担两件事。其一，每个 @@M@@d@@ 步窗口内每个坐标恰被刷新一次，单牌均匀性由此而来；其二，新方向取在前 @@M@@d-1@@ 个方向的张成之外，使匹配能跨越旧超平面，能量收缩的递减量才能与较小一侧空闲占比挂钩。完全独立的方向会以不可忽略概率重复旧方向，收缩失效。）
问 2：坐标架恒等式为什么必须在方向日程完全固定后才能用，而能量计算又必须按时间顺序揭示方向？
（答：引言明言这是刻意分离的两个问题。路径比较的中间映射可能用到未来方向，只有日程先固定，剪切矩阵递推 @@M@@Z_t\stackrel{law}{=}L_tX_tL_0^{-1}@@ 才成立；而条件概率计算要求”揭示下一方向不改变隐藏牌位置的条件律”这一因子化，只在按时序另行生成的过程中可证。把恒等式当自适应工具用是致命错误。）
问 3：证明中最脆弱的一步是什么？
（答：失衡与能量的相关性处理。省略块 @@M@@n/64@@ 张牌独立于洗牌抽取，其像在固定洗牌历史后是均匀子集，指数矩给出两侧失衡概率仅 @@M@@2(2/3^{3/4})^{n/64}@@——但这是无条件界，失衡事件可与能量相关，论文只能靠能量至多为 @@M@@1@@ 兜底把两者相乘。这一”无条件兜底”若被误写成条件独立，速率 @@M@@1/256@@ 的几何收缩就是幻觉。）
问 4：与已有工作相比真正的新意是什么？
（答：与固定循环方向的姊妹篇方法迥异地独立证得对数阶（@@M@@32800d@@，后借 Fourier 传递改进到 @@M@@512d@@），确认 @@M@@\Theta(d)@@ 是结构属性而非技巧巧合；此前严格最好界是 Morris 的 @@M@@O(d^3)@@。文中系统发展的部分置换律理论——边际信息经陪集帽控与 Fourier 传递控制全排列——本身是新的通用桥梁。）
问 5：为什么主定理要 64 块、32 个时间块，而 @@M@@512d@@ 推论只需两个时间块？
（答：纯内部传递用轨道论证只控制算子范数，衰减较慢（@@M@@AD^{-23/64}@@），需 32 个独立块叠加才够 Plancherel 求和收敛；@@M@@512d@@ 路线换用姊妹篇控制整个 Hilbert–Schmidt 范数的同构估计，单个块信息更足，两块即成。块数与指数都是显式参数选择而非最优。）
问 6：这类 AI 生成证明最可能出什么错？
（答：时序问题最危险——恒等式与揭示次序的分离差半步就错；其次符号表示的单独处理（翻最后一枚硬币等价于复合对换、修剪后律只残余 @@M@@(1-M)/M@@ 的符号均值）与互逆维数和的局部估计都是无中间态的刚性步骤。）
问 7：下游谁会用到？
（答：部分置换律理论直接服务小域加密（承接 Morris–Rogaway–Stegers 的部分保证构造）；本篇是与姊妹篇互相独立的第二条证明，互为最硬的校验。）
总评
以随机方向独立复现对数阶混合并把常数压到 @@M@@512d@@，部分置换律框架的价值超出单一定理；最大风险在时序分离与”无条件失衡界兜底”两处精细步骤，好在与姊妹篇结论重合，交叉验证保险网结实。