Symmetry, Superselection, and Information Resources

Symmetry changes quantum information by restricting observables, operations, and reference resources. The same density operator can have a total entropy, a sector-weight entropy, within-sector entanglement, asymmetry relative to a missing frame, and edge contributions associated with a chosen gauge algebra. These quantities answer different tasks and should not be collapsed into one “symmetry entanglement.”

The equivalence between a missing reference and an operational superselection rule, together with the relevant resource theory, is developed in Bartlett, Rudolph, and Spekkens 2007, §§ II–IV.

Helpful background. Factorization failure and local algebras supplies the continuum subsystem boundary; symmetry of a QFT supplies global action data; edge modes and subregion factorization supplies the gauge boundary language; topological entanglement diagnostics supplies a downstream material application.

Enter this chapter

Start with symmetry-constrained operations, because an information resource is defined relative to a free-operation class. Superselection and accessible entanglement then decomposes entropy into charge uncertainty and within-sector quantum entanglement. Fermionic graded subsystems explains why odd operators do not obey a bosonic tensor-product convention.

The resource-theory branch continues through reference frames and asymmetry, charge-resolved entanglement, and the current-evidence page on entanglement-asymmetry restoration. The gauge branch fixes regional algebras in gauge subregions and centers, separates regulator and edge contributions in gauge-field edge terms, and asks what can actually be distilled in centers, edges, and distillable entanglement.

Finally, soft-sector information incorporates finite detector resolution, generalized-symmetry information treats defect-conditioned diagnostics without reclassifying generalized symmetries, and covariant channels and recovery quantifies the performance cost of symmetry restrictions.

The structure diagram begins with the accessible algebra and operation class. Only after those are declared do sector weights become operational resources.

Symmetry-information dictionary. Sector uncertainty, within-sector entanglement, asymmetry, charged moments, and edge data are distinct resources. A reference frame or edge extension is an input that must be declared, not a free background. Schematic and not to scale.

Algebra, operations, and resources

For an Abelian charge and a symmetric reduced state,

$$\rho_A=\bigoplus_q p_q\rho_{A,q}, \qquad S(\rho_A)=H(\{p_q\})+\sum_q p_q S(\rho_{A,q}).$$

The Shannon term records uncertainty in the central charge label. Under a local superselection rule it is not generally convertible into Bell pairs; the within-sector average is the directly accessible entanglement for the standard pure-state task. A phase reference can unlock coherence between sectors, so the operation class and reference budget change the resource value.

The pure-state accessible-entanglement formula is Wiseman and Vaccaro 2003, Eqs. (1)–(4), while the charged-moment resolution used later is Goldstein and Sela 2018, Eqs. (1)–(6).

Gauge theories add a separate choice. Gauss law gives regional gauge-invariant algebras a center associated with boundary flux. Electric-center, magnetic-center, and extended-Hilbert-space prescriptions need not assign the same entropy. They can be related by a stated dictionary, but no unique extension should be treated as fundamental.

The algebra/center classification and its finite-lattice examples are given in Casini, Huerta, and Rosabal 2014, §§ II–IV.

Comparison table

The table linearizes the chapter’s distinctions. “Free operations” always means free for the stated task, not dynamically costless.

Symmetry and gauge information frameworks compared by algebra, center or sectors, allowed operations, reference resource, edge extension, charged observable, distillable content, and recovery constraint.

Framework	Algebra and sector data	Allowed operations and reference	Resolved observable	Accessible or distillable content	Recovery boundary
Global charge superselection	Invariant local algebra; charge blocks q with weights pq	Charge-covariant local instruments; no phase reference unless budgeted	Projectors Πq and full-counting statistics	Within-sector average; sector Shannon term is not automatically Bell yield	Recovery must be covariant or consume a declared reference
Fermion parity grading	Even local observable algebras; odd operators graded-commute	Parity-preserving operations and physical ancillas	Parity blocks and fermionic partial transpose or partial time reversal	Entanglement invariant under ordering once restricted to physical even observables	A bosonic recovery acting on odd factors can be unphysical
Gauge subregion	Gauge-invariant regional algebra with chosen electric or magnetic center	Gauge-invariant operations; edge extension declared if used	Boundary-flux weights and conditional sector states	Within-sector distillable part; center and representation terms depend on task and extension	Recovery must respect Gauss law, center labels, and locality
Soft infrared sectors	Dressed hard algebra plus soft-charge labels at finite resolution	Inclusive detector operations with time and energy resolution fixed	Resolved or inclusive soft radiation distributions	Only distinctions resolvable by the finite detector are operational	Perfect sector recovery fails when labels are unresolved or dressing differs
Generalized symmetry	Extended-operator algebra and defect-conditioned sectors	Operations compatible with declared topological defects and selection rules	Defect-twisted moments and linked-region correlations	Diagnostic is task- and geometry-dependent, not a universal entanglement currency	Anomalies and nonlocal support can obstruct a covariant local recovery

Validity gates

A formal entropy becomes an operational resource only after the regional algebra and center, allowed operations, reference resources, regulator, and resolution are fixed. The second diagram is the chapter’s stop rule.

Validity and failure map. Passing the upper gates licenses a resource or covariant-channel statement for the declared task. Changing the center, supplying an undeclared phase or edge reference, or leaving soft and UV sectors unresolved changes the question rather than merely the numerical answer. Schematic and not to scale.

References

• Bartlett, Stephen D., Terry Rudolph, and Robert W. Spekkens. “Reference Frames, Superselection Rules, and Quantum Information.” Reviews of Modern Physics 79 (2007): 555–609. DOI.
• Casini, Horacio, Marina Huerta, and José Alejandro Rosabal. “Remarks on Entanglement Entropy for Gauge Fields.” Physical Review D 89 (2014): 085012. DOI.
• Goldstein, Moshe, and Eran Sela. “Symmetry-Resolved Entanglement in Many-Body Systems.” Physical Review Letters 120 (2018): 200602. DOI.
• Wiseman, Howard M., and John A. Vaccaro. “Entanglement of Indistinguishable Particles Shared between Two Parties.” Physical Review Letters 91 (2003): 097902. DOI.