Non-stabilizerness and violations of CHSH inequalities

技術的要約：非スタビライザー性とCHSH不等式の破れ

問題提起
クローザー・ホーソン・シミントン・ホルト（CHSH）不等式の破れは、伝統的に量子もつれに起因する量子非局所性の象徴である。しかし、近年の理論的発展は、もつれだけでは不十分であり、量子優位性を達成するためには非スタビライザー資源（しばしば「マジック」と呼ばれる）も必要であることを示している。これらの資源の必要性は確立されているものの、CHSHの破れを可能にするために、量子もつれと非スタビライザー資源がどのように相互作用すべきかという具体的な構造的要件については、定量的な特性付けがなされていない。具体的には、非スタビライザー資源が局所的であるべきか非局所的であるべきか、対称的であるべきか非対称的であるべきか、そしてこれらの特性が不完全な制御下での破れの確率にどのように影響するかが不明である。

手法
著者らは、初期状態の準備と測定を「資源フリー」と定義する資源理論的枠組みを採用している。標準的な資源フリーの準備を $\omega_0 = |00\rangle\langle 00|$ とし、パウリ測定からなる資源フリーのCHSH演算子を $B_0$ とする。必要なすべての資源は、ユニタリ発展 $U$ にエンコードされており、最終的な状態は $\omega_U = U\omega_0 U^\dagger$ となる。

非スタビライザー資源を定量化するために、著者らはスタビライザー・エントロピー（SE）、特にパウリ文字列の確率分布に対するシフトされた2次レニー・エントロピーである2-SE ($M_2$) を用いる。著者らは以下を区別している：

1. 全非スタビライザー性 ($M_2$): 状態のマジック。
2. 非局所的非スタビライザー性 ($M_{NL}$): 局所的なユニタリ操作によって除去できないマジックの量。これは、局所的なユニタリ操作によって達成可能な最小の $M_2$ として定義される。
3. 局所的非スタビライザー性 ($M_{LOC}$): $M_2 - M_{NL}$ の差。

本研究では、主に以下の3つの解析手法を用いている：

• 理論的証明: クリフォード群およびスタビライザー状態の性質を用いた、CHSH破れの必要十分条件の導出。
• ハール平均: ランダムなユニタリに対する破れの確率、および固定された資源値（もつれエントロピー、$M_{NL}$、$M_{LOC}$）を与えられた条件付き確率の計算。
• 等スペクトル・トワリング（Isospectral Twirling）: 固定されたスペクトル（「コア」ユニタリ $U_c$ によって制御される）を持つユニタリのアンサンブルを構成しつつ、固有ベクトルをランダム化（クリフォード群や全ユニタリ群などの部分群 $G$ で平均化）する表現論の手法。これは、状態準備に対する制御が限定的なシナリオをモデル化している。

主な貢献と結果

1. 非スタビライザー資源の必要性:
   本論文は、純粋または混合スタビライザー状態（$M_2=0$）は、測定設定に関わらずCHSH不等式を破ることができないことを証明している（定理1）。さらに、準備ユニタリがクリフォード演算子である場合、結果として得られる状態はスタビライザー状態であり、破れは発生しない。

2. 破れの構造的要件:

   • 非対称性: ユニタリ準備 $U$ が（スワップ演算子と可換であるため）量子ビットのスワップに対して対称である場合、CHSHの破れは不可能であることを定理2は示している。資源はアリスとボブの間で非対称である必要がある。
   • マジックの局所性: 直感に反して、本論文は非局所的な非スタビライザー性がCHSHの破れに有害であることを証明している。定理3は、非局所的マジック $M_{NL}$ の関数としての最大CHSH期待値 $C(\theta)$ の上界を確立している：
     $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
     したがって、ゼロでない $M_{NL}$ は、状態がツィレルソン限界（$2\sqrt{2}$）に達することを厳密に妨げる。破れを最大化するには、ユニタリは局所的な非スタビライザー性（$M_{LOC}$）を注入しなければならない。定理4は、$M_{LOC} = 0$ であれば破れは不可能であることを確認している。

3. ハール測度による確率的解析:
   $5 \times 10^7$ 個のハールランダムな2量子ビット状態を用いた数値シミュレーションにより、以下が明らかになった：

   • ランダムなユニタリがCHSH不等式を破る確率は、約**2.51%**である。
   • $M_{NL}$ が高い状態の方が低い状態よりも不等式を破る可能性は高いが、破れの大きさ自体は $M_{NL}$ の存在によって抑制される。
   • 破れの確率は $M_{LOC}$ に関して非単調である。非常に高い $M_{LOC}$ は、ランダムな状態においてしばしば高い $M_{NL}$ と相関しており、それが破れを阻害する。

4. 等スペクトル・トワリングとアンサンブル構築:
   著者らは、限定的な制御下で破れの確率を最大化するユニタリのアンサンブルを体系的に構築するために、等スペクトル・トワリングを利用している。

   • 非対称トワリング: 片方の量子ビットに対してのみ（非対称に）クリフォード群または全ユニタリ群上で平均化を行うことは、両方の量子ビットに対して対称にトワリングを行うよりも、有意に高い破れの確率をもたらす。
   • クリフォード群の効率性: 驚くべきことに、コア・ユニタリが適切な非スタビライザー資源を備えている限り、片方の量子ビットに対してクリフォード群上で等スペクトル・トワリングを行うことは、全ユニタリ群上で平均化する場合と同等の破れ確率をもたらす。
   • 堅牢性: 破れの確率は、非スタビライザー性の正確な量よりも、トワリングの非対称性に依存することが判明した（ただし、コア・ユニタリが非クリフォードである場合に限る）。

意義
本論文は、非局所性に必要な「マジック」の定量的特性を提示している。これは、CHSHの破れに関する理解を、純粋な量子もつれ中心の視点から、非スタビライザー資源の構造が極めて重要であるという資源理論的視点へと転換させるものである。非スタビライザー資源は、CHSHの破れを促進するために局所的かつ非対称でなければならないという主要な知見は、非局所的なマジックこそが非局所性の主要な原動力であるという素朴な直観に挑戦するものである。

等スペクトル・トワリングを用いることで、本研究は、ノイズや限定的な制御に対して堅牢な、より高い確率で非局所的な相関を観察することを目的とした量子制御プロトコル（ユニタリのアンサンブル）を設計するための体系的な手法を提供している。これは、衛星ベースの量子実験や、ゲート忠実度が不完全なシステムなど、ユニタリ発展の完全な制御が困難な実験セットアップにおいて重要な意味を持つ。結果は、たとえ制限された制御（例：クリフォード群）を用いていても、非対称性と局所的な資源が適切に管理されていれば、高い確率の破れを設計できることを示唆している。