Closest Accessible Symmetry reduction: a tool for Hamiltonian interpolation analysis

技術要約：ハミルトニアン補間解析のための最近接アクセス可能対称性の簡約化（CAS）

問題提起
ハミルトニアンの補間、特に断熱量子計算（AQC）や量子相転移の文脈における解析は、通常、$s$ の離散化を行い、瞬時的な対象（例：厳密対角化、テンソルネットワーク、または幾何学的アプローチによるもの）を研究することに依存している。これは、凸補間 $H(s) = (1-s)A + sB$において、全スペクトル情報は理論的に初期ハミルトニアン$A$と最終ハミルトニアン$B$ の結合構造によって決定されるにもかかわらず、中間的なハミルトニアンの構造を点ごとに分析してしまうという概念的な不均衡を生じさせる。既存の手法であるシュリーファー・ヴォルフ（SW）変換は、直接的な回転が低エネルギーセクターを接続する摂動領域に限定されており、そのような回転が定義不能であったり、大きな誤差を誘発したりする臨界領域を通過する場合には機能しない。本論文は、時間離散化や摂動の仮定に過度に依存することなく、 $A$ と $B$ の結合構造から補間のグローバルなスペクトル情報を抽出する手法の必要性に対処している。

手法：最近接アクセス可能対称性（CAS）
著者らは、**最近接アクセス可能対称性（Closest Accessible Symmetry: CAS）**に基づくフレームワークを導入し、ヒルベルト空間を弱結合する擬似固有空間へと再帰的に分解する。

1. 核となる概念： 正確な対称性を探索する（これは計算量的に困難である）代わりに、制限された扱いやすい一族の証明可能な反射（ヒルベルト空間の二部グラフ分割）の範囲内で「最も近い」対称性を探索する。
2. 最適化： ハミルトニアン $H$ に対して、非対角成分の結合ノルムを最小化する射影演算子 $P_0$（反射 $T = 2P_0 - 1$ を定義する）を求める：
   $$\min_{P_0 \in \mathcal{A}} \| P_0 H (1-P_0) + (1-P_0) H P_0 \|_2$$
   ここで $\mathcal{A}$ は、問題の構造から導出されたアクセス可能な射影演算子の集合である。
3. アクセス可能集合の構築： アクセス可能集合 $\mathcal{A}$ は、$A$ と $B$ に存在するパウリ項の**動的リー代数（DLA）**解析を用いて構築される。この手法は、特定の項を除去した修正ハミルトニアンと可換である、単一のパウリ文字列（またはその積）によって表現される対称性への探索を制限する。これにより、$Z_2$ 対称性を誘起するために $A$ と $B$ から除去すべき最小限の項のセットを効果的に特定する。
4. 再帰的分解： このプロセスは再帰的に適用される。各ステップ $r$ において、ハミルトニアンは特定されたCASのセクターへと射影される。これにより以下が得られる：
   • 擬似固有値 ($\mu_k$)： 射影されたハミルトニアンの対角ブロック。
   • 残留結合 ($\nu$)： 射影中に破棄された明示的な非対角項。
   • 再帰は $2 \times 2$ 行列が残るまで続き、それらは $s$ の関数として厳密に対角化される。
5. 誤差境界とハイブリダイゼーション： 本手法は、擬似ギャップ $\tilde{\Delta}$ と残留結合のノルム $\|\nu\|$ を用いて、真のスペクトルギャップ $\Delta$ に対する厳密な境界を提供する。著者らはハイブリダイゼーション・パラメータ $\chi_{kj} = \|\nu_{kj}\|_2 / \tilde{\Delta}_{kj}$ を定義している。
   • $\chi_{kj} < 1/2$ の場合、擬似レベルは弱くハイブリッド化されており、ワイルの不等式とフェッシュバッハ・シュア写像を組み合わせることでタイトな誤差境界が得られる。
   • $\chi_{kj} \ge 1/2$ の場合、強くハイブリッド化した状態のクラスターが特定される。著者らは、基底状態が弱結合している場合、あるいは基底状態が強いハイブリッド化クラスターの一部である場合（臨界点を示す）の具体的な境界を導出している。

主な貢献

• グローバルなスペクトル表現： 本手法は、弱く相互作用するセクター間の結合を反復的に切り捨てることにより、補間の全領域に対する単一の階層的な記述を提供する。
• 解析的な相転移診断： 擬似スペクトルの構造を通じて、異なる種類の量子相転移を判別する：
  • 一次相転移： 残りのスペクトルへのハイブリッド化が低い状態で、特定の2つのレベル間で擬似ギャップが閉じることを特徴とする。
  • 連続（臨界）転移： 基底状態へと崩れ落ちる励起状態のタワー（塔）によって特徴付けられ、大きな強結合ハイブリッドクラスターを形成する。このような転移を媒介するCASは、高度に非局所的であることが予想される。
• 計算可能性： 「アクセス可能な」対称性（DLAおよびパウリ文字列から導出される）の範囲に探索を制限することで、正確な対称性を見つける際の指数関数的な複雑さを回避しつつ、近似誤差の制御を維持する。
• 古典的ヒューリスティックとの接続： CASによる再帰的な経路は、最適化問題（例：イジングモデル）において低エネルギー状態を見つけるための古典的なヒューリスティックとして解釈できる。

結果
著者らは、横磁場ハミルトニアンとイジングモデルの間の断熱補間を用いてフレームワークを検証し、特にフラストレーションを持つイジング環（$N=101$）でテストを行った。

• 一次相転移： 標準的なCAS簡約（最大非対角ノルムを最小化する手法）は、相対誤差約3.5%で一次相転移（摂動的な反交差）の位置を予測することに成功した。この解析は、転移付近における基底状態、第1励起状態、および第2励起状態のハイブリッド化を正しく特定した。
• 連続相転移： 標準的な簡約では、誤差が最大となる領域であるため、臨界点 ($s_c$) の定量的な推定には失敗した。しかし、補間の途中にバイアスをかける重み付きコスト関数を導入することで、臨界点の高精度な予測（真の値 $s_c^{c} = 0.5135 \pm 0.0005$ に対し、$s_c^{pred} = 0.5125 \pm 0.0025$）を達成した。
• スケーリング： 関連する非対角結合が現れる再帰の深さが、システムサイズに応じてスケールすること（$r \approx (N+1)/2$）を確認した。これは、状態間のハミング距離に関連する摂動的な反交差におけるギャップの指数関数的な抑制と一致している。
• 擬似スペクトルの忠実度： 小規模なシステムを用いた数値シミュレーションにより、サポートのシフトが発生する交差点を除き、擬似固有空間が真の固有空間と高い忠実度を維持していることが示された。

意義と主張
本論文は、CAS簡約が多体系量子系のスペクトル再編成に関する新しい視点を提供すると主張している。

• 擬似スペクトルの構造と媒介する対称性の局所性を通じて、相転移の性質（一次か連続か）を特定するための診断ツールとして機能する。
• 近似とその不確実性に関する完全な解析的記述を提供し、概念的枠組みのために時間離散化に頼ることなく（大規模な数値計算の効率化には使用するものの）、相図の研究を可能にする。
• 著者らは、このフレームワークが断熱量子計算と古典的ヒューリスティックの間の架け橋となり、CAS再帰ツリーを通る「経路」が最適化問題を解くための一連の古典的アルゴリズムを定義すると考えている。
• 本手法は、テンソルネットワークに代わるものではなく、むしろそれを補完するものとして提示されており、局所的な解析では隠されてしまいがちな、$A$ と $B$ の結合特性からグローバルな構造的洞察を抽出する方法である。