[论文解读] Unextendible Mutually Unbiased Bases from Pauli Classes

Prabha Mandayam, Somshubhro Bandyopadhyay+2 more|arXiv (Cornell University)|Feb 15, 2013

Quantum Computing Algorithms and Architecture参考文献 21被引用 7

一句话总结

该论文通过泡利算符的最大阿贝耳子群，在维度 $d=4$ 和 $d=8$ 中构造了 $d/2+1$ 个相互 unbiased 的基（MUBs）的不可扩展集合。证明了这些集合是强不可扩展的——即不存在任何向量与集合中所有基均无偏。此外，该研究展示了在 $d=4$ 中，三个 MUBs 的 $H_2$ 熵不确定关系是紧致的，其结果对 Kochen-Specker contextuality 具有重要意义。

ABSTRACT

We provide a construction of sets of (d/2+1) mutually unbiased bases (MUBs) in dimensions d=4,8 using maximal commuting classes of Pauli operators. We show that these incomplete sets cannot be extended further using the operators of the Pauli group. However, specific examples of sets of MUBs obtained using our construction are shown to be strongly unextendible; that is, there does not exist another vector that is unbiased with respect to the elements in the set. We conjecture the existence of such unextendible sets in higher dimensions (d=2^{n}, n>3) as well. Furthermore, we note an interesting connection between these unextendible sets and state-independent proofs of the Kochen-Specker Theorem for two-qubit systems. Our construction also leads to a proof of the tightness of a H_{2} entropic uncertainty relation for any set of three MUBs constructed from Pauli classes in d=4.

研究动机与目标

• 在已知存在完整 MUB 集合的复合维度中，构造不完备但不可扩展的相互 unbiased 基（MUBs）集合。
• 研究此类不完备的 MUB 集合是否可通过泡利群算符或任意向量进行扩展。
• 建立不可扩展 MUBs 与量子基础概念（如非依赖态的 contextuality 和熵不确定关系）之间的联系。
• 探索将不可扩展 MUB 构造推广至更高维度 $d=2^n$（$n>3$）的可能性。

提出的方法

• 通过 $n$-量子比特泡利算符的最大阿贝耳子群构造 MUBs，利用 $d=2^n$ 维度中标准泡利群结构。
• 在 $d=4$ 和 $d=8$ 中识别出 $d/2+1$ 个此类子群的不可扩展集合，这些集合无法通过添加剩余泡利算符中的更多阿贝耳子群来扩展。
• 采用群论与线性代数技术，验证未分配算符无法形成更多最大阿贝耳子群。
• 利用这些不可扩展泡利子群的本征基定义 MUBs，并通过穷举向量搜索与对称性分析，证明其强不可扩展性。
• 将结果应用于证明：在 $d=4$ 中，任意三个由泡利子群构成的 MUBs 的 $H_2$ 熵不确定关系是紧致的，依据定理 6。
• 在两量子比特系统中，正式建立不可扩展泡利子群与非依赖态 Kochen-Specker contextuality 之间的联系。

实验结果

研究问题

• RQ1 能否通过泡利算符的最大阿贝耳子群，在 $d=4$ 和 $d=8$ 中构造出 $d/2+1$ 个不可扩展的 MUBs？
• RQ2 此类集合是否为强不可扩展的？即集合中所有基均无偏的向量是否存在？
• RQ3 该构造是否导致 $d=4$ 中三个 MUBs 的熵不确定关系为紧致？
• RQ4 不可扩展 MUBs 与两量子比特系统中非依赖态 contextuality 之间是否存在关联？
• RQ5 该构造能否推广至更高维度 $d=2^n$（$n>3$）？

主要发现

• 本文给出了 $d=4$ 和 $d=8$ 中 $d/2+1$ 个 MUBs 的显式构造，且这些集合为强不可扩展——即集合中所有基均无偏的向量不存在。
• 对于 $d=4$ 中由泡利子群构成的任意三个 MUBs，其 $H_2$ 熵不确定关系是紧致的，该结论由定理 6 证明。
• 在 $d=4$ 和 $d=8$ 中，具体示例的不可扩展泡利子群被证明为强不可扩展，确认了此类集合的存在性，超越了弱不可扩展性。
• 在两量子比特系统中，正式建立了不可扩展泡利子群与非依赖态 Kochen-Specker 定理证明之间的联系。
• 作者基于泡利群划分的结构特性，推测在更高维度 $d=2^n$（$n>3$）中存在不可扩展 MUBs。
• 该构造提供了一套生成不可扩展 MUBs 的框架，可能在量子密码学与基础量子理论中具有应用价值。