Genuine Multipartite Nonlocality Is Fermionic Magic

技術要約：真の多体非局所性はフェルミオン的マジックである

問題提起
本論文は、量子情報理論における根本的な問い、すなわち「古典的にシミュレート可能な量子系とユニバーサルな量子コンピュータの境界は、量子相関の境界とも一致するのか？」という問題に取り組んでいる。具体的には、自由フェルミオン系における**真の多体非局所性（GMNL）**の限界について調査している。

自由フェルミオン（およびクリフォード回路）は古典的に効率よくシミュレート可能であることが確立されているが、単一の非ガウス状態（マジック状態）がフェルミオン系をユニバーサルにする。しかし、自由フェルミオンがGMNLを示し得るかどうかは未解決の問題であった。先行研究では、自由フェルミオンが非局所性（CHSH不等式の破れ）を示すこと、および特定のトポロジカルな部分群がCHSHを破ったりGHZパラドックスに達したりできないことは示されている。中心となる問題は、連続的な多様体であるフェルミオン・ガウス状態がどの程度のGMNLを担うことができるか、そしてその容量が、彼らの古典的シミュラビリティを制限する制約によって制限されているのかどうかを決定することである。

手法
著者は、解析的な証明、数値最適化、および実験的検証を組み合わせて用いている。

1. 解析的枠組み:

   • 定式化: 本研究は、マヨラナ演算子（$c_i$）と、その共分散行列 $\Gamma$ によって定義されるフェルミオン・ガウス状態を利用する。測定は、局所的な双線形観測量 $O = i(u \cdot c)(v \cdot c)$、すなわち局所的なガウス回転後の占有数としてモデル化される。
   • 不等式: 著者は、真の多体もつれと非局所性のそれぞれを証拠付けるメルミン多項式（$M_n$）およびスヴェトリツキー多項式（$S_n$）を分析する。
   • 証明技術: 証明は、パフリアン（ウィックの定理）の多重線型性、フェルミオン・パリティの性質、およびペアの重みに関する線形計画法に基づいている。主要な補題は、相補的なパターンの占有確率の積を制限する「真空充填（vacuum-full）」不等式を確立している。

2. 数値的検証:

   • 著者は、共分散行列に対するL-BFGS-B最適化を用いて、ガウス状態（純粋状態および混合状態）に対する直接的な最大化を行う。
   • 方向を厳密に共有しない設定（「一般平面」の場合）に対処するため、方向の不一致を扱う厳密な上限を証明するために、区間分岐限定法を採用している。

3. 実験的実装:

   • ハードウェア: 実験は、3つのIBM量子プロセッサ（ibm fez (Heron r2)、ibm marrakesh (Heron r2)、ibm berlin (Nighthawk r1)）で行われた。
   • エンコーディング: 論理量子ビットは、デュアルレールスキーム（$|01\rangle, |10\rangle$）でエンコードされており、ここで論理パウリ演算子はマヨラナ双線形に対応する。
   • 回路: プロトコルは、単一の非ガウス要素である制御位相ゲート $CP(\phi)$ を含む、一定深さのマッチゲート回路を使用する。$\phi$ を変化させることで、システムはガウス（シミュレート可能）領域から非ガウス（マジック）領域へと遷移する。
   • 指標: 著者は、メルのミン値 $M$ と、モノガミー（単一性）の制約をテストするための複数の独立した「セル」（6量子ビットブロック）の同時成功確率を測定する。

主要な貢献と結果

1. ガウス状態に対する理論的境界:

   • 定理1: 任意のフェルミオン・ガウス状態（純粋または混合）および、各パーティの2つの測定平面が方向を共有する（または可換である）局所双線形設定において、3体メルミン相関量は $|\langle Q_A Q_B Q_C \rangle| \le 2\sqrt{2}$ で抑えられる。
   • 含意: この境界は、メルミン不等式の双分離（biseparable）限界に等しい。したがって、いかなるフェルミオン・ガウス状態も、メルミン不等式を通じて真の3体もつれを証明することはできず、スヴェリツキー不等式（境界4）を破ることもできない。
   • 一般化（定理3）: $n$ パーティの場合、境界は $|\langle \prod Q_j \rangle| \le 2^{n/2}$ である。自由フェルミオンは、メルミン多項式を（単一ペアのツレルソン境界である）$\sqrt{2}$ だけ破るが、$n \ge 4$ においては決して双分離境界を超えることはない。したがって、自由フェルミオンは、パーティの数に関わらず、決して真の多体非局所的ではない。

2. リソースの特定:

   • 本論文は、真の多体非局所性が、シミュレート可能なフェルミオン系から脱するための正確なリソースであることを確立している。
   • 定理4: デバイス非依存の設定において、フェルミオン線形光学読み出し下でのメルミン値が $2\sqrt{2}$ を超える場合、それはフェルミオン的マジック（非ガウス性）の存在を証明する。これは直接的な繋がりを提供している。すなわち、GMNLはフェルミオン計算における普遍性のシグネチャーである。

3. 実験的証明:

   • 著者は、ハードウェア上でのガウス境界の破れを実証することに成功した。
   • ibm fez 上では、$\phi = \pi$ において、単一セルが $M_{raw} = 3.305 \pm 0.022$ という生のメルミン値を達成し、$2\sqrt{2} \approx 2.828$ の境界を22標準偏差分超えた。
   • モノガミー・テスト: ibm fez 上で48量子ビット（8つの独立したセル）を用いたとき、同時成功確率は $0.503 \pm 0.002$ であり、ガウス境界である $\beta^8 \approx 0.282$ を大幅に上回った。これは、この非局所性が単なるペアごとの相関の集合ではなく、非ガウスゲートによって可能になった真の多体リソースであることを裏付けている。
   • 結果は異なるアーキテクチャ（HeronおよびNighthawk）間で一貫しており、可視性 $A \approx 0.83-0.87$ を伴ってノイズに対して堅牢であった。

意義と主張
本論文は、自由フェルミオン（ガウス状態）の計算上の境界が、相関の境界と一致するかどうかという未解決の問いを解決したと主張している。知見は以下の通りである：

• 障害としてのパリティ: 自由フェルミオンがGMNLを示せないことは、根本的にフェルミオン・パリティに起因している。二次形式のハミルトニアンに内在するパリティ保存は、相関を双分離領域に制限する。
• マジックとしてのGMNL: 真の多体非局所性は、ユニバーサルなフェルミオン計算と、シミュレート可能な自由フェルミオン力学とを区別する特定の記述的リソースとして特定された。マジック状態がユニバーサルなクリフォード計算を可能にするのと同様に、フェルミオン的マジック（非ガウス性）はGMNLを可能にする。
• デバイス非依存の証明: 本研究は、状態の完全なトモグラフィーを必要とせず、占有数測定の統計のみを用いて、フェルミオン的マジックおよび平均場理論を超えた相互作用（例：BCS超伝導体やキタエフ鎖）の存在を証明する方法を提供する。
• ハードウェアによる検証: IBMプロセッサ上での実験結果は、現在の量子ハードウェアがこの特定の形態の非局所性を生成し、証明できることを示しており、理論的境界とリソースのモノガミーを検証している。

著者は、「一般平面」の場合（測定平面が方向を共有しない場合）については、数値探索では $2\sqrt{2}$ が返されるものの、厳密な解析的証明（認定された定数 3.26）は分岐限定法と第二次近似の議論に依存しており、依然として洗練の余地があるとして、控えめな姿勢を保っている。しかし、物理的に重要なエンコードされた量子ビット（デュアルレールまたはマヨラナ・テトロン）の場合、共有された方向の仮定は自動的に満たされるため、$2\sqrt{2}$ の境界は厳密であり、マジックの証明は決定的である。