We develop an algebraic and information-theoretic framework to characterize symmetry breaking of generalized, non-invertible symmetries in two spatial dimensions. The reduction of symmetry is modeled within subfactor theory, where condensable Frobenius algebras play the role of subgroups in the categorical setting. This perspective naturally connects to the description of anyon condensation in topological phases of matter. Central to our approach are coarse-graining maps, or conditional expectations, which act as quantum channels projecting observables from a phase with higher symmetry onto one where the symmetry is partially or completely broken by condensation. By employing relative entropy as an entropic order parameter, we quantify the information loss induced by condensation and establish a universal bound governed by the Jones index, which is equal to the quantum dimension of the condensate. We illustrate the framework through explicit examples, including the toric code, abelian groups $\mathbb{Z}_N$, and the representation category Rep($S_3$), and show how dualities give rise to equivalence classes of condensation patterns. Our results forge new connections between operator algebras, tensor category theory, and quantum information in the study of generalized symmetries.
論文ID : 2509.24625タイトル : Information Loss and Cost in Symmetry Breaking著者 : J. Molina-Vilaplana (Universidad Politécnica de Cartagena), G. Sierra, H.C.-Zhang (Instituto de Física Teórica, UAM-CSIC)分類 : quant-ph hep-th math-ph math.MP発表日時 : 2025年10月9日 (arXiv v2)論文リンク : https://arxiv.org/abs/2509.24625 本論文は、二次元空間における一般化非可逆対称性の対称性破れを特徴付けるための代数的および情報論的枠組みを確立している。対称性の縮約は部分因子理論でモデル化され、凝縮可能なFrobenius代数がカテゴリー設定において部分群の役割を果たす。この視点は、位相物質相における任意子凝縮の記述に自然に接続される。本手法の中核は粗粒化写像または条件付き期待値であり、これらは量子チャネルとして、より高い対称性を持つ相から、凝縮により対称性を部分的または完全に破れさせた相への観測量の投影を行う。相対エントロピーをエントロピー秩序パラメータとして使用することにより、凝縮による情報損失が定量化され、Jones指標によって支配される普遍的な界限が確立される。Jones指標は凝縮体の量子次元に等しい。
一般化対称性の台頭 : 近年、量子場論における一般化グローバル対称性(非可逆対称性を含む)の研究は、これらの対称性を実現する拡張位相演算子の重要性を強調している。これらの対称性は融合カテゴリーによって支配され、従来の群作用を超えている。対称性破れの複雑性 : 位相秩序と非可換任意子励起を持つ理論では、従来の部分群の概念はもはや適用されず、対称性破れ相の特徴付けが複雑になる。これらの一般化対称性の破れパターンを記述するための新しい数学的ツールが必要である。任意子凝縮の重要性 : 位相秩序系では、任意子凝縮は基本的なプロセスであり、特定の任意子が凝縮して新しい真空を形成し、位相秩序の変化をもたらす。本論文の中核的な動機は、以下を実現する統一的な枠組みを確立することである:
一般化対称性の破れパターンの記述 対称性破れプロセスにおける情報損失の定量化 演算子代数、テンソルカテゴリー理論、量子情報理論の接続 代数-情報論統一枠組みの確立 : 部分因子理論と量子情報理論を結合し、一般化対称性破れの研究に適用。エントロピー秩序パラメータの導入 : 量子相対エントロピーに基づいてエントロピー秩序パラメータを定義し、対称性破れにおける情報損失を定量化。普遍的界限の確立 : 情報損失の普遍的上界がJones指標によって支配されることを証明:S A ( ρ ∣ ρ ~ ) ≤ log λ S_A(\rho|\tilde{\rho}) \leq \log \lambda S A ( ρ ∣ ρ ~ ) ≤ log λ 。具体的実装の提供 : Kraus演算子を通じて条件付き期待値と持ち上げ写像の明示的構成を提供。理論枠組みの検証 : Z N \mathbb{Z}_N Z N 群、toric code、Rep(S 3 S_3 S 3 )などの具体例を通じて理論の有効性を検証。任意子凝縮プロセスにおいて、高対称性相A \mathcal{A} A から対称性破れ相T \mathcal{T} T への転移を研究し、このプロセスにおける情報損失を定量化する。
部分因子包含 : T ⊂ A \mathcal{T} \subset \mathcal{A} T ⊂ A 。ここでA \mathcal{A} A は未凝縮相を、T \mathcal{T} T は凝縮相を記述するJones指標 : λ = [ A : T ] = q \lambda = [\mathcal{A} : \mathcal{T}] = q λ = [ A : T ] = q (凝縮体の量子次元)条件付き期待値 : ε A : A → T \varepsilon_A: \mathcal{A} \to \mathcal{T} ε A : A → T が制限写像を実現制限写像 (凝縮プロセス):
a → ∑ t ∈ T n a t t , ∀ a ∈ A a \to \sum_{t \in \mathcal{T}} n_a^t t, \quad \forall a \in \mathcal{A} a → ∑ t ∈ T n a t t , ∀ a ∈ A
持ち上げ写像 (逆プロセス):
t → ∑ a ∈ A n a t a , ∀ t ∈ T t \to \sum_{a \in \mathcal{A}} n_a^t a, \quad \forall t \in \mathcal{T} t → ∑ a ∈ A n a t a , ∀ t ∈ T
ここでn a t n_a^t n a t は分岐係数であり、量子次元一貫性条件を満たす:
d a = ∑ t ∈ T n a t d t d_a = \sum_{t \in \mathcal{T}} n_a^t d_t d a = ∑ t ∈ T n a t d t d t = 1 q ∑ a ∈ A n a t d a d_t = \frac{1}{q} \sum_{a \in \mathcal{A}} n_a^t d_a d t = q 1 ∑ a ∈ A n a t d a
条件付き期待値のKraus表現 :
ε A ( ρ ) = ∑ a ∈ A K a ρ K a † \varepsilon_A(\rho) = \sum_{a \in \mathcal{A}} K_a \rho K_a^\dagger ε A ( ρ ) = ∑ a ∈ A K a ρ K a †
ここでKraus演算子は以下のように定義される:
K a = ∑ t ∈ T n a t d t d a Λ t , a K_a = \sum_{t \in \mathcal{T}} \sqrt{n_a^t} \sqrt{\frac{d_t}{d_a}} \Lambda_{t,a} K a = ∑ t ∈ T n a t d a d t Λ t , a
持ち上げ写像 :
ρ ~ = α ( ρ A ) = ∑ a ∈ A L a ε A ( ρ ) L a † \tilde{\rho} = \alpha(\rho_A) = \sum_{a \in \mathcal{A}} L_a \varepsilon_A(\rho) L_a^\dagger ρ ~ = α ( ρ A ) = ∑ a ∈ A L a ε A ( ρ ) L a †
ここで:
L a = ∑ t ∈ T n a t λ d a d t Λ a , t L_a = \sum_{t \in \mathcal{T}} \sqrt{\frac{n_a^t}{\lambda}} \sqrt{\frac{d_a}{d_t}} \Lambda_{a,t} L a = ∑ t ∈ T λ n a t d t d a Λ a , t
統一的視点 : ゲージング化と任意子凝縮を同一の代数構造の下で統一した初めての試み。明示的構成 : 条件付き期待値と持ち上げ写像の明示的なKraus表現を提供。情報論的定量化 : 相対エントロピーを秩序パラメータとして導入し、対称性破れの程度を定量化。普遍的界限 : Jones指標に関連する情報損失上界を確立。論文は3つの具体例を通じて理論枠組みを検証している:
アーベル群Z N \mathbb{Z}_N Z N : 基本概念を検証する最も単純な例Toric code : 具体的な位相モデルでの応用を検証Rep(S 3 S_3 S 3 ) : 非可換の場合の複雑な振る舞いを示す相対エントロピー秩序パラメータ :
S A ( ρ ∣ ρ ~ ) = ∑ a ∈ A p a log p a p ~ a S_A(\rho|\tilde{\rho}) = \sum_{a \in \mathcal{A}} p_a \log \frac{p_a}{\tilde{p}_a} S A ( ρ ∣ ρ ~ ) = ∑ a ∈ A p a log p ~ a p a
ここでp a = tr ( ρ Π a ) p_a = \text{tr}(\rho \Pi_a) p a = tr ( ρ Π a ) 、p ~ a = tr ( ρ ~ Π a ) \tilde{p}_a = \text{tr}(\tilde{\rho} \Pi_a) p ~ a = tr ( ρ ~ Π a ) 。
Lagrangian代数A = ∑ r r A = \sum_r r A = ∑ r r に対して:
Jones指標:λ = ∣ G ∣ = N \lambda = |G| = N λ = ∣ G ∣ = N 相対エントロピー:S A ( ρ ∣ ρ ~ ) = log N − H ( p ) S_A(\rho|\tilde{\rho}) = \log N - H(p) S A ( ρ ∣ ρ ~ ) = log N − H ( p ) 対称相p r = 1 / N p_r = 1/N p r = 1/ N では、秩序パラメータはゼロ 凝縮代数A = 1 + Y A = 1 + Y A = 1 + Y に対して:
Jones指標:λ = 2 \lambda = 2 λ = 2 相対エントロピー:S A ( ρ ∣ ρ ~ ) = log 2 − H ( p ) − ( p 1 + p Y ) log ( p 1 + p Y ) − ( p X + p Z ) log ( p X + p Z ) S_A(\rho|\tilde{\rho}) = \log 2 - H(p) - (p_1 + p_Y)\log(p_1 + p_Y) - (p_X + p_Z)\log(p_X + p_Z) S A ( ρ ∣ ρ ~ ) = log 2 − H ( p ) − ( p 1 + p Y ) log ( p 1 + p Y ) − ( p X + p Z ) log ( p X + p Z ) 具体例:
{ p } = { 1 / 2 , 1 / 2 , 0 , 0 } ⇒ S A = 0 \{p\} = \{1/2, 1/2, 0, 0\} \Rightarrow S_A = 0 { p } = { 1/2 , 1/2 , 0 , 0 } ⇒ S A = 0 { p } = { 1 / 2 , 0 , 0 , 1 / 2 } ⇒ S A = log 2 \{p\} = \{1/2, 0, 0, 1/2\} \Rightarrow S_A = \log 2 { p } = { 1/2 , 0 , 0 , 1/2 } ⇒ S A = log 2 3つの異なる凝縮パターンを示す:
A = 1 + X A = 1 + X A = 1 + X :λ = 2 \lambda = 2 λ = 2 、T ∼ Vec ( Z 3 ) \mathcal{T} \sim \text{Vec}(\mathbb{Z}_3) T ∼ Vec ( Z 3 ) A = 1 + Y A = 1 + Y A = 1 + Y :λ = 3 \lambda = 3 λ = 3 、T ∼ Vec ( Z 2 ) \mathcal{T} \sim \text{Vec}(\mathbb{Z}_2) T ∼ Vec ( Z 2 ) A = 1 + X + 2 Y A = 1 + X + 2Y A = 1 + X + 2 Y :λ = 6 \lambda = 6 λ = 6 、T ∼ Vec ( C ) \mathcal{T} \sim \text{Vec}(\mathbb{C}) T ∼ Vec ( C ) (Lagrangian代数)普遍的界限の検証 : すべての例がS A ( ρ ∣ ρ ~ ) ≤ log λ S_A(\rho|\tilde{\rho}) \leq \log \lambda S A ( ρ ∣ ρ ~ ) ≤ log λ を満たす対称相の特徴付け : 初期状態が「対称」分布の場合、秩序パラメータはゼロ摂動挙動 : 小さな摂動δ p r ≪ 1 \delta p_r \ll 1 δ p r ≪ 1 に対して、秩序パラメータはS A ∼ ∑ r ( δ p r ) 2 S_A \sim \sum_r (\delta p_r)^2 S A ∼ ∑ r ( δ p r ) 2 として振る舞う一般化対称性理論 : Gaiotto等による先駆的な一般化グローバル対称性の基礎確立SymTFT枠組み : 高次元位相場論を通じた対称性の特徴付け任意子凝縮理論 : Bais-Slingerland等による任意子凝縮の数学的基礎確立演算子代数的手法 : von Neumann代数理論の量子場論への応用既存研究と比較して、本論文は初めて以下を実現している:
部分因子理論と量子情報理論の結合 情報損失の定量的記述の提供 普遍的なエントロピー界限の確立 統一枠組み : 一般化対称性破れを記述する統一的な代数-情報論枠組みの確立に成功定量的記述 : 相対エントロピーが対称性破れの程度の定量的尺度を提供普遍的界限 : Jones指標が情報損失の普遍的上界を与える実用的応用 : 複数の具体例で枠組みが検証される次元制限 : 現在の枠組みは主に有限次元の場合に適用可能可換性仮定 : 一部の構成は可換代数構造を仮定完全な相転移 : A \mathcal{A} A から解禁閉相U \mathcal{U} U への完全な位相相転移は完全には記述されていない高次元への推広 : II型/III型von Neumann代数への拡張実験的検証 : 位相相の格子実装における相対エントロピー秩序パラメータのテストSymTFT接続 : 対称位相場論不変量との関連性確立異常研究 : 凝縮、異常、エントロピー量の相互作用の探索理論的革新 : 部分因子理論と量子情報理論の深い関連性を初めて確立数学的厳密性 : 完全な数学枠組みと厳密な証明を提供実用的価値 : 計算可能なエントロピー秩序パラメータと普遍的界限を提供豊富な例 : 複数の具体例を通じて理論の有効性を検証学際的 : 演算子代数、テンソルカテゴリー、量子情報など複数の分野を成功裏に接続複雑性 : 数学枠組みがやや複雑で、より広範な応用を制限する可能性実験的検証 : 実際の物理系での実験的検証が不足計算複雑性 : 大規模系では関連計算が困難になる可能性理論的貢献 : 一般化対称性研究に新しい理論的ツールを提供方法論的価値 : 抽象的数学理論を具体的物理問題に応用する方法を示す将来の発展 : 関連分野のさらなる研究の基礎を確立位相量子計算 : 任意子凝縮が量子情報処理に与える影響の理解凝縮物質理論 : 位相相転移と対称性破れの研究量子場論 : 非可逆対称性の破れパターンの分析数学物理 : 演算子代数と物理の関連性の探索論文は61篇の参考文献を含み、von Neumann代数理論の基礎からGaiotto等による最新の一般化対称性研究まで網羅しており、本研究の学際的性質と理論的深さを反映している。主要な参考文献にはJonesの部分因子理論の原著作、Gaiotto等の一般化対称性理論、Arakinの相対エントロピー理論などが含まれる。