Gauge-Field Entanglement and Edge Contributions

Gauge-field entanglement contains boundary-flux and edge contributions whose form depends on the regional algebra, extension, regulator, and boundary conditions. In continuum calculations these terms can repair anomaly or contact-term mismatches, but they are not all automatically distillable. The correct comparison matches prescriptions before comparing numbers.

Required background. Gauge subregions and centers fixes the algebra, flux sectors, and extended-space dictionary.

Helpful background. Lattice gauge Hamiltonians and Gauss law supplies a controlled finite regulator; UV divergences and the area law supplies the local divergence structure.

Flux-sector decomposition

For an electric-center algebra, a reduced state has the direct-integral or direct-sum form

$$\rho_A=\bigoplus_E p(E)\rho_{A,E},$$

where $E$ denotes boundary electric flux. Formally,

$$S_A =H[p(E)]+\int dE\,p(E)S(\rho_{A,E})+S_{\rm edge,rep}.$$

In a continuum theory, $H[p(E)]$ is a differential entropy and depends on the boundary measure; only matched combinations have invariant meaning. For non-Abelian groups, representation dimensions and intertwiners contribute extension-dependent edge terms.

Gauge-field entropy separates boundary-flux uncertainty, conditional bulk entanglement, and extension-dependent representation data. These terms have different operational status. Schematic and not to scale.

Maxwell edge modes and contact terms

Euclidean replica calculations for Maxwell theory produce a contact contribution associated with gauge modes near the entangling surface. A canonical calculation using only transverse bulk photons can miss the anomaly-matched spherical logarithm. Including edge configurations of normal electric flux, with the appropriate boundary action and measure, accounts for the missing term in a matched regulator.

The original contact term is isolated in Kabat 1995, pp. 291–294, and its edge-flux interpretation is Donnelly and Wall 2015, Eqs. (3)–(8).

This resolution is precise only after zero modes, ghosts, boundary conditions, and the regulator are treated consistently. The sign of an isolated “contact term” is not itself an entropy probability. The combined gauge-fixed path integral and edge measure must reproduce the physical algebraic calculation.

Edge measure and continuum limit

Regulate the entangling surface by a lattice or brick wall at distance $\epsilon$. The edge partition function has a quadratic action determined by the Dirichlet-to-Neumann map for normal electric flux. Its determinant depends on the boundary Laplacian and includes zero-mode exclusions fixed by Gauss law.

A defensible continuum comparison records:

• the boundary condition and center choice;
• the normalization of the flux measure;
• treatment of global electric flux and zero modes;
• bulk ghost and longitudinal determinants; and
• which local area terms are subtracted.

Only after these data match can a universal logarithmic coefficient be compared with the conformal anomaly.

The brick-wall regulator, zero-mode treatment, and bulk-plus-edge determinant are worked out in Donnelly and Wall 2016, §§ III–V.

Finite-group benchmark

For a finite Abelian lattice gauge theory, edge fluxes are discrete and representation dimensions are one. The extended-space entropy and electric-center algebraic entropy can be matched directly sector by sector. For a non-Abelian finite group, the extended construction adds $\log d_R$ terms.

This pair of examples is useful because it separates the center Shannon term from representation multiplicity without continuum measure ambiguities. It also shows why an edge term can be present in a formal entropy but unavailable under gauge-invariant local operations.

What is operationally accessible

An agent restricted to gauge-invariant regional operations cannot coherently mix center sectors. Sector-label uncertainty is therefore classical for that task, while within-sector entanglement can be distilled subject to further locality restrictions. Edge representation spaces introduced solely to factorize the regulator are not automatically independent laboratories.

Different physical boundary conditions can make edge charges dynamical, in which case the operational theory changes. The conclusion should follow the declared boundary system rather than a universal slogan about edge modes.

Validity map for edge contributions. A matched center, extension, boundary measure, and UV regulator are required before bulk, contact, and edge terms can be compared. Formal edge entropy does not by itself imply distillable entanglement. Schematic and not to scale.

Common pitfalls

Interpreting a contact determinant in isolation. Gauge fixing splits the calculation into unphysical pieces. Compare the complete bulk-plus-edge result.

Treating differential flux entropy as regulator independent. Its value changes with the continuum measure. Match measures or use protected combinations.

Calling every edge term distillable. Center uncertainty and extension multiplicity are not Bell-pair yield under gauge-invariant local operations.

References

• Donnelly, William, and Aron C. Wall. “Entanglement Entropy of Electromagnetic Edge Modes.” Physical Review Letters 114 (2015): 111603. DOI.
• Donnelly, William, and Aron C. Wall. “Geometric Entropy and Edge Modes of the Electromagnetic Field.” Physical Review D 94 (2016): 104053. DOI.
• Kabat, Daniel N. “Black Hole Entropy and Entropy of Entanglement.” Nuclear Physics B 453 (1995): 281–299. DOI.