--- title: Entanglement Asymmetry in Quantum Subsystems url: https://www.emergentmind.com/topics/entanglement-asymmetry-ea type: topic --- # Entanglement Asymmetry in Quantum Subsystems Entanglement asymmetry (EA) is an entanglement-based measure of symmetry breaking defined at the level of a subsystem. For a bipartition \(A\cup B\) and reduced density matrix \(\rho_A=\mathrm{Tr}_B\ket{\Psi}\bra{\Psi}\), it compares \(\rho_A\) with the state obtained by removing coherence between symmetry sectors of the subsystem charge. In its original formulation for a global \(U(1)\) symmetry generated by \(Q=Q_A+Q_B\), EA is \[ \Delta S_A=S(\rho_{A,Q})-S(\rho_A), \qquad \rho_{A,Q}=\sum_q \Pi_q \rho_A \Pi_q =\int_{-\pi}^{\pi}\frac{d\alpha}{2\pi}\,e^{-i\alpha Q_A}\rho_A e^{i\alpha Q_A}, \] and is equivalently the relative entropy \(S(\rho_A\Vert \rho_{A,Q})\). It is therefore nonnegative and vanishes iff the subsystem state is already symmetric, i.e. iff \([\rho_A,Q_A]=0\) [2207.14693]. Since its introduction as a subsystem-sensitive probe of symmetry breaking in many-body systems, EA has been extended to finite groups, conformal field theory, gauge theory, higher-form symmetry, random states and circuits, fragmented systems, and Gaussian-state formalisms [2307.12127] [2407.07969] [2511.01966] [2510.03967] [2603.02338] [2604.26878]. ## 1. Definition, physical interpretation, and basic structures For \(U(1)\) symmetry, EA quantifies the entropy increase produced by dephasing the reduced density matrix in eigen-sectors of \(Q_A\). Physically, it measures the amount of charge-sector coherence stored in \(\rho_A\): if \(\rho_A\) contains off-diagonal matrix elements between different subsystem charges, symmetry twirling removes them and increases the entropy; if \(\rho_A\) is already block diagonal, the entropy is unchanged and EA vanishes [2207.14693]. The same logic extends beyond \(U(1)\). For a finite group \(G\), the symmetry-restored reduced state is \[ \tilde\rho_A=\frac{1}{|G|}\sum_{g\in G}\hat g_A\rho_A \hat g_A^{-1}, \] and the corresponding Rényi and von Neumann asymmetries compare \(\tilde\rho_A\) with \(\rho_A\). In this formulation, EA remains a subsystem measure of how much the reduced state fails to be invariant under the symmetry action [2307.12127]. For compact Lie groups, the discrete sum is replaced by Haar averaging, and the same relative-entropy interpretation persists [2402.03446]. A useful distinction runs through the literature. Standard entanglement entropy measures bipartite quantum correlations, whereas EA measures the entropic cost of enforcing local symmetry on the reduced state. Symmetry-resolved entanglement typically assumes \([\rho_A,Q_A]=0\), so the reduced state is already decomposable into charge sectors; EA addresses the opposite regime, in which that block structure fails precisely because the subsystem retains symmetry-breaking coherence [2207.14693]. This makes EA especially suited to out-of-equilibrium states, anomalous symmetry breaking, and situations where local order parameters are incomplete or unavailable. The Rényi generalization, \[ \Delta S_A^{(n)}=\frac{1}{1-n}\left[\log\mathrm{Tr}(\rho_{A,Q}^n)-\log\mathrm{Tr}(\rho_A^n)\right], \] is central in replica and experimental settings. Integer-\(n\) Rényi EAs may be experimentally accessible using randomized measurement protocols with post-selection [2207.14693]. ## 2. Replica, defects, charged moments, and Gaussian formulations A major formal development is the representation of EA through charged moments. For \(U(1)\), \[ \mathrm{Tr}(\rho_{A,Q}^n)=\int_{-\pi}^{\pi}\frac{d\alpha_1\cdots d\alpha_n}{(2\pi)^n}\,Z_n(\boldsymbol\alpha), \qquad Z_n(\boldsymbol\alpha)=\mathrm{Tr}\left[\prod_{j=1}^n \rho_A e^{i\alpha_{j,j+1}Q_A}\right]. \] If \([\rho_A,Q_A]=0\), then \(Z_n(\boldsymbol\alpha)=Z_n(\mathbf 0)\), so \(\Delta S_A^{(n)}=0\) [2207.14693]. This charged-moment framework underlies exact free-fermion calculations, path-integral derivations, and several asymptotic analyses. In conformal field theory, EA can be formulated using replica manifolds with symmetry defects inserted along gluing surfaces. For coherent excited states in \(U(1)\)-symmetric CFTs, the leading perturbative asymmetry is controlled by a replicated two-point function, and the von Neumann EA at quadratic order equals the Fisher information metric around the vacuum reduced state. In holographic theories, the same perturbative quantity is identified with Hollands–Wald canonical energy in the entanglement wedge and is related to the bulk \(U(1)\) charge contained there [2407.07969]. In \(1+1\)-dimensional critical systems, the defect perspective also yields a characteristic \((\log \ell)/\ell\) correction to EA, governed by the scaling dimensions of non-topological defects [2402.03446]. Free-fermion systems motivated another formal refinement. Standard twirling typically sends a Gaussian reduced state to a non-Gaussian one, which obstructs direct correlation-matrix evaluation. A Gaussian asymmetry measure was introduced by replacing exact symmetrization with a Gaussian symmetrization that removes the anomalous block \(F_A\) of the Nambu correlation matrix while preserving the normal block \(G_A\). The resulting quantity, \[ \Delta S_A^{(G)}=S(\rho_A\Vert \rho_A^{(s)})=S(\rho_A^{(s)})-S(\rho_A), \] is the minimal relative entropy from \(\rho_A\) to the manifold of symmetric Gaussian states and is exactly computable from correlation matrices [2604.26878]. This suggests a precise separation between symmetry breaking intrinsic to Gaussian data and extra non-Gaussianity generated by exact sector projection. ## 3. Dynamical symmetry restoration, non-restoration, and Mpemba phenomena The foundational dynamical setting is a global quench from an initially symmetry-breaking state evolved with a \(U(1)\)-symmetric Hamiltonian. In the XX chain, EA decays to zero at late times, thereby diagnosing dynamical restoration of subsystem symmetry. The original analysis established two characteristic features: larger subsystems restore symmetry more slowly, and states with stronger initial symmetry breaking can restore it faster, producing a quantum Mpemba effect [2207.14693]. The XY-to-XX quench sharpened this picture. In the anisotropic XY ground state, the broken \(U(1)\) symmetry is tied to Cooper-pair correlations after Jordan–Wigner mapping, and the equilibrium EA obeys \[ \Delta S_A^{(n)}=\frac12\log \ell+\frac12\log\!\left(\frac{\pi g(\gamma,h)\,n^{1/(n-1)}}{4}\right)+O(\ell^{-1}), \] with \(g(\gamma,h)=\int_0^{2\pi}\frac{dk}{2\pi}\sin^2\Delta_k\), so EA acquires a direct interpretation in terms of integrated Cooper-pair density [2310.07513]. After the quench to the XX chain, local symmetry is restored, but the relaxation law depends discontinuously on whether the initial state is critical: noncritical initial states yield \(t^{-3}\)-type restoration, whereas critical initial states relax as \(t^{-1}\), which the authors identify as new strong and weak forms of the quantum Mpemba effect [2310.07513]. Discrete symmetries exhibit analogous but not identical behavior. For cyclic \(\mathbb Z_N\) groups, EA is bounded by \(\log N\), unlike the unbounded logarithmic growth possible for continuous \(U(1)\) [2307.06902]. In the XY spin chain with broken \(\mathbb Z_2\) parity, quenches reveal plateau structures and late-time restoration under periodic boundary conditions, while open boundaries can retain nonzero asymmetry when a post-quench boundary mode survives [2307.06902]. Explicitly non-symmetric dynamics reverses the logic. In a non-symmetric random quantum circuit, subsystem EA generated from an initially symmetric state exhibits a pronounced early-time overshoot but ultimately vanishes for subsystems smaller than half the system, consistent with scrambling to an effectively fully mixed reduced state. In a non-symmetric Hamiltonian quench, the same early-time overshoot is present, yet the late-time subsystem EA remains nonzero because the locally thermal state inherits the symmetry-breaking terms of the Hamiltonian [2501.13459]. This contrast underscores that EA distinguishes symmetry restoration driven by scrambling from persistent symmetry breaking inherited from local Gibbs structure. ## 4. Extensions across phases, symmetries, and field-theoretic settings The scope of EA has broadened substantially, and several extensions have distinct physical meanings. Before the table, two broad patterns are worth isolating. First, in ordered phases with finite symmetry groups, EA asymptotically counts degenerate vacua. In the ordered phase of the \(1+1\)-dimensional Ising field theory, where a \(\mathbb Z_2\) symmetry is spontaneously broken, the large-interval asymmetry approaches \(\log 2\), and a broader conjecture states \[ \Delta S_n \simeq \log \frac{|G|}{|H|}, \] with \(H\) the subgroup leaving the state invariant [2307.12127]. Second, in gauge and topological settings EA becomes a probe of symmetry-breaking information that is not naturally localized in conventional order parameters. In the massless Schwinger model it diagnoses anomaly-induced chiral symmetry breaking, and in topologically ordered phases it can be generalized to higher-form symmetry breaking [2511.01966] [2510.03967]. | Setting | Symmetry/context | Representative EA result | |---|---|---| | Ordered Ising field theory | Finite-group SSB | \(\Delta S_1=\log 2-\frac{K_0(2m\ell)}{8}+O(e^{-4m\ell})\) [2307.12127] | | Massless Schwinger model | Chiral \(U(1)\) anomaly in gauge theory | \(\Delta S \simeq \frac12\log(mL\pi)+\frac12\) at \(T=0\) [2511.01966] | | High-temperature Schwinger regime | Finite-\(T\) anomaly probe | \(\Delta S \approx \frac12(-1+\log(2\pi m^2\beta L))\) [2511.01966] | | Toric code / Abelian topological order | Broken 1-form symmetry | \(\Delta S_A=\log 2\); for non-chiral Abelian order, \(\Delta S_A^{\max}=\log \mathcal D\) [2510.03967] | | Fragmented systems | Commutant-algebra asymmetry | Conventional EA is logarithmic, fragmented EA can be extensive [2603.02338] | | \(\widehat{su}(N)_k\) WZW model | Non-Abelian \(\mathrm{SU}(N)\) EA | Real-time EA shows quantum Mpemba effect for fundamental and adjoint primaries [2509.05597] | The gauge-theory case is especially notable because the symmetry breaking arises intrinsically through the anomaly rather than through an explicit symmetry-breaking term. In the massless Schwinger model, EA decreases only logarithmically with temperature in the regime \(1/(mL)L/2\) grows as \((\dim G/2)\log \ell_A\); fluctuations vanish, so this is also the typical behavior [2411.13337]. The non-Abelian result generalizes the earlier \(U(1)\) random-state asymmetry Page curve and fixes the logarithmic coefficient by the group dimension [2411.13337]. Random quantum circuits turn this static picture into a dynamical one. In random unitary circuits that do not preserve the relevant \(U(1)\), the Rényi-2 EA of the whole system and of subsystems larger than half the system approaches its stationary value on a time scale independent of system size, while for smaller subsystems the EA is non-monotonic and relaxes on the scrambling time. For local circuits that time scales linearly with system size; for geometrically non-local circuits it scales logarithmically [2501.12459]. This connects EA directly to the distinction between local equilibration and true scrambling. A related information-theoretic interpretation appears in the Hayden–Preskill protocol. There the radiation subsystem can display vanishing Rényi-2 EA before a transition at \[ N_B^{\mathrm{trans}}=\frac{N+N_A+s}{2}, \] which is interpreted as an emergent \(U(1)\) symmetry of the radiation. When the initial black hole is maximally mixed, the averaged Rényi-2 EA of the radiation remains zero throughout the entire radiation process [2411.17695]. The underlying explanation is a decoupling inequality showing that, below threshold, the radiation is close to the maximally mixed state, which is automatically symmetric [2411.17695]. There is also a conceptually adjacent but distinct correspondence in internal quantum reference frames. For a globally invariant pure state of a reference frame \(R\) and system \(S\), the asymmetry of the conditional state on \(S\), \[ \mathcal A(\psi_{S|R})=-\log\int_G dg\,|\langle \psi_{S|R}|V_g|\psi_{S|R}\rangle|^2, \] is exactly equal to the Rényi-2 entanglement entropy of the invariant state on \(RS\) [2112.00046]. This is not the standard many-body EA defined by symmetry-twirled reduced density matrices, but it places asymmetry and entanglement in direct quantitative correspondence within relational quantum descriptions. ## 6. Relation to neighboring notions, diagnostic power, and limitations EA is often compared with local order parameters, charge fluctuations, symmetry-resolved entanglement, and quantum Fisher information, but the literature emphasizes that these quantities are not interchangeable. In the \(\mathbb Z_2\) XY chain, a local order parameter such as \(\langle \sigma^x\rangle\) can cross zero transiently while EA remains positive, showing that the subsystem still fails to commute with parity even when the conventional order parameter momentarily vanishes [2307.06902]. In the dual XXZ local-quench problem, ordinary entanglement entropy remains \(O(1)\) in the scaling limit while EA grows as \((p^S-p_0^S(t))\log(2t)+O(1)\), explicitly tying EA to coherent occupation of a growing number of magnetization sectors [2602.15969]. This suggests a common misconception to avoid: EA is not merely another fluctuation measure. In Gaussian free-fermion settings, charge-variance differences and full-counting-statistics diagnostics can detect symmetry breaking, but they do not encode the full asymmetry structure captured by the entropy difference \(S(\rho_{A,Q})-S(\rho_A)\) or its Gaussian analogue [2604.26878]. In the dual XXZ setting, EA and QFI are related by the mixed-state inequality \[ \Delta S(\rho,O)\le \frac12\log\left[2\pi e\left(\frac14 F_Q(\rho,O)+\frac{1}{12}\right)\right], \] which generalizes the pure-state variance/EA bound, yet the bound is not always quantitatively sharp enough to reconstruct QFI behavior [2602.15969]. Several limitations recur across the literature. Direct evaluation of standard EA generally requires access to reduced density matrices, charged moments, or equivalent replica data [2207.14693]. In free-fermion problems, exact twirling produces strongly non-Gaussian states, motivating Gaussian-restricted measures when correlation-matrix tractability is essential [2604.26878]. In higher-form and topological contexts, EA depends on the topology of the subregion and on the support of the symmetry operator, and it is not strictly equivalent to topological entanglement entropy [2510.03967]. In gauge theory, exact results currently rely heavily on special solvable models such as the massless Schwinger model [2511.01966]. These constraints suggest that future progress will likely hinge on better nonperturbative access to charged moments, extensions to higher-dimensional gauge theories and non-invertible symmetries, and dynamical formulations compatible with monitored, dissipative, or interacting integrable settings [2511.01966] [2604.26878]. In this broader perspective, EA has become a unifying diagnostic of subsystem symmetry structure. Its central invariant content remains simple: it measures the entropy cost of erasing symmetry-breaking coherence from a reduced state. What changes across applications is the object being twirled—charge sectors, finite-group sectors, higher-form sectors, fragmented commutant sectors, or Gaussian manifolds—and the physical phenomenon that those coherences encode. Source: https://www.emergentmind.com/topics/entanglement-asymmetry-ea