技術要約：テンソルネットワークに関するレ・シュシェ講義ノート

問題提起

これらの講義ノートが取り組む中心的な課題は、量子多体系における「二重指数関数的な壁（double-exponential wall）」である。ヒルベルト空間の次元は粒子数に対して指数関数的に増大するが、その大部分は非物理的な状態である。なぜなら、それらの状態は、多項式時間内の局所的な相互作用に由来するいかなる物理的メカニズムによっても到達できないからである。したがって、強相関系の低エネルギー物理学の大部分は、低複雑性の状態の多様体（manifold）に存在している。問題は、フル・ヒルベルト空間に頼ることなく、特にギャップを持つ相、トポロジカル相、および一般化された対称性を持つ系に対して、この多様体をいかに効率的に特定し、パラメータ化し、シミュレーションするかである。さらに、伝統的なランダウの対称性の破れのパラダイムに基づく量子相の分類を、局所的な秩序パラメータを欠くことが多いトポロジカル秩序や対称保護トポロジカル（SPT）相の理解へと統一する必要がある。

手法

本ノートでは、**テンソルネットワーク（TN）を主要な枠組みとして採用しており、具体的には一次元における行列積状態（MPS）および二次元における投影絡み合い対状態（PEPS）**に焦面している。手法は以下の核となる概念に基づいている：

1. 変分多様体アプローチ： 時間依存変分原理（TDVP）を用いて、シュレディンガー方程式をテンソルネットワーク状態の多様体へと射影する。これにより、シンプレクティック構造および保存量を保持する運動方程式の導出が可能となる。
2. 局所テンソル表現： 全体的な波動関数は、局所テンソルの縮約として表される。MPSの場合、これは最大に絡み合った仮想的なペアに作用するテンソル $A$ の連鎖を伴う。PEPSでは、これが2D格子へと一般化される。
3. ゲージ自由度と標準形： テンソル表現における冗長性（ゲージ変換 $A_i \to X A_i X^{-1}$）を利用して、観測量や絡み合いスペクトルの計算を簡略化する標準形（左/右/混合）を定義する。
4. 親ハミルトニアン（Parent Hamiltonians）： すべての単射的な（injective）MPSは、局所的でギャップを持ち、フラストレーションフリーなハミルトニアンの一意な基底状態であることが示されている。これにより、テンソルの代数的性質と物理的な相との間の直接的な繋がりが確立される。
5. 代数構造： 対称性や転送行列を表現するために、**行列積演算子（MPO）**を利用する。これらの演算子の整合性条件（例：ヤン・バクスター方程式）は、MPSの基本定理から導かれる。
6. 圏論： 一般化された対称性（群の対称性を超えるもの）を扱うために、**融合圏（fusion categories）およびモジュール圏（module categories）**を用いてフレームワークを拡張する。MPOは融合圏の表現として特定され、相の分類は、これらの融合圏に対するモジュール圏の分類へとマッピングされる。

主要な貢献と結果

1. MPSの多様体とエリア則

本ノートは、ギャップを持つ基底状態が一次元において**エリア則（area law）**を満たすことを確立している。これは、部分系の絡み合いエントロピーが境界のサイズ（一次元では定数）に比例することを意味する。MPSは本質的にこの法則を満たしており、ボンド次元 $\chi$ が絡み合いエントロピーの上限を与える（$S \leq \log \chi$）。MPSの基本定理が証明されている：二つの単射的なMPSが同一の状態を表すための必要十分条件は、それらのテンソルがゲージ変換によって関連付けられていることである。この定理は、親ハミルトニアンの一意性と相の分類の基礎となっている。

2. 基底状態と励起のためのアルゴリズム

• DMRG（密度行列繰り込み群）： 交互最小二乗法を用いた、MPS多様体上の変分最適化として再解釈される。ノートでは、特異値分解（SVD）を介してボンド次元を動的に調整する二サイトDMRGアルゴリズムについて詳述している。
• VUMPS（Variational Uniform MPS）： 熱力学的極限（無限鎖）で直接動作するように設計されたアルゴリズムであり、全エネルギーではなくエネルギー密度を最小化する。これは、転送行列の不動点と有効ハミルトニアンを同時に解くものである。
• 準粒子励起： 励起は、基底状態MPSへの摂動テンソル $B$ の挿入による接ベクトル（tangent vector）の運動量重ね合わせとしてモデル化される「準粒子アンザッツ」が導入されている。これにより、スピン1ハイゼンベルク鎖におけるハルデンギャップのような励起スペクトルの計算が可能になる。

3. 量子相の分類

• 対称保護トポロジカル（SPT）相： 対称群 $G$ を持つ一次元ボゾン系において、異なるギャップを持つ相は第二群コホモロジー $H^2(G, U(1))$ によって分類される。MPSテンソルは、仮想レベルにおける対称群の射影表現の下で変換される。ノートでは、異なるコホモロジー類が、ギャップを閉じるか対称性を破ることなしには断熱的に接続できない、異なる相に対応することを実証している。
• 時空対称性： 反ユニタリ対称性（例：時間反転対称性）を含むように分類が拡張されており、これには一般化されたコホモロジー群 $H^2(G, U(1)^\beta)$ が必要となる。
• フェルミオン系： フレームワークは、超ベクトル空間と次数付きテンソル積を用いて、フェルミオン的MPS（fMPS）へと拡張される。これにより、外部の対称性に依存せず、フェルミオン・パリティ超選択則によって保護された固有のトポロジカル相（例：キタエフ鎖）が明らかになる。

4. MPO代数と可積分性

ノートは、代数的ベテ・アンザッツの中心であるヤン・バクスター方程式が、可換な転送行列（MPO）に適用されたMPSの基本定理の結果であることを示している。これにより、可積分性の条件に対するテンソルネットワークによる導出が提供される。

5. 二次元系とトポロジカル秩序

• PEPSとG-injectivity： ノートでは、MPSの二次元への一般化としてのPEPSを紹介している。G-injective PEPSについて議論しており、これは仮想レベルにおける群作用に対して不変なテンソルを持つ。これらの状態は、量子ダブルモデル（例：トーリックコード）を実現し、多様体のトポロジーに依存する基底状態縮退を特徴とする固有のトポロジカル秩序を示す。
• エッジ・ハミルトニアンとアノマリー： SPT相を表すPEPSの境界は、非局所的なMPO対称性を持つ有効ハミルトニアンを担う。もしMPO代数に関連する3-コサイクルが非自明であれば、エッジ理論はギャップレスであるか、あるいは対称性を破らなければならない（アノマリー）。

6. 一般化された対称性と双対性

最後の講義では、群ではなく融合圏によって記述される一般化された対称性へとフレームワークを拡張する。

• ストリングネット・モデル： これらは、仮想的な対称性が融合圏 $\mathcal{C}$ で与えられたPEPSとして構成される。基底状態は、ドリンフェルド中心 $Z(\mathcal{C})$ のトポロジカル秩序を実現する。
• モジュール圏と相： 一般化された対称性 $\mathcal{C}$ を持つギャップのある相の分類は、$\mathcal{C}$ 上のモジュール圏と一対一に対応している。異なるモジュール圏は、その一般化された対称性を「破る」異なる方法を表している。
• ストレンジ・コレーター（Strange Correlators）： トポロジカルなストリングネット状態と短距離絡み合いを持つ積状態との重なり（ストレンジ・コレーター）を取ることにより、臨界モデルの古典的な分配関数を構成する手法が提示されている。これは、トポロジカル場理論（TFT）と共形場理論（CFT）の対応関係の格子上での実現を提供している。
• 双対性： ノートは、異なるモジュール圏が非可逆なMPOインタートウィナーによって実装される双対性変換によって関連付けられていることを示している。これは、すべてのギャップのある相が完全に対称性が破れた相（「最適」なモデル）に双対であるという一般化されたランダウ・パラダイムへとつながり、効率的なシミュレーションを容易にする。

意義と主張

本論文は、テンソルネットワークが、絡み合いの構造に焦点を当てることで、ヒルベルト空間の指数関数的な複雑さを多項式個のパラメータへと圧縮する、強相関物質のホログラフィックな記述を提供すると主張している。

意義に関する主な主張は以下の通りである：

1. 相の統一： 本フレームワークは、対称性の破れの相とトポロジカル相の分類を、単一の代数的構造（局所テンソルの対称性）の下に統一する。
2. 計算効率： シミュレーションを低複雑性の多様体（MPS/PES）に限定することで、「指数関数的な壁」を打破し、一次元および二次元系の最先端のシミュレーション（例：DMRG, VUMPS）を可能にする。
3. 代数的洞察： MPOを融合圏と同一視し、圏論（モジュール圏、ビモジュール）を用いることは、一般化された対称性と双対性のための厳密な数学的言語を提供し、ランダウのパラダイムを群の対称性を超えて拡張する。
4. ホログラフィックな接続： 「ストレンジ・コレーター」の構成は、二次元のトポロジカル秩序と一次元の臨界現象を明示的に結びつけ、TFT/CFT対応の具体的な格子上の実現を提供する。

これらのノートは、包括的なレビューとしてではなく、むしろさらなる研究への招待として位置づけられており、トポロジカルおよび強相関相の「内部構造」は、絡み合いと、テンソルネットワークにエンコードされた一般化された対称性のレンズを通して明らかにされるという点を強調している。