arXiv subjects

Henry W. Lin

Publications and source records attributed to Henry W. Lin.

At least 19 recordsLinked to original sources

arXiv2026

When the gravity path integral describes a statistical average

We find the necessary and sufficient conditions for the gravitational path integral (GPI) to admit an interpretation in terms of (i) an inner product in the Hilbert space of open/closed universes or (ii) a statistical average of boundary observables. The conditions needed for (i) are necessary but not sufficient for (ii). Requiring the stronger condition (ii) places additional constraints on all wormhole amplitudes, giving a concrete diagnostic of whether the GPI computes an average or merely a pseudo-average. To exemplify the difference between the two constraints, we present a class of gravitational toy models that satisfy (i) but fail the stronger condition (ii); to emphasize the power of the stronger condition, we initiate a bootstrap study of statistical ensembles based on condition (ii), finding that the resulting constraints substantially sharpen the bounds on the moments of the ensemble obtained by imposing (i). More broadly, both of these positivity conditions impose nontrivial constraints on wormhole amplitudes and thereby restrict which gravitational effective field theories can be embedded in consistent theories of quantum gravity.

hep-th↗

arXiv2026

TASI lectures on Matrix Theory from a modern viewpoint

These notes review the D0-brane or Banks-Fischler-Shenker-Susskind (BFSS) matrix quantum mechanics from a post-AdS/CFT perspective. We start from the decoupling argument for D0-branes and discuss the gravity dual in the 't Hooft regime, before extrapolating to strong coupling. In the second part of these notes, we review the matrix bootstrap method and its application to the D0-brane quantum mechanics.

hep-th↗

arXiv2026

An effective field theory approach to the sign problem in BFSS

The sign problem is a notorious obstacle for classically simulating quantum theories with fermions. We propose an effective field theory method for analyzing the sign problem. At high temperatures, a $d$+1 dimensional field theory reduces to a bosonic $d$-dimensional theory; the phase of the Pfaffian in the higher dimensional theory is encoded in an operator in the lower dimensional theory. We apply this framework to the D0-brane/BFSS matrix quantum mechanics, where the phase becomes an operator in a bosonic multi-matrix integral. Our results show that the continuum theory has a sign problem that persists in the large-$N$ 't Hooft regime. However, detecting the sign problem involves going to 10-loop order in the high-temperature expansion. This delayed onset follows from the fact that the Pfaffian phase transforms as an $O(9)$ pseudoscalar. Furthermore, the relevant diagrams give a numerically small prefactor. Consequently, ignoring the sign problem leads to a relatively small fractional error in thermodynamic quantities for temperatures $T \gtrsim λ^{1/3}$. However, at stronger coupling in the 't Hooft regime, the sign problem may become more severe. Finally, we initiate the application of this framework to higher-dimensional maximally supersymmetric Yang-Mills theories.

hep-th↗

arXiv2026

Bootstrapping Euclidean Two-point Correlators

We develop a bootstrap approach to Euclidean two-point correlators, in the thermal or ground state of quantum mechanical systems. We formulate the problem of bounding the two-point correlator as a semidefinite programming problem, subject to the constraints of reflection positivity, the Heisenberg equations of motion, and the Kubo-Martin-Schwinger condition or ground-state positivity. In the dual formulation, the Heisenberg equations of motion become "inequalities of motion" on the Lagrange multipliers that enforce the constraints. This enables us to derive rigorous bounds on continuous-time two-point correlators using a finite-dimensional semidefinite or polynomial matrix program. We illustrate this method by bootstrapping the two-point correlators of the ungauged one-matrix quantum mechanics, from which we extract the spectrum and matrix elements of the low-lying adjoint states. Along the way, we provide a new derivation of the energy-entropy balance inequality and establish a connection between the high-temperature two-point correlator bootstrap and the matrix integral bootstrap.

hep-th↗

arXiv2026

High-Precision Bootstrap of Multimatrix Quantum Mechanics

We consider matrix quantum mechanics with multiple bosonic matrices, including those obtained from dimensional reduction of Yang-Mills theories. Using the matrix bootstrap, we study simple observables like $\langle \mathop{tr} X^2 \rangle$ in the confining phase of the theory in the infinite $N$ limit. Exploiting the symmetries of these models and applying nonlinear relaxation, we impose constraints that include traces of words of length up to 14. Our results yield rigorous bounds on the large-$N$ ground-state dynamics, along with estimates of selected low-order observables to eight significant digits.

hep-th↗

arXiv2026

BPS Chaos

Black holes are chaotic quantum systems that are expected to exhibit random matrix statistics in their finite energy spectrum. Lin, Maldacena, Rozenberg and Shan (LMRS) have proposed a related characterization of chaos for the ground states of BPS black holes with finite area horizons. On a separate front, the "fuzzball program" has uncovered large families of horizon-free geometries that account for the entropy of holographic BPS systems, but only in situations with sufficient supersymmetry to exclude finite area horizons. The highly structured, non-random nature of these solutions seems in tension with strong chaos. We verify this intuition by performing analytic and numerical calculations of the LMRS diagnostic in the corresponding boundary quantum system. In particular we examine the 1/2 and 1/4-BPS sectors of $\mathcal{N}=4$ SYM, and the two charge sector of the D1-D5 CFT. We find evidence that these systems are only weakly chaotic, with a Thouless time determining the onset of chaos that grows as a power of $N$. In contrast, finite horizon area BPS black holes should be strongly chaotic, with a Thouless time of order one. In this case, finite energy chaotic states become BPS as $N$ is decreased through the recently discovered "fortuity" mechanism. Hence they can plausibly retain their strongly chaotic character.

hep-th↗

arXiv2026

Positivity of the gravitational path integral implies the axionic weak gravity conjecture

The gravitational path integral can compute inner products between different states of open and closed universes. To have a well-defined Hilbert space, these inner products should be positive semi-definite, which is not manifest in the low-energy effective theory. In this letter, we analyze the constraints that the positivity of inner products imposes on gravitational theories coupled to axions. If the axion has an exact shift symmetry, we show that, under mild assumptions, a combined positivity constraint on closed and open universes is violated when one includes certain wormholes. In low-energy effective theories where these wormholes are perturbatively stable, positivity requires that the wormholes have a non-perturbative instability that breaks the shift symmetry. This leads to a sharp version of the axion weak gravity conjecture, including precise numerical constants. We relate the bound to possible extensions of other swampland conjectures, arguing for an imaginary continuation of the distance conjecture. We comment on how the bound applies to axions in string theory and discuss phenomenological implications.

hep-th↗

arXiv2026

Regge trajectories from the adjoint sector of Matrix Quantum Mechanics

We reexamine the large $N$ limit of SU$(N)$ symmetric quantum mechanics of a Hermitian matrix whose singlet sector is well known to be exactly solvable via free fermions. When the Fermi level approaches a maximum of the potential, there is critical behavior corresponding to string theory in two dimensions. We uncover new phenomena in the adjoint sector by solving the Marchesini-Onofri equation both numerically and analytically using semiclassical approximations: at criticality, the spectrum is governed by Regge trajectories with energy eigenvalues growing according to $Δ^2 \sim n/ α'$. In the dual 2D string theory, we interpret these states as oscillatory excitations of a ``short'' folded open string. Up to sub-leading corrections, this Regge behavior is essentially universal and is insensitive to the particular potential we choose to approach criticality. Slightly away from criticality, the highly excited states transition into ``long strings'' that extend far into the Liouville direction.

hep-th↗

arXiv2025

Bootstrapping Ground State Correlators in Matrix Theory, Part I

The D0-brane/Banks-Fischler-Shenker-Susskind matrix theory is a strongly coupled quantum system with an interesting gravity dual. We develop a scheme to derive bootstrap bounds on simple correlators in the matrix theory at infinite $N$ at zero energy by imposing the supercharge equations of motion. By exploiting SO(9) symmetry, we are able to consider single-trace operators involving words of length up to 9 using very modest computational resources. We interpret our initial results as strong evidence that the bootstrap method can efficiently access physics in the strongly coupled, infinite $N$ regime.

hep-th↗

arXiv2025

Giant gravitons in D$p$-brane holography

We consider half BPS operators in maximally supersymmetric Yang Mills (SYM) in $p+1$ dimensions. These operators satisfy trace relations that are identical to those discussed in the $p=3$ case ($\mathcal{N} = 4$ SYM). Nevertheless, the bulk explanation of these trace relations must differ from the $p = 3$ case as their holographic duals are not AdS spacetimes. We identify giant graviton solutions in the dual holographic backgrounds for $-1 \le p \le 4$. In the 't Hooft limit, these giants are D$(6-p)$-branes that wrap a $S_{6-p} \subset S_{8-p}$. We also follow the giants into the strong coupling region where they become other branes. Despite propagating in a non-AdS geometry, we find that the branes "feel" like they are in AdS. This is closely related to the emergent scaling symmetry present in these boundary theories.

hep-th↗

arXiv2024

On the non-perturbative bulk Hilbert space of JT gravity

What is the bulk Hilbert space of quantum gravity? In this paper, we resolve this problem in 2d JT gravity, both with and without matter, providing an explicit definition of a non-perturbative Hilbert space specified in terms of metric variables. The states are wavefunctions of the length and matter state, but with a non-trivial and highly degenerate inner product. We explicitly identify the null states, and discuss their importance for defining operators non-perturbatively. To highlight the power of the formalism we developed, we study the non-perturbative effects for two bulk linear operators that may serve as proxies for the experience of an observer falling into a two-sided black hole: one captures the length of an Einstein-Rosen bridge and the other captures the center-of-mass collision energy between two particles falling from opposite sides. We track the behavior of these operators up to times of order $e^{S_\text{BH}}$, at which point the wavefunction spreads to the complete set of eigenstates of these operators. If these observables are indeed good proxies for the experience of an infalling observer, our results indicate an O(1) probability of detecting a firewall at late times that is self-averaging and universal.

hep-th↗

arXiv2024

Looking at supersymmetric black holes for a very long time

We study correlation functions for extremal supersymmetric black holes. It is necessary to take into account the strongly coupled nature of the boundary supergraviton mode. We consider the case with ${\cal N}=2$ supercharges which is the minimal amount of supersymmetry needed to give a large ground state degeneracy, separated from the continuum. Using the exact solution for this theory we derive formulas for the two point function and we also give integral expressions for any $n$-point correlator. These correlators are time independent at large times and approach constant values that depend on the masses and couplings of the bulk theory. We also explain that in the non-supersymmetric case, the correlators develop a universal time dependence at long times. This paper is the longer companion paper of arXiv:2207.00407.

hep-th↗

arXiv2023

Exploring supersymmetric wormholes in $\cal{N} = 2$ SYK with chords

A feature the $\mathcal{N}=2$ supersymmetric Sachdev-Ye-Kitaev (SYK) model shares with extremal black holes is an exponentially large number of ground states that preserve supersymmetry. In fact, the dimension of the ground state subsector is a finite fraction of the total dimension of the SYK Hilbert space. This fraction has a remarkably simple bulk interpretation as the probability that the zero-temperature wormhole -- a supersymmetric Einstein-Rosen bridge -- has vanishing length. Using chord techniques, we compute the zero-temperature Hartle-Hawking wavefunction; the results reproduce the ground state count obtained from boundary index computations, including non-perturbative corrections. Along the way, we improve the construction [arXiv:2003.04405] of the super-chord Hilbert space and show that the transfer matrix of the empty wormhole enjoys an enhanced $\mathcal{N} = 4 $ supersymmetry. We also obtain expressions for various two point functions at zero temperature. Finally, we find the expressions for the supercharges acting on more general wormholes with matter and present the superchord algebra.

hep-th↗

arXiv2023

Universality in long-distance geometry and quantum complexity

In physics, two systems that radically differ at short scales can exhibit strikingly similar macroscopic behaviour: they are part of the same long-distance universality class. Here we apply this viewpoint to geometry and initiate a program of classifying homogeneous metrics on group manifolds by their long-distance properties. We show that many metrics on low-dimensional Lie groups have markedly different short-distance properties but nearly identical distance functions at long distances, and provide evidence that this phenomenon is even more robust in high dimensions. An application of these ideas of particular interest to physics and computer science is complexity geometry--the study of quantum computational complexity using Riemannian geometry. We argue for the existence of a large universality class of definitions of quantum complexity, each linearly related to the other, a much finer-grained equivalence than typically considered. We conjecture that a new effective metric emerges at larger complexities that describes a broad class of complexity geometries, insensitive to various choices of microscopic penalty factors. We discuss the implications for recent conjectures in quantum gravity.

hep-th↗

arXiv2023

The bulk Hilbert space of double scaled SYK

The emergence of the bulk Hilbert space is a mysterious concept in holography. In arXiv:1811.02584, the SYK model was solved in the double scaling limit by summing chord diagrams. Here, we explicitly construct the bulk Hilbert space of double scaled SYK by slicing open these chord diagrams; this Hilbert space resembles that of a lattice field theory where the length of the lattice is dynamical and determined by the chord number. Under a calculable bulk-to-boundary map, states of fixed chord number map to particular entangled 2-sided states with a corresponding size. This bulk reconstruction is well-defined even when quantum gravity effects are important. Acting on the double scaled Hilbert space is a Type II$_1$ algebra of observables, which includes the Hamiltonian and matter operators. In the appropriate quantum Schwarzian limit, we also identify the JT gravitational algebra including the physical SL(2,R) symmetry generators, and obtain explicit representations of the algebra using chord diagram techniques.

hep-th↗

arXiv2023

A symmetry algebra in double-scaled SYK

The double-scaled limit of the Sachdev-Ye-Kitaev (SYK) model takes the number of fermions and their interaction number to infinity in a coordinated way. In this limit, two entangled copies of the SYK model have a bulk description of sorts known as the "chord Hilbert space." We analyze a symmetry algebra acting on this Hilbert space, generated by the two Hamiltonians together with a two-sided operator known as the chord number. This algebra is a deformation of the JT gravitational algebra, and it contains a subalgebra that is a deformation of the $\mathfrak{sl}_2$ near-horizon symmetries. The subalgebra has finite-dimensional unitary representations corresponding to matter moving around in a discrete Einstein-Rosen bridge. In a semiclassical limit the discreteness disappears and the subalgebra simplifies to $\mathfrak{sl}_2$, but with a non-standard action on the boundary time coordinate. One can make the action of $\mathfrak{sl}_2$ algebra more standard at the cost of extending the boundary circle to include some "fake" portions. Such fake portions also accommodate certain subtle states that survive the semi-classical limit, despite oscillating on the scale of discreteness. We discuss applications of this algebra, including sub-maximal chaos, the traversable wormhole protocol, and a two-sided OPE.

hep-th↗

arXiv2023

Bootstrap bounds on D0-brane quantum mechanics

We derive simple bootstrap bounds on correlation functions of the BFSS matrix theory/D0-brane quantum mechanics. The result strengthens and extends Polchinski's virial theorem bound to finite energies and gives the first non-trivial bound on $\langle{\text{Tr}\, X^2\rangle}$. Despite their simplicity, the bounds hint at some features of the dual black hole geometry. Our best lower bounds are already a factor of $\sim 2$ from existing Monte Carlo results.

hep-th↗

arXiv2023

Holography for people with no time

We study the gravitational description of extremal supersymmetric black holes. We point out that the $AdS_2$ near horizon geometry can be used to compute interesting observables, such as correlation functions of operators. In this limit, the Hamiltonian is zero and correlation functions are time independent. We discuss some possible implications for the gravity description of black hole microstates. We also compare with numerical results in a supersymmetric version of SYK. These results can also be interpreted as providing a construction of wormholes joining two extremal black holes. This is the short version of a longer and more technical companion paper arXiv:2207.00408.

hep-th↗