Researcher profile

Aron C. Wall

Aron C. Wall contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
24works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2021arXiv

Violation of Unitarity in Gravitational Subregions

This essay contends that in quantum gravity, some spatial regions do not admit a unitary Hilbert space. Because the gravitational path integral spontaneously breaks CPT symmetry, "states" with negative probability can be identified on either side of trapped surfaces. I argue that these negative norm states are tolerable, by analogy to quantum mechanics. This viewpoint suggests a resolution of the firewall paradox, similar to black hole complementarity. Implications for cosmology are briefly discussed.

preprint2016arXiv

A paucity of bulk entangling surfaces: AdS wormholes with de Sitter interiors

We study and construct spacetimes, dubbed planar AdS-dS-wormholes, satisfying the null energy condition and having two asymptotically AdS boundaries connected through a (non-traversable) inflating wormhole. As for other wormholes, it is natural to expect dual descriptions in terms of two disconnected CFTs in appropriate entangled states. But for our cases certain expected bulk entangling surfaces used by the Hubeny-Rangamani-Takayanagi (HRT) prescription to compute CFT entropy do not exist. In particular, no real codimension-2 extremal surface can run from one end of the wormhole to the other. According to HRT, the mutual information between any two finite-sized subregions (one in each CFT) must then vanish at leading order in large $N$ -- though the leading-order mutual information per unit area between the two CFTs taken as wholes may be nonzero. Some planar AdS-dS-wormholes also fail to have plane-symmetric surfaces that would compute the total entropy of either CFT. We suggest this to remain true of less-symmetric surfaces so that the HRT entropy is ill-defined and some modified prescription is required. It may be possible to simply extend HRT or the closely-related maximin construction by a limiting procedure, though complex extremal surfaces could also play an important role.

preprint2016arXiv

Entanglement entropy of electromagnetic edge modes

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.

preprint2016arXiv

Maximin Surfaces, and the Strong Subadditivity of the Covariant Holographic Entanglement Entropy

The covariant holographic entropy conjecture of AdS/CFT relates the entropy of a boundary region R to the area of an extremal surface in the bulk spacetime. This extremal surface can be obtained by a maximin construction, allowing many new results to be proven. On manifolds obeying the null curvature condition, these extremal surfaces: i) always lie outside the causal wedge of R, ii) have less area than the bifurcation surface of the causal wedge, iii) move away from the boundary as R grows, and iv) obey strong subadditivity and monogamy of mutual information. These results suggest that the information in R allows the bulk to be reconstructed all the way up to the extremal area surface. The maximin surfaces are shown to exist on spacetimes without horizons, and on black hole spacetimes with Kasner-like singularities.

preprint2016arXiv

Reconstruction of Bulk Operators within the Entanglement Wedge in Gauge-Gravity Duality

In this Letter we prove a simple theorem in quantum information theory, which implies that bulk operators in the Anti-de Sitter / Conformal Field Theory (AdS/CFT) correspondence can be reconstructed as CFT operators in a spatial subregion $A$, provided that they lie in its entanglement wedge. This is an improvement on existing reconstruction methods, which have at most succeeded in the smaller causal wedge. The proof is a combination of the recent work of Jafferis, Lewkowycz, Maldacena, and Suh on the quantum relative entropy of a CFT subregion with earlier ideas interpreting the correspondence as a quantum error correcting code.

preprint2016arXiv

Testing the Generalized Second Law in 1+1 dimensional Conformal Vacua: An Argument for the Causal Horizon

The anomalous conformal transformation law of the generalized entropy is found for dilaton gravity coupled to a 1+1 conformal matter sector with central charges $c = \tilde{c}$. (When $c \ne \tilde{c}$ the generalized entropy is not invariant under local Lorentz boosts.) It is shown that a certain second null derivative of the entropy, $S_\text{gen}" + (6/c)(S_\text{out}')^2$, is primary, and therefore retains its sign under a general conformal transformation. Consequently all conformal vacua have increasing entropy on causal horizons. Alternative definitions of the horizon, including apparent or dynamical horizons, can have decreasing entropy in any dimension $D \ge 2$. This indicates that the generalized second law should be defined using the causal horizon.

preprint2016arXiv

The Generalized Second Law implies a Quantum Singularity Theorem

The generalized second law can be used to prove a singularity theorem, by generalizing the notion of a trapped surface to quantum situations. Like Penrose's original singularity theorem, it implies that spacetime is null geodesically incomplete inside black holes, and to the past of spatially infinite Friedmann--Robertson--Walker cosmologies. If space is finite instead, the generalized second law requires that there only be a finite amount of entropy producing processes in the past, unless there is a reversal of the arrow of time. In asymptotically flat spacetime, the generalized second law also rules out traversable wormholes, negative masses, and other forms of faster-than-light travel between asymptotic regions, as well as closed timelike curves. Furthermore it is impossible to form baby universes which eventually become independent of the mother universe, or to restart inflation. Since the semiclassical approximation is used only in regions with low curvature, it is argued that the results may hold in full quantum gravity. An introductory section describes the second law and its time-reverse, in ordinary and generalized thermodynamics, using either the fine-grained or the coarse-grained entropy. (The fine-grained version is used in all results except those relating to the arrow of time.) A proof of the coarse-grained ordinary second law is given.

preprint2015arXiv

A holographic proof of the averaged null energy condition

The averaged null energy conditions (ANEC) states that, along a complete null curve, the negative energy fluctuations of a quantum field must be balanced by positive energy fluctuations. We use the AdS/CFT correspondence to prove the ANEC for a class of strongly coupled conformal field theories in flat spacetime. A violation of the ANEC in the field theory would lead to acausal propagation of signals in the bulk.

preprint2015arXiv

Generalized second law at linear order for actions that are functions of Lovelock densities

In this article we consider the second law of black holes (and other causal horizons) in theories where the gravitational action is an arbitrary function of the Lovelock densities. We show that there exists an entropy which increases locally, for linearized perturbations to regular Killing horizons. In addition to a classical increase theorem, we also prove a generalized second law for semiclassical, minimally-coupled matter fields.

preprint2015arXiv

Geometric entropy and edge modes of the electromagnetic field

We calculate the vacuum entanglement entropy of Maxwell theory in a class of curved spacetimes by Kaluza-Klein reduction of the theory onto a two-dimensional base manifold. Using two-dimensional duality, we express the geometric entropy of the electromagnetic field as the entropy of a tower of scalar fields, constant electric and magnetic fluxes, and a contact term, whose leading order divergence was discovered by Kabat. The complete contact term takes the form of one negative scalar degree of freedom confined to the entangling surface. We show that the geometric entropy agrees with a statistical definition of entanglement entropy that includes edge modes: classical solutions determined by their boundary values on the entangling surface. This resolves a longstanding puzzle about the statistical interpretation of the contact term in the entanglement entropy. We discuss the implications of this negative term for black hole thermodynamics and the renormalization of Newton's constant.

preprint2015arXiv

Proof of the Quantum Null Energy Condition

We prove the Quantum Null Energy Condition (QNEC), a lower bound on the stress tensor in terms of the second variation in a null direction of the entropy of a region. The QNEC arose previously as a consequence of the Quantum Focussing Conjecture, a proposal about quantum gravity. The QNEC itself does not involve gravity, so a proof within quantum field theory is possible. Our proof is somewhat nontrivial, suggesting that there may be alternative formulations of quantum field theory that make the QNEC more manifest. Our proof applies to free and superrenormalizable bosonic field theories, and to any points that lie on stationary null surfaces. An example is Minkowski space, where any point $p$ and null vector $k^a$ define a null plane $N$ (a Rindler horizon). Given any codimension-2 surface $Σ$ that contains $p$ and lies on $N$, one can consider the von Neumann entropy $S_\text{out}$ of the quantum state restricted to one side of $Σ$. A second variation $S_\text{out}^{\prime\prime}$ can be defined by deforming $Σ$ along $N$, in a small neighborhood of $p$ with area $\cal A$. The QNEC states that $\langle T_{kk}(p) \rangle \ge \frac{\hbar}{2π} \lim_{{\cal A}\to 0}S_\text{out}^{ \prime\prime}/{\cal A}$.

preprint2015arXiv

Quantum Extremal Surfaces: Holographic Entanglement Entropy beyond the Classical Regime

We propose that holographic entanglement entropy can be calculated at arbitrary orders in the bulk Planck constant using the concept of a "quantum extremal surface": a surface which extremizes the generalized entropy, i.e. the sum of area and bulk entanglement entropy. At leading order in bulk quantum corrections, our proposal agrees with the formula of Faulkner, Lewkowycz, and Maldacena, which was derived only at this order; beyond leading order corrections, the two conjectures diverge. Quantum extremal surfaces lie outside the causal domain of influence of the boundary region as well as its complement, and in some spacetimes there are barriers preventing them from entering certain regions. We comment on the implications for bulk reconstruction.

preprint2015arXiv

Second Law Violations in Lovelock Gravity for Black Hole Mergers

We study the classical second law of black hole thermodynamics, for Lovelock theories (other than General Relativity), in arbitrary dimensions. Using the standard formula for black hole entropy, we construct scenarios involving the merger of two black holes in which the entropy instantaneously decreases. Our construction involves a Kaluza-Klein compactification down to a dimension in which one of the Lovelock terms is topological. We discuss some open issues in the definition of the second law which might be used to compensate this entropy decrease.

preprint2015arXiv

The holographic entropy increases in quadratic curvature gravity

Standard methods for calculating the black hole entropy beyond general relativity are ambiguous when the horizon is non stationary. We fix these ambiguities in all quadratic curvature gravity theories, by demanding that the entropy be increasing at every time, for linear perturbations to a stationary black hole. Our result matches with the entropy formula found previously in holographic entanglement entropy calculations. We explicitly calculate the entropy increase for Vaidya-like solutions in Ricci-tensor gravity to show that (unlike the Wald entropy) the holographic entropy obeys a Second Law.

preprint2014arXiv

Coarse-grained entropy and causal holographic information in AdS/CFT

We propose bulk duals for certain coarse-grained entropies of boundary regions. The `one-point entropy' is defined in the conformal field theory by maximizing the entropy in a domain of dependence while fixing the one-point functions. We conjecture that this is dual to the area of the edge of the region causally accessible to the domain of dependence (i.e. the `causal holographic information' of Hubeny and Rangamani). The `future one-point entropy' is defined by generalizing this conjecture to future domains of dependence and their corresponding bulk regions. We show that the future one-point entropy obeys a nontrivial second law. If our conjecture is true, this answers the question "What is the field theory dual of Hawking's area theorem?"

preprint2014arXiv

Cosmological singularity theorems and black holes

An extension of Penrose's singularity theorem is proved for spacetimes where black holes are allowed to form from non-singular initial data. With standard assumptions about the spacetime, and assuming the existence of a trapped surface which lies outside of black hole horizons and is not completely surrounded by horizons, we show that the spacetime region outside (or on) the horizons must contain singularities. If the trapped surface is surrounded by horizons, we show that the horizons divide spacetime into causally disconnected pieces. Unlike the original Penrose's theorem, our theorems provide some information about the location of singularities. We illustrate how they can be used to rule out some cosmological scenarios.

preprint2014arXiv

Extremal Surface Barriers

We present a generic condition for Lorentzian manifolds to have a barrier that limits the reach of boundary-anchored extremal surfaces of arbitrary dimension. We show that any surface with nonpositive extrinsic curvature is a barrier, in the sense that extremal surfaces cannot be continuously deformed past it. Furthermore, the outermost barrier surface has nonnegative extrinsic curvature. Under certain conditions, we show that the existence of trapped surfaces implies a barrier, and conversely. In the context of AdS/CFT, these barriers imply that it is impossible to reconstruct the entire bulk using extremal surfaces. We comment on the implications for the firewall controversy.

preprint2013arXiv

A discrete, unitary, causal theory of quantum gravity

A discrete model of Lorentzian quantum gravity is proposed. The theory is completely background free, containing no reference to absolute space, time, or simultaneity. The states at one slice of time are networks in which each vertex is labelled with two arrows, which point along an adjacent edge, or to the vertex itself. The dynamics is specified by a set of unitary replacement rules, which causally propagate the local degrees of freedom. The inner product between any two states is given by a sum over histories. Assuming it converges (or can be Abel resummed), this inner product is proven to be hermitian and fully gauge-degenerate under spacetime diffeomorphisms. At least for states with a finite past, the inner product is also positive. This allows a Hilbert space of physical states to be constructed.

preprint2013arXiv

Eternal Black Holes and Superselection in AdS/CFT

It has been argued i) that Lorentz-signature solutions with wormholes connecting n asymptotically AdS regions describe bulk quantum states dual to n entangled but non-interacting CFTs and ii) that such bulk wormhole states should be identified with similar entangled but non-interacting bulk systems, each describing quantum geometries with only a single asymptotic region. But if the wormhole is to behave semiclassically, we show that conjecture (ii) cannot hold. Instead, the theory of asymptotically AdS bulk quantum gravity must admit superselection sectors with respect to the CFT observables that are labeled by the type of wormhole connections allowed between black holes. Moreover, these superselection sectors are indistinguishable in the dual CFT. Finally, we describe restrictions on the possible superselection sectors associated with the spin-statistics relation and the expectation that black holes lying in distinct asymptotically AdS regions may be approximated by well-separated black holes in a single asymptotically AdS region.

preprint2013arXiv

Unitarity of Maxwell theory on curved spacetimes in the covariant formalism

Quantum field theory in curved spacetime may be defined either through a manifestly unitary canonical approach or via the manifestly covariant path integral formalism. For gauge theories, these two approaches have produced conflicting results, leading to the question of whether the canonical approach is covariant, and whether the path integral approach is unitary. We show the unitarity of the covariant U(1) Maxwell theory, defined via the Wick rotation of a Euclidean path integral. We begin by gauge-fixing the path integral, taking care with zero modes, large gauge transformations, and nontrivial bundles. We find an extra geometric factor in the partition function that has been overlooked in previous work, coming from the zero mode of the gauge symmetry, which affects the entropy and stress-energy tensor. With this extra factor, the covariant calculation agrees with the canonical result for ultrastatic manifolds, and in D = 2. Finally, we argue that if there exists a unitary (but not necessarily covariant) canonical formulation, then the covariant formulation must also be unitary, even if the two approaches disagree.

preprint2012arXiv

Do gauge fields really contribute negatively to black hole entropy?

Quantum fluctuations of matter fields contribute to the thermal entropy of black holes. For free minimally-coupled scalar and spinor fields, this contribution is precisely the entanglement entropy. For gauge fields, Kabat found an extra negative divergent "contact term" with no known statistical interpretation. We compare this contact term to a similar term that arises for nonminimally-coupled scalar fields. Although both divergences may be interpreted as terms in the Wald entropy, we point out that the contact term for gauge fields comes from a gauge-dependent ambiguity in Wald's formula. Revisiting Kabat's derivation of the contact term, we show that it is sensitive to the treatment of infrared modes. To explore these infrared issues, we consider two-dimensional compact manifolds, such as Euclidean de Sitter space, and show that the contact term arises from an incorrect treatment of zero modes. In a manifestly gauge-invariant reduced phase space quantization, the gauge field contribution to the entropy is positive, finite, and equal to the entanglement entropy.

preprint2010arXiv

A proof of the generalized second law for rapidly-evolving Rindler horizons

The generalized second law is proven for rapidly-evolving semiclassical Rindler horizons at each instant of time, for arbitrary interacting quantum fields minimally coupled to general relativity. The proof requires the background spacetime to have boost and null translation symmetry. Possible extensions to more general horizons and matter-gravity couplings are discussed.

preprint2010arXiv

Black Hole Thermodynamics and Lorentz Symmetry

Recent developments point to a breakdown in the generalized second law of thermodynamics for theories with Lorentz symmetry violation. It appears possible to construct a perpetual motion machine of the second kind in such theories, using a black hole to catalyze the conversion of heat to work. Here we describe and extend the arguments leading to that conclusion. We suggest the inference that local Lorentz symmetry may be an emergent property of the macroscopic world with origins in a microscopic second law of causal horizon thermodynamics.

preprint2010arXiv

Proving the Achronal Averaged Null Energy Condition from the Generalized Second Law

A null line is a complete achronal null geodesic. It is proven that for any quantum fields minimally coupled to semiclassical Einstein gravity, the averaged null energy condition (ANEC) on null lines is a consequence of the generalized second law of thermodynamics for causal horizons. Auxiliary assumptions include CPT and the existence of a suitable renormalization scheme for the generalized entropy. Although the ANEC can be violated on general geodesics in curved spacetimes, as long as the ANEC holds on null lines there exist theorems showing that semiclassical gravity should satisfy positivity of energy, topological censorship, and should not admit closed timelike curves. It is pointed out that these theorems fail once the linearized graviton field is quantized, because then the renormalized shear squared term in the Raychaudhuri equation can be negative. A "shear-inclusive" generalization of the ANEC is proposed to remedy this, and is proven under an additional assumption about perturbations to horizons in classical general relativity.