全結合型(all-to-all)量子系は高温で速く混ざると証明 — 系の大きさに依らないギャップを確立
この論文は、すべての粒子が相互作用する「全結合型(all-to-all)」の量子ハミルトニアンについて、高温域で系のサイズに依らないスペクトルギャップが存在することを示します。言い換えると、一定の高温では系が熱平衡(ギブス状態)に収束する速度が良く、量子ギブスサンプラーという熱化モデルが効率良く働くことを示した結果です。
研究者は、局所サイズkの項からなるn個の量子ビット(や量子ディット)系を考えました。ここで「all-to-all」は、格子位置に依らず任意の粒子対に相互作用項が入る一般的なモデルを指します。相互作用の強さや各粒子が関わる次数(d)、局所系の次元(q)などが定数として固定される場合に、逆温度βがある閾値β_cより小さい(つまり温度が十分高い)ときに、[CKG23]で定められた熱的リンドブラディアン生成子が系サイズに依らないスペクトルギャップを持つことを証明しました。閾値は概形で β_c = [c · q · k · d · J]^{-1} の形を取ります(cは普遍定数、Jは相互作用強度の指標)。
証明の主な道具は、古典的・量子版のクラスタ展開と、非可換版のドブロシン条件という収束条件の組み合わせです。クラスタ展開は複素時間での短時間発展を小さな「連結要因」の和で表す手法です。これにより、全結合系でも時間発展の「準局所性(quasi-locality)」を制御し、ドブロシン様の条件を通じてマルコフ過程の混合性(mixing)の下限を与えます。また解析では、元の完全陽的な生成子Lに対応する「擬リンドブラディアン」Kを用いて局所性を得る一方で、Kは完全陽性・痕保持写像(CPTP)を生成しないため、結果が「速く混ざる(fast-mixing)」性に留まる事情も扱われます。
この結果には算法的な帰結もあります。具体的には、十分高温では多項式時間の量子アルゴリズムで分配関数Z_β(パーティション関数)や全体の期待値を与えられた精度で近似できると結論づけられます。論文は混合時間の上界として mix(ε) ≤ O(n + log(1/ε)) を示しており、この時間で状態準備や期待値推定が可能になる、としています。従来、同種の証明は格子上の局所ハミルトニアンに限られており、本研究はそれを全結合型に拡張した点で新しい貢献です。
重要な注意点と限界もあります。まず本証明は「十分に高温」すなわち逆温度βが閾値β_cより小さい領域に限定されます。低温側やガラス的な無作為化ハミルトニアン(スピングラスやSachdev–Ye–Kitaevモデルなど)に対しては、本手法は十分ではないと著者自身が指摘しています。また、擬リンドブラディアンの利用に伴って得られる局所性と、物理的に完全な量子操作性(CPTP性)の間にトレードオフがあるため、示されたのは系サイズ非依存のスペクトルギャップに基づく「速く混ざる」性であり、より強い「急速混合(rapid-mixing)」の保証までは達していません。最後に、結果は局所次数k、局所次元q、および(d·J)が系サイズnに依らず固定であるという仮定に依存します。これらの条件下でのみ、示された多項式時間アルゴリズムの保証が成り立ちます。