Gauge Constraints, Centers, and Edge Data

Gauss law prevents the physical Hilbert space of a gauge theory from factorizing naively across a spatial boundary. A subregion is instead specified by a gauge-invariant operator algebra, whose center can contain boundary flux. Electric-center, magnetic-center, and extended-Hilbert-space prescriptions are choices with explicit dictionaries, not competing proofs of one unique entropy.

Required background. Charges, screening, and long-range forces supplies Gauss-law physics; gauge-invariant dressed observables supplies physical operator support; edge modes and factorization supplies boundary extensions; local region algebras supplies the algebraic subsystem.

Helpful background. Lattice gauge Hamiltonians and Gauss law supplies a regulator; support and codimension organizes Wilson and ’t Hooft operators; continuum subsystem choice supplies the continuum limit.

Why the physical space does not split

On a lattice, link variables cross the boundary of a region $A$. Gauge transformations at boundary vertices act on both inside and outside links, and physical states satisfy Gauss constraints. Consequently,

$$\mathcal H_{\rm phys} \ne \mathcal H_{A,\rm phys}\otimes\mathcal H_{\bar A,\rm phys}$$

in general. Tracing a set of links before declaring how boundary constraints are handled does not define a unique physical reduced state.

The gauge-invariant algebra $\mathcal A_A$ can have a center $\mathcal Z_A=\mathcal A_A\cap\mathcal A_A'$. For an electric-center choice, boundary electric fluxes label superselection sectors. The state restricts as a direct sum over flux data.

Gauge subregions enter through the algebra-and-center branch. Boundary flux sectors arise from Gauss law; an edge extension is additional structure used to represent them in a tensor product. Schematic and not to scale.

Center choices

An electric-center algebra retains normal electric flux at the boundary. A magnetic-center construction changes which boundary Wilson operators are included. The two algebras can have different centers and assign different entropies to the same global state. Neither difference is removed by saying “gauge invariance”: both algebras can be gauge invariant.

The choice is guided by the operational question. Which Wilson lines can terminate at the boundary? Which fluxes can a regional agent measure? Are boundary charges dynamical, fixed, or excluded? These questions determine the algebra.

Non-Abelian flux sectors are labeled by representations and intertwiner data rather than one scalar charge. Orientation and boundary-vertex conventions must be consistent so that adjacent regions carry conjugate representations.

The lattice-algebra classification of electric, magnetic, and trivial centers is Casini, Huerta, and Rosabal 2014, §§ II–IV.

Extended Hilbert space

The extended-Hilbert-space method splits a boundary-crossing link into two and introduces endpoint degrees of freedom. The enlarged space factorizes,

$$\mathcal H_{\rm ext} =\mathcal H_A^{\rm ext}\otimes\mathcal H_{\bar A}^{\rm ext},$$

and the physical state is embedded by matching edge charges. Tracing in the enlarged space gives a standard density matrix. Its entropy can be decomposed schematically as

$$S_{\rm ext} =H(p_R) +\sum_Rp_R S(\rho_R) +\sum_Rp_R\log d_R,$$

with a sum of representation-dimension terms over boundary components or vertices as appropriate. For Abelian groups $d_R=1$, while non-Abelian extensions carry nontrivial edge multiplicities.

This formula is a dictionary, not evidence that the added endpoints are independently distillable physical particles.

The sector and representation decomposition of extended-space entropy is Donnelly 2012, §§ II–III. The earlier boundary-representation construction in a spin-network setting is Donnelly 2008, §§ III–IV.

Lattice comparison

For a finite-group lattice gauge theory, choose a simply connected link region and enumerate gauge-invariant states. Compute the center probabilities from boundary flux projectors. Separately embed the state in the extended space and trace outside links.

The checks are:

1. flux probabilities normalize and satisfy the boundary Gauss constraint;
2. conditional bulk spectra match between the algebraic and extended descriptions;
3. any difference equals the declared edge representation term; and
4. refining the boundary does not change a claimed universal term without a corresponding local counterterm.

Continuum boundary

Continuum Maxwell and Yang–Mills theories require a regulator or algebraic treatment of boundary flux and zero modes. Sharp electric fields have UV-divergent fluctuations; a center measure is not a finite discrete Shannon distribution without regularization. Edge-mode path integrals and split constructions can reproduce continuum anomaly terms, but their measure and boundary conditions must be stated.

Validity map for gauge subregions. Changing the center or extension changes the regional algebra. Continuum flux resolution and the edge measure must be controlled before comparing entropies. Schematic and not to scale.

Common pitfalls

Assuming gauge invariance selects one center. Several gauge-invariant regional algebras exist. Name the accessible boundary operators.

Treating the extended space as the physical factorization. It is a useful embedding with added edge variables. Match it to the chosen algebra.

Using a discrete flux entropy in the continuum without a measure. The regulator and normalization of boundary flux states affect the result.

References

• Casini, Horacio, Marina Huerta, and José Alejandro Rosabal. “Remarks on Entanglement Entropy for Gauge Fields.” Physical Review D 89 (2014): 085012. DOI.
• Donnelly, William. “Decomposition of Entanglement Entropy in Lattice Gauge Theory.” Physical Review D 85 (2012): 085004. DOI.
• Donnelly, William. “Entanglement Entropy in Loop Quantum Gravity.” Physical Review D 77 (2008): 104006. DOI.