Exact Quantum Many-Body Scars by a generalized Matrix-Product Ansatz

本論文は、非フラストレーションフリーな量子多体系の厳密な固有状態を構築するための局所誤差打ち消しに基づく一般化された行列積 Ansatz を導入し、1 次元および 2 次元の空間における明示的な例を通じてその妥当性を示す。

要約

「一般化された行列積 Ansatz による厳密な量子多体スカー」に関する論文を、平易な言葉と日常的な比喩を用いて説明します。

全体像：混沌の中に見出す秩序

数千人のダンサー（粒子）で埋め尽くされた巨大で混沌としたダンスフロアを想像してください。ほとんどの量子系では、音楽が始まると、ダンサーたちは最終的に完全に混ざり合い、初期の位置を忘れてしまいます。これを「熱化」あるいは「エルゴード性」と呼びます。すべてが熱くランダムなスープのようになります。

しかし、物理学者たちは、一部のダンサーが混ざり合うことを拒む稀なケースを発見しました。彼らは、音楽が騒々しく混沌としていても、特定の繰り返しパターンで踊り続けます。このような特殊で頑固なパターンは「量子多体スカー」と呼ばれます。これらは、混沌の海の中で生き残る「秩序の亡霊」のようなものです。

問題は、これらのスカーを見つけることが通常、干し草の山から針を見つけるようなことだということです。それらを見つけるためのほとんどの手法は、系が完全にバランスが取れている場合（「フラストレーションフリー」と呼ばれる条件）にのみ機能します。系がわずかにバランスを崩したり「フラストレーション」が生じたりすると、従来の手法は機能しなくなります。

この論文は、散らかりがありバランスの取れていない系であっても、これらのスカーを見つけるための、より柔軟な新しいツールを導入します。

新しいツール：「局所誤差相殺」のトリック

著者である Sascha Gehrmann と Fabian H.L. Essler は、新しい数学的なレシピを開発しました。それを理解するために、リレー競争の比喩を使いましょう。

1. 従来の方法（フラストレーションフリー）： 一人のランナーが完璧に走らなければならないリレー競争を想像してください。一人でも転びさえすれば、チーム全体が負けてしまいます。物理学において、これは系のあらゆる微小な部分が完全なゼロ誤差の状態になければならないことを意味します。これは複雑な系では非常に達成困難です。
2. 新しい方法（一般化された Ansatz）： 著者たちは、すべてのランナーが完璧である必要はないことに気づきました。必要なのは、誤差が互いに相殺し合うことだけです。
   • ランナー A が転んで前に倒れ込みます（「誤差」が生じます）。
   • しかし、そのすぐ後ろにいるランナー B が、ランナー A の間違いを完全に帳消しにするように、転んで後ろに倒れ込みます。
   • チーム全体を見ると、誤差は消え去り、個々のランナーが転びながら進んだとしても、チームは完璧にレースを完走します。

この論文では、これを**「局所誤差相殺 Ansatz」**と呼んでいます。これは、粒子が列をなして移動する方法を研究するために使われていた古いアイデア（Derrida-Evans-Hakim-Pasquier 法）に基づいていますが、著者たちはそれを複雑な量子スピン系でも機能するようにアップグレードしました。

彼らがどのように検証したか

著者たちは理論について語るだけでなく、それが機能することを証明するための具体的な例を構築しました。彼らは異なる地区に家を建てる建築家のように振る舞いました。

• 一次元鎖（廊下）： 彼らはスピン（ドミノの列のようなもの）の長い列のモデルを構築しました。
  • 例 1: 彼らは、特定の種類の磁気的ねじれを持つ系において、スカー状態の全体（「縮退多重項」）を見つけました。部屋が騒がしいにもかかわらず、全員が完璧な同じ音程を歌える合唱団全体を見つけるようなものです。
  • 例 2: 彼らは、異なる設定において、単一の孤立したスカーを見つけました。
• 二次元格子（チェス盤）： 彼らは正方形の格子（チェッカーボードのようなもの）へと移行しました。
  • 彼らは、この「相殺のトリック」が、系が二次元であり、複雑な磁場を持っている場合でも機能することを示しました。以前は厳密に解くにはあまりにも散らかりすぎていると考えられていたスピン -2 およびスピン -1 モデルに対して、厳密解を見つけました。

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

この論文は、いくつかの重要な要点を強調しています。

1. 厳密であること： 多くのコンピュータシミュレーションが近似解答を与えるのとは異なり、この手法はこれらの特殊な状態の厳密な数学的記述を提供します。
2. （比較的）単純であること： 得られる状態は、「行列積状態（MPS）」と呼ばれるコンパクトな数学的形式を用いて記述できます。これは、極めて効率的な圧縮アルゴリズムのようなものです。状態を記述するために図書館ほどの本が必要なのではなく、小さなノート帳だけで済みます。
3. アクセス可能であること： これらの状態は非常に単純（低い「エンタングルメント」）であるため、著者たちは、これらが現在の量子コンピュータやシミュレーター上で観測されうると提案しています。これらを見るために未来的な機械は必要なく、今日、局所観測量のダイナミクスの中でそれらを見ることができます。

まとめ

この論文は、巧妙な新しい数学的「相殺のトリック」を提示します。これにより、物理学者は散らかりがありバランスの取れていない系において、厳密で安定した量子パターン（スカー）を見つけることが可能になります。局所的な誤差が全体的に互いに相殺し合うことを許容することで、彼らはこれらの状態を 1 次元の列と 2 次元の格子の両方で構築でき、これにより、実際の既存の量子ハードウェア上でこれらの稀な量子現象を研究する扉が開かれました。

技術概要

技術的概要：一般化された行列積 Ansatz による厳密な量子多体傷

問題提起
相互作用する量子多体系におけるエルゴード性の破れをもたらすメカニズムの探索は、「量子多体傷」を非熱的な固有状態の distinct なクラスとして特定してきた。これらの状態は、低いエンタングルメントと単純な閉じた形式の式によって特徴づけられ、非平衡ダイナミクスにおいて持続的な振動を可能にする。このような状態を構築するための様々な枠組み（例えば、埋め込み、群論的構造、スペクトル生成代数）が存在するが、厳密な行列積状態（MPS）固有状態を得るための支配的な方法は、「フラストレーションフリー」条件に依存している。この標準的なアプローチでは、局所ハミルトニアン密度 $h_{j,k}$ が状態を局所的に消滅させる（$h_{j,k}|\Psi\rangle = 0$）。この条件は制限的であり、厳密な MPS 固有状態を構築できるハミルトニアンのクラスを限定する。著者らは、フラストレーションフリーではないハミルトニアンに対して厳密な MPS 固有状態を構築することが可能かどうかという問いに答える。

手法：一般化された DHEP Ansatz
著者らは、非対称単純排除過程（ASEP）の定常状態のために元々開発された Derrida-Evans-Hakim-Pasquier（DHEP） Ansatz の一般化を提案する。彼らの手法の核心は、「局所誤差相殺」メカニズムである。

1. 一般枠組み: グラフ $G$ 上の量子スピン系において、ハミルトニアン $H = \sum h_{j,k}$ に対して、テンソル $A$ によって定義される MPS $|\Psi\rangle$ を求める。
2. 緩和された条件: $h_{j,k}|\Psi\rangle = 0$ を要求する代わりに、局所ハミルトニアン密度の MPS テンソルへの作用がゼロではないが、 telescoping sum（項消去和）として表現できる「誤差項」を生成する条件を課す。具体的には、ノード $k$ と $\ell$ を結ぶエッジに対して：
   $$h_{k,\ell} [A_k] [A_\ell] = [E^{(k,\ell)}_k] [A_\ell] + [A_k] [E^{(k,\ell)}_\ell]$$
   ここで、$E$ は $A$ と同じ構造を持つテンソルを表す。
3. 大域的相殺: ノードに接続されたすべてのエッジにわたるこれらの誤差テンソルの和がゼロになる場合（$\sum_{e \in E_v} E^e_v = 0$）、局所的な誤差は並進対称性（または適切な境界条件）により大域的に相殺される。その結果、$H|\Psi\rangle = 0$（または定数エネルギー）となり、ハミルトニアンがフラストレーションフリーでなくても厳密な固有状態が得られる。
4. 代数的縮約: この問題は、局所的な相殺条件によって定義される二次代数の表現を見つけることに帰着する。

主要な結果と例
著者らは、この手法の有効性を、フラストレーションフリーではないハミルトニアンに対して 1 次元および 2 次元空間において厳密な MPS 傷を構築することで実証する。

• 1D モデル I（傷の縮退多重項）:

  • 系: 一般化された Rydberg 項（隣接励起をペナルティとする）と Dzyaloshinskii–Moriya（DM）相互作用を組み合わせたハミルトニアンを持つスピン-$S$ 鎖。
  • 結果: $S=1/2$ の場合、著者らはゼロエネルギーの厳密な MPS を構築する。この状態は有限の相関長を示す。
  • 縮退: 数値解析により、$N/2 + 2$ 重縮退したゼロエネルギー多重項が明らかになった。著者らは、これらの状態のうち $N/2 + 1$ 個（すべてゼロ運動量を持つ）が、MPS パラメータ $b$ を $1/a$ のべき級数として展開することで生成できることを示す。この展開は、スピン 1/2 XYZ 鎖で見られる構造に類似した、$|v_n\rangle$ が最大 $n$ 個の反転スピンを含む状態の塔 $|v_n\rangle$ を生み出す。
  • より高いスピン: この構築は $S \geq 1$ に拡張され、Rydberg 部分空間内で並進不変なゼロエネルギー固有状態が多数存在することを示唆する。
  • 境界条件: この手法は、特定の境界磁場を持つ開放鎖にも適用され、調整可能なエネルギー固有値を持つ非縮退の厳密な固有状態が得られる。

• 1D モデル II（孤立した傷）:

  • 系: 二次のスピン項と磁場を含む特定のハミルトニアンを持つスピン 1 鎖。
  • 結果: 厳密なゼロエネルギー MPS が構築される。モデル I と異なり、ゼロエネルギー固有空間は非縮退である。この状態は有限かつ非ゼロの相関長 $\xi = \log(3)$ を持つ。

• 2D 正方格子モデル:

  • スピン 2 モデル: 著者らは、磁場を持つ正方格子上のスピン 2 モデルに対して並進不変なゼロエネルギー MPS を構築する。磁場がない場合、このモデルはフラストレーションフリーであるが、非ゼロの磁場はこの性質を破り、状態を傷へと変える。
  • DM 相互作用を伴うスピン 1 XYZ モデル: DM 相互作用と磁場を伴うスピン 1 XYZ モデルに対して、厳密なゼロエネルギー MPS が見出される。DM 相互作用が非ゼロの場合、この状態は基底状態ではなくなるが、厳密な固有状態のまま残る。注目すべきは、この MPS は 2 つの積状態に分解でき、無限体积极限において相関長がゼロになる点である。

意義と主張
本論文は、厳密なフラストレーションフリー条件を緩和する厳密な MPS 固有状態を得るための体系的アルゴリズムを提供すると主張している。局所的な誤差項を許容し、それらが大域的にゼロへと telescoping することを可能にすることで、この手法は DHEP Ansatz および Klümper と Zittartz の先行研究の両方を一般化する。

著者らは、構築された傷状態が低い結合次元を持つことを強調しており、これは現在の量子コンピュータにおける局所観測量のダイナミクスにおいて理論的に観測可能であることを意味する。この研究は範囲において控えめであり、すべての傷ついた系の普遍的な分類ではなく、1 次元および 2 次元における具体的な示唆的な例を提示している。著者らは、$S \leq 2$ に対しては構築を検証したが、$S > 2$ に対する証明は未解決の問題であると指摘している。また、注入的 MPS の文脈において、この Ansatz のより一般的なバージョンを調査した最近のプレプリントについても言及している。