[论文解读] A new proof for the existence of mutually unbiased bases

Somshubhro Bandyopadhyay, P. Oscar Boykin+2 more|ArXiv.org|Mar 29, 2001

Quantum Computing Algorithms and Architecture参考文献 16被引用 11

一句话总结

本文提出了一种新颖的代数证明，通过正交酉矩阵的最大可交换基与MUBs之间的联系，证明了素数幂维下相互 unbiased 基（MUBs）的存在性。该方法提供了显式构造MUBs的方法，特别针对 $ d = 2^m $ 维度，将其表示为泡利矩阵的张量积；证明了在任意维度下MUBs的数量最多为 $ d+1 $，并为 $ d = p^m $ 维度提供了系统化的构造方法，解决了量子信息理论中长期存在的问题。

ABSTRACT

We develop a strong connection between maximally commuting bases of orthogonal unitary matrices and mutually unbiased bases. A necessary condition of the existence of mutually unbiased bases for any finite dimension is obtained. Then a constructive proof of the existence of mutually unbiased bases for dimensions which are power of a prime is presented. It is also proved that in any dimension d the number of mutually unbiased bases is at most d+1. An explicit representation of mutually unbiased observables in terms of Pauli matrices are provided for d=2^m.

研究动机与目标

• 建立正交酉矩阵的最大可交换基与相互 unbiased 基（MUBs）之间强有力的代数联系。
• 推导出在任意有限维下MUBs存在的必要条件。
• 为素数幂维（特别是 $ d = p^m $）提供MUBs存在的构造性证明。
• 显式地将MUB可观测量表示为 $ d = 2^m $ 下泡利矩阵的张量积，以实现物理实现。
• 确立在任意维数 $ d $ 下MUBs数量的上界为 $ d+1 $。

提出的方法

• 通过有限域上的代数结构，建立正交酉矩阵的最大可交换基与MUBs之间的对应关系。
• 将域 $ \mathbb{F}_{p^m} $ 视为 $ \mathbb{F}_p $ 上的向量空间，并选取基 $ \{\gamma_1, \dots, \gamma_m\} $，以定义乘法算子的矩阵表示。
• 构造矩阵 $ B_\ell = (b_{ij}^\ell) $，其中 $ \gamma_i\gamma_j = \sum_\ell b_{ij}^\ell \gamma_\ell $，形成一组可交换的酉矩阵。
• 对于 $ d = p^2 $，显式构造 $ p^2 $ 个在 $ \mathbb{F}_p $ 上的对称矩阵 $ A_j $，并满足确保两两非退化的行列式条件。
• 通过证明不同基中向量之间的重叠是均匀的，证明所得基为相互 unbiased。
• 将该构造应用于 $ d = 2^m $，将MUB可观测量表示为泡利矩阵的张量积，从而实现物理实现。

实验结果

研究问题

• RQ1 能否利用可交换酉矩阵的结构，推导出MUBs存在的必要条件？
• RQ2 如何利用有限域算术，在素数幂维下系统化地构造MUBs？
• RQ3 在 $ d = 2^m $ 下，MUB可观测量的显式形式如何用泡利矩阵表示？
• RQ4 为何该构造在非素数幂的合数维下（如 $ d = 6 $）会失败？
• RQ5 在任意有限维 $ d $ 下，可能存在的相互 unbiased 基的最大数量是多少？

主要发现

• 从正交酉矩阵的最大可交换基的结构出发，推导出在任意维数 $ d $ 下MUBs存在的必要条件。
• 为所有形如 $ d = p^m $ 的维数（其中 $ p $ 为素数且 $ m \geq 1 $）提供了MUBs存在的构造性证明。
• 证明了在任意维数 $ d $ 下，MUBs的最大数量至多为 $ d+1 $，这是一个紧致的上界。
• 对于 $ d = 2^m $，所有MUB可观测量均显式构造为泡利矩阵的张量积，从而可实现物理实现。
• 该构造在 $ d = 6 $ 等非素数幂的合数维下会失败，原因在于关键代数性质（如定理4.4中的性质）的崩溃。
• 该方法提供了一种系统且显式的MUBs生成方式，可提升使用高维系统进行量子密钥分发协议的效率。