Lieb-Schultz-Mattis theorem from gauge constraints

本論文は物質と結合した一次元$\mathbb{Z}_2 \times \mathbb{Z}_2$ゲージ理論に対する新たな Lieb-Schultz-Mattis 定理を確立し、運動学的なガウスの法則の制約が U(1) 対称性を生成し、それにより自明なギャップあり基底状態が禁止され、自発的対称性の破れか、特定の相関減衰を示す自由ディラックフェルミオンの振る舞いを示すギャップなし励起のいずれかが必要となることを示している。

要約

以下は、この論文を平易な言葉と創造的な比喩を用いて説明したものです。

全体像：量子鎖のための規則集

長い円形のビーズのネックレスを持っていると想像してください。量子物理学の世界において、これらのビーズは単なるプラスチックではなく、さまざまな方向を向くことができる小さな磁石（スピン）です。通常、物理学者たちは、これらのビーズが冷たくなったときに何が起こるかを理解しようとしています。彼らは完璧で静かなパターンに凍りつくのでしょうか、それとも永遠に揺れ動き続けるのでしょうか。

この論文は、特定の種類のネックレスに対する新しい規則のセットを導入します。著者たちは、ビーズが目に見えない「ゲージ」の紐でつながれているモデルを構築しました。このモデルの最も重要な規則はガウス則です。ガウス則を、クラブの厳格なドア係だと考えてください。その規則は、「隣り合う二人は同じ服装をしてはいけない」と言います。あるビーズが「赤」のシャツを着ている場合、それを次のビーズに繋ぐ紐は「青」または「緑」でなければならず、「赤」であってはなりません。

主な発見：「静寂の領域なし」定理

著者たちは、この特定のネックレスに適用される強力な数学的規則（有名なリーブ・シュルツ・マティス（LSM）定理の変種）を発見しました。

比喩：
全員が完全に静止し、幸せであるように（「ギャップのある」基底状態として）ダンサーの列を並べようとする状況を想像してください。多くの物理系では、これを達成できます。しかし、この特定のモデルにおいて、著者たちは完全に静止した単純な配置を持つことが不可能であることを証明しました。

なぜでしょうか。それは、2 種類の対称性の間の衝突によるものです。

1. 並進対称性： ネックレス全体を右に 1 歩ずらしても、規則は同じように見えます。
2. 反射対称性： ネックレスを鏡で見たとしても、規則は同じように見えます。

著者たちは、「ドア係」（ガウス則）が隠れた「U(1) 対称性」、つまりシステムのための内部時計やリズムを作り出していることを発見しました。この時計は、並進（ずらすこと）には友好的ですが、鏡を見ること（反射）を嫌うように刻まれます。まるで、左に歩くと進み、右に歩くと逆戻りする時計のようです。

結果：
この衝突のため、システムは退屈で凍りついた状態に落ち着くことができません。システムは以下の 2 つのいずれかを行うことを余儀なくされます。

• 対称性の破れ： ダンサーたちは自発的に鏡の規則を破ることを決定します（例えば、全員が右ではなく左に傾くなど）。
• 揺れ動き続けること： ダンサーたちは決して動きを止めません。システムは絶対零度であっても「ギャップレス」（流動的で活発な）状態のままです。

この論文は、このシステムにおいて自明で凍りつき、ギャップのある状態を持つことはできないことを証明しています。「ドア係」（ガウス則）がシステムを興味深いものにするよう強制するのです。

「絶好のスポット」（ギャップレス点）を見つける

著者たちは、システムが凍りつくことができないことだけを証明したのではなく、数学を厳密に解くことができる特定の設定（特定の「ギャップレス点」）も見つけ出しました。

比喩：
この特定の設定において、複雑なビーズと紐のネックレスは、より単純なシステムへと変容します。それは自由なフェルミオン（幽霊のように相互作用しない粒子と想像してください）の列です。ただし、一つ注意点があります。これらの幽霊の総数は、厳格な規則（総数に対する制約）に従わなければなりません。

この点において、システムは滑らかに流れる川のように振る舞います。著者たちは、この川における擾乱（波紋）がどのように振る舞うかを計算しました。彼らは、ある一点でシステムを突くと、その影響は遠くへ進むにつれて弱まるが、非常に特定された波のようなパターンで減衰することを見出しました。

• 振動する（波のように：上、下、上、下）。
• 非常にゆっくりと弱まる（特定の数学的なべき則に従う）。

この振る舞いは「自由なディラック・フェルミオン」によって記述されます。これは、システムが量子粒子の完璧で質量のない流体のように振る舞うという意味の、少し難解な表現です。

なぜこれが重要なのか（論文によると）

1. 規則の新たな源泉： 通常、LSM などの定理は、粒子の内部性質（例えばスピンなど）に由来します。しかし、この論文は、制約（ガウス則）それ自体がこれらの強力な規則を生み出すことができることを示しています。まるで、家具自体に意見がなくても、部屋の形が家具を特定の配置に強制するようなものです。
2. 新たな遊び場： このモデルは、「トポロジカル欠陥」を研究するための完璧な実験場を提供します。ネックレスに解けない結び目がある状況を想像してください。著者たちは、このモデルがシステムが異なる相にあるときにこれらの結び目がどのように振る舞うかを研究するのに最適な場所であると提案しています。
3. 検証： 彼らは強力なコンピュータシミュレーション（DMRG）を用いて、システムが彼らの数学が予測した通りに振る舞い、それが自由移動する量子粒子の単一チャネルのように振る舞うことを示す「中心電荷」が 1 であることを確認しました。

一文で要約

著者たちは、「隣り合うものは同じにしてはならない」という厳格な規則を持つ量子ネックレスを構築し、この規則がシステムを対称性の破れか流動的な状態のいずれかに強制することを証明し、システムが量子粒子の完璧で流れる川のように振る舞う特定の設定を見出しました。

技術概要

技術的概要：ゲージ制約からの Lieb-Schultz-Mattis 定理

問題提起
Lieb-Schultz-Mattis (LSM) 定理は、空間対称性と内部対称性を持つ量子多体系の基底状態の性質に非自明な制約を課し、通常、自明なギャップあり基底状態を禁止する。近年の研究では LSM 定理が量子異常と関連付けられ、純粋な $U(1)$ ゲージ理論において確立されているが、重要な未解決問題が残っている：離散ゲージ群を持つゲージ場と物質が結合した理論において、LSM 型の定理は生じ得るか？具体的には、そのようなゲージ理論の運動論的構造（ガウスの法則の制約）が、ガウスの法則部分空間内の低エネルギー物理学に対して非自明な制約をもたらすことができるか？

手法
著者らは、周期的な鎖上に物質が結合した 1 次元 $Z_2 \times Z_2$ ゲージ理論を構築した。このモデルは、各サイト（物質）および各リンク（ゲージ）に 3 次元のヒルベルト空間を持つ。ハミルトニアンは以下のように定義される：
$$H = \sum_{j, \alpha=x,y,z} \left( t_\alpha S^\alpha_{j\sigma} S^\alpha_{j\tau} S^\alpha_{j+1\sigma} - K_\alpha (S^\alpha_{j\tau})^2 \right)$$
ここで $S^\alpha$ はスピン 1 演算子である。系は、$A^\alpha_j = \Sigma^\alpha_{j-1\tau}\Sigma^\alpha_{j\sigma}\Sigma^\alpha_{j\tau}$（ただし $\Sigma^\alpha = \exp(i\pi S^\alpha)$）で生成される局所ゲージ対称性を持つ。

解析は、すべてのサイトと生成子に対して $A^\alpha_j |\psi\rangle = |\psi\rangle$ という条件で定義されるガウスの法則部分空間 $\mathcal{V}_G$ に系を制限することから始まる。この部分空間内で、著者らは以下の手順を踏む：

1. 対称性の解析：ハミルトニアンと格子並進 ($T$) および反転 ($R$) 演算子の交換関係を調査する。
2. 隠れた対称性の同定：ガウスの法則の運動論的制約から導かれる保存量 $M$（$U(1)$ 生成子）を構成する。
3. LSM 定理の証明：生成子 $M$ が $T$ と交換するが $R$ と反交換することを示し、自明なギャップあり基底状態が不可能であることを証明する。
4. フェルミオンへの写像：制約付きヒルベルト空間からキュービットの鎖への非局所的写像を行い、さらに Jordan-Wigner 変換を経て自由フェルミオンへ写像することで、パラメータ空間内の特定の点を同定する。
5. 相関関数の計算：Toeplitz 行列式理論と Fisher-Hartwig 予想を利用して、同定された臨界点における相関関数の漸近挙動を決定する。

主要な貢献と結果

1. 運動論的制約からの LSM 定理：主要な結果は、物質と結合した $Z_2 \times Z_2$ ゲージ理論においてガウスの法則を課すことが、現れた $U(1)$ 対称性を生成することを示した点である。この対称性の生成子 $M$ は $[M, T] = 0$ および $\{M, R\} = 0$ を満たす。この代数構造は、この部分空間内の任意の並進・反転不変ハミルトニアンに対して、基底状態が対称性の自発的破壊を起こすか、あるいはギャップレスでなければならないことを強制し、自明なギャップあり相を排除する。これは、LSM 定理が物質セクターのみの大域対称性ではなく、ゲージ理論の運動論的制約から生じるという新たなメカニズムを確立するものである。

2. ギャップレス点とディラックフェルミオン：著者らは、パラメータ空間内の特定の点 ($t_x=t_y=t_z=1, K_x=K_y=K_z=0$) を同定し、ここで系がギャップレスであることを示した。非局所的な写像を通じて、この点でのハミルトニアンは、全フェルミオン数に対する制約 $\exp(i\frac{2\pi}{3}(L+N)) = 1$ を受ける自由ディラックフェルミオンの系と等価であることが示された。この臨界理論の中心電荷は $c=1$ であり、双部分エンタングルメントエントロピーの密度行列繰り込み群 (DMRG) 計算によって数値的に検証された。

3. 相関関数の漸近挙動：ギャップレス点において、局所ゲージ不変量 $(S^\alpha_{j\tau})^2$ の 2 点相関関数の漸近挙動が導出された。結果は以下の通りである：
   $$\langle (S^\alpha_{j\tau})^2 (S^\beta_{j+r\tau})^2 \rangle - \frac{4}{9} \propto \frac{\cos(\pi r)}{r^{2/9}}$$
   この振動項を伴うべき乗則減衰は、この点が臨界的であることを確認する。

4. スピン 1/2 変種：本論文は、局所対称演算子がすべて交換しないスピン 1/2 版のモデルを簡潔に解析している。これにより対称性群の射影表現が生じ、すべてのエネルギー固有値に対して少なくとも $2^L$ の広範な縮退が生じることが示された。

意義
本論文は、物質と結合した離散ゲージ理論が LSM 型の定理を支持し得るかという問いに対し、肯定的に答えるものである。その意義は、LSM 定理を担う対称性（現れた $U(1)$）が、ゲージ理論の運動論的構造（ガウスの法則）から直接生じるというメカニズムを解明した点にある。これは、ゲージ理論における制約が低エネルギー物理学をどのように規定するかという新たな視点を提供する。さらに、このモデルは、自発的対称性破砕 (SSB) 相のファミリー内におけるトポロジカル欠陥や、同定されたギャップレス点における相図の特異性の性質を研究するための自然なプラットフォームとして機能する。本研究はまた、制約付きヒルベルト空間の研究を、ヒルベルト空間の断片化や量子多体傷 (quantum many-body scars) といった現象と結びつけている。