[论文解读] Constructions of Mutually Unbiased Bases

Andreas Klappenecker, Martin Roetteler|arXiv (Cornell University)|Sep 15, 2003

Coding theory and cryptography参考文献 21被引用 86

一句话总结

该论文使用有限域和伽罗瓦环上的韦伊型指数和，对素数幂维数 $\mathbb{C}^d$ 中存在 $d+1$ 个相互 unbiased 基（MUBs）提供了简化证明。该工作将 Alltop 在素数维数下的构造推广至素数幂维数，并为非素数幂维数建立了下界，同时指出了此类情况下 MUB 最大数量的开放问题。

ABSTRACT

Two orthonormal bases B and B' of a d-dimensional complex inner-product space are called mutually unbiased if and only if |<b>|^2=1/d holds for all b in B and b' in B'. The size of any set containing (pairwise) mutually unbiased bases of C^d cannot exceed d+1. If d is a power of a prime, then extremal sets containing d+1 mutually unbiased bases are known to exist. We give a simplified proof of this fact based on the estimation of exponential sums. We discuss conjectures and open problems concerning the maximal number of mutually unbiased bases for arbitrary dimensions.</b>

研究动机与目标

• 当 $d$ 为素数幂时，提供 $\mathbb{C}^d$ 中存在 $d+1$ 个相互 unbiased 基的简化证明。
• 利用指数和，将 Alltop 对素数维数的相互 unbiased 基构造推广至素数幂维数。
• 通过伽罗瓦环 $\mathrm{GR}(4,n)$ 上的指数和，将构造扩展至偶特征维数。
• 为非素数幂维数的相互 unbiased 基最大数量 $N(d)$ 建立下界。
• 提出关于非素数幂 $d$ 时 $N(d)$ 值的开放问题与猜想。

提出的方法

• 作者使用奇特征有限域 $\mathbb{F}_q$ 上的韦伊和，估算二次多项式指数和，证明不同基中向量之间的内积模长为 $1/\sqrt{q}$。
• 对于奇素数幂 $q = p^n$ 且 $p \geq 5$ 的情况，通过序列 $b_{\lambda,\alpha} = \frac{1}{\sqrt{q}} \left( \omega_p^{\mathrm{tr}((k+\alpha)^3 + \lambda(k+\alpha))} \right)_{k \in \mathbb{F}_q}$ 构造 $q+1$ 个相互 unbiased 基。
• 该构造依赖于不同基之间内积中立方项相互抵消，仅留下绝对值为 $\sqrt{q}$ 的二次指数和，从而保证相互 unbiased 性。
• 对于偶素数幂 $d = 2^n$，作者使用伽罗瓦环 $\mathrm{GR}(4,n)$ 上的指数和，构造出 $d+1$ 个相互 unbiased 基的极值集合。
• 通过张量积推导一般维数下 $N(d)$ 的下界：对于 $d = p_1^{a_1} \cdots p_r^{a_r}$，有 $N(d) \geq \min\{N(p_1^{a_1}), \dots, N(p_r^{a_r})\}$。
• 该方法避免使用复杂的代数几何，转而采用特征和的初等估计，特别是二次多项式韦伊界。

实验结果

研究问题

• RQ1 对于所有非素数幂的维数 $d$，是否都有 $N(d) = d+1$？
• RQ2 能否为非素数幂 $d$ 的相互 unbiased 基数量建立下界？
• RQ3 当 $d \to \infty$ 时，$N(d) \to \infty$ 是否对所有整数 $d$ 成立，还是存在某些维数使得 $N(d)$ 有界？
• RQ4 $N(6)$ 的精确值是多少？它是否如 Zauner 所猜想的等于 3？
• RQ5 能否将关于相互正交拉丁方的威尔逊定理推广至相互 unbiased 基？

主要发现

• 对于任意素数幂 $d = q$，本文通过 $\mathbb{F}_q$ 上的指数和，在 $\mathbb{C}^d$ 中构造出 $d+1$ 个相互 unbiased 基。
• 该构造将 Alltop 的序列推广至 $p \geq 5$ 的素数幂 $p^n$，得到 $q+1$ 个相互 unbiased 基。
• 对于 $d = 2^n$，作者通过伽罗瓦环 $\mathrm{GR}(4,n)$ 上的指数和，构造出 $d+1$ 个相互 unbiased 基。
• 本文证明了对于 $d = p_1^{a_1} \cdots p_r^{a_r}$，有 $N(d) \geq \min\{N(p_1^{a_1}), \dots, N(p_r^{a_r})\}$，为任意维数提供了下界。
• 数值证据和 Zauner 的猜想表明 $N(6) = 3$，远小于 $d+1 = 7$ 的上界。
• 作者证明了标准基与所构造的基 $B_\alpha$ 相互 unbiased，且满足内积关系 $|\langle b_{\kappa,\alpha} | b_{\lambda,\beta} \rangle| = 1/\sqrt{q}$（当 $\alpha \neq \beta$ 时）。