Abstract:We consider the problem of defining localized subsystems in gauge theory and gravity. Such systems are associated to spacelike hypersurfaces with boundaries and provide the natural setting for studying entanglement entropy of localized subsystems. We present a general formalism to associate a gauge-invariant classical phase space to a spatial slice with boundary by introducing new degrees of freedom on the boundary. In Yang-Mills theory the new degrees of freedom are a choice of gauge on the boundary, transformations of which are generated by the normal component of the nonabelian electric field. In general relativity the new degrees of freedom are the location of a codimension-2 surface and a choice of conformal normal frame. These degrees of freedom transform under a group of surface symmetries, consisting of diffeomorphisms of the codimension-2 boundary, and position-dependent linear deformations of its normal plane. We find the observables which generate these symmetries, consisting of the conformal normal metric and curvature of the normal connection. We discuss the implications for the problem of defining entanglement entropy in quantum gravity. Our work suggests that the Bekenstein-Hawking entropy may arise from the different ways of gluing together two partial Cauchy surfaces at a crosssection of the horizon.

We present the first scanning laser ophthalmoscope that uses adaptive optics to measure and correct the high order aberrations of the human eye. Adaptive optics increases both lateral and axial resolution, permitting axial sectioning of retinal tissue in vivo. The instrument is used to visualize photoreceptors, nerve fibers and flow of white blood cells in retinal capillaries.

We consider entanglement entropy between regions of space in lattice gauge theory. The Hilbert space corresponding to a region of space includes edge states that transform nontrivially under gauge transformations. By decomposing the edge states in irreducible representations of the gauge group, the entropy of an arbitrary state is expressed as the sum of three positive terms: a term associated with the classical Shannon entropy of the distribution of boundary representations, a term that appears only for non-Abelian gauge theories and depends on the dimension of the boundary representations, and a term representing nonlocal correlations. The first two terms are the entropy of the edge states, and depend only on observables measurable at the boundary. These results are applied to several examples of lattice gauge theory states, including the ground state in the strong coupling expansion of Kogut and Susskind. In all these examples we find that the entropy of the edge states is the dominant contribution to the entanglement entropy.

Gauge-invariant observables for quantum gravity are described, with explicit constructions given primarily to leading order in Newton's constant, analogous to and extending constructions first given by Dirac in quantum electrodynamics. These can be thought of as operators that create a particle, together with its inseparable gravitational field, and reduce to usual field operators of quantum field theory in the weak-gravity limit; they include both Wilson-line operators, and those creating a Coulombic field configuration. We also describe operators creating the field of a particle in motion; as in the electromagnetic case, these are expected to help address infrared problems. An important characteristic of the quantum theory of gravity is the algebra of its observables. We show that the commutators of the simple observables of this paper are nonlocal, with nonlocality becoming significant in strong field regions, as predicted previously on general grounds.

The vacuum entanglement entropy of Maxwell theory, when evaluated by standard methods, contains an unexpected term with no known statistical interpretation. We resolve this two-decades old puzzle by showing that this term is the entanglement entropy of edge modes: classical solutions determined by the electric field normal to the entangling surface. We explain how the heat kernel regularization applied to this term leads to the negative divergent expression found by Kabat. This calculation also resolves a recent puzzle concerning the logarithmic divergences of gauge fields in 3+1 dimensions.