[论文解读] Circulant matrices, gauss sums and mutually unbiased I. The prime number case

Monique Combescure|ArXiv.org|Oct 30, 2007

graph theory and CDMA systems参考文献 7被引用 3

一句话总结

该论文利用循环矩阵和离散傅里叶变换，在素数维量子系统中构建了完整的 $d+1$ 个相互 unbiased 基（MUBs）。通过利用高斯和的性质以及双无模序列，证明了由循环结构导出的酉矩阵可生成 MUBs，从而建立了一个新颖的代数框架，该框架可推广至奇数和偶数维，其中关键副产品为特定的高斯和恒等式。

ABSTRACT

In this paper, we consider the problem of Mutually Unbiased Bases in prime dimension $d$. It is known to provide exactly $d+1$ mutually unbiased bases. We revisit this problem using a class of circulant $d imes d$ matrices. The constructive proof of a set of $d+1$ mutually unbiased bases follows, together with a set of properties of Gauss sums, and of bi-unimodular sequences.

研究动机与目标

• 提供素数维希尔伯特空间中 $d+1$ 个相互 unbiased 基（MUBs）的构造性证明。
• 在量子信息中建立循环矩阵、高斯和与双无模序列之间的联系。
• 推导并证明素数维和奇数维中二次高斯和的新恒等式。
• 将该框架扩展至偶数维，表明该方法仅能构造出 3 个 MUBs。

提出的方法

• 利用离散傅里叶变换（DFT）和相位调制序列导出的循环结构构造酉 Hadamard 矩阵。
• 通过 DFT 对 $VU^k$ 和 $V^kU$ 进行对角化，以生成正交基。
• 应用循环矩阵表示 $C = \text{circ}(c_0, \bar{c}_1, \bar{c}_2, \bar{c}_d)$ 以确保酉性和相等模长的元素。
• 利用循环矩阵与移位矩阵 $V$ 可交换的性质，使它们能通过 DFT 同时对角化。
• 通过高斯和恒等式证明序列 $g^{(k)} = \big(\text{exp}(2\bar{i}\bar{\text{π}}k j(j+1)/2d)\big)_{j=0}^{d-1}$ 为双无模序列。
• 推导出关键恒等式 $\left|\sum_{k=0}^{d-1} \exp\left(\frac{2i\pi}{d}\left[\frac{lk(k+1)}{2}+jk\right]\right)\right| = \sqrt{d}$，其中 $l$ 与 $d$ 互素。

实验结果

研究问题

• RQ1 能否利用循环矩阵和高斯和，在素数维 $d$ 中系统地构造出 $d+1$ 个 MUBs？
• RQ2 循环矩阵和 DFT 的哪些代数性质导致了相互 unbiased 基的构造？
• RQ3 形如 $\sum_{k=0}^{d-1} \exp\left(\frac{2i\pi}{d}\left[\frac{lk(k+1)}{2}+jk\right]\right)$ 的高斯和如何与双无模序列相关联？
• RQ4 为何该方法在偶数维中无法产生超过 3 个 MUBs？其循环方法存在哪些局限性？
• RQ5 该框架能否通过使用分块循环矩阵推广至素数幂维？

主要发现

• 该论文利用 DFT 和特定循环矩阵 $R$ 在素数维 $d$ 中构造了 $d+1$ 个相互 unbiased 基，证明了该构造的完备性。
• 该研究建立了恒等式 $\left|\sum_{k=0}^{d-1} \exp\left(\frac{2i\pi}{d}\left[\frac{lk(k+1)}{2}+jk\right]\right)\right| = \sqrt{d}$，对所有 $j, l \in \mathbb{F}_d$ 且 $l$ 与 $d$ 互素成立，这是高斯和理论中的新结果。
• 对于素数 $d$，序列 $g^{(k)} = \big(\omega^{k j(j+1)/2}\big)_{j=0}^{d-1}$ 被证明为双无模序列，即序列本身及其 DFT 均具有单位模长元素。
• 对于奇数 $d$，该方法可生成 $k+1$ 个 MUBs，其中 $k$ 是 $d$ 的最小素因子，从而推广了素数情形。
• 在偶数维中，该方法仅能生成 3 个 MUBs，且 $R^2$ 不是 Hadamard 矩阵，限制了通过此方法进一步扩展的可能性。
• 循环矩阵 $R$，其元素为 $R_{j,k} = \frac{1}{\sqrt{d}} \omega^{-(j-k)^2/2}$，可对角化 $VU$，并确保 $F^*R$ 为酉 Hadamard 矩阵，从而在偶数 $d$ 中确认了该构造的有效性。