Searcharxiv⌕ Search

arXiv subjects

Miguel F. Paulos

Publications and source records attributed to Miguel F. Paulos.

At least 19 recordsLinked to original sources

Super Sum rules for Long-Range Models

We study sum rules that control the Regge limit of one-dimensional conformal field theory (CFT) correlators and relate them to dual bulk scattering processes at high energies in $\mathrm{AdS}_2$. By imposing the condition that no scattering takes place in the bulk, these sum rules single out special solutions to crossing symmetry that describe long-range models, which can be understood as free fields in AdS with boundary interactions tuned to criticality. We test these sum rules perturbatively in several distinct theories, namely the 1d long-range versions of the Ising, $O(N)$ and Lee--Yang models, and find that they correctly predict the CFT data characterising these theories. Along the way we compute for the first time the leading contributions of quadruple-twist operators to the long range Ising correlator and analyse their role in the new sum rules. Finally, we explore the consequences of imposing these sum rules in a numerical bootstrap framework and find that they lead to substantial reductions in the allowed parameter space.

hep-th↗

Consequences of symmetry-breaking on conformal defect data

Conformal defects spontaneously break part of the symmetry algebra of a bulk CFT. We show that the broken Ward identities imply very general sum rules on the defect CFT data as well as on the DOE data of bulk operators, which we call defect soft theorems. Our derivation is elementary, allowing us to easily reproduce and generalize constraints on displacement and tilt operators previously obtained in the literature as well as a plethora of new ones, including constraints on bulk-defect correlation functions. For line defects we rewrite constraints in dispersive sum rule form, showing they lead to exact, optimal bounds on the OPE data of the defect. We test these sum rules in concrete perturbative examples, finding perfect agreement with existing calculations and making new predictions for various dCFT data.

hep-th↗

Solving 1D crossing and QFT$_2$/CFT$_1$

We provide an effective solution of the 1D crossing equation. We begin by arguing that crossing constraints can be recast in terms of bases of sum rules associated to special sets of CFT data -- extremal solutions -- which solve these constraints in a minimal way and naturally saturate positivity bounds on the space of CFTs. We conjecture, argue and check extensively that any extremal solution behaves as a generalized free field in the UV. This allows us to reconstruct the entirety of their CFT data using a rapidly convergent ``hybrid bootstrap'' method, which combines numerics and analytics. Strikingly, as we approach special corners in the space of extremal solutions we find that their CFT data can present non-trivial structure up to arbitrarily large energies. We interpret these corners as flat space limits of QFTs in AdS$_2$, which extremal solutions naturally describe. This picture allows us to bootstrap their CFT data in these limits in terms of 2d S-matrices, and conversely provide a microscopic CFT construction of the latter. Further evidence for this QFT in AdS description of extremal solutions comes from an explicit construction of bulk QFT operators solving an AdS locality problem. Concretly we show that it is possible to canonically associate one or more such operators to any extremal solution by explicitly solving for their BOE data. In the special case where this operator is the bulk stress-tensor we combine crossing and bulk locality constraints to derive stronger bounds on the OPE and BOE data, including an exact bootstrap lower bound on the central charge $C_T\geq 1/2$.

hep-th↗

Bootstrapping bulk locality. Part II: Interacting functionals

Locality of bulk operators in AdS imposes stringent constraints on their description in terms of the boundary CFT. These constraints are encoded as sum rules on the bulk-to-boundary expansion coefficients. In this paper, we construct families of sum rules that are (i) complete and (ii) `dual' to sparse CFT spectra. The sum rules trivialise the reconstruction of bulk operators in strongly interacting QFTs in AdS space and allow us to write down explicit, exact, interacting solutions to the locality problem. Technically, we characterise `completeness' of a set of sum rules by constructing Schauder bases for a certain space of real-analytic functions. In turn, this allows us to prove a Paley-Weiner type theorem characterising the space of sum rules. Remarkably, with control over this space, it is possible to write down closed-form `designer sum rules', dual to a chosen spectrum of CFT operators meeting certain criteria. We discuss the consequences of our results for both analytic and numerical bootstrap applications.

hep-th↗

Polyakov blocks for the 1D CFT mixed correlator bootstrap

We introduce manifestly crossing-symmetric expansions for arbitrary systems of 1D CFT correlators. These expansions are given in terms of certain Polyakov blocks which we define and show how to compute efficiently. Equality of OPE and Polyakov block expansions leads to sets of sum rules that any mixed correlator system must satisfy. The sum rules are diagonalized by correlators in tensor product theories of generalized free fields. We show that it is possible to do a change of a basis that diagonalizes instead mixed correlator systems involving elementary and composite operators in a single field theory. As an example, we find the first non-trivial examples of optimal bounds, saturated by the mixed correlator system $ϕ,ϕ^2$ in the theory of a single generalized free field.

hep-th↗

Bootstrapping bulk locality. Part I: Sum rules for AdS form factors

The problem of constructing local bulk observables from boundary CFT data is of paramount importance in holography. In this work, we begin addressing this question from a modern bootstrap perspective. Our main tool is the boundary operator expansion (BOE), which holds for any QFT in AdS. Following Kabat and Lifschytz, we argue that the BOE is strongly constrained by demanding locality of correlators involving bulk fields. Focusing on 'AdS form factors' of one bulk and two boundary insertions, we reformulate these locality constraints as a complete set of sum rules on the BOE data. We show that these sum rules lead to a manifestly local representation of form factors in terms of 'local blocks'. The sum rules are valid non-perturbatively, but are especially well-adapted for perturbative computations in AdS where they allow us to bootstrap the BOE data in a systematic fashion. Finally, in the flat space limit, we show that the AdS form factor reduces to an ordinary QFT form factor. We provide a phase shift formula for it in terms of the BOE and CFT data. In two dimensions, this formula makes manifest Watson's equations for integrable form factors under certain extremality assumptions on the CFT. We discuss the eventual modifications of our formalism to account for dressed operators in AdS.

hep-th↗

From conformal correlators to analytic S-matrices: CFT$_1$/QFT$_2$

We study families of one-dimensional CFTs relevant for describing gapped QFTs in AdS$_2$. Using the Polyakov bootstrap as our main tool, we explain how S-matrices emerge from the flat space limit of CFT correlators. In this limit we prove that the CFT OPE density matches that of a generalized free field, and that this implies unitarity of the S-matrix. We establish a CFT dispersion formula for the S-matrix, proving its analyticity except for singularities on the real axis which we characterize in terms of the CFT data. In particular positivity of the OPE establishes that any such S-matrix must satisfy extended unitarity conditions. We also carefully prove that for physical kinematics the S-matrix may be more directly described by a phase shift formula. Our results crucially depend on the assumption of a certain gap in the spectrum of operators. We bootstrap perturbative AdS bubble, triangle and box diagrams and find that the presence of anomalous thresholds in S-matrices are precisely signaled by an unbounded OPE arising from violating this assumption. Finally we clarify the relation between unitarity saturating S-matrices and extremal CFTs, establish a mapping between the dual S-matrix and CFT bootstraps, and discuss how our results help understand UV completeness or lack thereof for specific S-matrices.

hep-th↗

Bounding 3d CFT correlators

We consider the problem of bounding CFT correlators on the Euclidean section. By reformulating the question as an optimization problem, we construct functionals numerically which determine upper and lower bounds on correlators under several circumstances. A useful outcome of our analysis is that the gap maximization bootstrap problem can be reproduced by a numerically easier optimization problem. We find that the 3d Ising spin correlator takes the minimal possible allowed values on the Euclidean section. Turning to the maximization problem we find that for d > 2 there are gap-independent maximal bounds on CFT correlators. Under certain conditions we show that the maximizing correlator is given by the generalized free boson for general Euclidean kinematics. In our explorations we also uncover an intriguing 3d CFT which saturates gap, OPE maximization and correlator value bounds. Finally we comment on the relation between our functionals and the Polyakov bootstrap.

hep-th↗

Charging Up the Functional Bootstrap

We revisit the problem of bootstrapping CFT correlators of charged fields. After discussing in detail how bounds for uncharged fields can be recycled to the charged case, we introduce two sets of analytic functional bases for correlators on the line. The first, which we call "simple", is essentially a direct sum of analytic functionals for the uncharged case. We use it to establish very general bounds on the OPE density appearing in charged correlators. The second basis is dual to generalized free fields and we explain how it is related to a charged version of the Polyakov bootstrap. We apply these functionals to map out the space of correlators and obtain new improved bounds on the 3d Ising twist defect.

hep-th↗

Dispersion relations and exact bounds on CFT correlators

We derive new crossing-symmetric dispersion formulae for CFT correlators restricted to the line. The formulae are equivalent to the sum rules implied by what we call master functionals, which are analytic extremal functionals which act on the crossing equation. The dispersion relations provide an equivalent formulation of the constraints of the Polyakov bootstrap and hence of crossing symmetry on the line. The built in positivity properties imply simple and exact lower and upper bounds on the values of general CFT correlators on the Euclidean section, which are saturated by generalized free fields. Besides bounds on correlators, we apply this technology to determine new universal constraints on the Regge limit of arbitrary CFTs and obtain very simple and accurate representations of the 3d Ising spin correlator.

hep-th↗

Landau diagrams in AdS and S-matrices from conformal correlators

Quantum field theories in AdS generate conformal correlation functions on the boundary, and in the limit where AdS is nearly flat one should be able to extract an S-matrix from such correlators. We discuss a particularly simple position-space procedure to do so. It features a direct map from boundary positions to (on-shell) momenta and thereby relates cross ratios to Mandelstam invariants. This recipe succeeds in several examples, includes the momentum-conserving delta functions, and can be shown to imply the two proposals in arXiv:1607.06109 based on Mellin space and on the OPE data. Interestingly the procedure does not always work: the Landau singularities of a Feynman diagram are shown to be part of larger regions, to be called `bad regions', where the flat-space limit of the Witten diagram diverges. To capture these divergences we introduce the notion of Landau diagrams in AdS. As in flat space, these describe on-shell particles propagating over large distances in a complexified space, with a form of momentum conservation holding at each bulk vertex. As an application we recover the anomalous threshold of the four-point triangle diagram at the boundary of a bad region.

hep-th↗

Analytic Functional Bootstrap for CFTs in $d>1$

We introduce analytic functionals which act on the crossing equation for CFTs in arbitrary spacetime dimension. The functionals fully probe the constraints of crossing symmetry on the first sheet, and are in particular sensitive to the OPE, (double) lightcone and Regge limits. Compatibility with the crossing equation imposes constraints on the functional kernels which we study in detail. We then introduce two simple classes of functionals. The first class has a simple action on generalized free fields and their deformations and can be used to bootstrap AdS contact interactions in general dimension. The second class is obtained by tensoring holomorphic and antiholomorphic copies of $d=1$ functionals which have been considered recently. They are dual to simple solutions to crossing in $d=2$ which include the energy correlator of the Ising model. We show how these functionals lead to optimal bounds on the OPE density of $d=2$ CFTs and argue that they provide an equivalent rewriting of the $d=2$ crossing equation which is better suited for numeric computations than current approaches.

hep-th↗

Bounding scattering of charged particles in 1+1 dimensions

We obtain general bounds on scattering processes involving charged particles in 1+1 spacetime dimensions. After a general analysis we derive mostly numerical bounds on couplings in theories with $O(N)$ and $U(N)$ global symmetries. The bounds are consistently saturated by $S$-matrices without particle production, and in many cases by known integrable $S$-matrices. Our work provides a blueprint for a similar analysis in higher dimensions.

hep-th↗

A functional approach to the numerical conformal bootstrap

We apply recently constructed functional bases to the numerical conformal bootstrap for 1D CFTs. We argue and show that numerical results in this basis converge much faster than the traditional derivative basis. In particular, truncations of the crossing equation with even a handful of components can lead to extremely accurate results, in opposition to hundreds of components in the usual approach. We explain how this is a consequence of the functional basis correctly capturing the asymptotics of bound-saturating extremal solutions to crossing. We discuss how these methods can and should be implemented in higher dimensional applications.

hep-th↗

The Functional Bootstrap for Boundary CFT

We introduce a new approach to the study of the crossing equation for CFTs in the presence of a boundary. We argue that there is a basis for this equation related to the generalized free field solution. The dual basis is a set of linear functionals which act on the crossing equation to give a set of sum rules on the boundary CFT data: the functional bootstrap equations. We show these equations are essentially equivalent to a Polyakov-type approach to the bootstrap of BCFTs, and show how to fix the so-called contact term ambiguity in that context. Finally, the functional bootstrap equations diagonalize perturbation theory around generalized free fields, which we use to recover the Wilson-Fisher BCFT data in the $ε$-expansion to order $ε^2$.

hep-th↗

The Analytic Functional Bootstrap II: Natural Bases for the Crossing Equation

We clarify the relationships between different approaches to the conformal bootstrap. A central role is played by the so-called extremal functionals. They are linear functionals acting on the crossing equation which are directly responsible for the optimal bounds of the numerical bootstrap. We explain in detail that the extremal functionals probe the Regge limit. We construct two complete sets of extremal functionals for the crossing equation specialized to $z=\bar{z}$, associated to the generalized free boson and fermion theories. These functionals lead to non-perturbative sum rules on the CFT data which automatically incorporate Regge boundedness of physical correlators. The sum rules imply universal properties of the OPE at large $Δ$ in every unitary solution of SL(2) crossing. In particular, we prove an upper and lower bound on a weighted sum of OPE coefficients present between consecutive generalized free field dimensions. The lower bound implies the $ϕ\timesϕ$ OPE must contain at least one primary in the interval $[2Δ_ϕ+2n,2Δ_ϕ+2n+4]$ for all sufficiently large integer $n$. The functionals directly compute the OPE decomposition of crossing-symmetrized Witten exchange diagrams in $AdS_2$. Therefore, they provide a derivation of the Polyakov bootstrap for SL(2), in particular fixing the so-called contact-term ambiguity. We also use the resulting sum rules to bootstrap several Witten diagrams in $AdS_2$ up to two loops.

hep-th↗

The Analytic Functional Bootstrap I: 1D CFTs and 2D S-Matrices

We study a general class of functionals providing an analytic handle on the conformal bootstrap equations in one dimension. We explicitly identify the extremal functionals, corresponding to theories saturating conformal bootstrap bounds, in two regimes. The first corresponds to functionals that annihilate the generalized free fermion spectrum. In this case, we analytically find both OPE and gap maximization functionals proving the extremality of the generalized free fermion solution to crossing. Secondly, we consider a scaling limit where all conformal dimensions become large, equivalent to the large $AdS$ radius limit of gapped theories in $AdS_2$. In this regime we demonstrate analytically that optimal bounds on OPE coefficients lead to extremal solutions to crossing arising from integrable field theories placed in large $AdS_2$. In the process, we uncover a close connection between asymptotic extremal functionals and S-matrices of integrable field theories in flat space and explain how 2D S-matrix bootstrap results can be derived from the 1D conformal bootstrap equations. These points illustrate that our formalism is capable of capturing non-trivial solutions of CFT crossing.

hep-th↗

Space-time CFTs from the Riemann sphere

We consider two-dimensional chiral, first-order conformal field theories governing maps from the Riemann sphere to the projective light cone inside Minkowski space -- the natural setting for describing conformal field theories in two fewer dimensions. These theories have a SL(2) algebra of local bosonic constraints which can be supplemented by additional fermionic constraints depending on the matter content of the theory. By computing the BRST charge associated with gauge fixing these constraints, we find anomalies which vanish for specific target space dimensions. These critical dimensions coincide precisely with those for which (biadjoint) cubic scalar theory, gauge theory and gravity are classically conformally invariant. Furthermore, the BRST cohomology of each theory contains vertex operators for the full conformal multiplets of single field insertions in each of these space-time CFTs. We give a prescription for the computation of three-point functions, and compare our formalism with the scattering equations approach to on-shell amplitudes.

hep-th↗