Length-resolved Operator Growth and Path-Entropy Obstructions to Many-Body Localization

本論文は、正の結合および磁場を持つ無秩序イジング鎖における演算子の成長が、時間および空間的サポートの両方においてほぼ階乗的なスケーリングを示すことを証明し、それによって、いかなる無秩序の強さにおいても動的局在を厳密に排除し、摂動的多体局在に対する構造的なパス・エントロピーによる障害を明らかにしている。

要約

ある長い列の人々（「スピン鎖」）が手をつないでいる様子を想像してみてください。中には手を強く握っている人もいれば、緩く握っていたり、あるいは全く握っていなかったりする人もいます（これが「無秩序」です）。物理学において、私たちはしばしばこう問いかけます。もし列の最初の一人を押したとき、その「押し」は彼らの近くに留まる（局在する）のか、それとも広がって全員を揺さぶることになるのだろうか？

量子物理学の世界では、この問いは**多体局在（Many-Body Localization, MBL）**に関する問題です。長い間、物理学者たちは、もし無秩序（接続の「緩さ」）が十分に強ければ、その「押し」は途中で止まり、システムは初期状態を決して忘れないのではないかと期待してきました。それは、決して解消されることのない交通渋滞のようなものです。

しかし、この論文は、特定の種類の量子系においては、その交通渋丹は一種の錯覚であることを論じています。以下に、その知見を簡単な比喩を用いて解説します。

1. 「可能性の爆発」

著者らは、システムを繰り返し「突っつく」とき（数学的には交換子を取ること）に何が起こるかを研究しました。彼らは、その「押し」は単に広がるだけでなく、複雑性が爆発的に増大することを発見しました。

家から友人の家まで歩こうとしている場面を想像してください。

• 旧来の見解（局在化）： あなたはある一つの道を通り、多少の回り道をするかもしれませんが、特定の通りの中に留まります。
• この論文の見解： 一歩進むたびに、あなたが取り得たはずの経路の数が猛烈に倍増していきます。それは単なる数回の回り道ではありません。一歩進むごとに、経路が分岐する樹状の構造へと分かれていき、その数はほぼ階乗的（$100!$ のように、数え切れないほど速く増大する数）に成長していくのです。

この論文は、これらの無秩序なシステムにおいて、「押し」の重みは単に広がっているだけでなく、膨大で、ほぼ無限に近い数の異なる経路へと分散されていることを証明しています。

2. 「経路エントロピー」という障害

著者らは、**経路エントロピー（Path Entropy）**という概念を導入しています。これは、選択肢が多すぎることで生じる、純粋な「ノイズ」や「混乱」のようなものです。

• 比喩： 部屋の中でささやき声を聞こうとしている場面を想像してください。もし部屋が静かであれば（低エントロピー）、ささやき声は聞こえます。しかし、もし部屋が何百万人もの人々がバラバラに叫んでいる状態（高経路エントロピー）であれば、ささやき声はかき消されてしまいます。
• 結果： これらの量子系において、数十億もの経路が生み出す「ノイズ」はあまりにも大きく、情報を局在化させようとするあらゆる試みを圧倒してしまいます。論文によれば、システムが局在性を維持するためには、これら数十億のランダムな経路が、魔法のように完璧に打ち消し合わなければなりません（まるで、合唱団が完璧に声を合わせることで音が消えてしまうかのように）。著者らは、まだ発見されていない特別な隠れたルールがない限り、これは統計的に不可能であると述べています。

3. 「有限サイズ」の錯覚

これは、コンピュータ・シミュレーションがなぜ混乱を招いてきたのかについての、極めて実用的な知見です。

• 比喩： 森の火災がどれくらいの速さで広がるかを研究しているとします。もし、ごく小さな草地（小さなコンピュータ・シミュレーション）だけを見ているなら、火は燃える草を使い果たしてすぐに消えたように見えるかもしれません。これでは、火が「局在している」ように見えます。
• 現実： しかし、森全体を見れば、火はあらゆる場所に広がっています。
• 論文の主張： 著者らは、現在のコンピュータ・シミュレーションが「小さなパッチ」を見ているのだと証明しました。彼らは、$L \sim (W/J)^2$ という特定のスケールを導き出しました。システムサイズ（$L$）がこのスケールよりも小さい限り、システムは局在しているように「見えます」。しかし、システムが十分に大きくなり（このスケールを超えると）、この「火」（演算子の成長）は必然的に広がっていきます。「局在化」として見えているものは、真の広がりを示す挙動が現れる前の、一時的な状態である**前漸近領域（pre-asymptotic regime）**に過ぎないのです。

4. 「修正ツール」の失敗

物理学者は、乱れたシステムを整理して、整然とした局在系へと変えるための数学的ツール（シュリーファー・ヴォルフト変換と呼ばれます）を持っています。彼らは、このツールがこれらの無秩序な鎖に対しても機能することを期待していました。

• 比喩： 散らかった部屋を、一つひとつのアイテムを動かして整理しようとしている場面を想像してください。
• 問題： 著者らは、部屋を整理しようと試みるにつれて、「散らかり具合（物事の配置の仕方の数）」があまりにも速く増大するため、あなたの整理ツールが崩壊してしまうことを示しています。経路のエントロピー（物事が起こり得る膨大な方法の数）が、物事を整頓するツールの能力を圧倒してしまうのです。
• 結論： 標準的な手法を用いて、このシステムの「局在化した」バージョンを数学的に構築することはできません。なぜなら、経路の複雑性が高すぎるからです。

まとめ

論文の結論は、真の意味での永続的な局在化（システムが初期状態を決して忘れない状態）は、これらの特定の量子鎖においては、たとえ無秩序がどれほど強くても、おそらく不可能であるということです。

• 短期的／小規模なシステム： システムは停滞している（局在している）ように見えます。
• 長期的／大規模なシステム： 「経路エントロピー」が勝利します。システムは最終的に広がり、初期状態を忘れ、エルゴード的（完全に混合された状態）になります。

著者らは、もし局在化が存在するとすれば、それは数十億のランダムな経路が完璧に打ち消し合うという奇跡的な隠れたメカニズムが必要であり、そのようなシナリオは極めて起こり得ないと考えています。したがって、現実の無限の世界において、これらのシステムは常にカオス的であり、広がっていく性質を持つのであり、停滞することはないのです。

技術概要

技術的要約：長さ分解された演算子の成長と、多体局在に対するパス・エントロピーによる障害

問題の定義
熱力学的極限における多体局在（MBL）の存在と安定性は、激しい論争の対象となっている。非相互作用系におけるアンダーソン局在については厳密な証明が存在する一方で、相互作用のある無秩序系におけるMBLの安定性は異論がある。主要な課題は、数値的研究において、真の相転移と有限サイズによるクロスオーバーを区別することである。数値的研究は小さなシステムサイズに限定されている。さらに、エルゴード的な系が最大（ほぼ階乗的）な演算子成長を示すという仮説と、相互作用のある無秩序系が局在し続ける可能性との間には、構造的な緊張関係が存在する。本論文は、最大級の演算子成長が、最強の形態の局在（動的局在性）および摂動スキームによって構築される局所的な保存量（LIOM）と両立可能であるか否かという問題に取り組む。

手法
著者らは、横磁場および縦磁場を持つ一次元無秩序イジング鎖に焦点を当てる。ここでは、結合定数と磁場は厳密に正の分布から抽出される。本研究では、数値的な対角化ではなく、厳密な演算子論的アプローチを採用している。

1. 演算子形式： 著者らは、支持長（support length）$\ell$ ごとに演算子ノルムを分解するために、パウリ文字列基底を利用する。具体的には、ハミルトニアン $H$ と局所演算子 $A$（特に $\sigma^z_0$）の $k$ 重反復交換子 $L_H^k(A) = [H, A]^{(k)}$ を解析する。
2. ゲージ変換： 厳密な下界を確立するために、著者らは特定のゲージ変換（パウリ演算子の基底変換）を導入する。これにより、リウヴィリアン超演算子のすべての行列要素が厳密に正となることが保証され、異なる交換子パス間の破壊的干渉の可能性が排除される。これにより、演算子成長に対する厳密な下界が可能となる。
3. パス・エントロピー解析： 解析の核心は、交換子展開における「スクランブリング・パス」の計数にある。著者らは、個々のパスの振幅の指数関数的減衰（無秩序によるもの）と、パスの組合せ爆発（パス・エントロピー）を区別して分析する。
4. 摂動的構築： 本論文は、LIOMを構築するための反復的なシュリーファー・ヴォルフト変換の収束性を調査する。マイクロスコピックなハミルトニアンをLIOMハミルトニアンへと写像するユニタリ変換の生成子 $T$ の、次数 $n$ における支持長 $T^{(n)}$ の成長を解析する。

主要な貢献と結果

1. 長さ分解されたほぼ階乗的な成長：
   著者らは、支持長によって演算子ノルムを分解することで、Cao [1] による先行研究を一般化している。無秩序なイジング鎖において、結合定数が正である場合、特定の長さスケール $\ell_k \sim k / \ln k$ における演算子ウェイトは、ほぼ階乗的に成長することを証明した：
   $$\|[H, \sigma^z_0]^{(k)}_{\ell_k}\|_2 \gtrsim \left(\frac{k}{\ln k}\right)^k$$
   これは、演算子のウェイトが短距離に閉じ込められるのではなく、空間的に広がり、支配的なウェイトが交換子の次数 $k$ と共に発散する長さの位置に存在することを意味する。

2. 動的局在性の厳密な排除：
   この長さ分解された下界に基づき、本論文は「動的局在性」（局所的な演算子が時間発展の下で指数関数的に局在し続けるという条件）が、このモデルにおいて厳密に否定されることを証明している。交換子パスの分岐によるエントロピー的寄与が、局在相で期待される指数関数的な局在化因子を圧倒する。

3. 有限サイズ・クロスオーバー・スケール：
   パス・エントロピー項（脱局在を駆動する）と、無秩序（$W$）および結合（$J$）によって駆動される指数関数的局在化項との競合により、厳密な有限サイズ・クロスオーバー・スケールが確立される：
   $$L \sim \left(\frac{W}{J}\right)^2$$
   システムサイズが $L \lesssim (W/J)^2$ である場合、システムは「前漸近的（pre-asymptotic）」な領域にあり、そこではパス・エントロピーがまだ局在化を圧倒していない。この領域では、数値的研究は一見した局在を観察する可能性があるが、これは熱力学的極限（$L \to \infty$）において消失する過渡的な効果である。

4. LIOM構築に対するパス・エントロピーの障害：
   本論文は、LIOMの摂動的構築に対する構造的な障害を特定している。たとえ多体共鳴やアバランチが存在しないと仮定しても、反復的なシュリーファー・ヴォルフト・スキームは、支持長とともに増大するスクランブリング・パスを生成する。著者らは、ランダムな振幅を持つこれらほぼ階乗的な数のパスに対して、破壊的干渉を引き起こす特定の未同定のメカニズムが存在しない限り、ユニタリ変換の生成子 $T$ は必然的に非局所的になることを主張している。これは、パス・エントロピーのために、摂動的なLIOMの構築が熱力学的極限において失敗することを示唆している。

5. 抽象的LIOMとの整合性：
   最大級の演算子成長は、抽象的なLIOMハミルトニアンの存在を厳密に否定するものではないことを著者らは明確にしている。彼らは、抽象的なLIOMハミルトニアンが、階乗よりも速い成長をサポートし得ることを示している。しかし、障害は、マイクロスコピックなモデルをそのような抽象的なハミルトニアンへと写像する、準局所的なユニタリ写像の「構築」にある。

意義と主張
本論文は、最大級の演算子成長が、局在の最も強い形態（動的局在）を排除する一般的な特徴であることを示すことで、最大級の演算子成長と局在との間の緊張関係を解決すると主張している。

• 数値的研究について： 本研究は、なぜ小規模なシステムにおける数値的研究が、強無秩序下で安定なMBL相を示唆することが多いのかについて、厳密な説明を提供している。それは、クロスオーバー・スケール $L \sim (W/J)^2$ によって定義される前漸近的領域によるアーティファクトであると断じている。したがって、小規模なシステムに対する数値シミュレーションは、熱力学的極限におけるMBLの安定性を判断するには不適切である。
• MBLの安定性について： 著者らは、「パス・エントロピーの障害」が、汎用的な無秩序スピン鎖においてMBLを熱力学的極限で不安定にする可能性が高い、根本的なメカニズムであることを結論づけている。MBLが生き残るためには、無秩序に依存するほぼ階乗的な数のパスを系統的に打ち消すための、高度に微調整されたメカニズムが必要であり、それは非典型的であると彼らは主張している。
• 実時間ダイナミクスについて： これらの結果は、実時間における演算子の広がりが、サブ・バリスティック（亜弾道的）または局在的ではなく、対数的な補正を伴いつつも弾道的（Lieb-Robinsonコーンを飽和させる形）であることを示唆している。なぜなら、サブ・バリスティックな広がりを実現するために必要な系統的な打ち消しは、統計的に極めて起こりにくいからである。

要約すれば、本論文は、演算子内容の組合せ的な分岐から生じる「パス・エントロピー」が、共鳴効果とは独立して作用する、局在に対する構造的な障壁であることを論じており、これはMBLの存在に疑義を投げかけるものである。