[論文レビュー] Sharply covariant mutually unbiased bases

Huangjun Zhu|arXiv (Cornell University)|Feb 27, 2015

Molecular Junctions and Nanostructures参考文献 2被引用数 6

ひとこと要約

この論文は、有限次元量子系における鋭い共変性を持つ相互に unbiased 基底（MUB）の存在を調査し、ユニタリ同値性を除いて、唯一2つの安定化子 MUB のみが鋭い共変性を持つことを示している。これは、反ユニタリ対称性を含めても同様である。この結果は、すべての MUB が鋭い共変性を持つ一方で、すべての対称的情報的に完全な正作用素値測定（SIC）が鋭い共変性を持つという事実と対照的であり、量子情報理論における根本的な非対称性を示している。

ABSTRACT

Mutually unbiased bases (MUB) are an elusive discrete structure in Hilbert spaces. Many (complete sets of) MUB are group covariant, but little is known whether they can be sharply covariant in the sense that the generating groups can have order equal to the total number of basis states, that is, $d(d+1)$ for MUB in dimension $d$. Sharply covariant MUB, if they exist, would be most appealing from both theoretical and practical point of view. Since stabilizer MUB subsume almost all MUB that have ever been constructed, it is of fundamental interest to single out those candidates that are sharply covariant. We show that, quite surprisingly, only two stabilizer MUB are sharply covariant, and the conclusion still holds even if antiunitary transformations are taken into account. Our study provides valuable insight on the symmetry of stabilizer MUB, which may have implications for a number of research topics in quantum information and foundations. In addition, it exposes a sharp contrast between MUB and another elusive discrete structure known as symmetric informationally complete measurements (SICs), all known examples of which are sharply covariant.

研究の動機と目的

• 安定化子相互に unbiased 基底（MUB）が、位数 d(d+1) のユニタリおよび反ユニタリ作用素の群によって生成される鋭い共変性を持つかどうかを特定すること。
• 鋭い共変性を持つ MUB の理論的・実用的価値を解明すること。これは、位相空間表現における群の元による効率的構成と自然なラベル付けを可能にする。
• 特に Clifford 群とハイゼンベルク＝ヴァイル（HW）位移作用素との関係において、安定化子 MUB の対称性構造を調査すること。
• すべての SIC が鋭い共変性を持つことが知られている対称的情報的に完全な測定（SIC）と比較し、それらの群論的性質における根本的な違いを強調すること。

提案手法

• 論文は、次元 d = q = p^n における安定化子 MUB の対称性群を分析し、Clifford 群およびその部分群の作用に焦点を当てる。
• Heisenberg-Weyl 群の構造とその最大アーベル部分群（安定化子基底）を用い、MUB をこのような部分群の共通固有基底として特徴付ける。
• Sylow p-部分群の解析と、特に次元 8 における symplectic 群 Sp(2n,p) 内の正規化子構造を含む群論的技法を適用する。
• 候補となる対称性群が MUB 基底に与える作用を検討し、推移性および不可約性の条件を用いて鋭い共変性構造を除外する。
• トレースに基づく特徴指標和と固有値の重複度を用いて、特にユニタリ部分群の不可約表現を分析する。
• 技術的補題を証明する。すなわち、Clifford 群の部分群が Zsigmondy ユニタリ作用素を含み、同じ次数の不変表現が2つ存在する場合、それらは同値でない必要がある。これは、特定の群構造を除外する上で極めて重要である。

実験結果

リサーチクエスチョン

• RQ1 任意の安定化子 MUB が、位数 d(d+1) のユニタリおよび反ユニタリ作用素の群によって生成される鋭い共変性を持つことができるか？
• RQ2 高次元において安定化子 MUB が多数存在するにもかかわらず、なぜ唯一2つのみが鋭い共変性条件を満たすのか？
• RQ3 鋭い共変性を持つ MUB が存在しない構造的要因は何か。特に、既に知られている鋭い共変性を持つ SIC との対比において。
• RQ4 次元 8 における安定化子 MUB の対称性群は、鋭い共変性の可能性をどのように制限するか？
• RQ5 Zsigmondy 素数と Singer 部分群は、Clifford 群内での鋭い共変性構造の除外に果たす役割は何か？

主な発見

• ユニタリ同値性を除いて、次元や反ユニタリ対称性の有無にかかわらず、唯一2つの安定化子 MUB のみが鋭い共変性を持つ。
• 次元 8 において、960 個の安定化子 MUB がすべて Clifford 群によって関連付けられているにもかかわらず、どれに対しても鋭い共変性を持つものは存在しない。
• 次元 8 における各安定化子 MUB の対称性群の位数は 96768 であり、HW 群による商の位数は 1512 である。この群には鋭い共変性構造を含まない。
• 解析により、候補となる鋭い共変性群は、MUB 基底に推移的かつ不可約に作用する必要があるが、Sylow 3-部分群およびトレースに基づく特徴指標の議論によってこれが除外される。
• 対称性群の Sylow 3-部分群に非巡回の位数 9 の部分群が存在するため、作用が推移的でないことが示され、鋭い共変性と矛盾する。
• すべての候補ケースにおいて、条件 ∑|tr(U)|² / |H| > |G|/|H| が成立せず、したがってこのような鋭い共変性群が存在しないことが証明される。