Lee-Yang theorem for fermions

技術要約：フェルミオンに対するリー＝ヤン定理

問題の定義
もともと強磁性イジングモデルに対して確立されたリー＝ヤン定理は、分配関数の複素零点が、外部場の複素平面における特定の軌跡（例：虚軸）上に存在することを証明することにより、相転移を解析するための厳密な数学的枠組みを提供するものである。この「零点を持たない性質（zero-freeness）」は、非ゼロの場における自由エネルギーの解析性と相転移の不在を意味する。さらに、理論計算機科学においては、この性質を利用して、基底状態エネルギーを推定するための、証明可能な効率を持つ古典的および量子的なアルゴリズムの存在が示されてきた。

70年以上の研究期間を経てもなお、相互作用するフェルミオン系に対する厳密なリー＝ヤン零点フリー定理は未だ実現していない。特定のフェルミオンモデルについては分配関数の零点が計算されているものの、最も単純な非相互作用の自由フェルミオンモデルにおいてさえ、一般的な定理は存在しない。この空白は、摂動論的領域から遠く離れた強相互作用フェルミオン系を厳密に制御することを困難にし、広範なフェルミオン・ハミルトニアンに対して効率的なアルゴリズムを開発することを妨げている。

手法
著者らは、統計力学と複素解析の手法を組み合わせることで、広範なクラスの相互作用するフェルミオン・ハミルトニアンに対するリー＝ヤン定理を確立する。その手法は、主に以下の3つの段階で進行する：

1. ハミルトニアン・クラスの定義： 著者らは、「フェルミオン・リー＝ヤン・ハミルトニアン」 ($H = H_0 + V$) と呼ばれるクラスを以下のように定義する：

   • $H_0$ は、正定値（PSD）なホッピング行列 $A$ と任意の反対称なペアリング行列 $B$ を持つ二次項を含む。
   • $V$ は、$-\sum |U_{ij}|(n_i - 1/2)(n_j - 1/2)$ という形式の引力的相互作用を表す。
   • 分配関数は $Z(h) = \text{Tr}[\exp(-\beta(H + h\sum n_i))]$ と定義される。

2. 自由フェルミオン解析（トロッター化）： 証明は自由フェルミオンの場合（$V=0$）から始まる。著者らは、トロッター化された分配関数 $Z_\epsilon(H_0, u)$ を解析する。ここで、外部場は複素変数 $u_{i,m}$ に離散化されている。分配関数を、ホッピング行列とペアリング行列から構成されるブロック行列 $D(u)$ の行列式として書き換えることで、$D(u)$ が開単位ポリディスク（$|u_{i,m}| < 1$）内で非特異であることを示す。これは、特定の計量 $\Gamma$ を用いた二次形式の議論と、$A$ が正定値であるとき進化演算子 $W = e^{-\epsilon Q}$ がこの計量の下で収縮的であるという性質に基づいている。

3. 相互作用系への拡張（アサノ・コントラクション）： 相互作用系へと結果を拡張するために、著者らは**アサノ・コントラクション（Asano contractions）**を用いる。彼らは、全ハミルトニアンのトロッター化された分配関数 $Z_\epsilon(H, u)$ を、自由フェルミオンの分配関数 $Z_\epsilon(H_0, u)$ と相互作用のみの分配関数 $Z_\epsilon(V, u)$ のシュア積（アダマール積）として表現する。

   • $Z_\epsilon(H_0, u)$ は、単位ポリディスク内で零点を持たないことが示される（定理4）。
   • $Z_\epsilon(V, u)$ は、古典的な強磁性イジング分配関数の積として特定され、古典的なリー＝ヤン定理によって単位ポリディスク内で零点を持たないことが知られている（補題5）。
   • 零点を持たない多項式のシュア積に関するヒンカネン（Hinkkanen）の補題を用いることで、著者らは $Z_\epsilon(H, u)$ もまた開単位ポリディスク内で零点を持たないことを証明する。

4. 連続極限と変換： トロッター化された多項式の零点フリー性が、厳密な分配関数 $Z(h)$ の $\text{Re}(h) > 0$ における零点フリー性を暗示することを示すために、フルヴィッツ（Hurwitz）の定理を適用する。その後、粒子・ホール変換（$a \to a^\dagger$）を用いて、零点フリー領域をストリップ $\text{Re}(h) \in [-\lambda_{\max}(A), 0]$ へと拡張する。

主な貢献と結果

• 定理2（零点フリー性）： 定義されたクラスの任意のハミルトニオンについて、分配関数 $Z(h)$ の複素 $h$ 平面における全ての零点は $\text{Re}(h) \in [-\lambda_{\max}(A), 0]$ を満たす。具体的には、$A=0$ の場合、全ての零点は純虚数軸上に存在する。これは、これらのモデルにおいて、非ゼロの局所外部場の下での相転移の不在を厳密に確立するものである。
• 定理3（スペクトルギャップとアルゴリズムの効率性）： 零点フリー性は、場によるスペクトルギャップを意味する。具体的には、$h > 0$ のとき、ハミルトニアン $H + h\sum n_i$ は基底状態の上に少なくとも $h/8$ のスペクトルギャップを持つ。その結果、著者らは、これらのハミルトニアンの基底状態エネルギーを加法的精度 $\epsilon$ で推定するための、証明可能な効率を持つ量子アルゴリズムの存在を証明する。その実行時間は、モード数 $N$、演算子ノルム $\|H\|_{op}$、および $1/\epsilon$ の多項式オーダーでスケールする。
• 物理モデルの統一： 著者らは、このクラスが（ボゴリューボフ変換による）ユニタリ等価性を経て、以下のようないくつかの物理的に重要なモデルを包含することを実証している：
  • ペアリング場における引力的ハブリッド・モデル。
    ే
  • （スタッガード・ゼーマン場における）二部グラフ上の反発的ハブリッド・モデル。
  • （非二部グラフであっても、十分に強い一様なゼーマン場が存在する場合の）反発的ハブリッド・モデル。
  • 時間反転対称なホッピングを持つ、相互作用するホフスタッター・モデル。

意義と主張

本論文は、これが相互作用するフェルミオンに対する初の厳密なリー＝ヤン零点フリー定理であると主張している。その意義は二重である：

1. 物理的洞察： これは、外部場の下での多様な強相関フェルミオン系の相転移の不在を理解するための、統一的な解析的枠組みを提供する。特に、トポロジカル秩序への制約について言及しており、リー＝ヤンのスペクトルギャップが熱力学的極限においてエネルギー分裂が消失することを防ぐため、これらの系において安定な基底状態縮退を持つギャップのあるトポロジカル秩序相は存在し得ないと論じている。
2. アルゴリズムへの影響： 本研究は、量子コンピュータにとって計算可能な、大規模なフェルミオン・モデルのクラスを特定している。自由フェルミオンや特定の1次元鎖に限定されていた従来の成果とは異なり、このクラスには、フェルミオンの符号問題により古典的に困難であることが知られている、強く相互作用する高次元モデル（相互作用するホフスタッター・モデルなど）が含まれている。著者らは、これらのモデルの一部（例：引力的ハブリッド・モデル）は符号問題のない古典的モンテカルロ表現を持つが、他のモデル（例：複雑なホッピングを持つ反発的ハブリッド・モデル）は持たないことを指摘している。したがって、リー＝ヤン特性は、古典的手法が機能しないか、あるいは効率的であることが知られていない領域において、効率的な量子シミュレーションのための新しい経路を提供するものである。

著者らは、リー＝ヤン特性が零点フリー性を意味するものの、それが自動的に古典的マルコフ連鎖が多項式時間で混合することを保証するわけではない（これはそのような保証が確立されているスピン系とは異なる）という点において、控えめな姿勢を維持している。主要なアルゴリズム的貢献は、量子アルゴリズムの効率性に関する厳密な証明である。