250 年无解的「36 军官问题」被量子纠缠攻克 — 量子容错设计的新数学资源
18 世纪俄国女皇叶卡捷琳娜二世向欧拉提出过一个经典难题:能否把来自 6 个军团、各自拥有 6 种军衔的 36 名军官,排在 6×6 方阵里,使每行每列的军衔与军团都不重复?
欧拉认为无解。1900 年塔里(Tarry)用穷举法严格证明:经典世界里这个谜题确实无解。
这条结论挂了 122 年。2022 年,波兰雅盖隆大学的 Rather 等人首次发现:如果把问题「量子化」,36 军官问题其实可以找到解——用的是「纠缠的量子拉丁方阵」。
2026 年,比利时根特大学的 Simeon Ball 与西班牙加泰罗尼亚理工大学的 Robin Simoens 在 Physical Review Letters 上发表论文 *Thirty-six quantum officers are entangled*(arXiv:2603.02334),证明了量子解之所以成立的关键正是「纠缠」——如果剥离纠缠,量子拉丁方阵也无法解决 36 军官问题,会回到经典无解的同一面墙。
三个关键事实
- 经典无解 122 年 → 2022 年量子解被发现 → 2026 年证明「解必须依赖纠缠」
- 这项工作找到了一种全新的绝对最大纠缠态(AME 态)——这种特殊量子态恰恰是量子计算和量子通信领域的重要资源
- 证明方法是数学归约 + 计算机穷举的组合:6×6 经典拉丁方阵本质上只有 12 种「家族」,作者用程序检查每一种家族能否找到量子搭档——10 种直接被否定,剩下 2 种用「3×3 子方块陷阱」逻辑反驳
为什么这件事跟量子计算产业有关
AME(Absolutely Maximally Entangled)态不是普通量子态。它是一类 n 体系统中的「最大化纠缠」资源——每个子系统在所有可能子集上都达到最大纠缠度。这种态有三个直接应用方向:
1. 量子纠错码:AME 态天然适合作为某些稳定子码的编码态,因为它在子系统丢失时仍能保留最大信息量 2. 量子通信:AME 态在「秘密共享」和「量子密钥分发」协议里是核心资源 3. 量子网络:多体纠缠在分布式量子计算里是节点之间的「共享内存」
Simoens 和 Ball 的工作第一次把 AME 态的构造问题跟一个具体的数学难题联系起来——这意味着研究者现在有了一条新的、可证明可行的构造路径,而不是依赖启发式搜索。
容错量子计算机的下一步
要让量子计算机真正实用,关键瓶颈从来不是「比特数」,而是「错误率」+「纠错开销」。当前主流路线是基于表面码(surface code)的纠错——谷歌 Willow、潘建伟团队的祖冲之 3.2 号都在用这条路。
AME 态提供了一种「先天的纠缠保护层」——如果纠错码建立在 AME 态基础上,理论上能减少对额外辅助比特的依赖。换句话说:
- 传统表面码:1 个逻辑比特 ≈ 数百到数千物理比特(码距 7-31)
- AME 编码态路线:可能把比例压低一个数量级(这仍是研究目标,不是工程结论)
它对「量子优势」边界意味着什么
这篇论文有一个第二层意义:它划清了经典世界和量子世界的精确边界。在量子拉丁方阵的框架里:
- 「叠加」(superposition):不够 → 解不出来
- 「叠加 + 纠缠」:够了 → 解出来了
- 「叠加 + 无纠缠」:回到经典无解
为什么这件事现在被中文媒体普及
36 军官问题本身就是一个「科普友好」的量子纠缠问题——从欧拉到塔里到 Rather 再到 Simoens/Ball,叙事线非常完整,适合向大众讲清楚「量子纠缠到底有什么用」。
而绝对最大纠缠态(AME)的工程价值,正是产业资本和科研团队 2026 H2 最关注的资源。潘建伟团队的祖冲之 3.2 号已经实现码距 7 表面码的「低于阈值、越纠越对」;谷歌 Willow 在同一里程碑上抢先一步但用的是「直流脉冲量子态泄漏抑制」路线,扩展性较差。
AME 态的发现,给中国和美国的纠错路线都提供了一个可能的替代或补充选项——不是替代表面码,而是在特定架构里减少对辅助比特的依赖。
12 个月内值得盯的具体测试:哪一家量子硬件厂商能把 AME 态编进自己下一代处理器(IBM Kookaburra、Quantinuum Helios 后续型号、谷歌下一代芯片)的物理比特布局里。这是判断「量子优势」叙事是否在 2027 年走向工程化的关键试金石。