Quantum Fisher Information Deficit as a Geometric Signature of Strong-to-Weak Spontaneous Symmetry Breaking

技術要約：強・弱自発的対称性の破れ（SW-SSB）の幾何学的シグネチャとしての量子フィッシャー情報欠損

問題提起
近年の進展により、強対称性（群の表現による密度行列のサポートの不変性）が自発的に破れる一方で、弱対称性（共役作用に対する不変性）が維持される、開いた系における量子相を記述するための枠組みとして、強・弱自発的対称性の破れ（SW-SSB）が確立された。しかし、SW-SSBの特性評価には大きな課題が存在する。混合状態においては、長距離の電荷相関が平均化によって消失することが多く、従来の二点相関関数はゼロとなる。忠実度相関関数（$F_O$）やレニー1（ワイグナー）相関関数（$R_1$）は、この隠れた秩序を記述する堅牢な診断指標であるが、一般的な混合状態においてこれらを測定することは困難である。対照的に、アクセス可能なレニー2相関関数（$R_2$）は、局所的な量子チャネルに対して安定性を欠き、忠実度のフェーズ境界とも一致しない可能性がある。本研究は、量子応答を通じてSW-SSBを検知するために、量子フィッシャー情報（QFI）がこの現象を効果的に検出できるかどうかを調査し、QFIを用いた補完的かつ測定可能なアプローチの必要性に対処する。

手法
著者らは、量子フィッシャー情報欠損（$D_s$）を中心とした幾何学的フレームワークを提案している。その手法は以下の通りである：

1. 対称中立なペア回転： 強固な$Z_2$対称性を持つ状態$\rho$に対し、局所的な電荷を持つエルミートな対合（involution）$\hat{O}$（ここで$\hat{O}^2 = \hat{I}$かつ$\hat{U}_g \hat{O} \hat{U}_g^\dagger = -\hat{O}$）を定義する。離れた端点$i$と$j$から、中立な生成子$\hat{G} = \hat{O}_i \hat{O}_j^\dagger$を構成する。これはユニタリ軌道$\rho_\theta = e^{-i\theta \hat{G}} \rho e^{i\theta \hat{G}}$を生成する。
2. 欠損の定義： QFI $Q[\rho; \hat{G}]$は、微小回転下における$\rho$の識別可能性を定量化する。$\hat{G}^2 = \hat{I}$であるため、最大QFIは4である。著者らは正規化された欠損を$D_s \equiv 1 - Q/4$と定義する。
3. 不等式階層： アンサンブル分解（凸包構成）およびスペクトル表現を用いて、著者らは$D_s$を確立された非線形相関関数であるルート忠実度相関関数$F_O$およびレニー1相関関数$R_1$へと結びつける厳密な不等式連鎖を導出する。
4. 熱解析： 本フレームワークは、対称投影されたギブス状態（$\rho_{\beta, P}$）へと拡張される。著者らは、レーマン確率測度とエネルギー転送スペクトルを利用して、欠損とペア操作によって注入される平均エネルギー（$\Delta E_G$）との関係を導出する。
5. 数値検証： 理論的な境界は、2つのモデル、すなわちデフェーズ（脱位相）過程を含む開いたZXZスピン鎖（不等式が飽和する）と、2次元エッジ・デフェージングモデル（不等式が厳密となる）においてテストされる。

主要な貢献と結果

• SW-SSB診断の幾何学的階層：
  本論文は、任意の密度行列$\rho$およびエルミートな対合$\hat{G}$に対して有効な、モデルに依存しない不等式階層を確立する：
  $$F_O^2 \leq D_s \leq R_1 \leq F_O$$
  この階層は、$D_s$が$F_O$および$R_1$と同じ漸近的な長距離秩序（LRO）基準を共有していることを証明している。具体的には、$L[\cdot]$を長距離極限とすると、$L[F_O] > 0 \iff L[D_s] > 0 \iff L[R_1] > 0$が成立する。$R_2$とは異なり、$D_s$は強対称性を保持する有限深さの局所量子チャネルの下での安定性を$F_O$および$R_1$と同様に継承している。

• 熱エネルギー境界：
  対称投影されたギブス状態に対して、著者らはペア操作によって注入される平均エネルギーによって支配される欠損の下限を導出する：
  $$D_s(\rho_{\beta, P}, \hat{G}) \geq e^{-\beta \Delta E_G}$$
  極めて重要なことに、局所ハミルトニアンの場合、エネルギーコスト$\Delta E_G$は、ハミルトニアンと局所端点演算子の交換子ノルム（$2J_O$）によって、システムサイズや端点間隔に依存せず一様に抑えられる。これにより、厳密に正の下限が得られる：
  $$D_s \geq e^{-2\beta J_O} > 0$$
  この結果は、任意の有限温度において、QFIが代数的な最大値から一様に離れている（＝一定の幾何学的ギャップが存在する）ことを意味し、このギャップは任意の距離において持続する。

• 運用的認証：
  著者らは、QFIにアクセスするための「3角測定プロトコル」を提案している。SLD変分汎関数と対合に関するパラメータシフト恒等式を組み合わせることで、$\theta = 0, \pm \pi/4$での測定を用いて下限$J(\hat{M})$を計算できる。条件 $J(\hat{M}) + \Delta_c < 4$ は、非ゼロの欠損 $D_s > 0$ の運用的認証を提供する。この不等式は、QFIがその代数的最大値よりも厳密に小さい（$Q < 4$）ことを保証するためである。

• モデルの実装：

  • ZXZ鎖： デフェーズ過程を含むZXZ鎖では、階層が飽和する（$F_O^2 = D_s = R_1$）。これは境界のタイトさを裏付けている。
  • 2Dエッジ・デフェージング： エッジ・デフェージングを伴う2次元モデルでは、有限距離において不等式が厳密となる（$F_O^2 < D_s < F_O$）が、すべての診断指標は熱力学的極限において同じ臨界点へと収束する。これは、$D_s$がSW-SSBの堅牢な診断指標であることを検証している。

意義と主張
本論文は、熱的SW-SSBの定量的情報幾何学的特性化を提供することを主張している。SW-SSBが（従来の対称性の破れのように）QFIの増大としてではなく、最大QFIに対する持続的な幾何学的欠損として現れることを示すことで、著者らは以下の特性を持つ新しい診断ツールを提示している：

1. 堅牢性： 忠実度およびレニー1相関関数と同様に、長距離秩序の検出において同等である。
2. 安定性： 強対称性を保持する局所量子チャネルに対して不変である。
3. アクセシビリティ： 困難な測定を要する忠実度相関関数とは異なり、3角測定プロトコルを通じて測定可能である。
4. 熱的安定性： 局所ハミルトニアンによって制御されている限り、従来の電荷の長距離秩序が存在しない有限温度においても、SW-SSBを検出できる。

本研究は、有限角の状態重なりと、微小なブレス（Bures）幾何学への制約を結びつけ、従来の相関関数が機能しない混合量子状態における隠れた秩序を診断するための統一的なフレームワークを提供している。