Non-stabilizerness and entanglement in $(2+1)$-dimensional SU(2) lattice gauge theory using tensor networks

技術要約：(2 + 1)次元 SU(2) 格子ゲージ理論における非スタビライザー性と量子もつれ

問題設定
量子コンピュータによる量子場理論、特に非アーベル格子ゲージ理論のシミュレーションには、物理状態を表現し進化させるために必要な量子リソースを正確に理解することが求められる。量子もつれエントロピーは、古典的なシミュレーション可能性を診断するための主要な指標として長く用いられてきたが、それだけでは不十分である。なぜなら、高度に量子もつれたスタビライザー状態であっても、古典的に効率よくシミュレート可能である場合があるからである。これに対し、「非スタビライザー性（non-stabilizerness）」、あるいは「マジック（magic）」は、状態がスタビライザー多面体からどの程度逸脱しているかを定量化する補完的なリソースとして浮上してきた。しかし、非アーベルゲージ理論におけるマジックの数値的研究は、(1 + 1)次元に限定されてきた。本研究はこの空白を埋めるべく、物質を伴う(2 + 1)次元 SU(2) 格子ゲージ理論の基底状態を調査する。この領域では、真の磁気（プラケット）ダイナミクスと、ゲージ・物質の非局在化クロスオーバーが発生する。本研究の目的は、これらの状態の非スタビライザー性を特徴付け、システムが連続極限に近づくにつれて、これらのリソースがどのようにスケールするかを明らかにすることである。

手法
著者らは、ハードコア・グルオン截断（$j=0$ および $j=1/2$ の既約表現のみを保持）の枠組みにおいて、**ドレスド・サイト基底（dressed-site basis）**を用いて SU(2) ハミルトニアン格子ゲージ理論を定式化している。このフレームワークでは、ガウスの法則を明示的に解くことでゲージ自由度がサイトに吸収され、リンクの制約が局所的なサイト制約とリンク整合条件へと変換される。系は、最大 $6 \times 6$ サイズの開境界条件を持つ正方格子上の、ゼロバリオン数セクター（$b=0$）に制限されている。

基底状態は、2次元格子を1次元の順序（列優先）で並べた**行列積状態（MPS）**を用いて近似される。本研究では、以下の3つの特定のマジックおよび量子もつれの側面を計算している：

1. 二次スタビライザー・レニー・エントロピー（SRE）$M_2$： 全体の非スタビライザー性の尺度。
2. 非局所的マジック $M^{NL}_2$： 二部分割にわたる相関に関連するマジックの成分であり、局所的なユニタリ変換（$U_A \otimes U_B$）による最小化によって分離される。
3. アンチ・フラットネス（Anti-flatness, $F$）およびその下界： 量子もつれスペクトルの平坦な分布からの偏差の尺度であり、非局所的マジックの下界を導出するために用いられる。

これらを計算するために、著者らは小規模な格子に対してはパウリ・サンプリングを用いて全SREを計算し、非局所的な量については中心カットのシュミット参照状態を利用している。また、電場エネルギー密度、正規化された磁気プラケット、およびゲージ不変な量子もつれエントロピーを含む、標準的なゲージ不変オブザーバブルも計算している。

主な貢献

• 理論的不等式： 著者らは、非局所的マジックに関するより強い形式の「サンドイッチ関係」を証明した。任意のシュミット基底およびランクに対して、$-\log_2(1 - 4F) \leq M^{NL}_2 \leq M_2$ という不等式が成立することを確立した。これは、特定のスペクトル型やランクに限定されていた従来の成果を改善し、非局所的マジックの最大下界に関する未解決問題を解決するものである。
• エンコーディング不変性： 本論文は、全SREと非局所的量との間の決定的な構造的相違を実証している。全SRE（$M_2$）は、ゲージ不変な局所ヒルベルト空間の特定の量子ビット・エンコーディングに依存し、これは一意的ではない。対照的に、非局所的マジック（$M^{NL}_2$）およびアンチ・フラットネス（$F$）は、サイト局所的な再エンコーディングに対して不変である。このことは、非局所的量が物理的な状態および二部分割に対して本質的なものであることを示しており、これらが好ましい物理的診断指標であることを裏付けている。
• 数値的実装： 本研究は、ボンド次元 $\chi = 128$ までのMPSを用いた、(2 + 1)次元におけるマジックのテンソルネットワーク・シミュレーションを拡張している。

結果

• ゲージ・物質の非局在化クロスオーバー： 非局所的マジックは、局在状態（強結合、大きな $g^2$ における状態）から、フラックス秩序状態／非局在化状態（弱結合、$g^2 \to 0$ における状態）へのクロスオーバーを鋭敏に捉えるプローブとして機能する。非局所的マジックのピークは $g^2 \approx 1$ で発生しており、これは未截断の研究で特定されたクロスオーバーと一致している。
• 収束性と感度： 非局所的マジックは、基底状態エネルギーや全SREの収束に必要なものよりも大幅に低いボンド次元（$\chi$）においても、明確な信号を保持している。例えば、$6 \times 6$ 格子において、非局所的マジックのピークは $\chi=64$ では $g^2 \approx 0.8$、$\chi=128$ では $g^2 \approx 1$ へとシフトしており、予想されるクロスオーバー点と一致している。これに対し、全SREや量子もつれエントロピーは、収束のために高い $\chi$ を必要とする。
• 境界の検証： 数値結果は、全範囲の結合強度にわたって、新たに証明された下界 $-\log_2(1 - 4F) \leq M^{NL}_2$ を満たしている。系が強結合極限（$g^2 \to \infty$）に近づくにつれ、非局所的マジックは下界に接近しており、これは状態がよりスタビライザーに近い性質を持つことと整合している。
• 量子もつれの構造： ゲージ不変な量子もつれエントロピーは、古典的、量子的、およびエッジ（端）の寄与に分解される。エッジの寄与は、切断される結合の数が増えるため格子サイズとともに増加するが、量子成分はボンド次元に強い依存性を示すものの、他の寄与に比べれば小さい。

意義
本論文は、全SREや標準的な量子もつれエントロピーよりも、非局所的マジックの方が、特に全状態の収束に膨大な計算コストがかかる領域において、ゲージ・物質の非局在化クロスオーバーに対するより効率的かつ物理的に堅牢な診断指標であることを主張している。非局所的量のエンコーディング不変性を確立し、一般的な下界を証明することで、本研究は高次元ゲージ理論における量子リソースを定量化するための厳密な枠組みを提供している。

著者らは、ハードコア截断（$j_{max}=1/2$）はクロスオーバーの定性的な物理を捉えてはいるものの、連続極限には不十分であると述べている。彼らは、これらの手法をより高い既約表現へと拡張する将来の研究が、連続極限の基底状態が、Type III フォン・ノイマン代数に基づく理論的議論から予測されるような発散する量のマジックを持つかどうかを検証するために必要になると考えている。本研究は、量子情報と量子場理論の交差を強化し、物理状態の複雑さを特徴付ける上での非スタビライザー性の役割を強調している。