结果族 266：Exactly three mutually unbiased bases in dimension six · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
两套”互相猜不透”的量子骰子：用 A 套掷出任何一面，换 B 套去验，结果永远均匀——六个结果各六分之一。这样的测量基叫”互相无偏基”，套数越多越能榨出量子信息。这篇论文证明：六维空间里它们最多 3 套，悬了三十多年的 Zauner 猜想就此了结。
关键词卡片
看个具体例子
对照小例子：五维是素数幂，存在完备族，@@M@@N(5)=6=5+1@@；六维不是素数幂，本文证明 @@M@@N(6)=3@@——恰好是张量积构造（2 维 × 3 维）能给出的数目，一个也多不出来。无偏性的具体含义就是 @@M@@|\langle b,c\rangle|^2=1/6@@：下图是用 B 基测量 A 基某个向量时六个结果的概率。
为什么值得关心
这是第一个被精确敲定的非素数幂维数 N(d)；论文的诚实处理也自觉——结论显式条件于声明的 binary64 算术与编译器合约，并附全部源码、数据哈希与执行档案。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”两套互相猜不透的量子骰子”说的是：对象是六维复空间里的一组测量基（骰子的六个面），操作是用一套基去检验另一套基的任意一面。”猜不透”意味着检验结果永远均匀——六个结果各六分之一；要问的是：这样两两猜不透的骰子最多能同时有几套？
第二级台阶
| 用本科语言：两个正交基称为互相无偏（MUB），如果一个基的任何向量 b 在另一个基的任何向量 c 方向的投影模方都等于 1/d，即 | ⟨b,c⟩ | ²=1/d；N(d) 记两两无偏基的最大个数。把第一基换成坐标基后，第二基形如 H/√6，其中 H 是复 Hadamard 矩阵——元素模长 1、行行正交的方阵。素数幂维数存在 d+1 个的完备族，但 6 不是素数幂。 |
第三级台阶
定理的陈述带一个不寻常的前提：在论文附录声明的 binary64 浮点算术与编译器条件下，认证验证管线的一次完整执行排除 C⁶ 中任意四个两两无偏基，结合张量积构造给出的 3 个基，得 N(6)=3。”任意复基”意味着第二基须取遍全部六阶复 Hadamard 矩阵——一个连续无穷族，这正是前人只敢处理 Fourier 族的原因；而”算术合约”则诚实承认计算机证明的条件性：认证失败只记为未解决，绝不当作排除。结论还附赠 Lie 代数版本：sl₆(C) 中两两 Killing-正交的 Cartan 子代数至多 3 个。
本文证明 @@M@@\mathbb{C}^6@@ 中两两无偏的正交基最多只有 3 个，即 @@M@@N(6)=3@@，解决了 Zauner 提出三十余年的六维 MUB 猜想：下界来自 @@M@@\mathbb{C}^2\otimes\mathbb{C}^3@@ 的张量积构造，上界则由一次完整的认证计算排除 4 个基的存在。
两个正交基称为互相无偏（mutually unbiased），如果一个基中任何向量在另一个基下测量都得到均匀分布，即 @@M@@|\langle b,c\rangle|^2=1/d@@。这一有限维互补性概念源于 Schwinger 1960 年的工作；Ivanović（1981）与 Wootters–Fields（1989）证明素数幂维数存在达到上界 @@M@@d+1@@ 的完备族。六维是第一个非素数幂维数，张量积构造恰好给出 3 个基；Zauner 在 1991 年的学位论文中猜想 @@M@@N(6)=3@@，该式后来被 Klappenecker–Rötteler（2004）列为明确的 Conjecture 1。此前最接近的结果是 Jaming–Matolcsi–Móra–Szöllősi–Weiner（2009）的认证离散化：他们只证明了标准基与两参数 Fourier 族中的第二基不能扩成 4 个基。真正的障碍在于第二个基必须允许取遍所有 6 阶复 Hadamard 矩阵（complex Hadamard matrix），一个连续无穷的族。
主定理（计算机辅助）：在论文附录声明的 binary64 算术与编译器条件下，文档化验证管线的一次完整执行证实 @@M@@\mathbb{C}^6@@ 中不存在 4 个两两无偏的正交基，从而 @@M@@N(6)=3@@。下界则完全是初等的：在 @@M@@\mathbb{C}^2\otimes\mathbb{C}^3@@ 上取三个 @@M@@2\times2@@ 与三个 @@M@@3\times3@@ 西矩阵的张量积 @@M@@U_r=A_r\otimes B_r@@，其列构成三个互相无偏的基。论文还给出一个 Lie 代数推论：@@M@@\mathfrak{sl}_6(\mathbb{C})@@ 中对同一标准伴随 @@M@@X\mapsto X^*@@ 封闭、两两 Killing-正交的 Cartan 子代数（Cartan subalgebra）至多 3 个——无偏性恰好等价于对应子代数的 Killing 正交。
先把第一基换成坐标基，第二基便写成 @@M@@H/\sqrt6@@，其中 @@M@@H@@ 是满足 @@M@@|H_{ij}|=1@@、@@M@@HH^*=6I@@ 的复 Hadamard 矩阵；要证的是任何 @@M@@H@@ 都不能与坐标基一起再添两个基。整个证明是一条五级管线。
第一步做种子覆盖。对 @@M@@H@@ 去相（第一行、列全为 1）后剩 9 个自由相位；利用”最小圆隙”对称归约和一组必要区间测试（gap 过滤、消没和的 Taylor 余项过滤、共享坐标的区间相交），把一切可能的九相位装进有限多个半径 @@M@@0.032@@ 的球。对约 1.5 亿个相位格对的穷举最终保留约 25 万个种子中心。
第二步（Stage A）补全。将 @@M@@H@@ 按 @@M@@2+4@@ 分块，种子球钉住左上、右上、左下三块，只剩右下 @@M@@4\times4@@ 块。右上块与左下块转置秩二，各有二维核；把未知块压缩到两核之间得到 @@M@@2\times2@@ 矩阵 @@M@@Y@@，Hadamard 方程迫使 @@M@@Y@@ 离 @@M@@\sqrt6@@ 乘以其酉极因子（polar factor）@@M@@V@@ 很近。于是对群 @@M@@U(2)@@ 做有限闭覆盖，逐格用一致的 Taylor 界执行两种必要条件测试（范数排除与方向排除的对偶证书）：要么格子被排除，否则格内一切精确补全落入认证相位球。
第三步（Stage B）细化。每个球配上一组近似 Hadamard 方程切方向的数值方向，一个验证过的残差恒等式界定用这些方向表示精确解位移的误差；覆盖切坐标并保留法向余量，得到覆盖同一批精确解的更小球。
第四步（Stage C）局部排除。在每个终球内以分辨率 @@M@@12\to24\to48\to96@@ 做相位格搜索，覆盖一切与前两基无偏的向量，并聚成小闭向量球。关键引理表明同一球内两向量既不可能正交也不可能无偏，故 12 个新向量必占 12 个不同球。以球为顶点建两张图：@@M@@\mathcal O@@ 边保留”可能正交”，@@M@@\mathcal U@@ 边保留”可能无偏”；多出两个基等价于 @@M@@\mathcal O@@ 图中两个不相交的六团加上全部 36 条交叉 @@M@@\mathcal U@@ 边。精确的有限图搜索排除了这一模式。
最后是执行环节。2026 年 10 月 4 日的完整运行共 100 次程序调用、总时长约 75 分钟：四个 A 分片处理全部种子，两次 B 细化，88 个初始 C 进程留下 163 个未解决记录（全部是图搜索步数触顶），由回退 B 与最终 4 个 C 分片全部消化，无任何未解决记录残留。设计上所有拒绝只用带外向安全余量的必要条件，认证失败只记为未解决而绝不当作排除——这保证了连续解空间不被悄悄漏掉。
论文对诚实性的处理相当自觉：结论显式条件于所声明的算术与编译器合约（binary64、最近舍入、禁用乘加收缩等），并附全部源码哈希、数据文件 SHA-256 与执行档案；论文也承认平台探针只是有限证据，不构成对编译器语义的证明。该结果未经形式化，按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区复算核验为准。同族姊妹篇用纯整数与有理算术独立证明 Fourier 消没猜想并给出 @@M@@N(6)\le5@@，与本文的连续空间穷举互为旁证。
问 1：五级管线里最脆弱的一环是哪一环？
（答：种子覆盖。去相后的九个自由相位必须被有限多个半径 0.032 的球完全覆盖——约 1.5 亿个相位格对的穷举最终保留约 25 万个种子中心。若覆盖有洞，某个 Hadamard 矩阵逃过后续 Stage A–C，”排除四个基”就不完整。后续的补全（右下 4×4 块压缩为 2×2 矩阵、U(2) 有限闭覆盖）与细化都以种子完备为前提。）
问 2：Stage C 的图搜索凭什么排除第四个基？
（答：关键引理断言同一认证球内两向量既不可能正交也不可能无偏，故与前两基无偏的 12 个新向量必占 12 个不同球；以球为顶点建”可能正交”图 O 与”可能无偏”图 U，多出两个基等价于 O 图中两个不相交六团加全部 36 条交叉 U 边——精确的有限图搜索排除了这一模式。这是纯离散末段，链条最短。）
问 3：为什么结论必须显式条件于”binary64 算术与编译器合约”？
（答：认证设计只用带外向安全余量的必要条件做拒绝，认证失败只记”未解决”而绝不当作排除——这防住漏掉连续解；但浮点语义本身（最近舍入、禁用乘加收缩等）是平台假设，论文自己承认平台探针只是有限证据、不构成对编译器语义的证明。把合约换平台，须复算。）
问 4：与 2009 年 Jaming–Matolcsi–Móra–Szöllősi–Weiner 相比，新意确切在哪？
（答：他们只证明标准基与两参数 Fourier 族中的第二基不能扩成四个基；真正的障碍是第二基必须允许取遍全部六阶复 Hadamard 矩阵——连续无穷族。本文的种子覆盖加区间测试正是为覆盖这个连续族而设计，首次完整跨过该障碍。）
问 5：这类 AI 生成的计算机辅助证明最可能出什么错？
（答：典型风险有三：区间测试（gap 过滤、消没和的 Taylor 余项过滤）若余项符号处理错，会静默漏解；执行中 88 个初始 C 进程留下 163 个未解决记录（全部图搜索步数触顶），由回退 B 与最终 C 分片消化——若回退程序有 bug 或未解决被误当排除，结论失效；此外 100 次程序调用、约 75 分钟的执行档案须与声明的数据哈希逐一核对。论文附源码哈希与 SHA-256 档案，但独立复算仍不可省。）
问 6：谁会用到 N(6)=3？
（答：量子信息学——MUB 是层析与密钥分发协议的基本资源，六维（如双色 qutrit 对）是首个被精确敲定的非素数幂维数；Lie 代数推论（Killing-正交 Cartan 子代数至多 3）对代数方向亦有独立兴趣。姊妹篇用纯整数算术独立证 N(6)≤5，与本文互为旁证。）
总评
用设计相当自觉的认证计算了结三十余年的 Zauner 猜想，且诚实条件化于算术合约，是计算机辅助证明的范例之作；最大风险不在数学而在执行——种子覆盖完整性与未解决记录的处理须经独立复算确认。