Source author record

Matthew Headrick

Matthew Headrick appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

17works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

17 published item(s)

preprint2022arXiv

Snowmass white paper: Quantum information in quantum field theory and quantum gravity

We present a summary of recent progress and remaining challenges in applying the methods and ideas of quantum information theory to the study of quantum field theory and quantum gravity. Important topics and themes include: entanglement entropy in QFTs and what it reveals about RG flows, symmetries, and phases; scrambling, information spreading, and chaos; state preparation and complexity; classical and quantum simulation of QFTs; and the role of information in holographic dualities. We also highlight the ways in which quantum information science benefits from the synergy between the fields.

preprint2020arXiv

Crossing versus locking: Bit threads and continuum multiflows

Bit threads are curves in holographic spacetimes that manifest boundary entanglement, and are represented mathematically by continuum analogues of network flows or multiflows. Subject to a density bound, the maximum number of threads connecting a boundary region to its complement computes the Ryu-Takayanagi entropy. When considering several regions at the same time, for example in proving entropy inequalities, there are various inequivalent density bounds that can be imposed. We investigate for which choices of bound a given set of boundary regions can be "locked", in other words can have their entropies computed by a single thread configuration. We show that under the most stringent bound, which requires the threads to be locally parallel, non-crossing regions can in general be locked, but crossing regions cannot, where two regions are said to cross if they partially overlap and do not cover the entire boundary. We also show that, under a certain less stringent density bound, a crossing pair can be locked, and conjecture that any set of regions not containing a pairwise crossing triple can be locked, analogously to the situation for networks.

preprint2019arXiv

Holographic Entropy Relations Repackaged

We explore the structure of holographic entropy relations (associated with 'information quantities' given by a linear combination of entanglement entropies of spatial sub-partitions of a CFT state with geometric bulk dual). Such entropy relations can be recast in multiple ways, some of which have significant advantages. Motivated by the already-noted simplification of entropy relations when recast in terms of multipartite information, we explore additional simplifications when recast in a new basis, which we dub the K-basis, constructed from perfect tensor structures. For the fundamental information quantities such a recasting is surprisingly compact, in part due to the interesting fact that entropy vectors associated to perfect tensors are in fact extreme rays in the holographic entropy cone (as well as the full quantum entropy cone). More importantly, we prove that all holographic entropy inequalities have positive coefficients when expressed in the K-basis, underlying the key advantage over the entropy basis or the multipartite information basis.

preprint2019arXiv

Minimal-area metrics on the Swiss cross and punctured torus

The closed string field theory minimal-area problem asks for the conformal metric of least area on a Riemann surface with the condition that all non-contractible closed curves have length at least 2π. Through every point in such a metric there is a geodesic that saturates the length condition, and saturating geodesics in a given homotopy class form a band. The extremal metric is unknown when bands of geodesics cross, as it happens for surfaces of non-zero genus. We use recently proposed convex programs to numerically find the minimal-area metric on the square torus with a square boundary, for various sizes of the boundary. For large enough boundary the problem is equivalent to the "Swiss cross" challenge posed by Strebel. We find that the metric is positively curved in the two-band region and flat in the single-band regions. For small boundary the metric develops a third band of geodesics wrapping around it, and has both regions of positive and negative curvature. This surface can be completed to provide the minimal-area metric on a once-punctured torus, representing a closed-string tadpole diagram.

preprint2015arXiv

Renyi Entropies, the Analytic Bootstrap, and 3D Quantum Gravity at Higher Genus

We compute the contribution of the vacuum Virasoro representation to the genus-two partition function of an arbitrary CFT with central charge $c>1$. This is the perturbative pure gravity partition function in three dimensions. We employ a sewing construction, in which the partition function is expressed as a sum of sphere four-point functions of Virasoro vacuum descendants. For this purpose, we develop techniques to efficiently compute correlation functions of holomorphic operators, which by crossing symmetry are determined exactly by a finite number of OPE coefficients; this is an analytic implementation of the conformal bootstrap. Expanding the results in $1/c$, corresponding to the semiclassical bulk gravity expansion, we find that---unlike at genus one---the result does not truncate at finite loop order. Our results also allow us to extend earlier work on multiple-interval Renyi entropies and on the partition function in the separating degeneration limit.

preprint2014arXiv

Causality & holographic entanglement entropy

We identify conditions for the entanglement entropy as a function of spatial region to be compatible with causality in an arbitrary relativistic quantum field theory. We then prove that the covariant holographic entanglement entropy prescription (which relates entanglement entropy of a given spatial region on the boundary to the area of a certain extremal surface in the bulk) obeys these conditions, as long as the bulk obeys the null energy condition. While necessary for the validity of the prescription, this consistency requirement is quite nontrivial from the bulk standpoint, and therefore provides important additional evidence for the prescription. In the process, we introduce a codimension-zero bulk region, named the entanglement wedge, naturally associated with the given boundary spatial region. We propose that the entanglement wedge is the most natural bulk region corresponding to the boundary reduced density matrix.

preprint2014arXiv

Holographic Holes and Differential Entropy

Recently, it has been shown by Balasubramanian et al. and Myers et al. that the Bekenstein-Hawking entropy formula evaluated on certain closed surfaces in the bulk of a holographic spacetime has an interpretation as the differential entropy of a particular family of intervals (or strips) in the boundary theory. We first extend this construction to bulk surfaces which vary in time. We then give a general proof of the equality between the gravitational entropy and the differential entropy. This proof applies to a broad class of holographic backgrounds possessing a generalized planar symmetry and to certain classes of higher-curvature theories of gravity. To apply this theorem, one can begin with a bulk surface and determine the appropriate family of boundary intervals by considering extremal surfaces tangent to the given surface in the bulk. Alternatively, one can begin with a family of boundary intervals; as we show, the differential entropy then equals the gravitational entropy of a bulk surface that emerges from the intersection of the neighboring entanglement wedges, in a continuum limit.

preprint2013arXiv

Bose-Fermi duality and entanglement entropies

Entanglement (Renyi) entropies of spatial regions are a useful tool for characterizing the ground states of quantum field theories. In this paper we investigate the extent to which these are universal quantities for a given theory, and to which they distinguish different theories, by comparing the entanglement spectra of the massless Dirac fermion and the compact free boson in two dimensions. We show that the calculation of Renyi entropies via the replica trick for any orbifold theory includes a sum over orbifold twists on all cycles. In a modular-invariant theory of fermions, this amounts to a sum over spin structures. The result is that the Renyi entropies respect the standard Bose-Fermi duality. Next, we investigate the entanglement spectrum for the Dirac fermion without a sum over spin structures, and for the compact boson at the self-dual radius. These are not equivalent theories; nonetheless, we find that (1) their second Renyi entropies agree for any number of intervals, (2) their full entanglement spectra agree for two intervals, and (3) the spectrum generically disagrees otherwise. These results follow from the equality of the partition functions of the two theories on any Riemann surface with imaginary period matrix. We also exhibit a map between the operators of the theories that preserves scaling dimensions (but not spins), as well as OPEs and correlators of operators placed on the real line. All of these coincidences can be traced to the fact that the momentum lattice for the bosonized fermion is related to that of the self-dual boson by a 45 degree rotation that mixes left- and right-movers.

preprint2013arXiv

Disk entanglement entropy for a Maxwell field

In three dimensions, the pure Maxwell theory with compact U(1) gauge group is dual to a free compact scalar, and flows from the Maxwell theory with non-compact gauge group in the ultraviolet to a non-compact free massless scalar theory in the infrared. We compute the vacuum disk entanglement entropy all along this flow, and show that the renormalized entropy F(r) decreases monotonically with the radius r as predicted by the F-theorem, interpolating between a logarithmic growth for small r (matching the behavior of the S^3 free energy) and a constant at large r (equal to the free energy of the conformal scalar). The calculation is carried out by the replica trick, employing the scalar formulation of the theory. The Renyi entropies for n>1 are given by a sum over winding sectors, leading to a Riemann-Siegel theta function. The extrapolation to n=1, to obtain the von Neumann entropy, is done by analytic continuation in the large- and small-r limits and by a numerical extrapolation method at intermediate values. We also compute the leading contribution to the renormalized entanglement entropy of the compact free scalar in higher dimensions. Finally, we point out some interesting features of the reduced density matrix for the compact scalar, and its relation to that for the non-compact theory.

preprint2013arXiv

Entanglement Renyi entropies in holographic theories

Ryu and Takayanagi conjectured a formula for the entanglement (von Neumann) entropy of an arbitrary spatial region in an arbitrary holographic field theory. The von Neumann entropy is a special case of a more general class of entropies called Renyi entropies. Using Euclidean gravity, Fursaev computed the entanglement Renyi entropies (EREs) of an arbitrary spatial region in an arbitrary holographic field theory, and thereby derived the RT formula. We point out, however, that his EREs are incorrect, since his putative saddle points do not in fact solve the Einstein equation. We remedy this situation in the case of two-dimensional CFTs, considering regions consisting of one or two intervals. For a single interval, the EREs are known for a general CFT; we reproduce them using gravity. For two intervals, the RT formula predicts a phase transition in the entanglement entropy as a function of their separation, and that the mutual information between the intervals vanishes for separations larger than the phase transition point. By computing EREs using gravity and CFT techniques, we find evidence supporting both predictions. We also find evidence that large-$N$ symmetric-product theories have the same EREs as holographic ones.

preprint2013arXiv

General properties of holographic entanglement entropy

The Ryu-Takayanagi formula implies many general properties of entanglement entropies in holographic theories. We review the known properties, such as continuity, strong subadditivity, and monogamy of mutual information, and fill in gaps in some of the previously-published proofs. We also add a few new properties, including: properties of the map from boundary regions to bulk regions implied by the RT formula, such as monotonicity; conditions under which subadditivity-type inequalities are saturated; and an inequality concerning reflection-symmetric states. We attempt to draw lessons from these properties about the structure of the reduced density matrix in holographic theories.

preprint2013arXiv

Holographic Mutual Information is Monogamous

We identify a special information-theoretic property of quantum field theories with holographic duals: the mutual informations among arbitrary disjoint spatial regions A,B,C obey the inequality I(A:BC) >= I(A:B)+I(A:C), provided entanglement entropies are given by the Ryu-Takayanagi formula. Inequalities of this type are known as monogamy relations and are characteristic of measures of quantum entanglement. This suggests that correlations in holographic theories arise primarily from entanglement rather than classical correlations. We also show that the Ryu-Takayanagi formula is consistent with all known general inequalities obeyed by the entanglement entropy, including an infinite set recently discovered by Cadney, Linden, and Winter; this constitutes strong evidence in favour of its validity.

preprint2012arXiv

Strong subadditivity and the covariant holographic entanglement entropy formula

Headrick and Takayanagi showed that the Ryu-Takayanagi holographic entanglement entropy formula generally obeys the strong subadditivity (SSA) inequality, a fundamental property of entropy. However, the Ryu-Takayanagi formula only applies when the bulk spacetime is static. It is not known whether the covariant generalization proposed by Hubeny, Rangamani, and Takayanagi (HRT) also obeys SSA. We investigate this question in three-dimensional AdS-Vaidya spacetimes, finding that SSA is obeyed as long as the bulk spacetime satisfies the null energy condition. This provides strong support for the validity of the HRT formula.

preprint2011arXiv

Instantaneous Thermalization in Holographic Plasmas

Thin-shell AdS-Vaidya spacetimes can be considered as holographic models of the thermalization process in strongly-coupled conformal field theories following a rapid injection of energy from an external source. While the expected thermalization time is the inverse temperature, Bhattacharyya and Minwalla have pointed out that bulk causality implies that expectation values of local field-theory observables actually take on their thermal values immediately following the injection. In this paper we study two-point functions, for which the causality argument does not apply. Specifically, we study the Brownian motion of a "quark" represented by a string stretching from the boundary to the horizon of an AdS_3-Vaidya spacetime. Surprisingly, we find that the two-point function also thermalizes instantly. Since Brownian motion is a 1/N effect, our result shows that, at least in certain cases, the rapid thermalization property of holographic plasmas persists beyond leading order in 1/N.

preprint2010arXiv

Energy functionals for Calabi-Yau metrics

We identify a set of "energy" functionals on the space of metrics in a given Kaehler class on a Calabi-Yau manifold, which are bounded below and minimized uniquely on the Ricci-flat metric in that class. Using these functionals, we recast the problem of numerically solving the Einstein equation as an optimization problem. We apply this strategy, using the "algebraic" metrics (metrics for which the Kaehler potential is given in terms of a polynomial in the projective coordinates), to the Fermat quartic and to a one-parameter family of quintics that includes the Fermat and conifold quintics. We show that this method yields approximations to the Ricci-flat metric that are exponentially accurate in the degree of the polynomial (except at the conifold point, where the convergence is polynomial), and therefore orders of magnitude more accurate than the balanced metrics, previously studied as approximations to the Ricci-flat metric. The method is relatively fast and easy to implement. On the theoretical side, we also show that the functionals can be used to give a heuristic proof of Yau's theorem.

preprint2009arXiv

A new approach to static numerical relativity, and its application to Kaluza-Klein black holes

We propose a general framework for solving the Einstein equation for static and Euclidean metrics. First, we address the issue of gauge-fixing by borrowing from the Ricci-flow literature the so-called DeTurck trick, which renders the Einstein equation strictly elliptic and generalizes the usual harmonic-coordinate gauge. We then study two algorithms, Ricci-flow and Newton's method, for solving the resulting Einstein-DeTurck equation. We illustrate the use of these methods by studying localized black holes and non-uniform black strings in five-dimensional Kaluza-Klein theory, improving on previous calculations of their thermodynamic and geometric properties. We study spectra of various operators for these solutions, in particular finding negative modes of the Lichnerowicz operator. We classify the localized solutions into two branches that meet at a minimum temperature. We find good evidence for a merger between the localized and non-uniform solutions. We also find a narrow window of localized solutions that possess negative modes yet appear to have positive specific heat.