[论文解读] Mutually Unbiased Bases, Generalized Spin Matrices and Separability

A. O. Pittenger, Morton H. Rubin|ArXiv.org|Aug 26, 2003

Matrix Theory and Algorithms参考文献 14被引用 5

一句话总结

本文针对 d 为素数幂的情形，利用广义自旋矩阵与有限域理论，给出了 d+1 个相互 unbiased 基（MUBs）存在的构造性证明。通过在有限域上的向量空间上对这些矩阵进行索引，并利用可交换酉矩阵族，作者推导出显式的正交基，并建立了 MUB 结构与量子态可分性之间的联系。

ABSTRACT

A collection of orthonormal bases for a complex dXd Hilbert space is called mutually unbiased (MUB) if for any two vectors v and w from different bases the square of the inner product equals 1/d: || ^{2}=1/d. The MUB problem is to prove or disprove the the existence of a maximal set of d+1 bases. It has been shown in [W. K. Wootters, B. D. Fields, Annals of Physics, 191, no. 2, 363-381, (1989)] that such a collection exists if d is a power of a prime number p. We revisit this problem and use dX d generalizations of the Pauli spin matrices to give a constructive proof of this result. Specifically we give explicit representations of commuting families of unitary matrices whose eigenvectors solve the MUB problem. Additionally we give formulas from which the orthogonal bases can be readily computed. We show how the techniques developed here provide a natural way to analyze the separability of the bases. The techniques used require properties of algebraic field extensions, and the relevant part of that theory is included in an Appendix.

研究动机与目标

• 为 d=p^n（p 为素数）的相互 unbiased 基（MUB）问题提供一种构造性解法。
• 展示广义自旋矩阵——d×d 的酉矩阵，且在迹内积下正交——如何用于生成 MUB。
• 建立这些矩阵的索引结构与所导出基中量子态可分性之间的联系。
• 形式化利用有限域扩张与迹运算，系统性地构造可交换酉矩阵族，其本征向量构成 MUB。
• 提供一种算法框架，利用域论工具与对偶基构造，显式计算 MUB。

提出的方法

• 本文引入广义自旋矩阵，作为在 Frobenius 内积下正交的 d² 个酉矩阵，其索引基于有限域 GF(d) 的元素。
• 利用当 d=p^n 时，GF(d) 作为 Z_p 上的 n 维向量空间的结构，定义这些矩阵的可交换族。
• 每个可交换族的本征向量构成一个相互 unbiased 的基，其条件为：不同基中向量的内积模平方满足 |⟨v,w⟩|² = 1/d。
• 关键技术在于：利用迹运算与多项式根，在 GF(d) 上定义对偶基，以从自旋矩阵计算投影算符。
• 该方法依赖代数域扩张与不可约多项式性质，以构造所需的矩阵族。
• 通过 d=2、4 和 9 的显式例子验证了该构造，所用公式基于有限域理论推导出的迹与对偶基表达式。

实验结果

研究问题

• RQ1 当 d 为素数幂时，能否发展一种构造性方法，用于生成 d+1 个 d 维希尔伯特空间中的相互 unbiased 基？
• RQ2 广义自旋矩阵（泡利矩阵的推广）如何促进可交换族的构造，其本征向量可生成 MUB？
• RQ3 有限域结构在索引与组织 MUB 构造过程中的作用是什么？
• RQ4 量子态基的可分性与广义自旋矩阵的索引结构之间有何关联？
• RQ5 能否利用有限域上的迹运算与对偶基形式化，系统性地计算每个 MUB 的投影算符？

主要发现

• 当 d=p^n（p 为素数）时，d 维希尔伯特空间中存在 d+1 个相互 unbiased 基的构造性证明得以建立。
• 广义自旋矩阵构成一组 d² 个酉矩阵，其在迹内积下正交，且包含单位矩阵。
• d+1 个 MUB 中的每一个，均作为 d 个广义自旋矩阵的可交换族的本征系统，且仅单位矩阵在各族间共享。
• 一个基的可分性由对应自旋矩阵的索引向量结构决定，可分基对应于索引空间中特定的线性形式。
• 推导出显式公式，利用有限域上的迹运算与对偶基向量，计算每个 MUB 的投影算符。
• 该方法可实现任意 d=p^n 维度下所有 MUB 的算法计算，文中提供了 d=2² 与 d=3² 的示例。