[論文レビュー] A new expression for mutually unbiased bases in prime power dimensions

Thomas Durt|arXiv (Cornell University)|Sep 15, 2004

Coding theory and cryptography参考文献 2被引用数 8

ひとこと要約

本稿は、有限体（ガロア体）の代数的構造を用いて、すべての素数べき次元 $N = p^m$ における相互に unbiased な基底（MUBs）の明示的で統一的な表現を導出する。Ivanovic や Wootters–Fields による先行研究を一般化し、加法的特徴関数と一般化されたパウリ群内の位相正規化された群法則に基づく新たな定式化を提供する。奇数および偶数の素数べき次元（$2^m$ を含む）に対して有効な、画期的な表現が得られる。

ABSTRACT

Mutually unbiased bases generalize the X, Y and Z qubit bases. They possess numerous applications in quantum information science. It is well-known that in prime power dimensions N=p^m (with p prime and m a positive integer) there exists a maximal set of N+1 mutually unbiased bases. In the present paper, we derive an explicit expression for those bases, in terms of the (operations of the) associated finite field (Galois division ring) of N elements. This expression is shown to be equivalent to the expressions previously obtained by Ivanovic in odd prime dimensions (J. Phys. A, 14, 3241 (1981)), and Wootters and Fields (Ann. Phys. 191, 363 (1989)) in odd prime power dimensions. In even prime power dimensions, we derive a new explicit expression for the mutually unbiased bases. The new ingredients of our approach are, basically, the following: we provide a simple expression of the generalised Pauli group in terms of the additive characters of the field and we derive an exact groupal composition law inside the elements of the commuting subsets of the generalised Pauli group, renormalised by a well-chosen phase-factor.

研究の動機と目的

• すべての素数べき次元 $N = p^m$ における相互に unbiased な基底（MUBs）の統一的で明示的な構成を提供すること。
• 従来、奇数の素数べきに限られていた既知の構成を、偶数の素数べき次元（$2^m$）へと拡張する新しい定式化を提供すること。
• 有限体の演算と加法的特徴関数を用いて、MUB の背後にある数学的枠組みを単純化・統一すること。
• 位相正規化された群法則を介して、一般化されたパウリ群、加法的特徴関数、および MUB の構造との直接的な関連を確立すること。
• 有限体の役割を明確にする、体系的で代数的な導出を提供すること。

提案手法

• 次元 $N = p^m$ の有限体 $\mathbb{F}_N$ を用い、$0$ から $N-1$ の整数の $p$ 進展開により要素をラベル化する。
• 体の加法的特徴関数を用いて位相因子 $\gamma_G^{g} = e^{i2\pi g/p}$ を定義し、これは $p$ 進展開の最下位桁にのみ依存する。
• 一般化されたパウリ群をこれらの加法的特徴関数を用いて表現し、ユニタリ演算子のコンactなパrametrization を可能にする。
• 一般化されたパウリ群の可換部分集合に対して、位相正規化された群法則を導出する。これによりユニタリ性と乗法における閉包性が保証される。
• MUB は、体の乗法的および加法的構造を用いて、特定の一般化されたパウリ演算子の固有基底として構成される。
• 恒等式 $\sum_{j=0}^{N-1} \gamma_G^{j \odot_G i} = N \delta_{i,0}$ を活用し、直交性と unbiased 性の根拠を提供する。

実験結果

リサーチクエスチョン

• RQ1 すべての素数べき次元（$2^m$ を含む）において、相互に unbiased な基底を一様に表す明示的代数的表現を導出できるか？
• RQ2 有限体の加法的特徴関数を用いて、一般化されたパウリ群を体系的に表現し、MUB を構成できるか？
• RQ3 体の乗法的および加法的構造が、基底の unbiased 性を保証するために果たす役割は何か？
• RQ4 一般化されたパウリ群の可換部分集合における位相正規化された群法則が、ユニタリ性と閉包性をどのように保証するか？
• RQ5 この構成を、奇数の素数べき次元に限らず、完全に合成的かつ一般化された形に拡張できるか？

主な発見

• 本稿は、偶数の素数べき次元（$2^m$）における相互に unbiased な基底の新しい明示的表現を導出し、これは従来未知であった。
• この構成は、奇数の素数べき次元において Ivanovic や Wootters–Fields の結果と等価であることが示され、両ケースを統一する。
• 一般化されたパウリ群は、有限体の加法的特徴関数を用いて表現され、コンact かつ代数的に明確な定式化が得られる。
• 一般化されたパウリ群の可換部分集合に対して、位相正規化された群法則が導出され、演算子の一貫した合成を可能にする。
• すべての素数べき次元 $N = p^m$ において、$N+1$ 個の完全な相互に unbiased な基底の集合が存在することを確認し、体系的かつ統一的な導出が可能である。
• 形式的枠組みは、MUB、有限体の算術、および離散ウェイラー関数の間の深い関連を明らかにし、量子トモグラフィーやエラー訂正への広範な応用可能性を示唆する。