[論文レビュー] 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 な基底（MUB）の拡張不能な集合を構成する。これらの集合が強く拡張不能であることを証明する——つまり、すべての基底に対して unbiased な追加のベクトルが存在しない——一方で、$d=4$ における3つのMUBに対して $H_2$ 情報エントロピー不等式がタイトであることを示し、Kochen-Speckerのコンテキスチュアルティに影響を及ぼす。

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 な基底（MUB）の集合を構成すること。
• このような不完全なMUB集合が、パウリ群の演算子または任意のベクトルを用いて拡張可能かどうかを調査すること。
• 拡張不能なMUBと、状態に依存しないコンテキスチュアルティや情報エントロピー不等式といった基礎的量子概念との関連を確立すること。
• $n>3$ の $d=2^n$ 次元への拡張不能なMUB構成法の一般化の可能性を検討すること。

提案手法

• $n$ ビットのパウリ演算子の最大可換クラスを用いてMUBを構成し、$d=2^n$ 次元における標準的なパウリ群の構造を活用する。
• $d=4$ および $d=8$ において、残りのパウリ演算子から新たな可換クラスを追加できない、$d/2+1$ 個のこのようなクラスの拡張不能な集合を同定する。
• 未割り当ての演算子から新たな最大可換クラスが形成されないことを確認するため、群論的および線形代数的技法を用いる。
• これらの拡張不能なパウリクラスの固有基底を用いてMUBを定義し、網羅的なベクトル探索と対称性解析により、その強拡張不能性を証明する。
• 結果を応用し、$d=4$ における任意の3つのMUBに対して、定理6を用いて $H_2$ 情報エントロピー不等式がタイトであることを証明する。
• 2量子ビット系における状態に依存しないKochen-Specker定理の証明と、拡張不能なパウリクラスとの間の明確な関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 $d=4$ および $d=8$ において、最大可換パウリクラスを用いて、$d/2+1$ 個の拡張不能なMUBを構成できるか？
• RQ2 このような集合が強く拡張不能であるか、すなわち、集合内のすべての基底に対して unbiased なベクトルが存在しないか？
• RQ3 $d=4$ における3つのMUBに対して、その構成が $H_2$ 情報エントロピー不等式のタイトさをもたらすか？
• RQ4 拡張不能なMUBと2量子ビット系における状態に依存しないコンテキスチュアルティとの間に、関連があるか？
• RQ5 $n>3$ の $d=2^n$ 次元への構成法の一般化は可能か？

主な発見

• 本稿は、$d=4$ および $d=8$ における $d/2+1$ 個のMUBの明示的例を構成し、これらが強く拡張不能であることを示す——つまり、集合内のすべての基底に対して unbiased なベクトルが存在しない。
• $d=4$ におけるパウリクラスから形成される任意の3つのMUBに対して、定理6を用いて $H_2$ 情報エントロピー不等式がタイトであることが証明された。
• $d=4$ および $d=8$ における具体的な拡張不能なパウリクラスの例が示され、弱い拡張不能性を超えたこのような集合の存在が確認された。
• 2量子ビット系における状態に依存しないKochen-Specker定理の証明と、拡張不能なパウリクラスとの間の正式な関係が確立された。
• 著者らは、パウリ群の分割構造的性質に基づき、$n>3$ の $d=2^n$ 次元における拡張不能なMUBの存在を予想している。
• 本構成法は、量子暗号や基礎的量子理論において有用な、拡張不能なMUBを生成するフレームワークを提供する。