[論文レビュー] On SIC-POVMs and MUBs in Dimension 6

Markus Grassl|arXiv (Cornell University)|Jun 23, 2004

Coding theory and cryptography参考文献 7被引用数 144

ひとこと要約

本稿は、素数のべきでない次元6における対称的情報的に完全な正作用素値測定（SIC-POVM）の明示的な代数的構成を提示し、次元6において有限アフィン平面が存在しないにもかかわらずSIC-POVMが存在しうることを示している。さらに、次元6における3つの相互に偏りのない基底（MUB）の集合が最大である、つまり4つのMUBに拡張できないことを証明し、この次元における最大MUB集合の根本的な障害を示唆している。

ABSTRACT

We provide a partial solution to the problem of constructing mutually unbiased bases (MUBs) and symmetric informationally complete POVMs (SIC-POVMs) in non-prime-power dimensions. An algebraic description of a SIC-POVM in dimension six is given. Furthermore it is shown that several sets of three mutually unbiased bases in dimension six are maximal, i.e., cannot be extended.

研究の動機と目的

• 素数のべきでない次元、特に次元6における対称的情報的に完全なPOVM（SIC-POVM）および相互に偏りのない基底（MUB）の存在を調査すること。
• 有限アフィン平面が存在しない次元6において、最大MUB集合が存在するかどうかを特定すること。
• Weyl-Heisenberg群およびその正規化群（Jacobi群）の幾何的・代数的構造を、SIC-POVMおよびMUBの構成において分析すること。
• 次元6における特定の3つのMUB集合が最大である、つまり4つのMUBに拡張できないことを確立すること。
• SIC-POVM、MUBおよび有限幾何学の関係、特に標準的構成が失敗する次元における関係を明確化すること。

提案手法

• Weyl-Heisenberg群およびその正規化群（Jacobi群）を用いて、次元6におけるSIC-POVMを構成し、SIC-POVM条件を満たす状態ベクトルを明示的に導出する。
• Zauner予想の枠組みを用い、SIC-POVMがファイドーシャル状態のWeyl-Heisenberg群による軌道として得られることを示し、次元6においてそのような状態が代数的に存在することを検証する。
• 特にフーリエ行列および位相行列 $P_d$ を用いて、Jacobi群の作用を適用し、SIC-POVM構造を保つユニタリ変換を生成する。
• $\mathbb{Z}_6 \times \mathbb{Z}_6$ 上の群論的技法を用いて、MUBの構造とHeisenberg群による不変性を分析する。
• $SL(2,\mathbb{Z}_6)$ が原点でのみ交わる直線のペアに作用する推移的性質を用い、このような直線から得られるMUBは3基準を越えて拡張できないことを示す。
• MAGMAを用いた直接計算により、次元6における特定のMUB集合の最大性を検証し、すべての3基準に対して偏りのないさらなるベクトルが存在しないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 次元6、最小の非素数のべき次元においてSIC-POVMが存在するか？
• RQ2 次元6における3つの相互に偏りのない基底は、4つのMUBに拡張可能か？
• RQ3 非素数のべき次元におけるSIC-POVMの存在は、有限アフィン平面構造に依存するのか？
• RQ4 次元6におけるMUBは、Weyl-Heisenberg群およびその自己同型にどの程度依存するか？
• RQ5 Jacobi群は、次元6におけるSIC-POVMおよびMUBの構成において果たす役割は何か？

主な発見

• 次元6におけるSIC-POVMの明示的な代数的構成が提示され、非素数のべき次元においてこのような構造が存在することを確認した。
• 次元6におけるSIC-POVMは、有限アフィン平面とは独立して存在することが示され、次元6にはアフィン平面が存在しないことから、SIC-POVMとアフィン平面との間の同等性が否定された。
• Weyl-Heisenberg群から得られる次元6における3つの相互に偏りのない基底は、最大であることが証明され、それらに4番目のMUBを追加することはできない。
• これらのMUB集合の最大性は、$SL(2,\mathbb{Z}_6)$ の群論的解析およびHeisenberg群内の巡回部分群の交差性質を用いて確立された。
• 結果として、次元6におけるMUBの幾何的構造はSIC-POVMよりも制限が厳しいことが示され、Heisenberg群から構成される場合、MUBは最大3基準に制限されることが根本的に示された。
• 本稿は、次元6における最大MUB数が未解決問題のままだが、現在の証拠は、Heisenberg群構造から出発する場合、4つを超えるMUBは存在しないという仮説を支持していると結論づけた。