pith. sign in

arxiv: 2603.20786 · v2 · submitted 2026-03-21 · 🪐 quant-ph · cond-mat.other

The typicality of symmetry-induced entanglement

Pith reviewed 2026-05-15 06:53 UTC · model grok-4.3

classification 🪐 quant-ph cond-mat.other
keywords symmetric separabilitynumber entanglementconserved chargesuperselection rulesrandom quantum statestypicalityquantum entanglementreference frames
0
0 comments X

The pith

A conserved charge makes almost all separable states fail to decompose into charge-conserving parts.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines the Symmetric Separability Problem as whether a separable state can be written as a mixture of components that each preserve a globally conserved charge N. For random states drawn from the natural measure, this decomposition exists with probability zero for almost all values of N. The authors apply the number entanglement witness to show that the typical distance from symmetric separability is strictly positive and follows a Gaussian distribution around its mean. These facts constrain the effective size of the set of states that remain separable once the charge is fixed and affect any quantum task performed without a shared reference frame or under a superselection rule.

Core claim

On random states, the Symmetric Separability Problem is answered negatively with probability one for almost all N. Most symmetric and separable states are actually far from being symmetrically separable, with the number entanglement featuring Gaussian concentration around a strictly positive mean value.

What carries the argument

The number entanglement witness, which quantifies the failure of a symmetric state to admit a decomposition into charge-conserving product states.

If this is right

  • Any quantum task that assumes separability under a superselection rule will typically encounter hidden entanglement induced by the charge constraint.
  • The volume of the set of states that are both separable and symmetrically separable is negligible compared with the full separable set once N is fixed.
  • The complexity of deciding symmetric separability is expected to be hard in the same regimes where ordinary separability is hard.
  • Multiparty states without a common reference frame will generically require charge-entanglement resources even when they appear separable in the usual sense.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Symmetry constraints of this kind may serve as a generic source of entanglement that is easier to prepare than ordinary entangled states.
  • Protocols that certify entanglement or separability must incorporate an explicit check for the symmetric decomposition when a conserved charge is present.
  • The same concentration phenomenon could appear in other symmetry-protected settings, such as particle-number or angular-momentum superselection.

Load-bearing premise

The results rest on a particular probability measure for random states and on the number entanglement witness correctly detecting every failure of symmetric separability.

What would settle it

Explicitly construct, for some fixed N greater than one, a symmetric separable state whose number entanglement evaluates to zero, or compute the distribution of number entanglement on small-dimensional systems and find that it does not concentrate away from zero.

Figures

Figures reproduced from arXiv: 2603.20786 by Christian Boudreault, Nicolas Levasseur.

Figure 1
Figure 1. Figure 1: Pictorial representation of some classes of states considered in this work. Class D contains all states on HA ⊗ HB. A lower index Nˆ indicates symmetries, and an upper index ‘sep’ or ‘symsep’ indicates that states are separable or symmetrically separable, respectively. We algebraically show that D sep Nˆ local = D symsep Nˆ local = D symsep Nˆ . For a degenerate Nˆ, D sep Nˆ local is of measure zero in D s… view at source ↗
Figure 2
Figure 2. Figure 2: Sets and maps for the construction of the purifying manifold. i is a C ∞-diffeomorphism, j is C ∞ injective, while π, τ , and TrHA⊗HB are C ∞ surjective, but not injective. (·) [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Distribution of NE values for randomly generated 2- [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Convex hull of two compact convex sets belonging to mutually orthogonal spaces. C1 ⊂ W and C2 ⊂ W⊥ are compact convex sets in W and W⊥, respectively, two mutually orthogonal subspaces of R n . (In the figure, W = span{z} and W⊥ = span{x, y}.) S1 and S2 are convex subsets of C1 and C2, respectively. If both vol S1/vol C1 and vol S2/vol C2 tend to zero, so does vol conv(S1 ∪ S2)/vol conv(C1 ∪ C2). In general… view at source ↗
Figure 5
Figure 5. Figure 5: Distribution of NE values for 2-qudit states. Each subsystem [PITH_FULL_IMAGE:figures/full_fig_p020_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Distribution of NE values for multi-qubit states. Each subsystem [PITH_FULL_IMAGE:figures/full_fig_p021_6.png] view at source ↗
read the original abstract

In the presence of a globally conserved charge $N$, a natural question is whether a given separable state can be separated into charge-conserving components. We dub this problem the Symmetric Separability Problem (SSP). On random states, the SSP is answered negatively with probability one for almost all $N$. Using a witness to the failure of symmetric separability, namely the number entanglement (NE) introduced in arXiv:2110.09388, we show that most symmetric and separable states are actually far from being symmetrically separable, with the NE featuring Gaussian concentration around a strictly positive mean value. We discuss some consequences of our results for quantum tasks in the presence of a superselection rule or in the absence of a common reference frame. Progress is made on the question of the size of the separable space constrained by $N$. We also touch upon the question of the complexity of SSP, and multiparty entanglement.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript investigates the Symmetric Separability Problem (SSP) for bipartite states subject to a globally conserved charge N. It claims that, under a natural measure on random states, the SSP is answered negatively with probability one for almost all N. Employing the number entanglement (NE) witness imported from arXiv:2110.09388, the authors show that NE on symmetric separable states exhibits Gaussian concentration around a strictly positive mean, implying that most such states lie far from the symmetrically separable set. The work also discusses consequences for quantum tasks under superselection rules or without a common reference frame, and reports progress on the dimension of the N-constrained separable set together with remarks on the complexity of SSP.

Significance. If the central claims are substantiated, the result supplies a probabilistic characterization of symmetry-induced entanglement and sharply constrains the effective size of the separable set under charge conservation. The Gaussian concentration statement is a strong, quantitative typicality result with direct implications for reference-frame-free quantum information processing. The manuscript makes explicit use of concentration-of-measure techniques and builds on an existing witness, which are positive features when the witness's detection properties are fully characterized.

major comments (2)
  1. [§3] §3 (main typicality theorem): The probability-one claim that SSP fails for almost all random states rests on NE serving as a complete detector of symmetric-separability failure. Because NE is introduced only as a witness (NE > 0 implies failure), the argument does not rule out a positive-measure set of states with NE = 0 that nevertheless violate SSP; this would undermine the measure-zero statement for the symmetrically separable set. An independent argument that the kernel of NE coincides with the symmetrically separable states, or an explicit bound on the undetected set, is required.
  2. [§2.2] §2.2 (definition of the typicality measure): The measure on random symmetric states is taken from prior work without re-derivation of its invariance properties or concentration constants under the N-conservation constraint. The Gaussian concentration result for NE therefore inherits any hidden assumptions of that measure; the dependence on N and the precise scaling of the variance with system size should be stated explicitly.
minor comments (2)
  1. [Abstract] Abstract: the phrase 'almost all N' is used without specifying the range or probability measure on N; a brief clarification would help readers.
  2. [§2] Notation: the symbol for the symmetric-separable set is introduced without an explicit equation number; adding Eq. (X) would improve traceability when the set is later compared with the NE kernel.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive review. We address the major comments point by point below, providing the strongest honest defense of the manuscript while making revisions where they improve clarity.

read point-by-point responses
  1. Referee: [§3] §3 (main typicality theorem): The probability-one claim that SSP fails for almost all random states rests on NE serving as a complete detector of symmetric-separability failure. Because NE is introduced only as a witness (NE > 0 implies failure), the argument does not rule out a positive-measure set of states with NE = 0 that nevertheless violate SSP; this would undermine the measure-zero statement for the symmetrically separable set. An independent argument that the kernel of NE coincides with the symmetrically separable states, or an explicit bound on the undetected set, is required.

    Authors: We thank the referee for highlighting this subtlety. Because NE is a valid witness, every symmetrically separable state necessarily satisfies NE = 0, so the symmetrically separable set is contained in the kernel of NE. The Gaussian concentration result establishes that the set where NE > 0 has measure one, hence the kernel {NE = 0} has measure zero. It follows immediately that the symmetrically separable set, being a subset of a measure-zero set, itself has measure zero. Any additional states that may lie in the kernel but outside the symmetrically separable set (the undetected set) are likewise contained in the measure-zero kernel and do not affect the conclusion. The probability-one claim therefore holds on the basis of the one-sided implication alone. We will insert a short clarifying paragraph in §3 emphasizing the subset relation. revision: partial

  2. Referee: [§2.2] §2.2 (definition of the typicality measure): The measure on random symmetric states is taken from prior work without re-derivation of its invariance properties or concentration constants under the N-conservation constraint. The Gaussian concentration result for NE therefore inherits any hidden assumptions of that measure; the dependence on N and the precise scaling of the variance with system size should be stated explicitly.

    Authors: We agree that the presentation would benefit from greater explicitness. In the revised manuscript we will add a concise re-statement of the measure’s invariance properties under the global N-conservation constraint (drawing directly from the cited prior work) and will record the explicit N-dependence of the concentration parameters, including the scaling of the variance with total system size. These additions will appear in §2.2 and will not alter the technical arguments. revision: yes

Circularity Check

0 steps flagged

No circularity: typicality analysis is independent of imported witness

full rationale

The paper imports the number entanglement witness as an established tool from prior work and applies it to compute concentration properties under a chosen measure on random states. No step redefines the witness in terms of the new typicality result, fits parameters to the target distribution and renames the output a prediction, or relies on a self-citation chain whose validity is presupposed by the present derivation. The probability-one claim is presented as a direct consequence of the witness properties plus the measure, without internal reduction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard quantum mechanics with a globally conserved charge operator, the definition of number entanglement from the cited reference, and an implicit uniform or Haar measure over random states; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Quantum states are described by density operators on a finite-dimensional Hilbert space with a globally conserved charge operator N.
    Invoked throughout the abstract when defining symmetric states and the SSP.
  • domain assumption Number entanglement serves as a witness for failure of symmetric separability.
    Taken from arXiv:2110.09388 and used to quantify distance from symmetric separability.

pith-pipeline@v0.9.0 · 5445 in / 1331 out tokens · 35060 ms · 2026-05-15T06:53:34.048495+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

54 extracted references · 54 canonical work pages · 2 internal anchors

  1. [1]

    Reducing SSP to QSP Aseparablestate onH A ⊗H B is a mixture of factored states, ρ= X i piρA,i ⊗ρ B,i,(A1) whereρ A,i andρ B,i are densities onAandB, respectively. For an observable ˆNonA∪B, we say that a separable state (A1) issymmetrically separable for ˆNif [ρA,i ⊗ρ B,i, ˆN] = 0,∀i.(A2) Obviously, symmetric separability for ˆNimplies [ρ, ˆN] = 0. We den...

  2. [2]

    2.D ˆN is the set of fixed points ofG ˆN :ρ=G ˆN[ρ]iffρ∈D ˆN

    It sends densities to ˆN-symmetric densities :G ˆN[D]⊂D ˆN ={ρ∈D: [ρ,ˆn] = 0for allˆn∈ ˆN}. 2.D ˆN is the set of fixed points ofG ˆN :ρ=G ˆN[ρ]iffρ∈D ˆN. 3.G ˆN[D] =D ˆN. 4.G ˆN is idempotent,G 2 ˆN =G ˆN. 11 5.G ˆN :D→D ˆN is a retraction. 6.G ˆN =G ˆnM ◦ · · · ◦ Gˆn1, where the ordering of the (commuting)ˆn j ∈ ˆNis immaterial. All these properties can ...

  3. [3]

    ThenG:D→D ˆN× is a retraction onto the densities with conserved chargeN ANB

    ˆN= ˆN× ={ ˆNA ⊗ ˆNB}on the one-dimensional torusT 1 =S 1. ThenG:D→D ˆN× is a retraction onto the densities with conserved chargeN ANB

  4. [4]

    ThenG:D→D ˆN+ is a retraction onto the densities with conserved chargeN A +N B

    ˆN= ˆN+ ={ ˆNA ⊗1 B + 1A ⊗ ˆNB}on the one-dimensional torusT 1 =S 1. ThenG:D→D ˆN+ is a retraction onto the densities with conserved chargeN A +N B

  5. [5]

    ThenG:D→D ˆNlocal is a retraction onto the densities with conserved chargesN A andN B

    ˆN= ˆNlocal ={ ˆNA ⊗1 B,1 A ⊗ ˆNB}on the two-dimensional torusT 2. ThenG:D→D ˆNlocal is a retraction onto the densities with conserved chargesN A andN B. Proposition 10.∆S ˆN(ρ)≡0onD ˆNlocal . Proof.ρ∈D ˆNlocal impliesρ| ˆNA =ρ. Inspection of the proof of Proposition 8 gives the next result. Proposition 11.If ˆN= ˆN× or ˆN= ˆN+, thenD symsep ˆN =D symsep ...

  6. [6]

    The density corresponding to a pure state|ψ⟩will be writtenψ=|ψ⟩⟨ψ|

    Background : Concentration of EE The von Neumann entropy of a stateρ(pure or mixed) is S(ρ) =−Tr(ρlogρ).(A15) We consider bipartite states inH A ⊗H B, whereH A andH B have respective dimensionsd A andd B. The density corresponding to a pure state|ψ⟩will be writtenψ=|ψ⟩⟨ψ|. The partial trace of a state (pure or mixed) will be denotedρ A = TrBρ. The biparti...

  7. [7]

    The nonselective measurement of ˆNA results in the stateρ| ˆNA =P NA ΠNA ρΠNA, where ΠNA is the projector onto the sector of chargeN A

    Concentration of NE Letρbe a density ofH A ⊗H B, and let ˆNA be an observable onA. The nonselective measurement of ˆNA results in the stateρ| ˆNA =P NA ΠNA ρΠNA, where ΠNA is the projector onto the sector of chargeN A. Thenumber entanglement (NE) [1] ofρwith respect to ˆNA is ∆S ˆN(ρ) =S(ρ| ˆNA )−S(ρ).(A22) Note that on pure states, ∆S ˆN(ϕ) =S(ϕ| ˆNA ). ...

  8. [8]

    BecauseD sep ˆN is a closed convex set 6, it has an (integer) purification dimension p-dimD sep ˆN =D, and a purifying manifoldχ 0, as defined in the previous section

    Concentration of symmetry-induced entanglement inD sep ˆN In order to apply the concentration of NE, Proposition 19, to the problem of symmetric separability, we restrict our attention to the setD sep ˆN . BecauseD sep ˆN is a closed convex set 6, it has an (integer) purification dimension p-dimD sep ˆN =D, and a purifying manifoldχ 0, as defined in the p...

  9. [9]

    Z. Ma, C. Han, Y. Meir, and E. Sela, Phys. Rev. A105, 042416 (2022)

  10. [10]

    B. Zeng, X. Chen, D. Zhou, and X.-G. Wen,Quantum Information Meets Quantum Matter(Springer New York, NY, 2015)

  11. [11]

    M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information: 10th Anniversary Edition(Cambridge University Press, 2010)

  12. [12]

    Bennett and G

    C. Bennett and G. Brassard, inProceedings of IEEE International Conference on Computers, Systems and Signal Process- ing, Vol. 1 (1984) pp. 175–179. 21 (a) dAdB = 4 (b) dA dB = 16 (c) dA dB = 64 (d) dAdB = 4 (e) dA dB = 16 (f) dAdB = 64 Figure 6. Distribution of NE values for multi-qubit states. Each subsystemA,Bsupportsqqubits for a total dimension dAdB ...

  13. [13]

    C. H. Bennett, G. Brassard, C. Cr´ epeau, R. Jozsa, A. Peres, and W. K. Wootters, Phys. Rev. Lett.70, 1895 (1993)

  14. [14]

    Shor, inProceedings 35th Annual Symposium on Foundations of Computer Science(1994) pp

    P. Shor, inProceedings 35th Annual Symposium on Foundations of Computer Science(1994) pp. 124–134

  15. [15]

    L. K. Grover, inProceedings of the Twenty-Eighth Annual ACM Symposium on Theory of Computing, STOC ’96 (Associ- ation for Computing Machinery, New York, NY, USA, 1996) p. 212–219

  16. [16]

    Lloyd, Science273, 1073 (1996)

    S. Lloyd, Science273, 1073 (1996)

  17. [17]

    Bouwmeester, J.-W

    D. Bouwmeester, J.-W. Pan, K. Mattle, M. Eibl, H. Weinfurter, and A. Zeilinger, Nature390, 575 (1997)

  18. [18]

    Raussendorf, Phys

    R. Raussendorf, Phys. Rev. A88, 022322 (2013)

  19. [19]

    Contextuality supplies the `magic' for quantum computation , url =

    M. Howard, J. Wallman, V. Veitch, and J. Emerson, Nature510(2014), 10.1038/nature13460

  20. [20]

    Gurvits, inProceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, STOC ’03 (Association for Computing Machinery, New York, NY, USA, 2003) p

    L. Gurvits, inProceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, STOC ’03 (Association for Computing Machinery, New York, NY, USA, 2003) p. 10–19

  21. [21]

    Gharibian, Quantum Info

    S. Gharibian, Quantum Info. Comput.10, 343–360 (2010)

  22. [22]

    Zyczkowski and H.-J

    K. Zyczkowski and H.-J. Sommers, Journal of Physics A: Mathematical and General34, 7111 (2001)

  23. [23]

    On the volume of the set of mixed entangled states

    K. Zyczkowski, P. Horodecki, A. Sanpera, and M. Lewenstein, Phys. Rev. A58, 883 (1998), arXiv:quant-ph/9804024

  24. [24]

    On the volume of the set of mixed entangled states II

    K. Zyczkowski, Phys. Rev. A60, 3496 (1999), arXiv:quant-ph/9902050

  25. [25]

    Hayden, D

    P. Hayden, D. W. Leung, and A. Winter, Communications in Mathematical Physics265, 95–117 (2006)

  26. [26]

    Ledoux,The Concentration of Measure Phenomenon(American Mathematical Society, 2001)

    M. Ledoux,The Concentration of Measure Phenomenon(American Mathematical Society, 2001)

  27. [27]

    W. M. Boothby,An introduction to differentiable manifolds and Riemannian geometry(Academic Press, Elsevier Science, 1975)

  28. [28]

    S. D. Bartlett, T. Rudolph, and R. W. Spekkens, Rev. Mod. Phys.79, 555 (2007)

  29. [29]

    Manca, S

    K. Macieszczak, E. Levi, T. Macri, I. Lesanovsky, and J. Garrahan, Physical Review A99(2019), 10.1103/Phys- RevA.99.052354

  30. [30]

    Verstraete and J

    F. Verstraete and J. I. Cirac, Phys. Rev. Lett.91, 010404 (2003)

  31. [31]

    Schuch, F

    N. Schuch, F. Verstraete, and J. I. Cirac, Phys. Rev. Lett.92, 087904 (2004)

  32. [32]

    Parez and W

    G. Parez and W. Witczak-Krempa (2024)

  33. [33]

    M. J. Bremner, C. Mora, and A. Winter, Phys. Rev. Lett.102, 190502 (2009)

  34. [34]

    Gross, S

    D. Gross, S. T. Flammia, and J. Eisert, Phys. Rev. Lett.102, 190501 (2009)

  35. [35]

    Seevinck and J

    M. Seevinck and J. Uffink, Phys. Rev. A65, 012107 (2001)

  36. [36]

    Schuch, F

    N. Schuch, F. Verstraete, and J. I. Cirac, Phys. Rev. A70, 042310 (2004)

  37. [37]

    Palazuelos and J

    C. Palazuelos and J. I. d. Vicente, Quantum6, 735 (2022)

  38. [38]

    Hyllus, W

    P. Hyllus, W. Laskowski, R. Krischek, C. Schwemmer, W. Wieczorek, H. Weinfurter, L. Pezz´ e, and A. Smerzi, Phys. Rev. A85, 022321 (2012)

  39. [39]

    S. Das, S. B¨ auml, M. Winczewski, and K. Horodecki, Phys. Rev. X11, 041016 (2021). 22

  40. [40]

    Popescu, Phys

    S. Popescu, Phys. Rev. Lett.72, 797 (1994)

  41. [41]

    Popescu, Phys

    S. Popescu, Phys. Rev. Lett.74, 2619 (1995)

  42. [42]

    Gurvits and H

    L. Gurvits and H. Barnum, Phys. Rev. A66, 062311 (2002)

  43. [43]

    R. Y. Wen and A. Kempf, Journal of Physics A: Mathematical and Theoretical56, 335302 (2023)

  44. [44]

    Steiner, Phys

    M. Steiner, Phys. Rev. A67, 054305 (2003)

  45. [45]

    Vidal and R

    G. Vidal and R. Tarrach, Phys. Rev. A59, 141 (1999)

  46. [46]

    S. J. Szarek, Phys. Rev. A72, 032304 (2005)

  47. [47]

    R. B. Lockhart and M. J. Steiner, Phys. Rev. A65, 022107 (2002)

  48. [48]

    Hayashi,Quantum Information: An Introduction(Springer Berlin, Heidelberg, 2006)

    M. Hayashi,Quantum Information: An Introduction(Springer Berlin, Heidelberg, 2006)

  49. [49]

    Bhatia, T

    R. Bhatia, T. Jain, and Y. Lim, Expositiones Mathematicae37, 165 (2019)

  50. [50]

    Shapourian, S

    H. Shapourian, S. Liu, J. Kudler-Flam, and A. Vishwanath, PRX Quantum2, 030347 (2021)

  51. [51]

    S. L. Braunstein, Physics Letters A219, 169 (1996)

  52. [52]

    M. J. Hall, Physics Letters A242, 123 (1998)

  53. [53]

    Manolescu, inNotices of the International Congress of Chinese Mathematicians, Vol

    C. Manolescu, inNotices of the International Congress of Chinese Mathematicians, Vol. 2 (2014) pp. 21–23

  54. [54]

    Liao and A

    J. Liao and A. Berg, The American Statistician73, 278 (2017)