精读笔记

Problem Setting

【Degree-Four Vector-Coordinate SoS Cannot Detect the MUB Upper Bound】（arXiv preprint / 2026）

这篇论文处理的不是 MUB 构造问题，也不是 d=6 七个 MUB 猜想本身，而是一个更精确的 proof-complexity / formulation question：在向量坐标变量 v_i^(k)∈C^d 中，degree-4 SoS 是否能够证明某组 MUB 约束不可行。

真正困难点在于 MUB 约束的“语义强度”和它在某个多项式编码中的“低阶可见性”不一致。classically，same-basis orthonormality 加上 cross overlap bound/equality 确实刻画 MUB；但 SoS degree-4 不是在语义层面推理，而是在给定坐标环和给定 degree budget 下推理。vector-coordinate 中 cross-unbiasedness 是四次等式 |<v,w>|^2=1/d，因此 degree-4 SoS 只能检查这个四次多项式本身的伪期望，不能乘以任何非平凡 test polynomial 去检查波动或相关性。

关键矛盾是：真实 MUB 的 upper bound m≤d+1 来自 projector/Gram 几何中的维数约束；而自然向量坐标 degree-4 relaxation 只能看到随机 Haar bases 的二阶 overlap 均值。前者是全局 rank/counting obstruction，后者是局部 moment matching。论文证明这两者在 degree-4 vector-coordinate SoS 中完全脱钩。

Motivation

Randomstrasse101 Open Problem 23 的问题表述很自然：把 7×6 个向量作为变量，用四次实坐标关系或 2×2 Hermitian LMI 表示 MUB 条件，问 degree-4 SoS 能否证明 C^6 中不存在 7 个 MUB。这个问题的隐含期待是：degree-4 也许刚好能捕获 MUB 的低阶代数结构。

作者的核心观察是相反的：在 vector-coordinate 编码里，degree-4 太低，低到只能看到 cross overlap 的平均值。独立 Haar 随机正交基虽然几乎从不互相 unbiased，但对任意两个独立 Haar unit vectors，有 E|<x,y>|^2=1/d；这正好满足 degree-4 equality formulation 中唯一可测试的 cross 条件。

关键缺口因此不是缺少更巧的 SoS 证书，而是该 formulation 在 degree-4 下缺少测试 variance / squared deviation / Gram rank 的能力。只有把变量 lift 到 projector P=vv*，cross-unbiasedness 才变成二次约束，degree-4 才能平方它、聚合它，并恢复 Hilbert-Schmidt 空间的维数 obstruction。

Core Idea

论文的核心思想可以概括为：用“真实但错误”的随机模型作为伪解。取 m 个独立 Haar 随机 unitary 的列作为 m 个随机正交基。它们满足每个 basis 内的正交归一化，但不满足不同 basis 间的 pointwise unbiasedness；不过 degree-4 vector-coordinate SoS 看不到 pointwise failure，只看到 E|<x,y>|^2=1/d。于是 Haar measure 的 degree-4 moment functional 就是一个 pseudoexpectation，直接排除 degree-4 refutation。

这不是普通的 probabilistic method，而是 formulation-aware lower bound。它利用了一个非常具体的 degree mismatch：vector variables 中 |<v,w>|^2 是四次；projector variables 中 Tr(PQ) 是二次。degree-4 在前者只能看均值，在后者可以看平方偏差和 Gram structure。因此论文真正改变的是“哪些对象被当成基本变量”：vector-coordinate 把 projector 信息隐藏在二次 lift 之后，导致低阶 SoS 失明；projector-coordinate 把相关几何显式化，低阶 SoS 立刻恢复 counting bound。

Method

方法上最重要的不是复杂推导，而是三个机制的组合。

第一，Haar pseudoexpectation。作者定义 \tilde E[p]=E[p(v)]，其中 v_i^(k) 是独立 Haar unitary 的列。因为这是实际期望，所以 degree-4 positivity 自动成立；same-basis orthonormality 点态成立，所以所有同基约束及其允许 multiplier 都消失。这个构造解决的是 moment feasibility，而不是构造近似 MUB。

第二，quartic equality lower bound。cross constraint q=|<v_i^(k),v_j^(l)>|^2−1/d 已经是四次。degree-4 SoS 中 hq 的 degree≤4 强迫 h 为常数，因此只需 \tilde E q=0。Haar 随机向量恰好满足该均值。这一步是最直接、也最有杀伤力的 lower bound：所有 pointwise unbiasedness 的失败都藏在 degree>4。

第三，LMI localizing 的 affine control。2×2 LMI formulation 看似更强，因为 degree-4 localizing 允许 affine p,q 测试 M(x,y)。作者证明 multiplication by z=<x,y> 在 affine L2 空间上的 operator norm 至多 1/d。证明本质靠独立 column phase invariance：绝大多数 affine monomial block 因相位不平衡积分为零，只剩两个匹配 block，并给出 1/d 衰减。由于 LMI 对角阈值 c=1/sqrt(d)≥1/d，localizing PSD 成立。

第四，projector-coordinate 对照。令 Q=P−I/d，所有 Q 落在维数 D=d^2−1 的 traceless Hermitian 空间。MUB 条件给出一个 centered Gram system：同一 basis 内 Gram 为 δ_ij−1/d，不同 basis 正交。然后用 degree-4 SoS identity D Tr(S^2)−(Tr S)^2≥0，其中 S=Σ q_a q_a^T。代入 Gram constraints 后得到常数 m(d−1)^2(d+1−m)。若 m>d+1，该常数为负，形成 degree-4 refutation。这说明向量编码的失败不是 SoS degree-4 的普遍失败，而是变量选择造成的。

Key Insight / Why It Works

最核心 insight 是：degree-4 vector-coordinate SoS 只会验证 cross overlap 的一阶矩，而 MUB upper bound 需要看到 centered projectors 的 Gram rank。Haar 随机基恰好是“均值正确、方差错误”的模型；vector-coordinate degree-4 无法惩罚这个方差错误，因为要测试 (|<x,y>|^2−1/d)^2 已经是八次。

这也是为什么 projector formulation 立刻不同。把 P=vv* 作为变量后，Tr(PQ)−1/d 是二次，degree-4 正好能平方它。换句话说，同一个几何事实在不同坐标中位于不同 SoS degree：vector 坐标下要 degree-8 才能看到 overlap variance；projector 坐标下 degree-4 就够。这是论文最值得迁移的机制判断。

LMI 部分的关键不是 2×2 PSD 本身，而是 affine multiplier bound 说明即便把 equality 放松/改写成 semidefinite inequality，并允许 degree-4 localizing tests，Haar moment 仍然逃得过。这里的相位不变性是决定性 inductive bias：它把 affine test space 分解成 phase sectors，只有与 z 的 charge 匹配的 sectors 有贡献。该证明相当干净，也可能可迁移到其他 unitary-invariant SoS lower bound。

哪些是核心贡献？我认为是 formulation-degree mismatch 的显式 lower bound 和 projector separation。Haar pseudoexpectation 本身很自然，甚至有些“应该如此”；真正有价值的是作者把它精确对齐到 Randomstrasse101 的两个 vector-coordinate encodings，并补上 LMI localizing 的 affine operator norm。projector-coordinate upper bound 则提供了必要的 sanity check：否则结论容易被误读成 degree-4 SoS 对 MUB 普遍无力。

这不是 scaling、data coverage、retrieval 或 engineering 类型的增益；它是纯粹的 representation / formulation alignment 问题。能力差异来自变量选择改变了约束的代数 degree，从而改变低阶 SoS 能访问的信息。

Relation To Prior Work

最接近的路线有三类：MUB 的经典 upper bound 与 prime-power 构造；positive-definite functions / harmonic analysis approach；以及 polynomial optimization / noncommutative SoS hierarchy。本文不试图改进 MUB upper bound，也不推进 d=6 conjecture；它定位在 proof system 对某个自然 formulation 的 lower bound。

和 Kolountzakis–Matolcsi–Weiner 及 Bandeira–Doppelbauer–Kunisky 的 positive-definite function 路线相比，本文更 elementary，也更 formulation-specific。那些工作关心某类 dual certificates 或低阶 positive-definite bounds 的能力边界；本文直接在 vector-coordinate SoS relaxation 中构造 pseudoexpectation，结论更窄但更明确。

和 Gribling–Polak 的 polynomial optimization / symmetry reduction 谱系相比，本文不是提出更强 hierarchy，而是展示 hierarchy 的变量层级差异：vector-coordinate degree-4 与 projector-coordinate degree-4 不是同一个强度。看似都是“degree four”，但基本变量不同导致可见的多项式不同。这个差异是实质性的，不是 notation。

看似新的部分中，Haar moment matching 是已有思想的自然重组；实质创新在于把它用于 MUB vector-coordinate lower bound，并证明对 Randomstrasse101 的 LMI encoding 也成立。projector-coordinate SoS 证明基本上是 Welch/rank/counting obstruction 的 SoS 化，但它在论文中承担关键对照作用。

Dataset / Evaluation

这篇论文没有 dataset / empirical evaluation，也不需要。它的 evaluation 是 proof-level 的：是否覆盖目标 formulation，是否严格排除 degree-4 refutation，是否给出对照 formulation。

覆盖范围很强：结论不是只针对 d=6,m=7，而是对所有 d≥2、任意 m 的 vector-coordinate quartic equality formulation 成立；LMI formulation 也同样成立。这比 Open Problem 23 所需的负答案更强。

但 evaluation 的边界也很明确：它只验证两个显式 vector-coordinate encodings 的失败，不验证所有可能的 degree-4 SoS encodings。特别是 projector/lifted/noncommutative formulation 被明确排除在 negative result 之外。Theorem 8.1 甚至说明某些 projector-coordinate degree-4 formulation 能恢复 m≤d+1。

因此，论文的 claim 被理论证据充分支持，但 claim 本身应被严格理解为 formulation-specific lower bound，而不是 d=6 MUB conjecture 的 SoS lower bound 全景结论。

Limitation

最大限制是 formulation dependence。结论依赖 cross-unbiasedness 在 vector coordinates 中是四次；如果改变量为 projectors，核心 Haar pseudoexpectation 立即失败，因为 E|<x,y>|^2=1/d 但 Var(|<x,y>|^2)>0，而 projector degree-4 能检测这个 variance。

第二，论文没有说明 vector-coordinate SoS 的真实阈值。degree-4 不行很清楚，但 degree-6、degree-8 或更高是否能恢复 m≤d+1，文中未充分说明。直觉上 degree-8 至少能测试 cross overlap squared deviation，但这是否足以推出全局 counting bound，需要额外论证。

第三，对 d=6,m=7 的核心数学难题没有直接推进。projector-coordinate degree-4 只能证明 m≤d+1，所以在 d=6,m=7 正好 tight。文中明确留下 stronger projector formulations 是否能 refute 七个 MUB 的问题。

第四，LMI 部分虽然处理了 Randomstrasse101 给出的 2×2 Hermitian encoding，但它利用的是 degree-4 localizing 中 test polynomials 仅 affine-linear 的限制。若 formulation 增加额外 lifted variables 或 redundant quadratic consequences，Haar pseudoexpectation 未必可扩展。

第五，projector-coordinate separation 使用 centered Gram subsystem；它说明包含这些 Gram relations 的强 formulation 可 refute m>d+1，但不等于完整刻画所有 projector hierarchy 在 tight case 的能力。

Takeaway

• 1. 低阶 SoS 的强弱不能只看 degree，必须看变量选择。
• vector degree-4 和 projector degree-4 在 MUB 上已经分离。
• 2. 如果一个关键约束在原变量中 degree 太高，低阶 SoS 可能只能检查均值，完全看不到 variance 和 rank obstruction。
• 这是可迁移到其他几何/量子约束问题的 formulation lesson。

一句话总结

这篇论文给出了一个干净的 formulation-sensitive SoS lower bound：degree-4 在自然向量坐标中只能看到 Haar overlap 均值、看不到 MUB 的 projector Gram 维数障碍，而把变量 lift 到 projector 后同一 degree 已能恢复基本 upper bound。