Skip to content

Superselection Rules and Accessible Entanglement

A superselection rule can make part of a formal bipartite entropy inaccessible. The reduced state decomposes into charge sectors, and its entropy separates classical uncertainty in the sector label from quantum entanglement inside sectors. Which part is distillable depends on the allowed local operations and reference frames, not on the entropy formula alone.

Required background. Symmetry-constrained operations defines the covariant operation class and reference budget.

Helpful background. Measure selection distinguishes total correlations from task-specific entanglement.

For a global state with fixed total Abelian charge, the local reduced state commutes with QAQ_A and decomposes as

ρA=qpqρA,q,TrρA,q=1.\rho_A=\bigoplus_q p_q\rho_{A,q}, \qquad \operatorname{Tr}\rho_{A,q}=1.

Its von Neumann entropy is

S(ρA)=H({pq})+qpqS(ρA,q).S(\rho_A) =H(\{p_q\})+\sum_q p_qS(\rho_{A,q}).

The first term is uncertainty in the central sector label. The second is the average entropy within a sector. The direct-sum identity is kinematic; its operational interpretation requires a local superselection rule.

A physical algebra, symmetry group, and state determine allowed covariant operations and sector blocks, which separate accessible entanglement, asymmetry, charged moments, gauge-center data, reference resources, and covariant recovery.

Superselection separates the sector distribution pqp_q from the conditional states ρA,q\rho_{A,q}. Accessible entanglement and charge uncertainty are different resources unless a reference frame unlocks sector coherence. Schematic and not to scale.

For a pure bipartite state and local operations that preserve charge, the standard single-copy accessible entanglement is

Eacc=qpqS(ρA,q).E_{\rm acc} =\sum_q p_q S(\rho_{A,q}).

The difference

S(ρA)Eacc=H({pq})S(\rho_A)-E_{\rm acc}=H(\{p_q\})

is not directly convertible into Bell pairs under the restricted operation class. It can still be an operational resource for charge estimation or become partly accessible when several copies, shared references, or charge reservoirs are available. Thus “inaccessible” always means inaccessible for a named task.

The single-copy formula and its operational protocol are Wiseman and Vaccaro 2003, Eqs. (1)–(4); collective conversion and superselection resource accounting are developed in Schuch, Verstraete, and Cirac 2004, §§ III–V.

Non-Abelian groups add representation dimensions and multiplicity spaces. The simple Abelian formula generalizes, but representation labels, carrier spaces, and multiplicity entanglement must be distinguished. The present page does not classify those representations.

Take a number-conserving Gaussian fermion state on two spatial regions. The restricted correlation matrix determines ρA\rho_A, while the full-counting-statistics determinant determines

pq=Tr(ΠqρA).p_q=\operatorname{Tr}(\Pi_q\rho_A).

Project the correlation problem into each fixed-number sector to compute S(ρA,q)S(\rho_{A,q}). The numerical checks are

qpq=1,S(ρA)=H(p)+qpqS(ρA,q),0EaccS(ρA).\sum_qp_q=1, \qquad S(\rho_A)=H(p)+\sum_qp_qS(\rho_{A,q}), \qquad 0\le E_{\rm acc}\le S(\rho_A).

Truncating rare charge tails can violate all three. Report the omitted probability and refine the sector window.

Superselection-constrained entanglement can be superadditive. Two copies may provide relational charge information that one copy lacks. Likewise, a finite phase reference allows coherent operations across local charge sectors. These effects do not invalidate EaccE_{\rm acc}; they change the resource theory from a single-copy, no-reference task to a collective or reference-assisted one.

Gauge-center decompositions resemble this direct sum but are not identical. Boundary flux labels arise from the regional algebra and Gauss law, and edge representation factors depend on the chosen extension. Their distillable content is treated later in the chapter.

A decision map requires a fixed regional algebra and center, fixed allowed operations and references, and controlled regulator and charge resolution; failures expose prescription shifts, hidden resources, or unresolved sectors.

Validity map for accessible entanglement. The operation class and reference budget decide whether sector coherence is inaccessible, activated collectively, or supplied externally. Schematic and not to scale.

Calling the sector Shannon term distillable entanglement. It is classical uncertainty in a central label under the declared SSR. Bell-pair yield comes from within-sector entanglement unless extra resources are supplied.

Forgetting collective activation. A single-copy restriction need not remain additive over many copies. State the asymptotic and reference assumptions.

  • Schuch, Norbert, Frank Verstraete, and J. Ignacio Cirac. “Quantum Entanglement Theory in the Presence of Superselection Rules.” Physical Review A 70 (2004): 042310. DOI.
  • Wiseman, Howard M., and John A. Vaccaro. “Entanglement of Indistinguishable Particles Shared between Two Parties.” Physical Review Letters 91 (2003): 097902. DOI.