结果族 266：Exactly three mutually unbiased bases in dimension six · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
给”量子骰子”做一次全整数的体检：把矩阵代入几个特殊的多项式恒等式，如果算出”一堆正数加起来是负数”的荒谬结论，这颗骰子就被判了死刑。论文用两张这样的体检单证明：六维空间里绝不可能有 7 套互相无偏的测量基。
关键词卡片
@@M@@g_H(\alpha)@@：按电荷 @@M@@\alpha=(1,1,1,-1,-1,-1)@@ 对矩阵列做乘积求和，得到的一个”指纹”量。@@M@@\omega=e^{2\pi i/3}@@ 构造的唯一例外。看个具体例子
数字版定理（排除 7 套基的核心恒等式）：@@M@@\mathcal Q=5\sum_\lambda 10^{15-e_\lambda}\,\mathbb E(Y_\lambda^*Z_\lambda Y_\lambda)=c_0+\sum_K c_K\mu_K@@，其中 @@M@@c_0=-\tfrac{613302797399911}{6480}@@，而 @@M@@\sum_K|c_K|=\tfrac{179721388988719}{6480}<|c_0|@@。由每个矩 @@M@@|\mu_K|\le 1@@，右边必为负数；但左边是正定二次型的期望，必须非负——矛盾。于是 7 套无偏基不存在，@@M@@N(6)\le 5@@。定理 1 则说：指纹 @@M@@g_H(\pi\alpha)=0@@ 对一切非 Tao 矩阵成立——换句话说，六阶 Hadamard 矩阵几乎个个带”指纹为零”的印记，唯一的例外是那张三次矩阵。
为什么值得关心
全程不碰浮点：模素数消元、中国剩余定理重建、精确 Schur 补验证正定性，验证器（约含 8871 条单矩阵方程的精确消元）随文附出；比姊妹篇的 binary64 管线在算术上更稳健，代价是上界较弱。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”全整数体检单”的比喻对应：对象是无偏基的坐标化身——六阶复 Hadamard 矩阵，操作是把矩阵代入一些特殊设计的多项式恒等式（指纹函数）。若代入后推出”一堆非负量相加为负”的荒谬结论，一种构型即被排除；体检全程只用整数与有理数，不碰浮点。
第二级台阶
用本科语言：对电荷和为零的整向量 a，特征和 g_H(a)＝(1/6)Σ_k Π_i H(i,k)^{a_i} 是按列乘积取平均的”指纹”；正交性本身只保证 g_H(e_i−e_j)＝0。消没猜想断言：除 Tao 用三次单位根 ω 构造的三次矩阵 T 外，一切六阶 Hadamard 矩阵在电荷 α＝(1,1,1,−1,−1,−1) 的所有置换处指纹为零。矩阵等价指相差行列置换与逐行逐列相位。
第三级台阶
两个定理在不同语境下陈述。定理 1（Fourier 消没）是单矩阵结构定理：难点在正交性方程提供的信息对”不依赖参数族的普适相位陈述”太稀薄，论文用单射矩把特征和乘积展开成有限维矩关系，再以非负恒等式建立二分法——要么指纹全消没，要么逐元素平方仍是 Hadamard，后者被 Newton 恒等式逼成三次矩阵 T。定理 2 排除 7 个两两无偏基，经 Weiner 完备化定理得 N(6)≤5；其证书是六个正定二次型的组合，常数项以严格优势压倒其余系数绝对值之和，与每个矩不超过 1 的事实合起来制造矛盾。
本文证明 Matolcsi–Ruzsa–Weiner 的 Fourier 消没猜想：除 Tao 三次矩阵等价类外，一切 6 阶复 Hadamard 矩阵在电荷 @@M@@\alpha=(1,1,1,-1,-1,-1)@@ 的所有置换下特征和为零；并用精确整数证书排除 7 个无偏基，得 @@M@@N(6)\le5@@。
固定一个基后，@@M@@\mathbb{C}^6@@ 中其他与之无偏的基都对应 6 阶复 Hadamard 矩阵（complex Hadamard matrix）@@M@@H@@（元素模 1 且 @@M@@H^*H=6I@@）。Matolcsi（2012）提出用环面 @@M@@\T^6@@ 上的 Fourier/Delsarte 方法研究其列的相位约束，Matolcsi–Ruzsa–Weiner（2013）据此提出消没猜想：规范化特征和 @@M@@g_H(a)=\frac16\sum_k\prod_i H(i,k)^{a_i}@@ 在电荷 @@M@@\alpha@@ 处为零。此前 Maxwell–Brierley（2015）仅对 Karlsson 族证明。猜想的唯一例外是 Tao（2004）构造的三次矩阵 @@M@@T=(\omega^{t_{ij}})@@（@@M@@\omega=e^{2\pi i/3}@@，文献中记作 @@M@@S_6@@）。难点在于要得出不依赖任何参数族的普适相位陈述，正交性方程本身提供的信息显得太稀薄。
定理 1（Fourier 消没）：若 6 阶复 Hadamard 矩阵 @@M@@H@@ 不等价于三次矩阵 @@M@@T@@，则对每个坐标置换 @@M@@\pi@@ 都有 @@M@@g_H(\pi\alpha)=0@@。定理 2（无完备族）：@@M@@\mathbb{C}^6@@ 中不存在 7 个两两无偏的正交基；由 Weiner 的完备化定理（@@M@@d@@ 个无偏基可扩成 @@M@@d+1@@ 个完备族）立得 @@M@@N(6)\le5@@。证明途中还顺手证明了 Phangara 猜想：6 阶 S-Hadamard 矩阵（@@M@@H@@ 与逐元素平方 @@M@@H^{\circ2}@@ 皆为 Hadamard，Lisoněk 意义下）必等价于三次例子。两个证书只涉及整数与有理算术，完整验证器随文附出。
第一步建立二分法：任何 6 阶 Hadamard 矩阵要么 (M) 一切行置换下 @@M@@\alpha@@ 特征和为零，要么 (C) @@M@@H^{\circ2}@@ 也是 Hadamard。核心工具是”单射矩”（injective moment）@@M@@m_H(A)@@：在行、列上做均匀单射采样并对 @@M@@H/H^{\mathsf T}@@ 两种取向取平均的矩。正交性给出收缩引理：阶为一的行可合并消去；七行形式没有多余行号可占，恰好退化为六行矩之间的齐次线性关系。再把特征和乘积按列采样值的重合模式（集合划分）展开成这些矩的有理组合。
第二步构造单矩阵证书。取辅助整系数组合 @@M@@L_H@@ 与两个电荷 @@M@@q_{\mathrm{cross}},q_{\mathrm{same}}@@，证明恒等式 @@M@@3\langle|L_{\tilde H}|^2\rangle_H+\langle|g_{\tilde H}(\alpha)g_{\tilde H}(q)|^2\rangle_H=0@@。各项非负，故对每个行置换 @@M@@g(\alpha)g(q)=0@@。若 (M) 失败，两种 @@M@@q@@ 的取法分别压制跨三元组与同三元组的坐标对，迫使 @@M@@g_H(2(e_i-e_j))=0@@ 对一切 @@M@@i\ne j@@，这恰是 @@M@@H^{\circ2}@@ 的行正交性，即 (C)。
第三步分类三次备选。设 @@M@@H@@ 与 @@M@@H^{\circ2}@@ 皆 Hadamard。任两行的逐项比值 @@M@@v@@ 满足 @@M@@p_1(v)=p_2(v)=0@@，由 Newton 恒等式与单位模条件推出六个坐标恰为两个旋转三次根三元组之并。去相后 @@M@@H^{\circ3}@@ 的非常数行须共用同一支集；由此得到的 @@M@@3\times3@@ 分块形式被 @@M@@\mathbb{C}^3@@ 中的维数矛盾排除，于是每个元素都是三次单位根，且每行每根恰出现两次——非对角正负号构成二正则图，只能是五圈，矩阵即 @@M@@T@@。定理 1 随之得证。
第四步把三次对赶出完备族。7 个无偏基给出特征恒等式：阶二电荷的和恒为零（源自 35 维无迹矩阵空间的正交投影仪恒等式），以及同矩阵、异矩阵两组卷积恒等式。利用 @@M@@T@@ 的 720 个对称操作（每个行置换都可补成对称）逐轨道精确计算交叉恒等式的系数，解线性关系得轨道平均 @@M@@S_0=-\frac45@@，代入非负性 @@M@@6+30S_0\ge0@@ 得 @@M@@-18\ge0@@，矛盾。
第五步混合矩证书收尾。剩余情形所有转移矩阵满足 (M)。在随机参考基加共享列的概率空间上定义函数 @@M@@F_0,F_1@@，按六个杨盘形状做带符号对称化得向量 @@M@@Y_\lambda@@，配六个显式正定整矩阵 @@M@@Z_\lambda@@。精确有理展开给出 @@M@@\mathcal Q=5\sum_\lambda 10^{15-e_\lambda}\E(Y_\lambda^*Z_\lambda Y_\lambda)=c_0+\sum_K c_K\mu_K@@，其中常数项 @@M@@c_0=-\frac{613302797399911}{6480}@@，而其余系数绝对值之和仅为 @@M@@\frac{179721388988719}{6480}@@，严格小于 @@M@@|c_0|@@。由于每个真实矩 @@M@@|\mu_K|\le1@@，得 @@M@@\mathcal Q<0@@；但左边是正定二次型的期望，必须非负——矛盾，定理 2 完成。
全部计算不碰浮点：模素数消元寻找候选替换、中国剩余定理重建、精确整数乘法复核；正定性用精确 Schur 补主元（共 98 个）验证；附录打印完整验证器并给出其 SHA-256 校验和。
两个证书均由随文给出的标准库 Python 验证器（约含 8871 条单矩阵方程、46041 条混合方程的精确消元）复核，只用整数与有理算术，比同族姊妹篇依赖 binary64 执行的 @@M@@N(6)=3@@ 管线在算术上更稳健，但结论（@@M@@N(6)\le5@@）更弱；二者共同支撑结果族 266 对六维 MUB 问题的总攻。定理 1 是关于单个 Hadamard 矩阵的结构定理，与基数上界问题互补。按 OpenAI 官方声明，未经形式化的结果可能有问题；本文尚未形式化，验证器本身亦属需社区核验的软件证据。
问 1：证明里最关键的一步是什么？
| （答：单矩阵二分法。论文证明恒等式 3⟨ | L_H | ²⟩＋⟨ | g_H(α)g_H(q) | ²⟩＝0——各项非负，故对每个行序都有 g(α)g(q)＝0；辅助电荷 q 的两种取法分别压制跨三元组与同三元组的坐标对，若消没失败则迫使 g_H(2(e_i−e_j))＝0 对一切 i≠j 成立，而这恰是逐元素平方 H^{∘2} 的行正交性。一个非负恒等式把”指纹消没”升级为结构二择，是全文枢纽。） |
问 2：例外为什么恰好是 Tao 的三次矩阵，能否去掉？
（答：不能——T 本身就是反例（T 与 H^{∘2} 皆为 Hadamard，指纹不消没），定理只能是”除 T 等价类外”。分类一步：设 H 与 H^{∘2} 皆 Hadamard，Newton 恒等式与单位模条件迫使任两行的逐项比值是两个旋转三次根三元组之并；3×3 分块形式被 C³ 维数矛盾排除，非对角正负号构成二正则图、只能是五圈，矩阵即 T。这顺带证明了 Phangara 的 S-Hadamard 猜想。）
问 3：与已有 Fourier/正定方法相比，真正的新意是什么？
（答：Maxwell–Brierley 只对 Karlsson 两参数族证明消没；本文去掉一切族的限制，对任意六阶 Hadamard 成立。Bandeira–Doppelbauer–Kunisky 证明单转移矩阵、次数 ≤6 的正定多项式无法改进七基界；本文的混合证书用多个转移矩阵特征和的乘积与更高阶关系，绕开了那一单矩阵松弛的天花板。）
问 4：混合矩证书的数字为何有说服力，又脆弱在哪？
| （答：核心不等式是 c₀=−613302797399911/6480，而 Σ | c_K | =179721388988719/6480 严格小于 | c₀ | ；因每个真实矩 | μ_K | ≤1，得 Q<0，与 Q 为正定二次型期望须非负矛盾。脆弱点在于恒等式展开本身：模素数消元找候选替换、精确整数乘法复核，若杨盘对称化的符号或展开漏项出错，”常数项压倒系数和”可能翻号——但全部计算可被随文验证器逐行复核。） |
问 5：这类 AI 生成证明最可能的出错模式？
| （答：软件证据风险：验证器（8871 条单矩阵方程、46041 条混合方程的精确消元）本身是需核验的程序，论文附 SHA-256 校验和并以纯标准库实现，这降低了但不消除风险；其次，”矩取值不必有理”的区分很关键——证书只对矩向量集合的恒等式负责，若实际可达矩集合比假设的大， | μ_K | ≤1 之外的隐藏约束缺失不会出问题，但反过来若证明中把必要条件误当充分条件，排除即无效。） |
问 6：为什么只得 N(6)≤5 而不是姊妹篇的 3？
（答：路线不同：Weiner 完备化定理只保证 d 个无偏基可扩成 d+1 个完备族，故排除 7 基等价于排除完备族，给出 ≤5；要达到 3 须直接排除 4 基——这超出本文证书的阶数能力，由姊妹篇的 binary64 连续管线完成。两篇算术稳健性与结论强度互补。）
问 7：谁会用到这些结果？
（答：MUB 与复 Hadamard 社区——Fourier 消没是 Matolcsi–Matszangosz–Varga–Weiner 2025 路线（含 3α 耦合猜想）的关键输入；S-Hadamard 分类对 Butson 分类文献有独立价值；精确证书方法亦可移植到其他维数的 Delsarte 型问题。）
总评
以纯整数算术证明 Fourier 消没猜想并给出排除完备族的显式证书，算术稳健性优于姊妹篇而结论稍弱，二者合围 N(6) 问题；最大风险在验证器这一软件证据与混合矩展开的组合复杂度，好在全部可复算。