Translation symmetry-enforced long-range entanglement in mixed states
Pith reviewed 2026-05-20 20:34 UTC · model grok-4.3
The pith
Translation symmetry leaves too few short-range entangled states to span the zero-momentum sector, forcing long-range entanglement in the strong-to-weak symmetry breaking fixed-point mixed state.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show by a counting argument that even though translation symmetry admits symmetric short-range entangled (SRE) eigenstates, there are not enough such SRE eigenstates to span the zero momentum sector. This means that the fixed point strong-to-weak spontaneous symmetry breaking state of translation symmetry is long-range entangled: it cannot be written as a mixture of SRE states. This is a subtle form of long-range entanglement in mixed states that cannot be detected by long-range connected correlation functions.
What carries the argument
The counting argument that compares the dimension of the zero-momentum sector against the number of available symmetric short-range entangled eigenstates.
If this is right
- The strong-to-weak spontaneous symmetry breaking fixed point under translation must be long-range entangled.
- Mixed states can exhibit symmetry-enforced entanglement invisible to standard correlation functions.
- The distinction between pure and mixed states becomes sharper when translation symmetry is imposed.
- Phase classification for mixed states must incorporate this counting obstruction.
Where Pith is reading between the lines
- Similar dimension-counting obstructions may appear for other lattice symmetries in mixed-state settings.
- New entanglement witnesses tailored to translation-invariant mixed states would be needed to detect the effect experimentally.
- The result suggests that decoherence can protect rather than destroy certain symmetry-protected entanglement structures.
Load-bearing premise
Translation symmetry admits symmetric short-range entangled eigenstates but supplies too few of them to span the zero-momentum sector.
What would settle it
An explicit construction of a complete basis of symmetric short-range entangled states that spans the entire zero-momentum sector would show the fixed-point state can be written as a mixture of SRE states.
read the original abstract
We show by a counting argument that even though translation symmetry admits symmetric short-range entangled (SRE) eigenstates, there are not enough such SRE eigenstates to span the zero momentum sector. This means that the fixed point strong-to-weak spontaneous symmetry breaking state of translation symmetry is long-range entangled: it cannot be written as a mixture of SRE states. This is a subtle form of long-range entanglement in mixed states that cannot be detected by long-range connected correlation functions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that translation symmetry enforces long-range entanglement in mixed states. Using a counting argument, it shows that although translation symmetry admits symmetric short-range entangled (SRE) eigenstates, these are insufficient in number to span the zero-momentum sector. As a result, the fixed-point strong-to-weak spontaneous symmetry breaking (SWSSB) mixed state supported on that sector cannot be expressed as a mixture of SRE pure states. This constitutes a subtle form of long-range entanglement undetectable by long-range connected correlation functions.
Significance. If the counting argument is complete, the result identifies a symmetry-protected long-range entanglement structure specific to mixed states, extending pure-state concepts like spontaneous symmetry breaking to the mixed-state setting. The self-contained linear-algebra counting (no free parameters or fitted quantities) is a methodological strength that could be applied more broadly to diagnose entanglement in symmetry-constrained open systems.
major comments (2)
- [Counting argument section] Counting argument section: The central claim that symmetric SRE eigenstates fail to span the zero-momentum sector rests on a dimension count that assumes all such states lie in a proper subspace. The manuscript does not explicitly demonstrate that this count includes every state obtainable from translation-symmetric finite-depth circuits (e.g., circuits that commute with the translation operator or are group-averaged), leaving open the possibility that additional independent vectors could be generated and fill the sector.
- [Definition of the fixed-point SWSSB state] Definition of the fixed-point SWSSB state (near the statement of the main result): The assertion that the mixed state is supported on the full zero-momentum sector and is therefore LRE depends on the precise support of this fixed-point state; a more explicit characterization of its density matrix in the momentum basis would strengthen the link between the counting and the LRE conclusion.
minor comments (2)
- [Abstract] The abstract introduces SWSSB without a one-sentence reminder of its definition; adding this would improve readability for a broad quantum-information audience.
- Notation for the momentum sectors and the associated Hilbert-space dimensions should be introduced once in a dedicated paragraph or table to avoid repeated inline definitions.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We respond to each major comment below and indicate the revisions we will make.
read point-by-point responses
-
Referee: Counting argument section: The central claim that symmetric SRE eigenstates fail to span the zero-momentum sector rests on a dimension count that assumes all such states lie in a proper subspace. The manuscript does not explicitly demonstrate that this count includes every state obtainable from translation-symmetric finite-depth circuits (e.g., circuits that commute with the translation operator or are group-averaged), leaving open the possibility that additional independent vectors could be generated and fill the sector.
Authors: We thank the referee for highlighting the need to clarify the scope of the counting argument. Symmetric SRE eigenstates are defined in the manuscript as those obtainable from finite-depth circuits that commute with the translation operator (equivalently, circuits that are invariant under group averaging over translations). The linear-algebra count enumerates the independent vectors that can be generated by applying all possible local symmetric gates consistent with this symmetry; because any translation-symmetric finite-depth circuit decomposes into a finite product of such local gates, the span of all reachable states is contained within the subspace whose dimension we bound. We will add an explicit paragraph in the revised manuscript demonstrating this decomposition and confirming that no states outside the counted subspace can be reached. The dimension deficit with respect to the zero-momentum sector therefore persists. revision: yes
-
Referee: The assertion that the mixed state is supported on the full zero-momentum sector and is therefore LRE depends on the precise support of this fixed-point state; a more explicit characterization of its density matrix in the momentum basis would strengthen the link between the counting and the LRE conclusion.
Authors: We agree that an explicit characterization strengthens the presentation. The fixed-point SWSSB mixed state is the uniform mixture over the entire zero-momentum sector, i.e., its density operator is proportional to the projector onto that sector. In the momentum basis this density matrix is diagonal, with equal positive entries on all zero-momentum states and vanishing entries on all nonzero-momentum states. We will insert this explicit form (including the normalization factor) immediately before the statement of the main result, thereby making the connection between the support and the dimension-counting argument direct. revision: yes
Circularity Check
Counting argument is self-contained linear algebra
full rationale
The paper's central derivation is a direct dimension-counting argument in the zero-momentum sector of the Hilbert space, comparing its size against the number of translation-symmetric SRE eigenstates. This is ordinary linear algebra over the symmetric subspace and does not reduce to any fitted parameter, self-definition of the target quantity, or load-bearing self-citation. The claim that the fixed-point mixed state cannot be a mixture of SRE states follows immediately from the span being strictly smaller, without circular reduction to the paper's own inputs or prior work by the same authors.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math States can be classified and counted by momentum sectors under translation symmetry.
- domain assumption Symmetric short-range entangled eigenstates are well-defined and countable.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We show by a counting argument that even though translation symmetry admits symmetric short-range entangled (SRE) eigenstates, there are not enough such SRE eigenstates to span the zero momentum sector.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
DSRE(n, d, q) ≤ 2d(2d+1)q⁴ (2d(2d+1)q⁴ + m - 1 choose m)
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
M. B. Hastings, Phys. Rev. Lett.107, 210501 (2011)
work page 2011
- [2]
- [3]
- [4]
-
[5]
A. Moharramipour, L. A. Lessa, C. Wang, T. H. Hsieh, and S. Sahu, PRX Quantum5, 040336 (2024)
work page 2024
-
[6]
P. Sala, S. Gopalakrishnan, M. Oshikawa, and Y . You, Phys. Rev. B110, 155150 (2024)
work page 2024
-
[7]
L. A. Lessa, M. Cheng, and C. Wang, Phys. Rev. X15, 011069 (2025)
work page 2025
- [8]
-
[9]
Y . Li, F. Pollmann, N. Read, and P. Sala, Phys. Rev. X15, 011068 (2025)
work page 2025
-
[10]
Strong-to-weak sym- metry breaking phases in steady states of quantum operations,
N. Ziereis, S. Moudgalya, and M. Knap, “Strong-to-weak sym- metry breaking phases in steady states of quantum operations,” (2025), arXiv:2509.09669 [cond-mat.stat-mech]
- [11]
- [12]
-
[13]
L. A. Lessa, R. Ma, J.-H. Zhang, Z. Bi, M. Cheng, and C. Wang, PRX Quantum6, 010344 (2025)
work page 2025
- [14]
- [15]
- [16]
-
[17]
Y .-T. Tu, D. M. Long, and D. V . Else, Phys. Rev. X16, 011027 (2026)
work page 2026
-
[18]
See supplemental materials for details
-
[19]
J. Haah, M. B. Hastings, R. Kothari, and G. H. Low, SIAM Journal on Computing52, FOCS18 (2021)
work page 2021
-
[20]
S. J. Garratt and J. T. Chalker, Phys. Rev. Lett.127, 026802 (2021)
work page 2021
-
[21]
S. J. Garratt and J. T. Chalker, Phys. Rev. X11, 021051 (2021)
work page 2021
-
[22]
B. Bertini, P. Kos, and T. Prosen, Physical review letters121, 264101 (2018)
work page 2018
-
[23]
B. Bertini, P. Kos, and T. Prosen, Communications in Mathe- matical Physics387, 597 (2021)
work page 2021
- [24]
-
[25]
Remarks on non-invertible symmetries on a tensor product hilbert space in 1+1 dimensions
K. Inamura, arXiv preprint arXiv:2602.12053 (2026)
-
[26]
L. A. Lessa and T.-C. Lu, TBA (2026)
work page 2026
-
[27]
B. Nachtergaele, Y . Ogata, and R. Sims, Journal of Statistical Physics124, 1–13 (2006)
work page 2006
-
[28]
M. A. Nielsen and I. L. Chuang,Quantum computation and quantum information(Cambridge university press, 2010). SUPPLEMENTAL MATERIAL Hamiltonian Evolution The following definitions are adapted from [19], whose techniques we use. Definition 1.AD-dimensional latticeΛofnqubitsis a collection ofnpoints inR D all at least separated by a distance 1. In particula...
work page 2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.