Lattice non-invertible symmetry from non-commuting transfer matrices

技術的要約：非可換転送行列からの格子非可逆対称性

問題提起
本論文は、多体系における「量子可積分性（quantum integrability）」と「対称性（symmetry）」という概念の間に存在する、長年の乖離に対処している。可積分性は伝統的に、ヤン・バクスター方程式によって保証される可換な保存量の存在として定義されるが、現代の対称理論は、トポロジカル欠陥線（TDL）を通じて対称性を特徴付けており、これらは非可逆であり、融合圏（fusion categories）によって記述される。著者らは、これら二つの枠組みの間に直接的な関連性を確立することを目指しており、具体的には、非アーベル的な可積分構造が、格子上で非可逆対称性を自然に生じさせ得るかどうかを調査している。彼らは、非半単純な量子群に由来する「超可積分性」と縮退の増大で知られる領域である、1の冪根におけるスピン1/2 XXZ模型に焦点を当てている。

手法
著者らは、標準的な可積分性の枠組みの非アーベル一般化を用いている：

1. モデルの設定: 異方性 $\Delta = (q+q^{-1})/2$（ここで $q$ は1の冪根、$q^N = \pm 1$）を持つXXZハミルトニアンを解析する。提示を簡略化するためにねじれ境界条件を利用しているが、結果は特定の条件下で周期境界系にも保持される。
2. アンバランスなRLL関係式: ヤン・バクスター方程式から導かれる標準的な可換転送行列の代わりに、著者らは「アンバランスな」RLL関係式を利用している。この定式化では、出力される$L$演算子が変換されたパラメータを持つため、単純な可換性が妨げられ、代わりに非自明な二次積恒等式が生成される。
3. 因子分解: 非可換な転送行列（具体的には、量子群の$N$次元表現から生じる（セミ）巡回的およびべき零転送行列 $T_c$ および $T_n$）が、オンサーガー代数の生成子を用いて表現される演算子の積へと因子分解できることを、著者らは証明している。
4. 双対性構成: $\tau^2$ 模型の転送行列の特定の極限を取ることで、オンサーガー代数上の双対自己同型として作用する行列積演算子（MPO）を構成する。

主要な貢献と結果

• オンサーガー代数の明示的な構成: 本論文は、XXZ模型の格子転送行列から、オンサーガー代数の生成子（$A_m, G_l$）およびその双対自己同型を直接導出する初の明示的な構成を提供している。これは、このような対称性の存在は疑われていたものの、生成子が未発見であったという長年のギャップを解消するものである。
• 非可換転送行列: 著者らは、非可換な転送行列 $T_c$ と $T_n$ が、オンサーガー生成子を含む特定の因子分解公式（式6および7）を満たすことを示している。これらの関係式は、アンバランスなRLL方程式と、非可換演算子に適応させた「トレイン引数（train argument）」を用いて導出されている。
• ドラン・グラディ関係式: 特定の転送行列の交換子を解析することにより、著者らは演算子 $A_0$ と $A_1$ がドラン・グラディ関係式を満たすことを証明し、オンサーガー代数の対称性の存在を裏付けた。
• 非可逆対称性の格子実現: $\tau^2$ 転送行列の極限として構成された双対演算子 $D_{\pm}$ は、オンサーダー代数上の双対自己同型を実装することが示されている。決定的なことに、これらの演算子の融合代数は、タンバラ・ヤマガミ融合則 $TY(\mathbb{Z}_N)$ を満たすことが証明されている。
  • 具体的には、$D_{\pm} \cdot D_{\pm} = (\sum Z_k) T(0)$ であり、ここで $Z_k$ は $U(1)$ 磁化対称性の $\mathbb{Z}_N$ 部分群を生成する。
  • これにより、格子模型が、有理半径における $c=1$ 自由コンパクト化ボゾン共形場理論（CFT）のトポロジカル欠陥線の離散的な実現であることを確立している。

意義と主張
本論文は、非アーベル的可積分性が、オンサーガー対称性や圏論的な双対性が創発するための自然な枠組みとして機能することを主張している。

• 可積分性と対称性の架け橋: 「アンバランスな」ヤン・バクスター構造は、超可積分性と関連するメカニズムであり、それが非可逆対称性を生成する仕組みであることを本研究は示している。
• オンサーガー構造の普遍性: 著者らは、オンサーガー型の構造が、特定のXXZ模型を超えて、増大した縮退を示す可積分系におけるより一般的な特徴である可能性を示唆している。
• CFTとの接続: 結果として、格子演算子が、連続極限（コンパクト化されたボゾンCFT）に見られる非可逆対称性の離散的な実現であることを特定し、特に1の冪根の点と、タンバラ・ヤマガミ $TY(\mathbb{Z}_N)$ 欠陥線を持つ有理的CFTを結びつけている。

著者らは、今後の方向性について控えめな範囲を維持しており、融合代数は構成したものの、完全な融合圏（具体的には結合子またはFシンボル）の決定には、テンソルネットワーク法が必要になる可能性があることを述べている。また、高ランク模型への拡張や、アフィンテンパーリー・リーブレップゼンテーションとの関連も、開かれた課題として挙げている。