Quantum Circuits for High-Dimensional Absolutely Maximally Entangled States

1. 問題設定 (Problem)

• AME 状態の重要性: AME 状態は、系を任意の 2 つの部分系に分割した際、すべての分割において最大エンタングルメントとなる状態です。量子テレポーテーション、秘密共有、フォールトトレラント量子計算、量子誤り訂正符号など、高度な量子情報処理タスクにおいて不可欠なリソースです。
• 既存の限界: 従来の AME 状態の構築は、主に「グラフ状態（Graph States）」や「安定化子形式（Stabilizer Formalism）」に基づいて行われてきました。これらは Gottesman-Knill 定理により効率的にシミュレーション可能ですが、より複雑なエンタングルメント構造を持つ非安定化子状態（Non-stabilizer states）の構築は困難でした。
• 高次元（Qudit）の課題: 局所次元 $d=2$（量子ビット）の場合、4 粒子の AME 状態は存在しないことが知られています。しかし、$d>2$ の高次元系（Qudit）では AME 状態が存在します。特に、$d=6$ の 4 粒子系（AME(4,6)）などは、安定化子形式では構築できない「非グラフ状態」として知られていますが、これを物理的に生成するための具体的な量子回路が提案されていませんでした。
• 研究の目的: 安定化子形式に依存しない、高次元 AME 状態（特に AME(4,4), AME(4,6), AME(4,8)）を生成するための明示的な量子回路を提案し、量子ハードウェア（イオントラップ、光子、超伝導など）での実験的実装への道筋を示すことです。

2. 手法 (Methodology)

本研究では、以下の理論的枠組みと技術的アプローチを用いています。

• オペレーター - 状態対応と多ユニタリゲート:
  4 粒子の AME 状態は、2 粒子間の双ユニタリ演算子（Multi-unitary operator）$U$ を用いて記述できます。この $U$ が「2-ユニタリ（2-unitary）」、すなわち、転置や部分転置などの行列の再配置操作を行ってもユニタリ性を保つ場合、生成される状態は AME 状態となります。
• 双単一モジュラス（Biunimodular）ベクトルの利用:
  非安定化子 AME 状態を構築するために、Ref [24] で提案された「双単一モジュラス（Biunimodular）ベクトル」の構成法を採用しました。このベクトル $\Lambda$ を用いることで、非クリフフォード（Non-Clifford）な多ユニタリゲート $U[\Lambda]$ を構成できます。
  • ゲートの形式: $U[\Lambda] = C_X (F \otimes I) D[\Lambda] (F^\dagger \otimes I) C_X$
  • ここで、$F$ はフーリエ変換ゲート、$C_X$ は一般化制御 NOT ゲート、$D[\Lambda]$ は対角ユニタリゲート（$\Lambda$ の成分から構成）です。
• 量子回路の設計:
  • Qudit 直接実装: 高次元の量子ビット（Qudit）を直接扱うプラットフォーム向けに、フーリエゲートと対角ゲート $D[\Lambda]$ を用いた回路を設計しました。
  • 量子ビットへの符号化（Qubit Encoding）: 現在の主要な量子ハードウェアは量子ビットベースであるため、高次元 Qudit を複数の量子ビットで符号化し、回路を分解しました。
    • AME(4, 4): 4 次元（Ququart）を 2 量子ビットで表現（計 8 量子ビット）。
    • AME(4, 6): 6 次元（Quhex）を 1 量子ビット + 1 量子トリット（Qutrit）の混合、または 3 量子ビットで表現（計 12 量子ビット）。
    • AME(4, 8): 8 次元（Quoct）を 3 量子ビットで表現（計 12 量子ビット）。
  • 対角ゲートの分解: 非クリフフォードな対角ゲート $D[\Lambda]$ を、単一・2 量子ビットゲート（CNOT, CZ, 位相ゲートなど）および多制御ゲート（CCZ など）に分解する具体的なアルゴリズムを提示しました。

3. 主要な貢献 (Key Contributions)

1. 非安定化子 AME 状態の具体的な回路提案:
   従来のグラフ状態とは LU 同値（局所ユニタリ同値）ではない、AME(4,4), AME(4,6), AME(4,8) の生成回路を初めて明示的に提示しました。特に AME(4,6) は、オイラーの 36 人の将校問題の量子解に関連する状態であり、その実験的生成回路を提案した点は画期的です。
2. 高次元エンタングルメントの量子ビット実装戦略:
   高次元 Qudit を量子ビットで効率的に符号化し、複雑な対角ユニタリゲートを既存のハードウェアで実行可能なゲートセットに分解する手法を確立しました。
3. 実験的指標とノイズ耐性の解析:
   • 忠実度しきい値: 実験的に生成された状態が真の多粒子エンタングルメントを持つことを証明するために必要な忠実度（Fidelity）のしきい値を導出しました（例：$d=6$ の場合、$F \ge 5/6 \approx 0.83$）。
   • ノイズ耐性: 脱分極ノイズ（Depolarizing noise）下でのエンタングルメントの減衰を解析し、AME 状態が一般的な GHZ 状態やランダム状態よりも高いノイズ耐性を持つことを示しました（例：$d=6$ でノイズ率 28% 以下であれば、ランダム状態と区別可能）。
4. 量子テレポーテーションへの応用:
   生成された AME 状態を用いた量子テレポーテーションプロトコルを解析し、ノイズ率約 35% まで量子優位性（古典的限界 2/3 を超える忠実度）を維持できることを示しました。

4. 結果 (Results)

• 回路の具体化:
  • AME(4,4): 8 量子ビット回路を提案。非クリフフォードな CCZ ゲートを含む回路構成を提示。
  • AME(4,6): 12 量子ビット（または混合アーキテクチャ）回路を提案。双単一モジュラスベクトルの数値的探索により得られた具体的なゲート構成を示す。
  • AME(4,8): 12 量子ビット回路を提案。Qiskit を用いた対角ゲートの分解結果を付録に示す。
• LU 同値性の確認:
  局所ユニタリ（LU）不変量（$\text{Tr}[I(U)^2]$）を計算し、提案した非グラフ状態が既存のグラフ状態や安定化子状態とは LU 同値ではないことを数学的に証明しました。
• 実験的実現可能性:
  イオントラップ、光子、超伝導回路などのプラットフォームにおける実装可能性を議論し、特にイオントラップが高次元 AME 状態の実装に最も有望であることを示唆しました。

5. 意義 (Significance)

• 量子ハードウェアのベンチマーク:
  AME 状態は、GHZ 状態よりも遥かに複雑で多様なエンタングルメント構造を持つため、量子プロセッサの性能を評価するための究極的なベンチマークとなります。本研究は、その生成を可能にする回路を提供することで、ハードウェアの能力限界をテストする手段を提供します。
• 量子組合せ論と物理の架け橋:
  AME 状態の構築は、直交配列やオイラーの将校問題などの古典的組合せ論的問題と深く結びついています。本研究は、これらの数学的構造を物理的な量子回路として実装する「量子組合せ論（Quantum Combinatorics）」の分野を前進させました。
• 将来の量子技術への道筋:
  高次元エンタングルメントは、より効率的な量子通信や誤り訂正を可能にします。非安定化子 AME 状態の実現は、単なる理論的な存在証明を超え、実用的な量子情報処理プロトコル（高次元テレポーテーションなど）を現実のものにするための重要なステップです。

総じて、この論文は、数学的に存在が知られていたが実験的に未達成だった「非安定化子高次元 AME 状態」を、具体的な量子回路として設計し、実験的実装へのロードマップを示した画期的な研究です。