A Unified Symmetry Classification of Many-Body Localized Phases

混雑したダンスフロアを想像してみてください。そこでは誰もが音楽に合わせて動こうとしています。通常の、よく整理されたパーティー（「熱的」なシステム）では、人々はやがて混ざり合い、パートナーを交換し、部屋全体が全員が無作為に動いている平衡状態に達します。これは**熱化（thermalization）**と呼ばれる現象です。

さて、照明がランダムに点滅し、床がベタつくスポットで覆われている、混沌とした乱雑な部屋を想像してみてください。このシナリオでは、人々は自分たちの小さなコーナーに取り残され、群衆と混ざり合うことができません。彼らは始まった時の場所を正確に記憶したまま、その場に凍りついたままになります。物理学において、これは**多体局在（Many-Body Localization: MBL）**と呼ばれます。これは、粒子同士が相互作用しているにもかかわらず、量子システムが自らの過去を「忘れる」ことを拒む状態です。

長い間、物理学者は、乱雑な環境の中で単一の粒子がどのように動けなくなるのか（アンダーソン局在と呼ばれます）を理解するための完璧なルールブックを持っていました。このルールブックは、アルトランド・ジンナール（AZ）分類として知られています。これは、反転、回転、あるいは時間の逆転を行っても変わらない「対称性」、つまりゲームのルールに基づいて粒子を分類するものです。

問題点：
粒子が互いに相互作用し始めると（混み合ったダンスフロアのように）、古いルールブックは機能しなくなりました。科学者たちは、ある種の対称性が「停滞」した状態を維持させる一方で、他の対称性はそれを壊してしまうことを知っていました。しかし、複雑な相互作用を持つシステムにおいて、なぜ、そしてどの対称性が機能するのかを説明するための統一された地図を、彼らは持っていませんでした。

解決策：
ユチェン・ワン（Yucheng Wang）によるこの論文は、これら相互作用する停滞システムのための、新しい統一されたルールブックを作成しました。著者は巧妙なトリックを用いています。生の乱雑な粒子を見る代わりに、粒子に新しい「着せ替え衣装」を着せて、それらを「着飾った」状態にするという方法です。これらの衣装はLIOMs（局所保存量）と呼ばれます。LIOMsは、粒子が凍りついた場所に落ち着いた後の、「真の、安定したアイデンティティ」だと考えてください。

この論文は、シンプルな問いを投げかけます。特定の対称性のルール（例えば、ダンスのステップのようなもの）を、これらの「着飾った」粒子に適用した場合、それらがバラバラになったり、制御不能に混ざり合ったりすることなく維持できるだろうか？

3つの主要な発見（「ダンスのステップ」）：

「ソロ」ダンサー（アーベル対称性）：
- 例： U(1)（全粒子数を数えるようなもの）や Z2（スイッチを切り替えるようなもの）。
- 比喩： 「全員、自分の帽子を被ったままにすること」というルールを想像してください。これは守るのが簡単です。ダンサーは自分の場所に留まることができ、そのルールによって場所を交換させられたり、巨大なグループが形成されたりすることはありません。
- 結果： これらの対称性はMBLと適合しています。システムは凍りついたままです。実際、これらのルールは、システムの端にユニークで保護された振る舞い（部屋の端だけで起こるダンスのようなもの）を持つ特別な「トポロジカル」な状態を作り出すことさえあります。
「グループ」ダンサー（連続的な非アーベル対称性）：
- 例： SU(2)（ボールをあらゆる方向に回転させるようなもの）。
- 比喩： 「もし回転するなら、隣の人と一緒に回転し、共に完璧な円を描かなければならない」というルールを想像してください。これは、ダンサーに絶えず相互作用し、エネルギーを交換することを強います。ルールがチームとしての動きを要求するため、彼らが自分のコーナーに留まり続けることは不可能です。
- 結果： これらの対称性はMBLを破壊します。「停滞」した状態は崩壊し、対称性が過剰な相互作用を強いるため、システムは最終的に熱化（混合）します。
「タイムトラベル」ダンサー（反ユニタリ対称性）：
- 例：時間反転対称性（テープを巻き戻すこと）。
- 比喩： 「もし前進するなら、必ず後ろに動く双子がいていなければならない」というルールです。
- 結果： これはトリッキーなケースです。狭い部屋（1次元）では、システムは凍りついたままにできます。しかし、より大きな部屋（高次元）では、「双子」が部屋の向こう側で互いを見つけ出し始め、それが連鎖反応を引き起こして、最終的に凍結状態を打破します。論文ではこれを**「脆弱なMBL（Fragile MBL）」**と呼んでいます。これは、小さな空間では機能しますが、大きな空間では不安定になります。

大きな全体像：
著者は、分類表（凍りついた量子状態のための周期表のようなもの）を構築しました。この新しい発見（相互作用する粒子に関するもの）と古い「単一粒子」のルールを組み合わせることで、どのシステムが凍りついたままになり、どのシステムが混沌へと溶け出していくのかを、今や予測することができます。

安定（Stable）： システムは凍りついたままです（例：単純なルール、離散的な対称性）。
脆弱（Fragile）： 1次元では凍りついたままですが、高次元では崩壊します（例：特定の時間反転ルール）。
不安定（Unstable）： システムは凍りついたままになることができません（例：連続的な回転ルール）。

なぜ重要なのか：
この論文は単に例を列挙しているのではなく、なぜ特定の量子システムが記憶を永遠に保持できるのか、あるいはなぜ他のシステムが記憶を忘れてしまうのかという、その背後にある「論理」を提供しています。散在していた観察結果を一つの明確な枠組みへと統合し、「ダンスのルール（対称性）」こそが、量子システムが停滞するか、あるいは動き始めるかを決定する決定的な要因であることを示しています。

技術的要約：多体局在相の統一的な対称性分類

問題提起
非相互作用系におけるアンダーソン局在の完全な対称性分類を提供するアルトランド・ズィルンバウアー（AZ）の10重スキームに対し、相互作用のある多体局在（MBL）における類似の枠組みは、これまで未解明のままであった。MBLにおける対称性の役割に関する既存の知見は断片的である。例えば、 $U(1)$ や $\mathbb{Z}_2$ といったアーベル対称性は安定なMBLと両立することが知られている一方で、連続的な非アーベル対称性（例：$SU(2)$）は一般にMBLを不安定化させると理解されている。しかし、特定の対称性がMBLを支持するか、あるいは排除するかを決定するための体系的かつ統一的な基準、およびAZスキームに匹敵する包括的な分類表は、まだ確立されていない。

手法
著者らは、局所的な運動の積分（LIOMs）、別名 $l$ -bit レベルで定式化された対称性に基づく分類法を開発している。コアとなる手法は以下の通りである：

演算子代数的枠組み： MBL相は、微視的な演算子を、ドレスアップされた創発的な保存演算子 $\tau^z_i$ へと写像する準局所的なユニタリ変換 $U$ の存在によって定義される。ハミルトニアンは、これらのLIOMを用いて対角化される。
対称性の適合性基準： 著者らは、ある大域的な対称性群 $G$ が安定なMBLと適合するための必要十分条件は、その作用が準局所的なLIOM代数内で一貫して表現できることであると確立した。具体的には、対称性は、広範な縮退や非局所的な演算子の混合を強制することなく、各LIOMを近傍のLIOMの準局所的な関数へと写像しなければならない。
安定性解析： MBL相の安定性は、対称性の作用が多体系のスペクトルにおいて広範な縮退のパターンを導入するかどうかを調べることで評価される。このような縮退は、共鳴プロセスを増強し、アバランチ（雪崩）不安定性を引き起こして非局在化を誘発するメカニズムとして特定される。

主要な貢献と結果
本論文は、AZ対称性（時間反転 $T$ 、粒子・ホール $C$ 、カイラル $S$ ）に、追加的なオンサイト対称性を系統的に組み合わせることで、MBL相の完全な分類表を構築している。結果として、相を安定（stable）、脆弱（fragile）、**不安定（unstable）**のクラスに分類している：

安定なMBLクラス：
- アーベル型オンサイト対称性： $U(1)$ （粒子数保存）や離散的な $\mathbb{Z}_n$ といった対称性は、安定なMBLと適合する。これらは、選択則や有限の縮退を課すことで、準局所的な構造を破壊することなくLIOM代数内に表現できる。
- 対称性保護トポロジカル（SPT）MBL： 離散的な対称性（例： $\mathbb{Z}_2, \mathbb{Z}_2 \times \mathbb{Z}_2$ ）は、高エネルギー密度においてもロバストなエッジモードを特徴とする、区別されたSPT-MBL相をホストすることができる。
- AZクラス： 本論文は、クラスA, AI, AIII, D, C（1次元において）、およびそれらと $U(1)$ や $\mathbb{Z}_2$ との組み合わせにおける安定なMBLを確認している。例えば、クラスAIII（カイラル対称性）は、ペアになったLIOMを伴う安定なMBLを支持する。
脆弱なMBL：
- $T^2 = -1$ を伴う時間反転（クラスAII）： 1次元においては、この対称性によって強制されるクラマース縮退は空間的に局所的なまま維持され、強い無秩序下でもMBLが存続することを許容する。しかし、高次元においては、これらのペアは拡張された共鳴ネットワークを形成する傾向があり、相を一般的に不安定にする。これは「脆弱な」MBLとして分類される。
不安定なMBL（安定な相が存在しない）：
- 連続的な非アーベル対称性： $SU(2) $や$ SU(N)$ といった対称性は、本質的に安定なMBLを阻害する。これらは局所的な多重項構造（例：スピン1/2の三重項）を強制し、それは対称性作用の下で不変であり続けることができない。これにより、多体系の状態の広範な多重項の増殖が起こり、局所的な状態密度が増大して、稀な熱的領域が周囲と効率的にハイブリッド化することを可能にし、熱力学的極限において局在を破壊するアバランチ不安定性を引き起こす。

意義
本論文は、MBLに対する対称性の制約を理解するための統一的かつ物理的に透明な枠組みを確立したと主張している。LIOMの演算子代数的構造を通じて、AZスキームの精神を相互作用系へと拡張することにより、本研究は以下の点を実現している：

単一の系統的な対称性適合基準を提供することで、既存の文献における断片化を解消した。
安定なMBLを支持する対称性クラス、脆弱なMBL、および必然的に非局在化を招くクラスを区別した。
$U(1)$ 系と $SU(2)$ 系の不安定性の違いといった、以前はバラバラであった観察結果を整合させる、一貫した概念的基礎を提供した。
駆動系/開放系、高次元、および局在とトポロジーの相互作用といった未解決の問題に対処するための基礎を提供した（ただし、現在の分類は明示的に静的な1次元系に対して定式化されている）。

著者らは、このアプローチは新しい応用を捏造するものではなく、既知の格子実現（例：無秩序なXXZ鎖、キタエフ鎖、クラスターモデル）を厳密な対称性に基づく分類学へと整理するものであると強調している。

技術的要約：多体局在相の統一的な対称性分類

関連論文