Nonlocal magic of fermions is bounded by entanglement fluctuations and is logarithmic for free fermions

技術要約：フェルミオンの非局所的なマジックはエンタングルメントのゆらぎによって制限される

問題提起
自由フェルミオン状態（ガウス状態）は、ハートリー・フォックやBCS平均場状態を含み、古典的にシミュレート可能であるが、これらを量子ビットとして表現した場合、通常、広範な「マジック」（非スタビライザー性）を持つ。マジックは、スタビライザー形式による古典シミュレーションの困難さ、およびフォールトトレラント量子計算におけるリソースコスト（具体的には非クリフォード$T$ゲートの数）を定量化するものである。局所ユニタリ操作によって局所的なマジックを取り除くことは可能だが、「非局所的なマジック」は、二つの部分系の間のエンタングルメントの中に蓄えられたまま残る。

本研究が扱う中心的な問いは、自由フェルミオン状態は実際にどの程度の非局所的マジックを持っているのか、という点である。先行研究では、局所操作がガウスユニタリ（自由フェルミオンを自由フェルミオンに写すもの）に制限されている場合、非局所的なマジックは部分的にエンタングルしたフェルミオン対の数$m$に対して線形に増大することが示されている。しかし、一般的な局所ユニタリは、フェルミオン・パリティ（各領域のパリティと可換であること）によってのみ制約を受け、必ずしもガウス的である必要はない。本論文では、一般的なパリティ保存型（非ガウス的）な局所ユニタリを許容した場合、非局所的なマジックが減少するかどうか、もし減少するのであれば、そのメカニズムと程度はどの程度であるかを調査する。

手法
著者らは、分割 $A|B$ における純粋フェルミオン状態を分析する。彼らは二つの主要な非局所的マジックの尺度を用いる：

1. 非局所スタビライザー・レニー・エントロピー ($M_{\alpha}^{NL}$): 局所ユニタリを最適化した後に達成可能な最小のSRE（スタビライザー・レニー・エントロピー）。
2. 非局所スタビライザー・フィデリティ ($\Phi$): 状態（局所ユニタリ適用後）と任意のスタビライザー状態との最大オーバーラップ。これは非局所的最小相対マジック・エントロピー ($D_{min}^{NL} = -\log_2 \Phi$) に関連している。

手法には以下が含まれる：

• パリティを伴うシュミット分解: 定義されたパリティ（偶・奇セクター）を持つシュミットベクトルへの分解。著者らは、ターゲットとなる「平坦な」スペクトル（ベル対）に一致させるために、偶セクターと奇セクターから最大のシュミット値を抽出することを含む、パリティ偶型局所ユニタリによって達成可能な最大フィデリティ $\Phi_S^{NL}$ の厳密な公式を導出している。
• エンタングルメント容量 ($C_E$): エンタングルメント・ハミルトニアンの分散（またはエンタングルメント・エネルギー $X_i = -\log_2 \lambda_i$ の分散）として $C_E$ を定義する。著者らは、エンタングルメント・エネルギーを確率変数として扱い、統計的な議論（中心極限定理、ベル・エセーンの定理）を用いて、この分布の広がりに基づいてフィデリティを抑え込む（バウンドを付ける）。
• 操作の比較: 自由フェルミオン構造を保持する局所ガウスユニタリと、一般的なパリティ保存型ユニタリ（フォック状態の置換を含む）の性能を対比させる。

主な貢献と結果

1. 非局所的マジックの線形から対数への減少:
   本論文は、ガウス的な制限下で見られる広範な（線形な）非局所的マジックは、その制限によるアーティファクトであることを示している。一般的なパリティ保存型局所ユニタリを許容すると、非局所的なマジックは大幅に減少する。

   • フィデリティ: 最良のスタビライザー状態へのフィデリティは、部分的にエンタングルしたペアに対して、指数関数的（$e^{-\Theta(m)}$）ではなく、$O(1/\sqrt{m})$ で減衰する。
   • マジックの尺度: その結果、マジックの尺度は $\Theta(m)$ から $\Theta(\log m)$ へと減少する。具体的には、$D_{min}^{f,NL} \approx \frac{1}{2} \log_2 m$ および $M_2^{f,NL} \approx \frac{3}{2} \log_2 C_E$ となる。

2. エンタングルメント容量 ($C_E$) の役割:
   著者らは、以下の基本境界を確立する。定まったパリティを持つ任意の純粋フェルミオン状態の非局所的マジックは、エンタングルメント容量によって制限される。
   $$\Phi_S^{NL} \geq \frac{0.478}{\sqrt{C_E + 5}}$$
   これは、ある状態が大きな非局所的マジックを持ち得るためには、そのシュミット重みが多くの桁（エンタングルメント・エネルギーの分散が大きいこと）にわたって分布していなければならないことを意味する。自由フェルミオンのペアは独立して $C_E$ に寄与し、各ペアは高々定数 $c^* \approx 0.44$ を加えるため、$C_E$ は $m$ に対して線形にしか増大しない。この $C_E$ の線形成長が、非局所的マジックの対数スケールをもたらす。

3. ガウス型 vs 非ガウス型ユニタリの最適性:

   • 小規模システム ($m \leq 3$): 最大3つのエンタングルしたペアまでは、局所ガウスユニタリがすべてのパリティ偶型ユニタリの中で最適であることが証明されている。ここでは、ガウス的操作と非ガウス的操作の区別は本質的ではない。
   • 大規模システム ($m \geq 4$): 4つ以上のペアの場合、一般的なパリティ保存型ユニタリ（特にフォック状態の置換を含むもの）は、ガウス的な制限下の最小値よりも優れた性能を示し、SREを減少させる。

4. 統計的な境界の起源:
   フィデリティの $1/\sqrt{m}$ の減衰は統計的なものであることが示されている。ベル対は平坦なエンタングルメント・スペクトル（ゼロ容量）を持つ。ベル対から遠い状態（すなわち、高い非局所的マジックを持つ状態）であり続けるためには、状態のシュミット重みが広く分布していなければならない。$C_E$ はこの広がりを測定する。自由フェルミオンの場合、エンタングルメント・エネルギーは独立した寄与の和となるため、標準偏差は $\sqrt{m}$ のスケールで変化し、これが $1/\sqrt{m}$ のフィデリティ境界を決定する。

5. 臨界系:
   臨界自由フェルミオン鎖（例：XX鎖）では、$C_E$ は部分系のサイズ $\ell$ に対して対数的に成長する。したがって、非局所的マジックは二重対数スケール（$\log \log \ell$）で成長する。これは量子ビット鎖に関する知見と一致する。

意義と主張
本論文は、自由フェルミオン状態（ハートリー・フォックやBCス状態を含む）のマジックのほとんどは局所的であると主張している。非局所的な部分は、スタビライザー回路を用いて状態の相関を準備するための不可避なコストであるが、それは驚くほど小さく、エンタングルしたペアの数に対して対数的にしか増大しない。

• 量子シミュレーションへの示唆: 自由フェルミオンはマジックを持つが、その非局所的な部分は広範ではない。これは、スタビライザー法による自由フェルミオンのシミュレーションの「困難さ」が、長距離のエンタングルメントの複雑さによるものではなく、むしろ局所的な構造に起因していることを示唆している。
• フォールトトレラント計算への示唆: 一般的なパリティ保存型操作が利用可能であれば、自由フェルミオン状態を（局所ユニタリを除いて）準備するために必要な $T$ ゲートの数は、線形ではなく対数的に抑えられる。
• 普遍性: 境界 $D_{min}^{NL} \leq \frac{1}{2} \log_2 C_E + O(1)$ は、エンタングルメント容量が既知であれば、任意の（自由または相互作用のある）フェルミオン状態に対して成立する。

著者らは、これらの結果が、自由フェルミオンが古典的にシミュレート可能であるという事実（マジックの尺度はスタビライザー・シミュレーションのためのコストであり、一般的な古典的複雑性ではない）を変えるものではないことを明記している。また、非ガウス的な局所ユニタリ自体の実装コスト（それらは領域内で非クリフォード・リソースを必要とする可能性がある）についても見積もっていない。