Symmetry, Superselection, and Information Resources
Symmetry restricts the operations available for information tasks. Charge-sector uncertainty, accessible entanglement, reference-frame coherence, and gauge-edge contributions are consequently different resources, even when they originate from the same state.
Enter this chapter
Section titled “Enter this chapter”Begin with Symmetry-Constrained Operations in QFT to specify the symmetry constraints on states, operations, and ancillary systems.
Helpful background. Factorization failure and local algebras supplies the continuum subsystem boundary; symmetry of a QFT supplies global action data.
Topics
Section titled “Topics”- Symmetry-Constrained Operations in QFT — Distinguishes covariance, conservation, and allowed operation classes.
- Superselection Rules and Accessible Entanglement — Separates charge-sector uncertainty from accessible entanglement.
- Fermionic Subsystems, Parity, and Graded Tensor Products — Builds local subsystems with fermionic grading and parity.
- Reference Frames, Asymmetry, and Charged Resources — Explains how a reference frame supplies asymmetry resources.
- Charge-Resolved Entanglement and Charged Moments — Resolves entropy into charge sectors using charged moments.
- Entanglement Asymmetry and Symmetry Restoration — Measures coherence removed by symmetry averaging.
- Gauge Constraints, Centers, and Edge Data — Identifies regional gauge algebras and their centers.
- Gauge-Field Entanglement and Edge Contributions — Tracks edge contributions in specified subsystem constructions.
- Centers, Edge Extensions, and Distillable Entanglement — Distinguishes sector weights from distillable resources.
- Dressed Charges, Soft Sectors, and Infrared Information — Relates soft sectors to accessible infrared information.
- Generalized Symmetries and Information Diagnostics — Studies information constraints from generalized symmetries.
- Covariant Channels and Symmetry-Restricted Recovery — Defines recovery under covariant noise and decoder restrictions.
How the ideas fit together
Section titled “How the ideas fit together”Without a shared reference frame, operations can be insensitive to coherence between symmetry sectors. Introducing a suitable reference can change the accessible task without changing the formal state description Bartlett, Rudolph, and Spekkens 2007, §§ II.B–III.
Gauge constraints add a distinct issue: a regional algebra may have a center, and an enlarged tensor-product construction can introduce edge data. The resulting entropy decomposition does not directly equal distillable entanglement under physical operations. Both the subsystem algebra and the permitted resources must be specified before comparing efficiencies or recovery bounds.
The comparison below separates the assumptions and tests needed for these different conclusions.
Comparison table
Section titled “Comparison table”| Framework | Algebra or center | Sectors | Allowed operations | Reference resource | Edge extension | Resolved observable | Accessible or distillable content | Recovery or validity boundary |
|---|---|---|---|---|---|---|---|---|
| Global charge superselection | Invariant local algebra | Local charge q with weights pq | Locally charge-preserving instruments and classical communication | No phase reference unless budgeted | None | Charge projectors and full-counting statistics | Within-sector average for the standard pure-state task | Collective activation or a supplied reference changes the task |
| Fermion parity grading | ℤ₂-graded CAR field algebra; even observable subalgebra | Even and odd parity blocks | Parity-preserving physical maps and ancillas | No parity-violating reservoir in the declared theory | None | Restricted covariance spectrum and a specified fermionic partial transpose or partial time reversal | Ordering-independent results after the algebra map | A naive qubit cut can represent a different subsystem |
| Finite reference and asymmetry | Selected algebra with a group action | Coherence modes between representation sectors | Covariant joint operations on target and reference | Finite token state, localization, and reuse tracked | None | Twirl and relative entropy of asymmetry | Relational coherence for the stated protocol | A perfect or reset reference overstates performance |
| Charge-resolved entanglement | Symmetric reduced algebra and regional charge | Probabilities and conditional states for each charge | Charge resolution with a declared Fourier grid | Distinct from a phase reference | None | Charged and projected moments | Conditional Rényi or von Neumann entropy | Normalization, continuation, tails, and aliasing must be controlled |
| Local symmetry restoration | Fixed subsystem algebra and twirl | Off-diagonal charge blocks | Symmetric dynamics with a fixed order of limits | Initial asymmetry and any frame stated | None | Subsystem asymmetry, commutator, and charged observables | Local restoration diagnostic | Recurrences and conserved modes forbid a universal decay claim |
| Gauge subregion and edge data | Gauge-invariant regional algebra with a named center | Boundary irreducible representations or fluxes | Gauge-invariant local operations | Physical boundary charges counted if supplied | Electric, magnetic, or extended-space prescription named | Flux projectors and matched bulk-plus-edge determinants | Conditional multiplicity-space entanglement; other terms are task dependent | Gauss law, edge measure, zero modes, and regulator must match |
| Soft infrared information | Dressed or inclusive measured algebra | Soft-charge or radiation labels at finite resolution | Finite-time detector operations | Dressing and boundary data declared | None unless a physical boundary system is introduced | Soft-cloud overlaps and inclusive distinguishability | Only distinctions resolved by the detector | The dressing, bandwidth, regulator, and order of limits matter |
| Generalized symmetry | Extended-operator and defect algebra | Charge or fusion labels only when defined | Operations compatible with the declared defect data | Inserted topological defect is part of the observable | Defect support and contact prescription stated | Twisted moments and linked-region correlations | A geometry- and task-dependent diagnostic | Identity normalization, deformation, and explicit-breaking controls are required |
| Covariant channel and recovery | Input and output algebras with group actions | Sector populations, coherences, and mode errors | Covariant decoder plus any locality constraint | Finite reference and correlated side information counted | Gauge center respected when present | Entanglement fidelity and relative-entropy loss | Performance achievable under the restriction | Decoder twirling preserves performance only for a symmetric task; erased labels require correlated side information |
Where to go next
Section titled “Where to go next”Continue to Local Measurements, Detectors, and Instruments to locate the interaction, readout, and communication steps in spacetime.
References
Section titled “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.