Symmetry-Constrained Operations in QFT

Symmetry constrains information processing through the operations and observables available to an agent. A channel may preserve total charge, transform covariantly under a group, or be implementable by symmetric dynamics with symmetric ancillas; these are related but not identical requirements. The resource statement must name the operation class and any reference frame supplied.

Required background. Factorization failure and local algebras fixes the continuum subsystem; symmetry of a QFT supplies the global group action.

Helpful background. Local operations, separability, and distillability supplies the operational bipartite language.

Covariant channels and instruments

Let $U_A(g)$ and $U_B(g)$ represent a symmetry group on input and output systems. A channel $\mathcal E:A\to B$ is covariant when

$$\mathcal E\!\left(U_A(g)\rho U_A(g)^\dagger\right) =U_B(g)\mathcal E(\rho)U_B(g)^\dagger$$

for every $g$. Covariance says the channel does not require an external orientation or phase standard. It does not require every Kraus operator to commute with the charge; Kraus operators can transform among themselves while the total channel is covariant.

An instrument $\{\mathcal E_x\}$ also has a classical outcome. If outcomes transform under the group, covariance includes their relabeling. Calling each outcome invariant is an unnecessarily strong restriction and can exclude physical charge measurements.

The harmonic-mode decomposition of covariant channels and the distinction from invariant Kraus operators are established in Marvian and Spekkens 2014, §§ II–III.

Operation classes are the first resource-theory input. Sector weights and asymmetry acquire operational meaning only after covariant instruments, admissible ancillas, and any reference frame are declared. Schematic and not to scale.

Charges and invariant observables

For a continuous $U(1)$ symmetry, $U(\theta)=e^{i\theta Q}$. An observable is invariant when $[O,Q]=0$. A global charge can split as $Q=Q_A+Q_{\bar A}$ in a regulated theory, but continuum and gauge theories can carry boundary terms or fail to admit separately conserved sharp regional charges.

A charge-preserving unitary satisfies $[V,Q_{\rm total}]=0$. If an ancilla begins in a charge eigenstate, tracing it out produces a covariant channel. If the ancilla has coherence between charge sectors, it is a phase reference and can implement operations that appear symmetry breaking on the system. Its asymmetry must be counted as a consumed or degraded resource.

The distinction also matters for local versus global actions. A global symmetry can act on the full field algebra while an agent controls only a regional subalgebra. A formal group average over the entire universe is not necessarily a locally implementable operation.

Charged wavepacket example

Consider one-particle wavepackets $|A\rangle$ and $|B\rangle$ localized in two laboratories with the same $U(1)$ charge. A beam-splitter-like unitary that mixes them while conserving total particle number is symmetric. By contrast, a local operation that maps $|0\rangle_A$ to $(|0\rangle_A+|1\rangle_A)/\sqrt2$ needs a phase and charge reservoir.

Without a shared phase reference, the local state is operationally twirled:

$$\mathcal G_A(\rho) =\frac{1}{2\pi}\int_0^{2\pi}d\theta\, e^{i\theta Q_A}\rho e^{-i\theta Q_A}.$$

The coherence between different local charges disappears from accessible statistics. With a finite reference, some coherence becomes usable, but repeated use degrades the reference and correlates it with the system.

The twirling description, relational encodings, and degradation of bounded references are reviewed in Bartlett, Rudolph, and Spekkens 2007, §§ II.B, III, and VI.

Continuum and gauge boundaries

In QFT, allowed operations should be normal completely positive maps on the selected local algebra, localized in a spacetime region when locality is part of the task. Gauge transformations are redundancies, not global resource symmetries; physical operations must act on gauge-invariant observables and respect Gauss constraints. A global symmetry resource theory cannot simply be copied to gauge charge without specifying boundary flux and dressing.

Validity map for symmetry-constrained operations. A hidden phase reference or an unphysical gauge factor changes the free-operation class. Resource claims apply only after those inputs and the regional algebra are fixed. Schematic and not to scale.

Common pitfalls

Demanding invariant Kraus operators. Channel covariance can hold even when Kraus operators carry charge and mix under the group. The channel, not a chosen decomposition, is physical.

Treating an ancilla reference as free. Charge coherence in an ancilla supplies asymmetry. Include its preparation and degradation in the resource accounting.

Confusing global symmetry with gauge redundancy. Gauge-invariant regional algebras and their centers require a separate analysis.

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.
• Marvian, Iman, and Robert W. Spekkens. “Modes of Asymmetry: The Application of Harmonic Analysis to Symmetric Quantum Dynamics and Quantum Reference Frames.” Physical Review A 90 (2014): 062110. DOI.