Source author record

David Simmons-Duffin

David Simmons-Duffin 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

30works
9topics
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

30 published item(s)

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2021arXiv

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.

preprint2020arXiv

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.

preprint2020arXiv

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).

preprint2018arXiv

Bootstrapping the 3d Ising model at finite temperature

We estimate thermal one-point functions in the 3d Ising CFT using the operator product expansion (OPE) and the Kubo-Martin-Schwinger (KMS) condition. Several operator dimensions and OPE coefficients of the theory are known from the numerical bootstrap for flat-space four-point functions. Taking this data as input, we use a thermal Lorentzian inversion formula to compute thermal one-point coefficients of the first few Regge trajectories in terms of a small number of unknown parameters. We approximately determine the unknown parameters by imposing the KMS condition on the two-point functions $\langle σσ\rangle$ and $\langle εε\rangle$. As a result, we estimate the one-point functions of the lowest-dimension $\mathbb Z_2$-even scalar $ε$ and the stress-energy tensor $T_{μν}$. Our result for $\langle σσ\rangle$ at finite-temperature agrees with Monte-Carlo simulations within a few percent, inside the radius of convergence of the OPE.

preprint2018arXiv

Harmonic Analysis and Mean Field Theory

We review some aspects of harmonic analysis for the Euclidean conformal group, including conformally-invariant pairings, the Plancherel measure, and the shadow transform. We introduce two efficient methods for computing these quantities: one based on weight-shifting operators, and another based on Fourier space. As an application, we give a general formula for OPE coefficients in Mean Field Theory (MFT) for arbitrary spinning operators. We apply this formula to several examples, including MFT for fermions and "seed" operators in 4d, and MFT for currents and stress-tensors in 3d.

preprint2016arXiv

Bootstrapping 3D Fermions

We study the conformal bootstrap for a 4-point function of fermions $\langleψψψψ\rangle$ in 3D. We first introduce an embedding formalism for 3D spinors and compute the conformal blocks appearing in fermion 4-point functions. Using these results, we find general bounds on the dimensions of operators appearing in the $ψ\times ψ$ OPE, and also on the central charge $C_T$. We observe features in our bounds that coincide with scaling dimensions in the Gross-Neveu models at large $N$. We also speculate that other features could coincide with a fermionic CFT containing no relevant scalar operators.

preprint2016arXiv

Counting Conformal Correlators

We introduce simple group-theoretic techniques for classifying conformally-invariant tensor-structures. With them, we classify tensor structures of general n-point functions of non-conserved operators, and $n\geq 4$-point functions of general conserved currents, with or without permutation symmetries, and in any spacetime dimension d. (The case n=3 for conserved operators will appear in subsequent work.) Our techniques are useful for bootstrap applications. The rules we derive simultaneously count tensor structures for flat-space scattering amplitudes in d+1 dimensions.

preprint2016arXiv

Fermion-Scalar Conformal Blocks

We compute the conformal blocks associated with scalar-scalar-fermion-fermion 4-point functions in 3D CFTs. Together with the known scalar conformal blocks, our result completes the task of determining the so-called `seed blocks' in three dimensions. Conformal blocks associated with 4-point functions of operators with arbitrary spins can now be determined from these seed blocks by using known differential operators.

preprint2016arXiv

Precision Islands in the Ising and $O(N)$ Models

We make precise determinations of the leading scaling dimensions and operator product expansion (OPE) coefficients in the 3d Ising, $O(2)$, and $O(3)$ models from the conformal bootstrap with mixed correlators. We improve on previous studies by scanning over possible relative values of the leading OPE coefficients, which incorporates the physical information that there is only a single operator at a given scaling dimension. The scaling dimensions and OPE coefficients obtained for the 3d Ising model, $(Δ_σ, Δ_ε,λ_{σσε}, λ_{εεε}) = (0.5181489(10), 1.412625(10), 1.0518537(41), 1.532435(19))$, give the most precise determinations of these quantities to date.

preprint2016arXiv

TASI Lectures on the Conformal Bootstrap

These notes are from courses given at TASI and the Advanced Strings School in summer 2015. Starting from principles of quantum field theory and the assumption of a traceless stress tensor, we develop the basics of conformal field theory, including conformal Ward identities, radial quantization, reflection positivity, the operator product expansion, and conformal blocks. We end with an introduction to numerical bootstrap methods, focusing on the 2d and 3d Ising models.

preprint2015arXiv

A Semidefinite Program Solver for the Conformal Bootstrap

We introduce SDPB: an open-source, parallelized, arbitrary-precision semidefinite program solver, designed for the conformal bootstrap. SDPB significantly outperforms less specialized solvers and should enable many new computations. As an example application, we compute a new rigorous high-precision bound on operator dimensions in the 3d Ising CFT, $Δ_σ=0.518151(6)$, $Δ_ε=1.41264(6)$.

preprint2015arXiv

Bootstrapping the O(N) Archipelago

We study 3d CFTs with an $O(N)$ global symmetry using the conformal bootstrap for a system of mixed correlators. Specifically, we consider all nonvanishing scalar four-point functions containing the lowest dimension $O(N)$ vector $ϕ_i$ and the lowest dimension $O(N)$ singlet $s$, assumed to be the only relevant operators in their symmetry representations. The constraints of crossing symmetry and unitarity for these four-point functions force the scaling dimensions $(Δ_ϕ, Δ_s)$ to lie inside small islands. We also make rigorous determinations of current two-point functions in the $O(2)$ and $O(3)$ models, with applications to transport in condensed matter systems.

preprint2015arXiv

Bootstrapping the O(N) Vector Models

We study the conformal bootstrap for 3D CFTs with O(N) global symmetry. We obtain rigorous upper bounds on the scaling dimensions of the first O(N) singlet and symmetric tensor operators appearing in the $ϕ_i \times ϕ_j$ OPE, where $ϕ_i$ is a fundamental of O(N). Comparing these bounds to previous determinations of critical exponents in the O(N) vector models, we find strong numerical evidence that the O(N) vector models saturate the bootstrap constraints at all values of N. We also compute general lower bounds on the central charge, giving numerical predictions for the values realized in the O(N) vector models. We compare our predictions to previous computations in the 1/N expansion, finding precise agreement at large values of N.

preprint2015arXiv

Looking for a bulk point

We consider Lorentzian correlators of local operators. In perturbation theory, singularities occur when we can draw a position-space Landau diagram with null lines. In theories with gravity duals, we can also draw Landau diagrams in the bulk. We argue that certain singularities can arise only from bulk diagrams, not from boundary diagrams. As has been previously observed, these singularities are a clear diagnostic of bulk locality. We analyze some properties of these perturbative singularities and discuss their relation to the OPE and the dimensions of double-trace operators. In the exact nonperturbative theory, we expect no singularity at these locations. We prove this statement in 1+1 dimensions by CFT methods.

preprint2015arXiv

N=4 Superconformal Bootstrap of the K3 CFT

We study two-dimensional (4,4) superconformal field theories of central charge c=6, corresponding to nonlinear sigma models on K3 surfaces, using the superconformal bootstrap. This is made possible through a surprising relation between the BPS N=4 superconformal blocks with c=6 and bosonic Virasoro conformal blocks with c=28, and an exact result on the moduli dependence of a certain integrated BPS 4-point function. Nontrivial bounds on the non-BPS spectrum in the K3 CFT are obtained as functions of the CFT moduli, that interpolate between the free orbifold points and singular CFT points. We observe directly from the CFT perspective the signature of a continuous spectrum above a gap at the singular moduli, and find numerically an upper bound on this gap that is saturated by the $A_1$ N=4 cigar CFT. We also derive an analytic upper bound on the first nonzero eigenvalue of the scalar Laplacian on K3 in the large volume regime, that depends on the K3 moduli data. As two byproducts, we find an exact equivalence between a class of BPS N=2 superconformal blocks and Virasoro conformal blocks in two dimensions, and an upper bound on the four-point functions of operators of sufficiently low scaling dimension in three and four dimensional CFTs.

preprint2014arXiv

$\mathcal{N}=1$ Superconformal Blocks for General Scalar Operators

We use supershadow methods to derive new expressions for superconformal blocks in 4d $\mathcal{N}=1$ superconformal field theories. We analyze the four-point function $\langle\mathcal{A}_1 \mathcal{A}_2^\dagger \mathcal{B}_1 \mathcal{B}_2^\dagger\rangle$, where $\mathcal{A}_i$ and $\mathcal{B}_i$ are scalar superconformal primary operators with arbitrary dimension and $R$-charge and the exchanged operator is neutral under $R$-symmetry. Previously studied superconformal blocks for chiral operators and conserved currents are special cases of our general results.

preprint2014arXiv

Bootstrapping Mixed Correlators in the 3D Ising Model

We study the conformal bootstrap for systems of correlators involving non-identical operators. The constraints of crossing symmetry and unitarity for such mixed correlators can be phrased in the language of semidefinite programming. We apply this formalism to the simplest system of mixed correlators in 3D CFTs with a $\mathbb{Z}_2$ global symmetry. For the leading $\mathbb{Z}_2$-odd operator $σ$ and $\mathbb{Z}_2$-even operator $ε$, we obtain numerical constraints on the allowed dimensions $(Δ_σ, Δ_ε)$ assuming that $σ$ and $ε$ are the only relevant scalars in the theory. These constraints yield a small closed region in $(Δ_σ, Δ_ε)$ space compatible with the known values in the 3D Ising CFT.

preprint2014arXiv

Covariant Approaches to Superconformal Blocks

We develop techniques for computing superconformal blocks in 4d superconformal field theories. First we study the super-Casimir differential equation, deriving simple new expressions for superconformal blocks for 4-point functions containing chiral operators in theories with N-extended supersymmetry. We also reproduce these results by extending the "shadow formalism" of Ferrara, Gatto, Grillo, and Parisi to supersymmetric theories, where superconformal blocks can be represented as superspace integrals of three-point functions multiplied by shadow three-point functions.

preprint2014arXiv

Solving the 3d Ising Model with the Conformal Bootstrap II. c-Minimization and Precise Critical Exponents

We use the conformal bootstrap to perform a precision study of the operator spectrum of the critical 3d Ising model. We conjecture that the 3d Ising spectrum minimizes the central charge c in the space of unitary solutions to crossing symmetry. Because extremal solutions to crossing symmetry are uniquely determined, we are able to precisely reconstruct the first several Z2-even operator dimensions and their OPE coefficients. We observe that a sharp transition in the operator spectrum occurs at the 3d Ising dimension Delta_sigma=0.518154(15), and find strong numerical evidence that operators decouple from the spectrum as one approaches the 3d Ising point. We compare this behavior to the analogous situation in 2d, where the disappearance of operators can be understood in terms of degenerate Virasoro representations.

preprint2013arXiv

The Analytic Bootstrap and AdS Superhorizon Locality

We take an analytic approach to the CFT bootstrap, studying the 4-pt correlators of d > 2 dimensional CFTs in an Eikonal-type limit, where the conformal cross ratios satisfy |u| << |v| < 1. We prove that every CFT with a scalar operator ϕmust contain infinite sequences of operators O_{τ,l} with twist approaching τ-> 2Δ_ϕ+ 2n for each integer n as l -> infinity. We show how the rate of approach is controlled by the twist and OPE coefficient of the leading twist operator in the ϕx ϕOPE, and we discuss SCFTs and the 3d Ising Model as examples. Additionally, we show that the OPE coefficients of other large spin operators appearing in the OPE are bounded as l -> infinity. We interpret these results as a statement about superhorizon locality in AdS for general CFTs.

preprint2012arXiv

Jet Physics from Static Charges in AdS

Soft interactions with high-energy jets are explored in radial coordinates which exploit the approximately conformal behavior of perturbative gauge theories. In these coordinates, the jets, approximated by Wilson lines, become static charges in Euclidean AdS. The anomalous dimension of the corresponding Wilson line operator is then determined by the potential energy of the charges. To study these Wilson lines we introduce a "conformal gauge" which does not have kinetic mixing between radial and angular directions, and show that a number of properties of Wilson lines are reproduced through relatively simple calculations. For example, certain non-planar graphs involving multiple Wilson lines automatically vanish. We also discuss the linear growth of the charges' imaginary potential energy with separation, and a relationship between Wilson line diagrams and Witten diagrams.

preprint2012arXiv

Solving the 3D Ising Model with the Conformal Bootstrap

We study the constraints of crossing symmetry and unitarity in general 3D Conformal Field Theories. In doing so we derive new results for conformal blocks appearing in four-point functions of scalars and present an efficient method for their computation in arbitrary space-time dimension. Comparing the resulting bounds on operator dimensions and OPE coefficients in 3D to known results, we find that the 3D Ising model lies at a corner point on the boundary of the allowed parameter space. We also derive general upper bounds on the dimensions of higher spin operators, relevant in the context of theories with weakly broken higher spin symmetries.

preprint2011arXiv

Bounds on 4D Conformal and Superconformal Field Theories

We derive general bounds on operator dimensions, central charges, and OPE coefficients in 4D conformal and N=1 superconformal field theories. In any CFT containing a scalar primary phi of dimension d we show that crossing symmetry of <phi phi phi phi> implies a completely general lower bound on the central charge c >= f_c(d). Similarly, in CFTs containing a complex scalar charged under global symmetries, we bound a combination of symmetry current two-point function coefficients tau^{IJ} and flavor charges. We extend these bounds to N=1 superconformal theories by deriving the superconformal block expansions for four-point functions of a chiral superfield Phi and its conjugate. In this case we derive bounds on the OPE coefficients of scalar operators appearing in the Phi x Phi* OPE, and show that there is an upper bound on the dimension of Phi* Phi when dim(Phi) is close to 1. We also present even more stringent bounds on c and tau^{IJ}. In supersymmetric gauge theories believed to flow to superconformal fixed points one can use anomaly matching to explicitly check whether these bounds are satisfied.

preprint2011arXiv

Carving Out the Space of 4D CFTs

We introduce a new numerical algorithm based on semidefinite programming to efficiently compute bounds on operator dimensions, central charges, and OPE coefficients in 4D conformal and N=1 superconformal field theories. Using our algorithm, we dramatically improve previous bounds on a number of CFT quantities, particularly for theories with global symmetries. In the case of SO(4) or SU(2) symmetry, our bounds severely constrain models of conformal technicolor. In N=1 superconformal theories, we place strong bounds on dim(Phi*Phi), where Phi is a chiral operator. These bounds asymptote to the line dim(Phi*Phi) <= 2 dim(Phi) near dim(Phi) ~ 1, forbidding positive anomalous dimensions in this region. We also place novel upper and lower bounds on OPE coefficients of protected operators in the Phi x Phi OPE. Finally, we find examples of lower bounds on central charges and flavor current two-point functions that scale with the size of global symmetry representations. In the case of N=1 theories with an SU(N) flavor symmetry, our bounds on current two-point functions lie within an O(1) factor of the values realized in supersymmetric QCD in the conformal window.

preprint2011arXiv

Effective Conformal Theory and the Flat-Space Limit of AdS

We develop the idea of an effective conformal theory describing the low-lying spectrum of the dilatation operator in a CFT. Such an effective theory is useful when the spectrum contains a hierarchy in the dimension of operators, and a small parameter whose role is similar to that of 1/N in a large N gauge theory. These criteria insure that there is a regime where the dilatation operator is modified perturbatively. Global AdS is the natural framework for perturbations of the dilatation operator respecting conformal invariance, much as Minkowski space naturally describes Lorentz invariant perturbations of the Hamiltonian. Assuming that the lowest-dimension single-trace operator is a scalar, O, we consider the anomalous dimensions, gamma(n,l), of the double-trace operators of the form O (del^2)^n (del)^l O. Purely from the CFT we find that perturbative unitarity places a bound on these dimensions of |gamma(n,l)|<4. Non-renormalizable AdS interactions lead to violations of the bound at large values of n. We also consider the case that these interactions are generated by integrating out a heavy scalar field in AdS. We show that the presence of the heavy field "unitarizes" the growth in the anomalous dimensions, and leads to a resonance-like behavior in gamma(n,l) when n is close to the dimension of the CFT operator dual to the heavy field. Finally, we demonstrate that bulk flat-space S-matrix elements can be extracted from the large n behavior of the anomalous dimensions. This leads to a direct connection between the spectrum of anomalous dimensions in d-dimensional CFTs and flat-space S-matrix elements in d+1 dimensions. We comment on the emergence of flat-space locality from the CFT perspective.

preprint2011arXiv

N=1 SQCD and the Transverse Field Ising Model

We study the dimensions of non-chiral operators in the Veneziano limit of N=1 supersymmetric QCD in the conformal window. We show that when acting on gauge-invariant operators built out of scalars, the 1-loop dilatation operator is equivalent to the spin chain Hamiltonian of the 1D Ising model in a transverse magnetic field, which is a nontrivial integrable system that is exactly solvable at finite length. Solutions with periodic boundary conditions give the anomalous dimensions of flavor-singlet operators and solutions with fixed boundary conditions give the anomalous dimensions of operators whose ends contain open flavor indices.

preprint2010arXiv

Superconformal Flavor Simplified

A simple explanation of the flavor hierarchies can arise if matter fields interact with a conformal sector and different generations have different anomalous dimensions under the CFT. However, in the original study by Nelson and Strassler many supersymmetric models of this type were considered to be 'incalculable' because the R-charges were not sufficiently constrained by the superpotential. We point out that nearly all such models are calculable with the use of a-maximization. Utilizing this, we construct the simplest vector-like flavor models and discuss their viability. A significant constraint on these models comes from requiring that the visible gauge couplings remain perturbative throughout the conformal window needed to generate the hierarchies. However, we find that there is a small class of simple flavor models that can evade this bound.