arXiv ScienceSearch

arXiv subjects

Matthew Headrick

Publications and source records attributed to Matthew Headrick.

At least 19 recordsLinked to original sources

Twirled Perfect Tensor Networks: Computationally covariant holographic tensor networks

We define a novel class of tensor networks motivated by the Python's Lunch Conjecture (PLC) in local tensor network models of the black hole interior. We start from the observation that, for extended black brane states with short-range correlations, the PLC predicts a complexity that is smaller than the upper bound for generic short-range correlated states. We argue that the PLC makes implicit assumptions about the fine structure of the relevant tensor networks modeling gravity that render them non-generic. We demonstrate this explicitly in random tensor network models of the python's lunch, where the exponential complexity is not generally controlled by the PLC exponent. We trace the difference with the PLC to a lack of "computational covariance" in random tensor networks: while the PLC is motivated by an ability to arbitrarily decompose space into low-complexity units provided certain basic rules are followed, we show that random tensor networks do not generically have this property. We propose another class of tensor networks built from what we call "twirled perfect tensors" that do satisfy the computational covariance property and have a complexity bounded by the PLC value. We still find a discrete limitation from local postselection that appears to be absent in gravity. Moreover, we show that this class of tensor networks combines desirable holographic features of perfect tensor networks and random tensor networks, for example, it obeys a lattice Ryu-Takayanagi formula for arbitrary boundary subregions. Though motivated by holography, these tensor networks provide a flexible framework with potential applications beyond quantum gravity.

hep-th

Combinatorial properties of holographic entropy inequalities

A holographic entropy inequality (HEI) is a linear inequality obeyed by Ryu-Takayanagi holographic entanglement entropies, or equivalently by the minimum cut function on weighted graphs. We establish a new combinatorial framework for studying HEIs, and use it to prove several properties they share, including two majorization-related properties as well as a necessary and sufficient condition for an inequality to be an HEI. We thereby resolve all the conjectures presented in [arXiv:2508.21823], proving two of them and disproving the other two. In particular, we show that the null reduction of any superbalanced HEI passes the majorization test defined in [arXiv:2508.21823], thereby providing strong new evidence that all HEIs are obeyed in time-dependent holographic states.

hep-th

Quantum Bit Threads and the Entropohedron

We derive several new quantum bit thread prescriptions for holographic entanglement entropy, equivalent for static states to the quantum extremal surface formula. Our new prescriptions come in many varieties: vector field-based or based on measures over bulk curves, dependent or independent of the bulk UV regulator, loose and strict versions of constraints, and more. We also explore how bit threads behave in the presence of entanglement islands and baby universes. Finally, our prescriptions inspire new measures of entanglement that we call entanglement distribution functions, which can be packaged into a convex polytope that we call the entropohedron.

hep-th

A new characterization of the holographic entropy cone

Entanglement entropies computed using the holographic Ryu-Takayanagi formula are known to obey an infinite set of linear inequalities, which define the so-called RT entropy cone. The general structure of this cone, or equivalently the set of all valid inequalities, is unknown. It is also unknown whether those same inequalities are also obeyed by entropies computed using the covariant Hubeny-Rangamani-Takayanagi formula, although significant evidence has accumulated that they are. Using Markov states, we develop a test of this conjecture in a heretofore unexplored regime. The test reduces to checking that a given inequality obeys a certain majorization property, which is easy to evaluate. We find that the RT inequalities pass this test and, surprisingly, only RT inequalities do so. Our results not only provide strong new evidence that the HRT and RT cones coincide, but also offer a completely new characterization of that cone.

hep-th

Entangled universes

We propose a generalization of the RT and HRT holographic entanglement entropy formulas to spacetimes with asymptotically Minkowski as well as asymptotically AdS regions. We postulate that such spacetimes represent entangled states in a tensor product of Hilbert spaces, each corresponding to one asymptotic region. We show that our conjectured formula has the same general properties and passes the same general tests as the standard HRT formula. We provide further evidence for it by showing that in many cases the Minkowski asymptotic regions can be replaced by AdS ones using a domain wall. We illustrate the use of our formula by calculating entanglement entropies between asymptotic regions in Brill-Lindquist spacetimes, finding phase transitions similar to those known to occur in AdS. We construct networks of universes by gluing together Brill-Lindquist spaces along minimal surfaces. Finally, we discuss a variety of possible extensions and generalizations, including to universes with asymptotically de Sitter regions; in the latter case, we identify an ambiguity in the homology condition, leading to two different versions of the HRT formula which we call ``orthodox'' and ``heterodox'', with different physical interpretations.

hep-th

Minimax surfaces and the holographic entropy cone

We study and prove properties of the minimax formulation of the HRT holographic entanglement entropy formula, which involves finding the maximal-area surface on a timelike hypersurface, or time-sheet, and then minimizing over the choice of time-sheet. In this formulation, the homology condition is imposed at the level of the spacetime: the homology regions are spacetime volumes rather spatial regions. We show in particular that the smallest minimax homology region is the entanglement wedge. The minimax prescription suggests a way to construct a graph model for time-dependent states, a weighted graph on which min cuts compute HRT entropies. The existence of a graph model would imply that HRT entropies obey the same inequalities as RT entropies, in other words that the RT and HRT entropy cones coincide. Our construction of a graph model relies on the time-sheets obeying a certain ``cooperating'' property, which we show holds in some examples and for which we give a partial proof; however, we also find scenarios where it may fail.

hep-th

Testing holographic entropy inequalities in 2+1 dimensions

We address the question of whether holographic entropy inequalities obeyed in static states (by the RT formula) are always obeyed in time-dependent states (by the HRT formula), focusing on the case where the bulk spacetime is 2+1 dimensional. An affirmative answer to this question was previously claimed by Czech-Dong. We point out an error in their proof when the bulk is multiply connected. We nonetheless find strong support, of two kinds, for an affirmative answer in that case. We extend the Czech-Dong proof for simply-connected spacetimes to spacetimes with $\pi_1=\mathbb{Z}$ (i.e. 2-boundary, genus-0 wormholes). Specializing to vacuum solutions, we also numerically test thousands of distinct inequalities (including all known RT inequalities for up to 6 regions) on millions of randomly chosen configurations of regions and bulk spacetimes, including three different multiply-connected topologies; we find no counterexamples. In an appendix, we prove some (dimension-independent) facts about degenerate HRT surfaces and symmetry breaking.

hep-th

Geometric Surprises in the Python's Lunch Conjecture

A bulge surface, on a time reflection-symmetric Cauchy slice of a holographic spacetime, is a non-minimal extremal surface that occurs between two locally minimal surfaces homologous to a given boundary region. According to the python's lunch conjecture of Brown et al., the bulge's area controls the complexity of bulk reconstruction, in the sense of the amount of post-selection that needs to be overcome for the reconstruction of the entanglement wedge beyond the outermost extremal surface. We study the geometry of bulges in a variety of classical spacetimes, and discover a number of surprising features that distinguish them from more familiar extremal surfaces such as Ryu-Takayanagi surfaces: they spontaneously break spatial isometries, both continuous and discrete; they are sensitive to the choice of boundary infrared regulator; they can self-intersect; and they probe entanglement shadows, orbifold singularities, and compact spaces such as the sphere in AdS$_p\times S^q$. These features imply, according to the python's lunch conjecture, novel qualitative differences between complexity and entanglement in the holographic context. We also find, surprisingly, that extended black brane interiors have a non-extensive complexity; similarly, for multi-boundary wormhole states, the complexity pleateaus after a certain number of boundaries have been included.

hep-th

Report of the Snowmass 2021 Theory Frontier Topical Group on Quantum Information Science

We summarize current and future applications of quantum information science to theoretical high energy physics. Three main themes are identified and discussed; quantum simulation, quantum sensors and formal aspects of the connection between quantum information and gravity. Within these themes, there are important research questions and opportunities to address them in the years and decades ahead. Efforts in developing a diverse quantum workforce are also discussed. This work summarizes the subtopical area Quantum Information for High Energy Physics TF10 which forms part of the Theory Frontier report for the Snowmass 2021 planning process.

quant-ph

Covariant bit threads

We derive several new reformulations of the Hubeny-Rangamani-Takayanagi covariant holographic entanglement entropy formula. These include: (1) a minimax formula, which involves finding a maximal-area achronal surface on a timelike hypersurface homologous to D(A) (the boundary causal domain of the region A whose entropy we are calculating) and minimizing over the hypersurface; (2) a max V-flow formula, in which we maximize the flux through D(A) of a divergenceless bulk 1-form V subject to an upper bound on its norm that is non-local in time; and (3) a min U-flow formula, in which we minimize the flux over a bulk Cauchy slice of a divergenceless timelike 1-form U subject to a lower bound on its norm that is non-local in space. The two flow formulas define convex programs and are related to each other by Lagrange duality. For each program, the optimal configurations dynamically find the HRT surface and the entanglement wedges of A and its complement. The V-flow formula is the covariant version of the Freedman-Headrick bit thread reformulation of the Ryu-Takayanagi formula. We also introduce a measure-theoretic concept of a "thread distribution", and explain how Riemannian flows, V-flows, and U-flows can be expressed in terms of thread distributions.

hep-th

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.

hep-th

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.

hep-th

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.

hep-th

Bit threads and holographic entanglement of purification

Generalizing the bit thread formalism, we use convex duality to derive dual flow programs to the bipartite and multipartite holographic entanglement of purification proposals and then prove several inequalities using these constructions. In the multipartite case we find the flows exhibit novel behavior which allows for a constrained flux on the boundary of the homology region. We show this flux can be made distinct from bipartite terms and reflects the truly multipartite portion of the holographic entanglement of purification.

hep-th

Convex programs for minimal-area problems

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π. This is an extremal length problem in conformal geometry as well as a problem in systolic geometry. We consider the analogous minimal-area problem for homology classes of curves and, with the aid of calibrations and the max flow-min cut theorem, formulate it as a local convex program. We derive an equivalent dual program involving maximization of a concave functional. These two programs give new insights into the form of the minimal-area metric and are amenable to numerical solution. We explain how the homology problem can be modified to provide the solution to the original homotopy problem.

hep-th

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.

hep-th

Lectures on entanglement entropy in field theory and holography

These notes, based on lectures given at various schools over the last few years, aim to provide an introduction to entanglement entropies in quantum field theories, including holographic ones. We explore basic properties and simple examples of entanglement entropies, mostly in two dimensions, with an emphasis on physical rather than formal aspects of the subject. In the holographic case, the focus is on how the Ryu-Takayanagi formula geometrically realizes general features of field-theory entanglement, while revealing special properties of holographic theories. In order to make the notes somewhat self-contained for readers whose background is in high-energy theory, a brief introduction to the relevant aspects of quantum information theory is included.

hep-th

Bit Threads and Holographic Monogamy

Bit threads provide an alternative description of holographic entanglement, replacing the Ryu-Takayanagi minimal surface with bulk curves connecting pairs of boundary points. We use bit threads to prove the monogamy of mutual information (MMI) property of holographic entanglement entropies. This is accomplished using the concept of a so-called multicommodity flow, adapted from the network setting, and tools from the theory of convex optimization. Based on the bit thread picture, we conjecture a general ansatz for a holographic state, involving only bipartite and perfect-tensor type entanglement, for any decomposition of the boundary into four regions. We also give new proofs of analogous theorems on networks.

hep-th