Instability of the undecidable behavior of the spectral gap in 1D

技術要約：1次元におけるスペクトルギャップの決定不能な振る舞いの不安定性

問題提起
スペクトルギャップ（基底状態と第一励起状態の間のエネルギー差）は、量子相転移、相関減衰、およびシミュレーションアルゴリズムの効率性を支配する基本的な性質である。スペクトルギャップ問題が、2次元以上の量子スピン系において決定不能であることが[2, 3]で証明されている一方で、その追随研究では、この決定不能性が1次元（1D）系においても存続することが示された[1]。[1]における構成は、ユニバーサルチューリングマシン（UTM）の停止問題を局所ハミルトニアンの基底状態へとエンコードすることに依拠している。

物理学における重要な問いは、これらの決定不能性の結果の頑健性（ロバストネス）に関するものである。すなわち、構築されたハミルトニアンは、局所的な相互作用項の小さな摂動に対して安定しているだろうか？安定性は物理学における基礎的な概念であり、理論的予測は、現実世界の不完全性（ノイズ、製造誤差など）の下でも成立しなければならない。著者らは[1]において、計算エンコーディング（Feynman-Kitaev項）への摂動は非ロバストであることが知られている一方で、古典的な対角結合項への小さな摂動については、ペナルティ項やボーナス項を比例的にわずかな量だけシフトさせるだけであるため、構成を維持できる可能性があると論じていた。

手法
本研究では、特定のクラスの摂動に対する[1]の具体的な1D構成を分析し、その安定性を検証する。手法は以下の通りである：

1. 決定不能な構成の検討： 元のハミルトニアン $H_N(\eta)$ は、主に3つの部分で構成されている：

   • 計算ハミルトニアン ($H_{TM}$)：UTMの進化をエンコードする。
   • マーカー・ハミルトニアン ($H_f$)：境界状態 $|\blacksquare\rangle$ によって鎖をセグメントに分割する。このメカニズムは、最適な長さのセグメントのコピーを複数作成することで、停止する場合と停止しない場合の間のエネルギー差を増幅させる。
   • ペナルティ項 ($P'''$)：正しい入力エンコーディングを保証し、非停止挙動にペナルティを課す。
     決定不能性は、系のエネルギーがUTMが停止するかどうかに依存することから生じる。すなわち、停止する場合、基底状態のエネルギーは負（ギャップレス）になり、停止しない場合、エネルギーは正（ギャップあり）のままとなる。

2. 摂動の導入： 著者らは、ノルム $O(\epsilon)$ を持つ、1-local、rank-1、古典的（対角）な摂動 $p^{(1)}_\epsilon = \epsilon |\blacksquare\rangle\langle\blacksquare|$ を導入する。ここで $\epsilon > 0$ は任意に小さい値である。この項は、局所相互作用 $h^{(1)}$ に加えられる。

3. 摂動系におけるエネルギー分析： この摂動は、境界ペナルティとセグメントボーナスの間の微調整されたエネルギー相殺を変化させることにより、「マーカー・ハミルトニアン」を修正する。具体的には、元の構成は、セグメント内部からの $-1/2$ のエネルギー寄与と、$+1/2$ の境界ペナルティとの精密な相殺に依存している。摂動はこの境界ペナルティを $1/2 + \epsilon$ へとシフトさせる。

4. 決定可能性の導出： 著者らは、摂動されたハミルトニアン $H^\epsilon_N$ の基底状態エネルギーを分析する。彼らは、摂動が、$\epsilon$ と系の定数のみに依存し（入力 $\eta$ や特定のチューリングマシンには依存しない）、システムサイズ $w_\epsilon$ に依存する臨界サイズ $w_\epsilon$ を導入することを実証する。

   • セグメントサイズ $w \geq w_\epsilon$ の場合、摂動項 $\mu\epsilon$ が指数関数的に減衰するボーナス項 $\delta(w)$ を支配し、マシンが停止するかどうかにかかわらず、エネルギー寄与を正にする。
   • その結果、大きなシステムサイズにおいては、停止と非停止のインスタンスの区別が失われる。スペクトルギャップの挙動は、今やシステムサイズ $N \leq w_\epsilon$ における系の挙動のみによって決定される。

主な貢献と結果
本論文は、以下の主要な結果（定理6）を確立している：

• 決定不能性の脆弱性： [1]で構築された1Dハミルトニアンの族における決定不能なスペクトルギャップの振る舞いは、極めて脆弱である。任意の $\epsilon > 0$ に対して、1-localの摂動 $p^{(1)}_\epsilon$ を加えることで、スペクトルギャップ問題は決定可能となる。
• 有限計算： 摂動された族 $\{H^\epsilon_N(\eta)\}$ のスペクトルギャップは、有限の計算によって決定できる。具体的には、有限の範囲 $[1, \dots, w_\epsilon]$ 内のシステムサイズ $N$ について、基底状態エネルギー $\lambda^N_{\min}$ を確認するだけでよい。
  • すべての $N \in [1, \dots, w_\epsilon]$ に対して $\lambda^N_{\min} \geq 1$ であれば、その系はギャップありである。
  • ある $N \in [1, \dots, w_\epsilon]$ に対して $\lambda^N_{\min} < 0$ であれば、その系はギャップレスである。
• 崩壊のメカニズム： 摂動は「エネルギー増幅」のステップを破壊する。元の構成における増幅は、複数のセグメントを形成することによるエネルギーボーナスが計算ペナルティを上回るという、デリケートなバランスに依存している。摂動は、セグメントあたりに線形なエネルギーコスト ($\epsilon$) を導入することでこのバランスを崩し、決定不能な挙動が大規模で顕在化するために必要な指数関数的に小さなボーナスを最終的に圧倒する。

意義と主張
本論文は、この結果が量子系における決定不能な振る舞いの安定性に関する議論を鋭いものにすると主張している。従来の作業は、古典的な対角摂動は安全である可能性を示唆していたが、本研究は、たとえ単純な古典的対角1-local摂動であっても、それが特定の微調整されたエネルギー尺度（この場合は境界ペナルティ）を標的にする場合、低エネルギー・スペクトルを劇的に変え得ることを示している。

著者らは以下の点を強調している：

1. 決定不能な挙動は、このクラスの摂動に対してロバストではない。それは決定可能な問題へと簡略化される。
2. この知見は、既存の厳密な安定性定理（例：局所トポロジカル量子秩序またはフラストレーションフリー性を要求するもの）と整合している。なぜなら、[1]の構成にはこれらの特性が欠けているからである。
3. この結果は、決定不能な振る舞いの物理的なロバスト性が、摂動の具体的な性質とモデルの構造的仮定に強く依存していることを浮き彫りにしている。
4. 本論文は、すべての 決定不能な構成が不安定であることを主張しているわけではなく、また、2Dの場合（増幅が単一の境界項ではなく、硬いロビンソン・タイリング構造に依存している）の安定性の問題を解決するものでもない。

要約すると、本研究は、決定不能なスペクトルギャップの振る舞いが本質的に安定であるという概念に対する反例を提供しており、1Dにおいては、決定不能性を可能にする特定のメカニズムが、任意に小さい物理的に妥当な摂動によって破壊され得ることを示している。