Lower Bounds on Spectral Gaps of Parent Hamiltonians via Tensor Networks

技術要約：テンソルネットワークによる親ハミルトニアンのスペクトルギャップの下限

問題設定
スペクトルギャップ（基底状態多様体と第一励起状態の間のエネルギー差に関する、システムサイズに依存しない一様な下限）の存在は、量子多体系物理学における基本的な性質である。これは、相関の指数関数的減衰、トポロジカル秩序の安定性、および準断熱発展の実現可能性を決定づける。しかし、相互作用するハミルトニアンに対して、ギャップの存在を厳密に証明し、さらに決定的な問題として、明示的な定量的下限を得ることは極めて困難である。有限サイズ基準（Knabe, Gosset-Mozgunov）やマルチンゲール法（Fannes, Nachtergaele, Werner - FNW）といった手法は存在するものの、これらは弱い下限しか得られないか、あるいは特定の領域において下限を提供できないことが多い。具体的には、FNW法は行列積状態（MPS）の親ハミルトニアンにおけるギャップの存在を証明しているが、局所的な基底空間のオーバーラップを推定する方法において、最適とは言えない定量的な下限を与える。

手法
著者らは、強力で厳密なスペクトルギャップの下限を計算するためのツールを作成するために、マルチンゲール法を再検討し、洗練させた。このアプローチは、主に以下の2つのステップで構成される。

1. ハミルトニアンのブロッキングとリシャッフル（再配置）:
   元の並進不変ハミルトニアン $H_N$ は、サイトをサイズ $p$ および $q$ のスーパーサイトにグループ化することにより、ブロック化されたハミルトニアン $\tilde{H}_M$ へと変換される。元のハミルトニアンの項は、特定の重み（$\lambda_\omega$）を伴って再分配され、サイズ $2p+q$ の重なり合うブロックに作用する新しい局所項 $\tilde{h}_{\tilde{\imath}}$ を形成する。

• 著者らは、交互に変化するブロックサイズと最適化された重みを許容する、洗練されたブロッキングスキーム（Lemma 1 および Lemma 2）を導入している。
• このステップは、元の系のギャップと、ブロック化された系のギャップ $\Delta(H_N) \geq \Delta(\tilde{H}_M)$ を関連付ける。同時に、ブロック化された系がフラストレーションフリーであり、その基底空間が同じMPSによってパラメータ化され続けることを保証する。

2. テンソルネットワークによる局所ギャップの推定:
   ブロック化されたハミルトニアンのギャップは、隣接する項の基底空間の相対的な整列に関する局所的な条件を用いて抑えられる。この条件は、以下の不等式によって定義されるパラメータ $\gamma_{p,q}$ に依存する：
   $$QR + RQ + \gamma_{p,q}(Q + R) \geq 0$$
   ここで、$Q$ と $R$ は隣接するブロックの基底空間の直交補空間への射影演算子である。

• 主要な革新: 著者らは、最適な $\gamma_{p,q}$ を正確かつ効率的に計算する手法（Theorem 4）を開発した。ブロックサイズの指数関数的に増大するヒルベルト空間上の演算子を対角化する代わりに、彼らはこの問題を、固定次元 $D^4$（$D$ はMPSのボンド次元）を持つ行列 $\Xi$ の第二最大固有値を求める問題へと写像する。
• 行列 $\Xi$ は、MPSの転送行列（特に $T_p, T_{p+q}$ および疑似逆行列 $T_{2p+q}^{-1}$ を含む項）から構成される。
• 最終的な下限は $\Delta(H_N) \geq (1 - 2\gamma_{p,q})\Delta(\tilde{h}_{\tilde{\imath}})$ で与えられる。

主な貢献

• オーバーラップの正確かつ効率的な計算: 本論文は、マルチンゲール法における鍵となる量（局所的な基底空間のオーバーラップ）を正確に計算する方法を提供している。これは、問題を固定次元 $D^4$ の空間上の固有値問題へと還元することで達成されており、ブロックサイズに対して線形に、ボンド次元に対して多項式的にスケールする。これは、緩い下限を提供するか、あるいは指数関数的なリソースを必要とした従来のアプローチとは対照的である。
• 洗練されたブロッキングスキーム: 著者らは、交互に変化するブロックサイズ（$p$ および $q$）と最適化された重みを含むブロッディング手順を一般化し、下限を厳密にするためのより高度な制御を提供している。
• ギャップ存在の統一的な証明: この手法は、「良好な（normal または block-normal）」MPSの親ハミルトニアンがギャップを持つことの、大幅に簡略化され統一された証明をもたらす。関連する演算子 $\Xi$ が固定された有限次元空間内に存在するため、ブロックサイズが増加するにつれて下限が非ゼロの値に収束することを、厳密に分析できる。
• 縮退した基底状態への適用性: このフレームワークは、block-normal MPSにも自然に拡張され、（トポロジカル相や対称性の破れた相のような）縮退した基底空間を持つハミルトニアンを、修正なしに扱うことができる。

結果
本手法は、AKLTモデル、$Z_3$-XYモデル、およびSU(3) Valence Bond Solidsのいくつかのモデルに対して、元のFNW法、Nachtergaeleのマルチンゲール法、および有限サイズ基準（Knabe, Gosset-Mozgunov）と比較してベンチマークが行われた。

• AKLTモデル: 本手法は、開境界条件（OBC）および周期境界条件（PBC）の両方において、FNW法よりも大幅にタイトな下限を生成した。PBCでは $\Delta \geq 0.2827$、OBCでは $\Delta \geq 0.2497$ の下限が得られた。非常に大きなブロックサイズでは有限サイズ基準が本手法を上回ったが、テンソルネットワーク・アプローチは、より低い計算コストで優れた下限を提供し、他の手法が下限を返せなかった領域でも成功した。
• $Z_3$-XYモデル: 本手法は、Knabeの境界がギャップを検出できなかったパラメータ領域（特に小さな変形パラメータ $t$ において）で、定量的な下限を提供した。また、広いパラメータ範囲にわたって、標準的なマルチンゲール法およびKnabeの境界を凌駕した。
• SU(3) Valence Bond Solids: 本手法はSU(3)対称モデルにも適用され、それらがギャップを持つことを証明し、明示的な下限を提供した。

意義
本論文は、数値的に動機付けられたそのアプローチが、主に2つの目標を達成したと主張している：

1. 定量的な改善: 既存の技術と比較して、MPSの親ハミルトニアンに対して実質的に強いスペクトルギャップの下限を提供し、特定の領域では有限サイズ基準をも上回ることが多い。
2. 概念的な簡略化: 縮退した基底状態にも一様に適用可能な、normalおよびblock-normal MPSの親ハミルトニアンのギャップ特性に関する、簡潔で厳密な証明を提供する。ギャップ解析を固定次元の固有値問題へと還元することで、本証明は従来の議論の複雑さを回避し、一意な基底状態と縮退した基底状態の両方に適用できる。

著者らは、この手法が自己完結的であり、基底空間がMPSによってパラメータ化される一般的なフラストレーションフリー・ハミルトニアンに適用可能であることを強調しており、量子多体系のスペクトルギャップを分析するための汎用的なツールとなっている。