Snowmass White Paper: The Numerical Conformal Bootstrap
We give a brief overview of the status of the numerical conformal bootstrap.
hep-th↗
arXiv subjects
David Simmons-Duffin
Publications and source records attributed to David Simmons-Duffin.
Graviton partial waves and causality in higher dimensions
Do gravitational interactions respect the basic principles of relativity and quantum mechanics? We show that any graviton S-matrix that satisfies these assumptions cannot significantly differ from General Relativity at low energies. We provide sharp bounds on the size of potential corrections in terms of the mass M of new higher-spin states, in spacetime dimensions D>=5 where the S-matrix does not suffer from infrared ambiguities. The key novel ingredient is the full set of SO(D-1) partial waves for this process, which we show how to efficiently compute with Young tableau manipulations. We record new bounds on the central charges of holographic conformal theories.
hep-th↗
Fast Arbitrary Precision Floating Point on FPGA
Numerical codes that require arbitrary precision floating point (APFP) numbers for their core computation are dominated by elementary arithmetic operations due to the super-linear complexity of multiplication in the number of mantissa bits. APFP computations on conventional software-based architectures are made exceedingly expensive by the lack of native hardware support, requiring elementary operations to be emulated using instructions operating on machine-word-sized blocks. In this work, we show how APFP multiplication on compile-time fixed-precision operands can be implemented as deep FPGA pipelines with a recursively defined Karatsuba decomposition on top of native DSP multiplication. When comparing our design implemented on an Alveo U250 accelerator to a dual-socket 36-core Xeon node running the GNU Multiple Precision Floating-Point Reliable (MPFR) library, we achieve a 9.8x speedup at 4.8 GOp/s for 512-bit multiplication, and a 5.3x speedup at 1.2 GOp/s for 1024-bit multiplication, corresponding to the throughput of more than 351x and 191x CPU cores, respectively. We apply this architecture to general matrix-matrix multiplication, yielding a 10x speedup at 2.0 GOp/s over the Xeon node, equivalent to more than 375x CPU cores, effectively allowing a single FPGA to replace a small CPU cluster. Due to the significant dependence of some numerical codes on APFP, such as semidefinite program solvers, we expect these gains to translate into real-world speedups. Our configurable and flexible HLS-based code provides as high-level software interface for plug-and-play acceleration, published as an open source project.
cs.DC↗
Snowmass White Paper: The Analytic Conformal Bootstrap
The analytic conformal bootstrap is an array of techniques to characterize, constrain, and solve strongly interacting quantum field theories using symmetries, causality, unitarity, and other general principles. In the last decade, bolstered by the development of new Lorentzian methods, it has been used to solve conformal field theories at large spin; to place bounds on energy distributions, event shapes, operator product coefficients, and other observables; and to understand aspects of quantum gravity in anti-de Sitter space. We review these advances and highlight several promising areas for future exploration. Targets include developing new methods to close the gap between numerical and analytic bounds, extending the bootstrap beyond conformal fixed points, applications to quantum gravity and cosmology, and building on ties to condensed matter theory and mathematics.
hep-th↗
Causality constraints on corrections to Einstein gravity
We study constraints from causality and unitarity on $2\to2$ graviton scattering in four-dimensional weakly-coupled effective field theories. Together, causality and unitarity imply dispersion relations that connect low-energy observables to high-energy data. Using such dispersion relations, we derive two-sided bounds on gravitational Wilson coefficients in terms of the mass $M$ of new higher-spin states. Our bounds imply that gravitational interactions must shut off uniformly in the limit $G \to 0$, and prove the scaling with $M$ expected from dimensional analysis (up to an infrared logarithm). We speculate that causality, together with the non-observation of gravitationally-coupled higher spin states at colliders, severely restricts modifications to Einstein gravity that could be probed by experiments in the near future.
hep-th↗
Bootstrapping Heisenberg Magnets and their Cubic Instability
We study the critical $O(3)$ model using the numerical conformal bootstrap. In particular, we use a recently developed cutting-surface algorithm to efficiently map out the allowed space of CFT data from correlators involving the leading $O(3)$ singlet $s$, vector $ϕ$, and rank-2 symmetric tensor $t$. We determine their scaling dimensions to be $(Δ_{s}, Δ_ϕ, Δ_{t}) = (0.518942(51), 1.59489(59), 1.20954(23))$, and also bound various OPE coefficients. We additionally introduce a new "tip-finding" algorithm to compute an upper bound on the leading rank-4 symmetric tensor $t_4$, which we find to be relevant with $Δ_{t_4} < 2.99056$. The conformal bootstrap thus provides a numerical proof that systems described by the critical $O(3)$ model, such as classical Heisenberg ferromagnets at the Curie transition, are unstable to cubic anisotropy.
hep-th↗
Navigator Function for the Conformal Bootstrap
Current numerical conformal bootstrap techniques carve out islands in theory space by repeatedly checking whether points are allowed or excluded. We propose a new method for searching theory space that replaces the binary information "allowed"/"excluded" with a continuous "navigator" function that is negative in the allowed region and positive in the excluded region. Such a navigator function allows one to efficiently explore high-dimensional parameter spaces and smoothly sail towards any islands they may contain. The specific functions we introduce have several attractive features: they are everywhere well-defined, can be computed with standard methods, and evaluation of their gradient is immediate due to an SDP gradient formula that we provide. The latter property allows for the use of efficient quasi-Newton optimization methods, which we illustrate by navigating towards the 3d Ising island.
hep-th↗
AdS Bulk Locality from Sharp CFT Bounds
It is a long-standing conjecture that any CFT with a large central charge and a large gap $Δ_{\text{gap}}$ in the spectrum of higher-spin single-trace operators must be dual to a local effective field theory in AdS. We prove a sharp form of this conjecture by deriving numerical bounds on bulk Wilson coefficients in terms of $Δ_{\text{gap}}$ using the conformal bootstrap. Our bounds exhibit the scaling in $Δ_{\text{gap}}$ expected from dimensional analysis in the bulk. Our main tools are dispersive sum rules that provide a dictionary between CFT dispersion relations and S-matrix dispersion relations in appropriate limits. This dictionary allows us to apply recently-developed flat-space methods to construct positive CFT functionals. We show how AdS$_{4}$ naturally resolves the infrared divergences present in 4D flat-space bounds. Our results imply the validity of twice-subtracted dispersion relations for any S-matrix arising from the flat-space limit of AdS/CFT.
hep-th↗
Sharp Boundaries for the Swampland
We reconsider the problem of bounding higher derivative couplings in consistent weakly coupled gravitational theories, starting from general assumptions about analyticity and Regge growth of the S-matrix. Higher derivative couplings are expected to be of order one in the units of the UV cutoff. Our approach justifies this expectation and allows to prove precise bounds on the order one coefficients. Our main tool are dispersive sum rules for the S-matrix. We overcome the difficulties presented by the graviton pole by measuring couplings at small impact parameter, rather than in the forward limit. We illustrate the method in theories containing a massless scalar coupled to gravity, and in theories with maximal supersymmetry.
hep-th↗
Dispersive CFT Sum Rules
We give a unified treatment of dispersive sum rules for four-point correlators in conformal field theory. We call a sum rule dispersive if it has double zeros at all double-twist operators above a fixed twist gap. Dispersive sum rules have their conceptual origin in Lorentzian kinematics and absorptive physics (the notion of double discontinuity). They have been discussed using three seemingly different methods: analytic functionals dual to double-twist operators, dispersion relations in position space, and dispersion relations in Mellin space. We show that these three approaches can be mapped into one another and lead to completely equivalent sum rules. A central idea of our discussion is a fully nonperturbative expansion of the correlator as a sum over Polyakov-Regge blocks. Unlike the usual OPE sum, the Polyakov-Regge expansion utilizes the data of two separate channels, while having (term by term) good Regge behavior in the third channel. We construct sum rules which are non-negative above the double-twist gap; they have the physical interpretation of a subtracted version of superconvergence sum rules. We expect dispersive sum rules to be a very useful tool to study expansions around mean-field theory, and to constrain the low-energy description of holographic CFTs with a large gap. We give examples of the first kind of applications, notably, we exhibit a candidate extremal functional for the spin-two gap problem.
hep-th↗
The Lorentzian inversion formula and the spectrum of the 3d O(2) CFT
We study the spectrum and OPE coefficients of the three-dimensional critical O(2) model, using four-point functions of the leading scalars with charges 0, 1, and 2 ($s$, $ϕ$, and $t$). We obtain numerical predictions for low-twist OPE data in several charge sectors using the extremal functional method. We compare the results to analytical estimates using the Lorentzian inversion formula and a small amount of numerical input. We find agreement between the analytic and numerical predictions. We also give evidence that certain scalar operators lie on double-twist Regge trajectories and obtain estimates for the leading Regge intercepts of the O(2) model.
hep-th↗
blocks_3d: Software for general 3d conformal blocks
We introduce the software blocks_3d for computing four-point conformal blocks of operators with arbitrary Lorentz representations in 3d CFTs. It uses Zamolodchikov-like recursion relations to numerically compute derivatives of blocks around a crossing-symmetric configuration. It is implemented as a heavily optimized, multithreaded, C++ application. We give performance benchmarks for correlators containing scalars, fermions, and stress tensors. As an example application, we recompute bootstrap bounds on four-point functions of fermions and study whether a previously observed sharp jump can be explained using the "fake primary" effect. We conclude that the fake primary effect cannot fully explain the jump and the possible existence of a "dead-end" CFT near the jump merits further study.
hep-th↗
Transverse spin in the light-ray OPE
We study a product of null-integrated local operators $\mathcal{O}_1$ and $\mathcal{O}_2$ on the same null plane in a CFT. Such null-integrated operators transform like primaries in a fictitious $d-2$ dimensional CFT in the directions transverse to the null integrals. We give a complete description of the OPE in these transverse directions. The terms with low transverse spin are light-ray operators with spin $J_1+J_2-1$. The terms with higher transverse spin are primary descendants of light-ray operators with higher spins $J_1+J_2-1+n$, constructed using special conformally-invariant differential operators that appear precisely in the kinematics of the light-ray OPE. As an example, the OPE between average null energy operators contains light-ray operators with spin $3$ (as described by Hofman and Maldacena), but also novel terms with spin $5,7,9,$ etc.. These new terms are important for describing energy two-point correlators in non-rotationally-symmetric states, and for computing multi-point energy correlators. We check our formulas in a non-rotationally-symmetric energy correlator in $\mathcal{N}=4$ SYM, finding perfect agreement.
hep-th↗
Model-Dependence of Minimal-Twist OPEs in $d>2$ Holographic CFTs
Following recent work on heavy-light correlators in higher-dimensional conformal field theories (CFTs) with a large central charge $C_T$, we clarify the properties of stress tensor composite primary operators of minimal twist, $[T^m]$, using arguments in both CFT and gravity. We provide an efficient proof that the three-point coupling $\langle \mathcal{O}_L\mathcal{O}_L [T^m]\rangle$, where $\mathcal{O}_L$ is any light primary operator, is independent of the purely gravitational action. Next, we consider corrections to this coupling due to additional interactions in AdS effective field theory and the corresponding dual CFT. When the CFT contains a non-zero three-point coupling $\langle TT \mathcal{O}_L\rangle$, the three-point coupling $\langle \mathcal{O}_L\mathcal{O}_L [T^2]\rangle$ is modified at large $C_T$ if $\langle TT\mathcal{O}_L \rangle \sim \sqrt{C_T}$. This scaling is obeyed by the dilaton, by Kaluza-Klein modes of prototypical supergravity compactifications, and by scalars in stress tensor multiplets of supersymmetric CFTs. Quartic derivative interactions involving the graviton and the light probe field dual to $\mathcal{O}_L$ can also modify the minimal-twist couplings; these local interactions may be generated by integrating out a spin-$\ell \geq 2$ bulk field at tree level, or any spin $\ell$ at loop level. These results show how the minimal-twist OPE coefficients can depend on the higher-spin gap scale, even perturbatively.
hep-th↗
Carving out OPE space and precise $O(2)$ model critical exponents
We develop new tools for isolating CFTs using the numerical bootstrap. A "cutting surface" algorithm for scanning OPE coefficients makes it possible to find islands in high-dimensional spaces. Together with recent progress in large-scale semidefinite programming, this enables bootstrap studies of much larger systems of correlation functions than was previously practical. We apply these methods to correlation functions of charge-0, 1, and 2 scalars in the 3d $O(2)$ model, computing new precise values for scaling dimensions and OPE coefficients in this theory. Our new determinations of scaling dimensions are consistent with and improve upon existing Monte Carlo simulations, sharpening the existing decades-old $8σ$ discrepancy between theory and experiment.
hep-th↗
The light-ray OPE and conformal colliders
We derive a nonperturbative, convergent operator product expansion (OPE) for null-integrated operators on the same null plane in a CFT. The objects appearing in the expansion are light-ray operators, whose matrix elements can be computed by the generalized Lorentzian inversion formula. For example, a product of average null energy (ANEC) operators has an expansion in the light-ray operators that appear in the stress-tensor OPE. An important application is to collider event shapes. The light-ray OPE gives a nonperturbative expansion for event shapes in special functions that we call celestial blocks. As an example, we apply the celestial block expansion to energy-energy correlators in N=4 Super Yang-Mills theory. Using known OPE data, we find perfect agreement with previous results both at weak and strong coupling, and make new predictions at weak coupling through 4 loops (NNNLO).
hep-th↗
The Random-Bond Ising Model in 2.01 and 3 Dimensions
We consider the Ising model between 2 and 4 dimensions perturbed by quenched disorder in the strength of the interaction between nearby spins. In the interval 2<d<4 this disorder is a relevant perturbation that drives the system to a new fixed point of the renormalization group. At d=2 such disorder is marginally irrelevant and can be studied using conformal perturbation theory. Combining conformal perturbation theory with recent results from the conformal bootstrap we compute some scaling exponents in an expansion around d=2. If one trusts these computations also in d=3, one finds results consistent with experimental data and Monte Carlo simulations. In addition, we perform a direct uncontrolled computation in d=3 using new results for low-lying operator dimensions and OPE coefficients in the 3d Ising model. We compare these new methods with previous studies. Finally, we comment about the $O(2)$ model in d=3, where we predict a large logarithmic correction to the infrared scaling of disorder.
hep-th↗
Scaling the semidefinite program solver SDPB
We present enhancements to SDPB, an open source, parallelized, arbitrary precision semidefinite program solver designed for the conformal bootstrap. The main enhancement is significantly improved performance and scalability using the Elemental library and MPI. The result is a new version of SDPB that runs on multiple nodes with hundreds of cores with excellent scaling, making it practical to solve larger problems. We demonstrate performance on a moderate-size problem in the 3d Ising CFT and a much larger problem in the $O(2)$ Model.
hep-th↗