Failure of the Quench Action Formalism for Mott Insulator Initial States

本論文は、モット絶縁体初期状態およびリープ・リニガーガスを用いた明示的な反例を通じて、クエンチ作用形式の核心的な仮定、すなわち固有状態とのオーバーラップが準粒子の密度に応じて指数関数的な汎関数を介して滑らかに依存するという仮定が、これらのオーバーラップの極めて特異な振る舞いゆえに根本的に無効であることを実証するものである。

要約

あなたは、ルールの突然の変化（量子系）の後に、混沌とした人混み（量子系）がどのように変化するかを予測しようとしていると想像してください。長年、物理学者たちは、これらの予測を行うために「クエンチ・アクション形式（Quench Action Formalism）」と呼ばれる特定の「ルールブック」を使用してきました。

この論文が主張している内容を、日常的な比喩を用いて簡単に解説します：

旧来のルールブック（「滑らかさ」の仮定）

旧来のルールブックは、もし人混みがある場合、その未来を予測するために重要なのは、人混みの平均的な密度だけであると想定していました。

• 比喩： 霧がかかった窓を見ているところを想像してください。個々の人々は見えず、ただぼんやりとした霧の雲が見えるだけです。旧来の理論は、「霧が場所ごとにどの程度の厚さであるかさえ分かれば、群衆がどのように動くかを完璧に予測できる」と述べていました。
• 数学的背景： それは、初期状態と将来の状態との間のつながり（オーバーラップ）が、単一の滑らかで穏やかな曲線によって記述できると想定していました。正確にどの人がどこにいるかは重要ではなく、全体の「霧の密度」が同じであれば問題ないと考えていたのです。

新たな発見（「特異な」現実）

ギャリー・ゴールドスタインはこう言います。「このルールブックは間違っている」。

彼は、ある特定のシナリオ（モット絶縁体からリープ・リニガー・ガスへの変化）において、この滑らかな霧の比喩が完全に崩壊することを発見しました。

• 比喩： 群衆は霧ではなく、非常に特定の、硬直した格子の上に立たなければならないダンサーたちのグループだと想像してください。
  • もしダンサーが正しい位置に立っていれば、音楽が流れ、ダンスは続きます。
  • もしダンサーがその特定の格子からわずか数センチでも外れていれば、音楽は即座に止まり、ダンスは不可能になります。
• 現実： ゴールドスタインは、この特定のシステムにおいて、始まりと終わりの間のつながりは滑らかな曲線ではないことを示しました。それは高度にギザギザで「特異（singular）」なものなのです。
  • 平均的な密度が重要なのではありません。
  • 正確で離散的な位置が重要なのです。システムが「機能する（ゼロではないオーバーラップを持つ）」ためには、粒子が特定の、精密な量子数（劇場の特定の座席のようなもの）を占有していなければなりません。もし少しでもずれていれば、そのつながりはゼロに落ち込みます。

反例

ゴールドスタインは単に推測したのではなく、特定のセットアップを用いて数学的な「概念実証」を構築しました：

1. セットアップ： 彼は、粒子が硬直した結晶のようなパターンに閉じ込められた状態（モット絶縁体）を取りました。
2. 変化： 彼は、それらが自由に動けるようにルールを突然変更しました（リープ・リニガー・ガス）。
3. 結果： 彼は、始まりと終わりの間のつながりを計算した際、それが滑らかな関数ではなく、「選別的な（pick-and-choose）」関数であることを発見しました。
   • シナリオA： 粒子が正確に正しいパターンにある場合？ つながり = 100%
   • シナリオB： 粒子が同じ平均密度を持っているが、パターンがわずかに異なる場合？ つながり = 0%

なぜこれが重要なのか

旧来の理論（クエンチ・アクション）は、「細かいことは気にしないで、全体像（密度）だけを見ればよい」と言うことで、宇宙を単純化しようとしました。

ゴールドスタインの論文はこう言っています。「細かいディテールこそがすべてである」。

• メタファー： これは、鍵と鍵穴の結果を予測しようとしているようなものです。旧来の理論は、「鍵がおよそ正しいサイズであれば、錠を開けられる」と言いました。ゴールドスタインは、「いや、もし鍵の歯が正確な場所に配置されていなければ、たとえサイズが近くても、錠は回らない」と言っているのです。

結論

この論文は、「クエンチ・アクション形式」がこれらの特定の種類の初期状態に対して失敗すると結論づけています。なぜなら、この形式は、存在しないはずの「滑らかさ」を前提としているからです。現実はもっと複雑で、「豊か」であり、システムが緩やかで段階的な方法ではなく、バイナリ（全か無か）的な挙動を示す「特異な」可能性に満ちています。

要約すると： 宇宙は、旧来のルールブックが想定していたよりも、はるかにこだわりが強く、特定的です。平均を見るだけでは不十分であり、正確な配置を見なければならないのです。

技術概要

技術的要約：モット絶縁体初期状態におけるクエンチ作用形式論の破綻

問題提起
本論文は、量子クエンチ後の孤立量子系の非平衡ダイナミクスおよび一般化ジーンズ分布（GGE）への緩和を記述するために用いられる理論的枠組みである、クエンチ作用形式論（quench action formalism）における根本的な仮定を取り上げている。この形式論は、一般的な初期状態 $|\Psi_0\rangle$ と、可積分な最終ハミルトニアンの固有状態（ラピディティ $|k_1, \dots, k_N\rangle$ によって特徴付けられる）との重なりが、準粒子の密度 $\rho(k)$ の滑らかな汎関数として以下のように表現できると仮定している：
$$\langle k_1, \dots, k_N | \Psi_0 \rangle = \exp(-S_{\Psi_0}(\rho(k)))$$
この仮定は、重なりがマクロな状態密度のみに依存し、同じ $\rho(k)$ を共有する任意の2つの固有状態は（$O(1/N)$ の補正を除いて）同一の重なりを持つことを意味している。著者は、この仮定は特定の初期状態、具体的にはモット絶縁体基底状態に対しては不正確であると主張している。なぜなら、そこでの重なりは極めて特異な振る舞いを示し、$\rho(k)$ の滑らかな関数として捉えることはできないからである。

手法
著者は、クエンチ作用の仮定の妥当性を検証するために、明示的な反例を用いている。主な解析は、1次元ボゾン・モット絶縁体がリープ・リニガー（Lieb-Liniger）ハミルトニアンの下で突然進化する量子クエンチに焦点を当てている。研究は以下の2つの領域で行われる：

1. トンクス・ジラードー極限 ($c \to \infty$): リープ・リニガーガスの無限結合極限における重なりを厳密に計算する。
2. 主要項 $1/c$ 展開: 有限結合 $c$ における重なりを、$1/c$ の主要項まで展開して計算する。

いずれの場合も、初期状態 $|\Psi_0\rangle$ は、局在化した波動関数（モット絶縁体、幅 $W \ll l$、ここで $l$ は格子間隔）の積として定義され、最終的な固有状態はリープ・リニガー模型のベテ・アンザッツ固有状態である。計算には、ウィックの縮約を利用し、結果の構造がヴァンデルモンド行列（Vandermonde determinant）であることを認識しながら、初期波動関数をベテ波動関数に対して積分する手法が用いられる。

主要な貢献と結果
本論文は、モット絶縁体の基底状態とリープ・リニガー固有状態との間の重なりが、クエンチ作用形式論が想定している滑らかな汎関数形式よりもはるかに複雑な構造を持っていることを示している。

• 特異な重なりの構造: トンクス・ジラードー極限において、重なりの二乗は固有状態をラベル付けする量子数 $I_j$ に依存する正弦項の積に比例することが示される：
  $$|\langle k_1, \dots, k_N | \Psi_0 \rangle|^2 \propto \prod_{j>i} 4 \sin^2\left[ \frac{\pi(I_j - I_i)}{N} \right]$$
  この式は、量子数の集合 $\{I_j\}$ が $N$ を法とするすべての整数を正確に一度ずつ占有していない限り、ゼロになる。その結果、同じマクロな密度 $\rho(k)$ を共有していても、微視的な量子数構成が異なる大多数の状態に対して、重なりはゼロとなる。

• 滑らかさの欠如: 得られた結果は、重なりが $\rho(k)$ の滑らかな関数ではないことを示している。むしろ、重なりはラピディティ（または量子数）の具体的な配置に対して非常に敏感である。これは、重なりが $\rho(k)$ のみによって決定されるというクエンチ作用形式論の核心的な仮定（本文中の式6）に直接矛盾するものである。

• 有限結合への拡張: 有限結合 $c$ における主要項についても同様の結果が導出されている。重なりは、厳格な間隔条件を満たす特定の量子数構成に対してのみ非ゼロであり、このことは、重なの構造が特異であり、滑らかな作用汎関数では捉えられないという結論を補強している。

• 付録A (XXZ模型): 著者は、XXZ模型における同様の「結晶状態」（大きな異方性 $|\Delta| \gg 1$ の極限において）も、同様に豊かな特異な重なり構造を示すことに言及しており、形式論の破綻がリープ・リニガーガスに固有のものではないことを示唆している。

意義と主張
本論文は、クエンチ作用形式論が、物理的に重要な一連の初期状態、特にモット絶縁体に対しては根本的に誤っていると主張している。著者は、この形式論が「状況を大幅に単純化しており」、クエンチが普遍的にヤン・ヤン・エントロピー（Yang-Yang entropy）と鞍点付近の小さな揺らぎによって制御されていると誤って描写していると論じている。

重なりが（以前考えられていたよりも）「はるかに多くの構造」を持っていること、具体的には $\rho(k)$ の滑らかな関数ではないことを実証することで、本論文は、可積分系の平衡化がこれまで考えられていたよりもはるかに複雑である可能性を示唆している。著者は、これらの特異な可能性が、このような系がどのようにして、あるいは果たしてGGEへと平衡化するのかを理解するための「新しい形式論と新しい理論的アプローチ」を必要とする可能性があると述べている。本研究は新しい形式論を提案するものではなく、非平衡可積分ダイナミクスに関する現在の理論的理解における決定的なギャップを特定するものである。