--- title: 'SW‑SSB: Strong–Weak Spontaneous Symmetry Breaking' url: https://www.emergentmind.com/topics/strong-weak-spontaneous-symmetry-breaking-sw-ssb type: topic --- # SW‑SSB: Strong–Weak Spontaneous Symmetry Breaking Strong–weak spontaneous symmetry breaking (SW‑SSB) is a mixed‑state and open‑system symmetry‑breaking pattern in which a symmetry that is realized strongly—either as separate left/right actions in Liouville space or as a fixed symmetry sector of the density matrix—is spontaneously reduced to a weaker implementation that survives only as conjugation or as a diagonal subgroup in a doubled description. In contrast to conventional spontaneous symmetry breaking, SW‑SSB is generally invisible to observables linear in the density matrix and is instead diagnosed by nonlinear correlators such as fidelity, Rényi‑1, Rényi‑2, or equivalent doubled‑space correlators. Recent work has developed SW‑SSB in Markovian open quantum systems, in decohered mixed states, in hydrodynamic effective field theory, and in topological and higher‑form settings, while also clarifying its experimental signatures and computational limitations [2405.03639], [2406.19381]. ## 1. Strong and weak symmetry in Liouville space and mixed states For Markovian open quantum systems, the dynamics is generated by a Lindblad master equation \[ \dot{\rho}=\mathcal{L}[\rho] =-i[H,\rho]+\sum_\mu \gamma_\mu\Big(2L_\mu \rho L_\mu^\dagger-\{L_\mu^\dagger L_\mu,\rho\}\Big). \] In this setting, a symmetry group \(G\) can act on the density matrix in two inequivalent ways. The weak symmetry superoperator is \[ \mathcal{U}_{\mathrm{w}(g)}[\rho]\equiv U(g)\rho U^\dagger(g), \] and the Liouvillian has weak symmetry if \[ [\mathcal{L},\mathcal{U}_{\mathrm{w}(g)}]=0 \quad \forall g\in G. \] For a \(U(1)\) generated by \(N\), weak symmetry means covariance under \(\rho\mapsto e^{-iN\theta}\rho e^{iN\theta}\), but \(\langle N\rangle\) need not be conserved. By contrast, strong symmetry is defined by left or right action alone, \[ \mathcal{U}_{\mathrm{s}(g)}[\rho]\equiv U(g)\rho \quad \text{or} \quad \mathcal{U}_{\mathrm{s}(g)}[\rho]\equiv \rho\,U^\dagger(g), \] with \[ [\mathcal{L},\mathcal{U}_{\mathrm{s}(g)}]=0 \quad \forall g. \] For strong \(U(1)\), this is equivalent to \[ [H,N]=0,\qquad [L_\mu,N]=0\ \forall \mu, \] so the physical charge is exactly conserved [2406.19381]. The distinction is most transparent in doubled Hilbert space. Writing \[ |\rho\rangle=\sum_{jk} c_{jk}\,|j\rangle_L\otimes |k\rangle_R, \] one defines \[ N_L=N\otimes \mathbb{1},\qquad N_R=\mathbb{1}\otimes N^T. \] Weak \(U(1)\) symmetry corresponds to conservation of \(N_L-N_R\), whereas strong \(U(1)\) implies separate conservation of \(N_L\) and \(N_R\), i.e. a full \(U(1)_L\times U(1)_R\) structure generated by \(N_L\pm N_R\). In closed systems there is no analogous strong/weak distinction because there is only single‑space dynamics [2406.19381]. A complementary mixed‑state formulation starts from the density matrix itself. Strong symmetry means that every pure component of an ensemble decomposition carries the same symmetry charge; weak symmetry means only \[ U_g \rho U_g^\dagger=\rho. \] This formulation underlies the fidelity‑ and purification‑based literature, where the canonical purification \(|\!\sqrt{\rho}\rangle\rangle\) carries a doubled symmetry \(G_L\times G_R\), and weak symmetry is identified with the diagonal subgroup. This suggests that SW‑SSB is, structurally, a reduction from separate left/right symmetry actions to a diagonal action, although the precise nomenclature depends on the framework being used [2405.03639], [2410.23512]. ## 2. The strong-to-weak mechanism For strong \(U(1)\) Liouvillians, SW‑SSB arises from the existence of steady states in every conserved charge sector. If an initial pure state with definite charge \(N=n\) evolves under a strongly symmetric Liouvillian, it converges to a steady state \(\rho_{ss}^{(n)}\) within that same sector, so there exist steady states \(\rho_{ss}^{nn}\) in each doubled‑space sector with \(N_L=N_R=n\). Any linear combination \[ \rho_*=\sum_n c_n \rho_{ss}^{nn} \] is also a steady state. Under weak symmetry, \[ e^{-iN\theta}\rho_* e^{iN\theta}=\rho_*, \] but under strong left action, \[ e^{-iN\theta}\rho_*=\sum_n e^{-in\theta} c_n \rho_{ss}^{nn}, \] which differs from \(\rho_*\) unless only one coefficient is nonzero. In this sense, strong symmetry is spontaneously broken while weak symmetry remains intact. The paper states that strong symmetry always spontaneously breaks into the corresponding weak symmetry, for any values of parameters and in any dimension, provided the Liouvillian has strong \(U(1)\) symmetry and there exist at least two charge sectors with stationary states [2406.19381]. In mixed‑state language, the same phenomenon is encoded by nonlinear distinguishability between \(\rho\) and a symmetry‑twisted state. For a charged operator \(O(x)\), the fidelity correlator is \[ F_O(x,y)=F\big(\rho,\,O(x)O^\dagger(y)\rho\,O(y)O^\dagger(x)\big), \] and SW‑SSB is defined by long‑range order in this fidelity correlator while ordinary charged correlators decay. This definition is robust against symmetric low‑depth local quantum channels, and the symmetry breaking is “spontaneous” in the sense that the effect of a local symmetry‑breaking measurement cannot be recovered locally [2405.03639]. The canonical purification sharpens the analogy to ordinary symmetry breaking. If \(|\!\sqrt{\rho}\rangle\rangle\) can be prepared, then SW‑SSB of the mixed state is equivalent to ordinary spontaneous symmetry breaking of a doubled symmetry in the purification. This makes the mixed‑state order pattern an ordinary two‑point long‑range order problem in a larger Hilbert space [2410.23512]. ## 3. Nonlinear diagnostics and order parameters The diagnostic distinction between ordinary SSB and SW‑SSB is that ordinary linear correlators probe weak symmetry breaking, whereas SW‑SSB requires nonlinear functionals of \(\rho\). The basic objects used across the literature are as follows. | Diagnostic | Expression | Role | |---|---|---| | Ordinary correlator | \(\operatorname{tr}(\rho\,O_x O_y^\dagger)\) | Conventional weak‑symmetry SSB | | Rényi‑1 correlator | \(\operatorname{tr}(O_{xy}\sqrt{\rho}\,O_{xy}^\dagger \sqrt{\rho})\) | SW‑SSB diagnostic | | Fidelity correlator | \(F(\rho,O_{xy}\rho O_{xy}^\dagger)\) | Equivalent SW‑SSB diagnostic | | Rényi‑2 correlator | \(\operatorname{tr}(\rho O_{xy}\rho O_{xy}^\dagger)/\operatorname{tr}(\rho^2)\) | Useful but not universally stable | Here \(O_{xy}=O_x O_y^\dagger\). The Rényi‑1 correlator \[ R_1(x,y)=\operatorname{tr}\big(O_{xy}\sqrt{\rho}\,O_{xy}^\dagger \sqrt{\rho}\big) \] is the “just‑as‑good” fidelity or quantum affinity, and in canonical purification it becomes an ordinary two‑point correlator. The paper on efficient detection via canonical purification emphasizes that if the purification can be reliably prepared, then SW‑SSB can be detected via ordinary two‑point functions in the purified state [2410.23512]. The Wightman correlator \[ C^W(i,j)=\operatorname{tr}\big(\sqrt{\rho}\,O_i O_j^\dagger \sqrt{\rho}\,O_i^\dagger O_j\big) \] provides an alternative formulation. It is proven to be equivalent to the fidelity correlator for defining SW‑SSB, with inequalities relating the two so that nonzero long‑distance Wightman order is equivalent to nonzero long‑distance fidelity order. The thermofield‑double construction makes this correlator a standard pure‑state symmetry‑breaking probe in doubled space [2410.09327]. In fermionic dephasing problems, a broad class of Rényi‑2 correlators of bilinears \[ O_x=c_x^\dagger \sigma^\mu \Omega c_x \] is upper bounded by the Rényi‑2 correlator of \[ \mathcal{O}_x=c_x^\dagger \sigma^1 \Omega c_x, \] which is an interlayer Cooper‑pair operator before the particle–hole transformation on the right copy. The resulting inequality \[ |C(x,y)|\le \mathcal{C}_*(x,y) \] holds for arbitrary decoherence strength, even flavor number, and general tight‑binding Hamiltonians, and identifies the interlayer pairing channel as a proximate diagnostic of fermionic \(U(1)\) SW‑SSB [2603.24671]. Two practical developments refine this picture. First, local “marginal fidelity” correlators of radius \(R\) require tomography only on \(\mathcal{O}(R^d)\)-size regions, and for symmetry‑projected Gibbs‑like states satisfying suitable local indistinguishability assumptions, their error relative to the global fidelity correlator decays exponentially in \(R\) [2605.29113]. Second, state‑agnostic efficient detection is impossible in general: pseudorandom strongly symmetric mixed states can be computationally indistinguishable from genuine SW‑SSB states for both \(\mathbb{Z}_2\) and \(U(1)\), ruling out efficient black‑box protocols without additional structure [2504.12233]. ## 4. Spectral, hydrodynamic, and fluctuation consequences In translationally invariant strongly symmetric Liouvillians, SW‑SSB has direct spectral consequences. The extra \(U(1)\) associated with \(N_L+N_R\) is broken, and the corresponding Goldstone mode in Liouville space appears as a diffusive hydrodynamic mode of the conserved charge. In such cases the Liouvillian spectrum contains gapless modes \[ \lambda(k)\sim -Dk^2 \qquad (k\to 0), \] or equivalently \[ \omega(k)\sim -iDk^2, \] so SW‑SSB guarantees a gapless diffusive Liouvillian even when there is no conventional order parameter expectation value. This leads to the “enhanced Lieb–Schultz–Mattis theorem” for open systems: strong continuous symmetry plus translational invariance enforces gaplessness for any filling, except trivial empty or full limits [2406.19381]. When weak symmetry is also broken, the full \(U(1)_L\times U(1)_R\) can be completely broken, yielding two Goldstone sectors. In the strong‑symmetric model near half filling, the effective Keldysh action decomposes into an order‑parameter Goldstone mode, \[ S[\theta_c] = \frac{i}{2\gamma}\int dt\,d^dx\,(\partial_t\theta_c-D\nabla^2\theta_c)^2, \] and a hydrodynamic diffusive sector, \[ S[u_c,\theta_q] = \int dt\,d^dx\left[\theta_q(\partial_t u_c-D\nabla^2 u_c)+i\sigma(\nabla\theta_q)^2\right]. \] The first describes phase fluctuations of the broken weak \(U(1)\); the second is the diffusive Goldstone sector associated with SW‑SSB [2406.19381]. A more general effective‑field‑theory perspective identifies hydrodynamics itself as the EFT of SW‑SSB. In this formulation, the diffusive mode is the Goldstone boson of a broken strong \(U(1)\), the static susceptibility is the order parameter, and the unusual Schwinger–Keldysh reparameterization symmetry arises because the strong \(U(1)\) is broken while the weak \(U(1)\) remains unbroken. The leading effective Hamiltonian density takes the form \[ \mathcal{H} = \hat\mu(n_a)\,n_r - i\,\sigma(n_a)\,\nabla\phi_a\cdot\nabla(\phi_a+i\mu(n_a))+\cdots, \] and reduces to the standard diffusion EFT after integrating out the appropriate variables [2407.08760]. Static fluctuation consequences are subtler. For continuous symmetries, long‑range Rényi‑1 order together with a sufficiently rapid approach to its nonzero asymptotic value forces extensive block‑charge variance, equivalently extensive curvature of the truncated symmetry expectation. The implication is conditional and non‑reversible: dephased superfluids can retain Rényi‑1 SW‑SSB with subextensive charge variance when the Rényi‑1 tail is too slow, while sparse fixed‑charge projectors can have extensive charge variance without local charge‑transfer Rényi‑1 order. The same work introduces a twist‑overlap correlator that decomposes local block‑charge fluctuations into strong‑ and weak‑symmetry channels, with the weak channel directly related to the Wigner–Yanase skew information [2605.05288]. ## 5. Model realizations and phase structure Concrete Liouvillian models clarify the generic scenarios. One weak‑symmetric but not strong‑symmetric model is a spin‑\(1/2\) XXZ system with sublattice gain and loss, \[ \mathcal{L}_{\mathrm I}[\rho] = -i[H,\rho] + \Gamma \sum_{i\in A}\mathcal{D}(\sigma_i^-)[\rho] + \Gamma \sum_{i\in B}\mathcal{D}(\sigma_i^+)[\rho], \] which has weak \(U(1)\) symmetry and undergoes a weak \(U(1)\) SSB transition as \(J\) increases. A strong‑symmetric model with jump operators \(\sigma_{j\in B}^+\sigma_{i\in A}^-\) and dephasing \(\sigma_i^z\) preserves \[ N=\sum_i \frac{\sigma_i^z+1}{2} \] exactly and exhibits a symmetric phase, a low‑filling Bose surface phase, and a high‑filling weak‑SSB phase in which the strong symmetry is completely broken and two Goldstone modes appear. A third model, the XXZ chain with dephasing, \[ \mathcal{L}_{\mathrm{III}}[\rho] = -i[H_{\mathrm{XXZ}},\rho]+\Gamma\sum_i \mathcal{D}(S_i^z)[\rho], \] has strong \(U(1)\), no weak symmetry breaking, and nevertheless displays SW‑SSB through gapless diffusive modes. In the strong‑symmetric model near half filling, mean field also reveals a filling‑driven transition from a symmetric Bose surface phase to a symmetry‑broken phase, and long‑range \(U(1)\) order is possible for \(d\ge 3\) but not in lower dimensions [2406.19381]. A distinct one‑dimensional realization arises in the critical XXZ chain under local strong‑symmetry‑preserving decoherence. For two‑site XX decoherence, the mixed state exhibits a trivial Luttinger liquid phase for \(\Delta<0\) and a SW‑SSB phase for \(\Delta>0\), separated by a straight critical line at \(\Delta_c=0\) for all \(0