[論文レビュー] 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

ひとこと要約

本稿は、素数べき次元における相互に unbiased な基底（MUBs）の存在について、直交ユニタリ行列の最大可換基底とMUBsの間の関係を用いた、新しい代数的証明を提示する。次元 $ d = 2^m $ に対して、パウリ行列のテンソル積として明示的にMUBsを生成する構成的技法を提供し、任意の次元において最大 $ d+1 $ 個のMUBsが存在可能であることを確立し、$ 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の存在を構成的証明すること。
• $ d = 2^m $ に対して、MUB観測量をパウリ行列のテンソル積として明示的に表現し、物理的実装を可能にすること。
• 任意の次元 $ d $ において、最大 $ d+1 $ 個のMUBsが存在可能であることを確立すること。

提案手法

• 有限体上の代数的構造を用いて、直交ユニタリ行列の最大可換基底とMUBsの間の対応関係を確立する。
• $ \mathbb{F}_{p^m} $ を $ \mathbb{F}_p $ 上のベクトル空間とみなし、基底 $ \{\gamma_1, \dots, \gamma_m\} $ を用いて乗法作用素の行列表現を定義する。
• 乗法関係 $ \gamma_i\gamma_j = \sum_\ell b_{ij}^\ell \gamma\_\ell $ から、行列 $ B_\ell = (b_{ij}^\ell) $ を構成し、可換なユニタリ行列の集合を得る。
• $ d = p^2 $ の場合、$ \mathbb{F}_p $ 上の $ p^2 $ 個の対称行列 $ A_j $ を明示的に構成し、互いに非退化であることを保証する行列式条件を満たす。
• 異なる基底からのベクトル間の重なりが一様であることを示すことで、得られた基底が相互に unbiased であることを証明する。
• $ d = 2^m $ にこの構成を適用し、MUB観測量をパウリ行列のテンソル積として表現することで、物理的実現を可能にする。

実験結果

リサーチクエスチョン

• RQ1 可換ユニタリ行列の構造を用いて、相互に unbiased な基底の存在に対する必要条件を導出できるか？
• 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における重要な代数的性質の崩壊により、この構成は失敗する。
• 本手法は、高次元系を用いた量子鍵配送プロトコルの効率向上に寄与する体系的かつ明示的なMUB生成法を提供する。