问题
SIC-POVM（symmetric informationally complete）：ℂd 中 d² 个单位向量 |ψi⟩，两两内积满足 |⟨ψi,ψj⟩|² = 1/(d+1)（i≠j）—— «最均匀的过完备测量»：任何量子态可由 d² 个概率 {|⟨ψi|ρ|ψi⟩|²} 重建。Zauner 1999 年博士论文提出猜想：每个 d 都存在 SIC，且可取 «Weyl–Heisenberg 协变» 形式（由固定向量在 WH 群下的轨道生成）。已数值验证到 d ≈ 100+，严格证明到 d ≤ 21 及若干无穷族（Scott–Grassl 谱系）；SIC 与球面设计（05 号）、数论（Hecke 特征形式、Stark 单位）出人意料的联系是近年最大惊喜之一。
主要概念
为什么恰好 d² 个
POVM 的 «信息完备» 要求 {Πi} 张开全部自伴算子空间（维数 d²）；«对称» 要求 Πi = (1/d)|ψi⟩⟨ψi| 且两两重叠一致。命题 1 用迹计算证明 «d² 个» 是 «完备性 + 对称性» 的强制结果——不是假设而是定理。
Zauner 对称与数值猎场
Zauner 进一步猜想：SIC 可选得固定一个 WH 群的 «共轭位移» 元（阶 3 的对称）。全部已知 WH-SIC 都具 Zauner 对称——这是搜索算法的 «压缩把手»，也把 SIC 参数化到 «Hecke 特征值» 型代数整数上：已知 WH-SIC 的 «特征值» 全部落在次数 ≤ d 的实代数整数域内，与 Stark 猜想、Hecke 特征形式的数值重合。
主要命题与证明
命题 1（SIC 的元素数必为 d²，完整证明） 若 {Πi}i=1N（Πi = (1/d)|ψi⟩⟨ψi|，|ψi|=1）满足 ΣΠi = I 且 |⟨ψi,ψj⟩|² = 1/(d+1)（i≠j），则 N = d²。
证明 取迹：d = tr(I) = Σ tr(Πi) = Σ (1/d)·1 = N/d，故 N = d²。□
命题 2（d=2 的正四面体态，完整计算） d=2 的 SIC 存在：取布洛赫球内接正四面体的四个顶点 |ψi⟩，其重叠 |⟨ψi,ψj⟩|² = 1/3 = 1/(d+1)。
计算 布洛赫球上态 |ψ(θ,φ)⟩ = (cos(θ/2), eiφsin(θ/2))T，两态的内积模平方 = (1+ n̂₁·n̂₂)/2（n̂ 为布洛赫向量）。正四面体顶点两两夹角满足 n̂₁·n̂₂ = −1/3，故重叠 = (1−1/3)/2 = 1/3。✓ 且 Σ|ψi⟩⟨ψi| = (4/3)I（四面体的 «质心恒等»），配 (1/d) 系数得 POVM 完备性。□
命题 3（WH 协变 SIC 的参数化与数论之桥；陈述） WH-SIC 由 « fiducial 向量 » 的 d−1 个实参数决定；Zauner 对称把参数方程化为一个 «次数 ≤ d 的实代数整数» 的极小多项式问题。Appleby–Flammia–McConnell 等发现：已知 fiducial 的代数整数与 Stark 猜想中的 Hecke 特征形式单位逐一吻合——SIC 成为 «量子信息 ↔ 解析数论» 的意外接口。
说明 这一联系目前是 «数值事实＋部分定理»，尚未给出存在性证明；但它把 «SIC 存在性» 重新表述为 «某类代数整数的实现在» ——给未来证明指出数论侧路径。□
进展与文献
Zauner 的博士论文（1999）；Renner 的 d=3 证明；Scott–Grassl 的 WH-SIC 精确解谱系（d ≤ 21 及无穷族）；Appleby–Flammia–McConnell–Spear 的 «SIC 与 Hecke 特征形式» 系列；Bengtsson–Blazej 等综述。开放核心：猜想本体；Zauner 对称的必然性；与 05 号球面设计、22 号 MUB 的 «完备测量统一理论»；数论桥的定理化。