Centers, Edge Extensions, and Distillable Entanglement

Gauge-theory entropy separates into center uncertainty, conditional entanglement within flux sectors, and edge terms introduced by a chosen extension. Under gauge-invariant local operations, these pieces have different operational value. The sector Shannon term and representation multiplicities are not automatically Bell pairs; distillable entanglement is controlled primarily by the conditional states and the allowed boundary operations.

Required background. Gauge subregions and centers fixes the algebra and flux sectors; gauge-field edge contributions fixes the extension and continuum measure.

Helpful background. Superselection and accessible entanglement supplies the analogous charge-sector decomposition.

Three contributions, three meanings

For a state decomposed by a center label $r$,

$$\rho_A=\bigoplus_r p_r\rho_{A,r},$$

an extended-space entropy often has the schematic form

$$S_{\rm ext} =H(p_r) +\sum_rp_r S(\rho_{A,r}) +\sum_rp_r\log d_r^{\,\partial A}.$$

The first term is classical uncertainty in boundary flux. The second is quantum entropy inside a sector. The third records representation carrier spaces attached by the extension, with the precise boundary multiplicity suppressed here. Only the middle term has the standard within-sector distillation interpretation without extra edge resources.

The separation among classical, representation, and conditional terms is derived in Soni and Trivedi 2016, §§ 3–4.

The gauge branch separates center weights, conditional bulk states, and edge extensions. Distillation is an operation-class question and does not follow from their sum in a formal entropy. Schematic and not to scale.

Gauge-invariant LOCC

Let each party act with local gauge-invariant operations that preserve the center. They may measure $r$ and condition later operations on the classical outcome, but they cannot coherently mix different flux sectors. For a pure-state lattice task, the accessible entanglement is therefore

$$E_{\rm acc} =\sum_rp_r S(\rho_{A,r}),$$

with generalizations for mixed states and non-Abelian multiplicity spaces. This formula is task dependent: if physical boundary charges or a shared edge reference are supplied, the free-operation class changes.

As with ordinary superselection, many-copy protocols can activate relational information. Such activation does not turn a single-copy center Shannon term into an unconditional Bell yield. The asymptotic resource theory and available reference systems must be specified.

The gauge-invariant LOCC protocol and its distillation rate are Van Acoleyen et al. 2016, Eqs. (4)–(8).

Multi-flux benchmark

Consider a lattice state supported on several boundary-flux sectors,

$$|\Psi\rangle =\sum_r\sqrt{p_r},|r\rangle_A|\bar r\rangle_{\bar A} \otimes|\psi_r\rangle.$$

Three calculations should be reported:

1. the algebraic entropy of the gauge-invariant regional algebra;
2. the extended-Hilbert-space entropy, including any $\log d_r$ edge term; and
3. the Bell-pair yield under gauge-invariant LOCC, evaluated sector by sector.

If each $|\psi_r\rangle$ is a product state, the formal entropy can still contain $H(p_r)$ and representation terms while the single-copy within-sector yield vanishes. This is the simplest counterexample to “all edge entropy is distillable.”

Boundary degrees of freedom can be physical

An actual material boundary, interface, or charged defect can carry dynamical edge modes. Then the Hilbert space and algebra include those degrees of freedom as physical systems, and their entanglement may be distillable. This is a different theory from an auxiliary extension inserted solely to split a gauge constraint.

The distinction is tested by the Hamiltonian and operations: can a regional agent manipulate the edge state with gauge-invariant localized couplings, and is the associated energy and charge budget included? If yes, the edge is a resource system. If not, it remains part of the representation dictionary.

Validity map

Validity map for distillation claims. The center, extension, gauge-invariant LOCC class, and edge reference budget decide which entropy terms are usable. A formal trace in an enlarged space does not pass the operation gate by itself. Schematic and not to scale.

Common pitfalls

Equating Shannon center entropy with Bell yield. Center sectors can be measured classically but not coherently mixed under the declared operations.

Assuming an auxiliary edge carrier is a laboratory. Extended-space representation factors are not automatically physical subsystems with controllable operations.

Ignoring many-copy assumptions. Activation and asymptotic rates can differ from a single-copy statement. Declare the regime.

References

• Soni, Ronak M., and Sandip P. Trivedi. “Aspects of Entanglement Entropy for Gauge Theories.” Journal of High Energy Physics 2016, no. 1 (2016): 136. DOI.
• Van Acoleyen, Karel, Nick Bultinck, Jutho Haegeman, Michael Mariën, Volkher B. Scholz, and Frank Verstraete. “Entanglement of Distillation for Lattice Gauge Theories.” Physical Review Letters 117 (2016): 131602. DOI.