Show Summary Details

Page of

Printed from Oxford Research Encyclopedias, Physics. Under the terms of the licence agreement, an individual user may print out a single article for personal use (for details see Privacy Policy and Legal Notice).

date: 01 October 2022

The Conformal Bootstrapfree

The Conformal Bootstrapfree

  • Miguel Fernandes PaulosMiguel Fernandes PaulosEcole Normale Superieure, CNRS, Université Paris Sciences et Lettres, Sorbonne Universite

Summary

Conformal field theories (CFTs) have a wide range of experimental and theoretical applications. They describe classical and quantum critical phenomena, low (or high) energy limits of quantum field theories, and even quantum gravity via the Anti-de Sitter space/CFT correspondence (AdS/CFT). Most interesting, CFTs are strongly interacting and difficult to analyze. The Conformal Bootstrap program is an approach that exploits only basic consistency conditions of CFTs, such as unitarity, locality, and symmetry, encoded into a set of bootstrap equations. The hope is that such conditions might be strong enough to uniquely determine the full set of consistent theories. This philosophy was first used successfuly in the 1980s to analytically determine and classify large classes of critical phenomena in two spatial dimensions. Starting from 2008, major developments have allowed the exploration of CFTs in more general spacetime dimension. The key breakthrough was to realize that one could exploit methods from linear and semidefinite optimization theory to analyze the bootstrap equations and obtain strong, universal constraints on the space of CFTs.

The Conformal Bootstrap has led to a number of important results in the study of CFTs. One of the main outcomes consists of general bounds on the data defining a CFT, such as critical exponents and operator–product expansion coefficients. This has been done for a number of contexts, such as different space-time dimensions, global symmetry groups, and various amounts of supersymmetry. More remarkably, this approach not only leads to general results on the space of theories but is also powerful enough to give extremely precise determinations of the properties of specific models, such as the critical exponents of the critical 3d Ising and O(2) models. Finally the conformal-bootstrap program also includes the formal study and non-perturbative definition of CFTs and their observables. These include not only the study of Euclidean correlation functions but also a study of their properties in Lorentzian signature; the study of defects, interfaces, and boundary conditions; finite temperature; and connections to the AdS/CFT correspondence.

Subjects

  • Condensed Matter and Materials Physics
  • Particles and Fields

1. Introduction

The goal of this article is to review recent developments in what is known as the Conformal Bootstrap, the use of elementary properties that are axiomatically satisfied by Conformal Field Theories (CFTs), to constrain them and, in some special cases, determine them. Unlike what happens in the analysis of ordinary quantum field theories, bootstrap methods are intrinsically non-perturbative: there are no Feynman diagrams or other perturbative methods, and at every step there are finite, well-defined quantities and computations. The conformal bootstrap is a rapidly developing field; the focus here will be mainly on well-established methods and results, with brief comments on recent developments.

Conformal field theories are quantum field theories invariant under the action of the conformal group. This is the group of coordinate transformations that leave the spacetime metric invariant up to an overall, possibly local, change of scale. The history of conformal symmetry in physics is nicely reviewed in Kastrup (2008). It seems to have first made its appearance in theoretical physics in work by Lord Kelvin, which showed covariance of the Laplace equation under coordinate inversions. Later, Bateman and Cunningham showed that Maxwell’s equations also transform covariantly under conformal transformations. The development of conformal field theory began in the 1970s and is ongoing. One of the high points is the paper by Belavin, Polyakov, and Zamolodchikov in 1984 (Belavin et al., 1984), with the discovery of infinite-dimensional conformal symmetry in two dimensions and exact solutions of the so-called minimal models that describe a large set of critical phenomena. Many modern developments were then spurred by the discovery of the AdS/CFT correspondence in the late 1990s: the conjectural equivalence of four-dimensional N=4 supersymmetric Yang-Mills theory with SUNc gauge group (a supersymmetric cousin of quantum chromodynamics), and type IIB superstring theory in asymptotically AdS5×S5 spaces (Aharony et al., 2000; Maldacena, 1998). This led to broad interest in the general properties of conformal field theories ,in particular in space-time dimension greater than two where the conformal group is now finite dimensional. The conformal bootstrap as understood in this article began with the seminal paper of Rattazzi, Rychkov, Tonni, and Vichi (Rattazzi et al., 2008), which first showed that it is possible to obtain strong bounds on CFTs using only crossing symmetry and unitarity.

Some motivation for studying CFTs is provided by considering one of their key applications: the description of critical phenomena, that is, systems undergoing second-order phase transitions. One of the most famous experimental examples of such phenomena occurs in boiling water: more precisely, water at its critical point at a temperature 647K and pressure P218atm. This is a special point on the water phase diagram, shown schematically in Figure 1, where the line of first-order phase transitions separating the liquid and vapor phases terminates. At this point critical opalescence is observed: experimentally it is found that water becomes opaque. This can be explained by the existence of density fluctuations in the fluid of all sizes (which allow for scattering of light even for optical wavelengths). The correlator of density fluctuations has the form

Figure 1. Typical fluid phase diagram.

ρ x ρ y 1 x y 1 η . (1)

The quantity η is what is known as a critical exponent. It is one of the fundamental quantities characterizing the transition. This characteristic power-law behavior is not limited to density correlators but rather is observed generically for many other observables, such as the specific heat. Power-laws imply the absence of a preferred scale in the system: it signals an emergent scaling invariance, or scaling symmetry.

Another important example that will be relevant is a ferromagnet. If a ferromagnet is heated to a certain critical temperature, known as the Curie point, it will continuously lose its magnetization properties. Remarkably, the critical exponents in this case are the same as for a fluid at the critical point! This is known as universality: at criticality, most microscopic details of the system become irrelevant and only basic features of the system such as symmetries and dimensionality survive. Heuristically, both universality and scale invariance can be understood due to the fact that, at a critical point, correlation lengths diverge. Furthermore, the discreteness of the system becomes unimportant, and hence variables such as the density and local magnetization become continuous fields. Combined with scale invariance, this means that conformal field theories are the appropriate theoretical objects to describe these systems.

2. Basics of Conformal Field Theories

2.1 Conformal Correlation Functions

2.1.1 Conformal Transformations

The crucial property of a conformal field theory, which gives it its name, is that it has a symmetry under conformal transformations (Ferrara et al., 1971, 1972, 1973, 1974, 1975; Mack & Salam, 1969; Polyakov, 1974). These transformations include rotations, translations, and rigid scaling transformations, which, are all naturally associated to a critical point. They also include so-called special conformal transformations. There is no a priori reason why critical phenomena should be expected to exhibit this extra symmetry, but in many cases they do (though not always), as first noticed by Polyakov (1970). Under some assumptions, it can, in fact, be rigorously shown that scale invariance implies conformal invariance in space-time dimension 2 and 4 (Dymarsky et al., 2015, 2016; Polchinski, 1988; Zamolodchikov, 1986).

A conformal transformation is a coordinate transformation that leaves the metric invariant up to a scale factor

x x d s 2 x d s 2 = Ω 2 x d s 2 x (2)

The metric is assumed to be flat and have Euclidean signature:

d s 2 = δ ab d x a d x b = d x 1 2 + + d x d 2 (3)

One way of justifying this is that in applications to statistical systems time-independent correlations are often of interest: a three-dimensional Euclidean CFT can be used to describe the phase transition in a piece of ferromagnetic material. It is possible nevertheless to analytically continue observables such as correlation functions to Lorentzian signature, where, in fact, many of the properties of the CFT become clearer.

The full set of conformal transformations is given by the mappings:

x a = e ic b P b x a = x a + c a Ω x = 1 Translations (4a)
x a = e i 2 ω cd M cd x a = e ω b a x b Ω x = 1 Rotations (4b)
x a = e i log λD x a = λ x a Ω x = λ Dilatations (4c)
x a = e ib c K c x a = x a b a x 2 1 2 b x + b 2 x 2 Ω x = 1 1 2 b x + b 2 x 2 SCT (4d)

Here ca,ba are arbitrary d-dimensional vectors and λ a real number and ωcd is an antisymmetric real matrix, so that eω is an orthogonal matrix. The acronym SCT stands for special conformal transformations. Finally, the infinitesimal generators are written as:

P a = i a , M ab = i x b a x a b , D = ix a a , K a = i x 2 a + 2 x a x . (5)

The non-trivial commutation relations are given by

i D P a = P a , (6a)
i D K a = K a , (6b)
i M ab P c = δ ac P b δ ab P c , (6c)
i M ab K c = δ ac K b δ ab K c (6d)
i M ab M cd = δ ac M bd + δ bd M ac δ bc M ad δ ad M bc (6e)
i K a P b = 2 δ ab D M ab . (6f)

There are a total of d+1d+2/2 generators, which is the same as for the algebra sod+11, which is, in fact, the algebra described by these commutation relations.

For the most, part conformal transformations are straightforward to understand. Only special conformal transformations are more unusual. One way to think about them is as compositions of translations with inversions:

x a x a x 2 x a x 2 b a x a x 2 b a x a x 2 b a 2 = x a b a x 2 1 2 b x + b 2 x 2 (7)

whose effect is shown in Figure 2. But this begs the question: Why then are inversions not included? Inversions are not continuously connected to the identity transformation, and so do not have an associated infinitesimal generator.

Figure 2. Special conformal transformation.

There is an important addendum to this discussion. In two space-time dimensions, the group of conformal transformations is actually infinite dimensional. This is because the metric can be written in complex coordinates

d s 2 = d x 2 + d y 2 = d z d z ¯ , z = x + iy . (8)

It is easy to see that any holomorphic transformation zfz leaves the metric invariant up to an overall factor. This larger group of symmetries can be used to obtain a number of powerful results about 2D CFTs, and in particular exact solutions for a large set of theories (Belavin et al., 1984; Di Francesco et al., 1997). However, this article focuses only on those symmetries, mentioned previously, that are present for any space-time dimension and not just d=2.

2.1.2 Correlators of Primary Operators

As usual in quantum mechanics, the basic quantities of interest in a CFT are correlators of local operators, or equivalently of expectation values of products of operators, in the ground state (vacuum) of the theory:

O x 1 O x n 0 O x 1 O x n 0 (9)

In applications to critical phenomena, these have interpretations as statistical averages over thermal fluctuations. Particularly important operators are those that transform covariantly under conformal transformations. For instance, scalar operators should satisfy:

O O : O x = Ω x Δ O O x , (10)

Those operators that satisfy this transformation property are called primary. The number ΔO is called the conformal or scaling dimension of O. It measures the mass dimension of the operators. Conformal dimensions are directly related to critical exponents in the context of critical phenomena. Derivatives of primaries are called descendant operators. A primary operator together with the infinite tower of descendant operators that can be obtained from it by acting with the derivative, that is, Pa, spans a representation of the conformal algebra. The correlators of operators in any such multiplet are all related by the action of the symmetry algebra: for example, those of descendants are simply related to those of primaries by taking derivatives. Therefore, attention can always be restricted to understanding correlators of the primaries. These turn out to be quite constrained, as a consequence of the transformation law:

O 1 x 1 O n x n = i = 1 n Ω x i Δ i O 1 x 1 O n x n (11)

To see what this implies, consider first the two-point function. In this case:

O x O x = { 0 Δ Δ x x 2 Δ Δ = Δ . (12)

This is an important result: in a CFT, two-point functions are diagonal and behave as power laws, with an exponent determined by the scaling dimension of the operator. Hence, the job of determining critical exponents becomes equivalent to determining the spectrum of operators in a CFT.

Moving on, consider the three-point functions, focusing on scalars again for simplicity. In this case it can be shown that they must take the form

O 1 x 1 O 2 x 2 O 3 x 3 = λ O 1 O 2 O 3 x 12 γ 12 x 23 γ 23 x 13 γ 31 , where e.g. γ 12 = Δ 1 + Δ 2 Δ 3 2 . (13)

The three-point function is, therefore, uniquely fixed up to an undetermined coefficient, λ123, which is known as the OPE (operator product expansion) coefficient. The reason for this name will become clear later. It can be shown that for any set of operators with arbitrary quantum numbers, their three-point functions are kinematically fixed up to a finite number of such coefficients. A case that will be of interest later has three-point functions of two scalars and one traceless-symmetric tensor, in which case there is only one such coefficient.

Finally, consider the four-point correlator of scalar operators, which for simplicity is taken to be identical. In this case the correlator has to take the form

O x 1 O x 2 O x 3 O x 4 = G u v x 13 2 Δ x 24 2 Δ (14)

where G is now an arbitrary function of two independent conformal cross-ratios:

u = x 12 2 x 34 2 x 13 2 x 24 2 , v = x 14 2 x 23 2 x 13 2 x 24 2 . (15)

It can be easily checked that such conformal cross-ratios are left invariant under conformal transformations. They appear only when there are at least four independent points, which explains their absence in two- and three-point functions. This logic generalizes. An arbitrary correlation function is always given by an overall kinematic prefactor that carries the non-trivial conformal transformation properties of the operators, and which can be written in several ways, times a function of a finite set of independent cross-ratios.

2.2 The Operator–Product Expansion

Perhaps the most important additional property of a CFT as compared to an ordinary quantum field theory is the existence of an operator–product expansion with a finite radius of convergence. This is a consequence of the state–operator correspondence discussed here.

2.2.1 Radial Quantization

Starting from a CFT originally defined on flat Euclidean space, there is a natural way to define the theory in the same space with a different metric, as long as they are related by an overall Weyl transformation:

d s 2 Ω 2 x d s 2 (16)

The correlators of the theory on Weyl related metrics are defined by setting:

O 1 x 1 O n x n Ω 2 d s 2 i = 1 n Ω Δ i O 1 x 1 O n x n d s 2 (17)

Specific CFT examples with Lagrangian descriptions can often be conformally coupled to the background metric, both sides independently computed and agreement checked. In general however, this should be thought of as a definition of the theory in a different space. There is one important exception to this rule. Under a Weyl transformation, the stress tensor does not in general transform as in the prior. This is because, in general, the Weyl symmetry of the CFT is anomalous in even dimensions. The effect of the anomaly is very mild, modifying only correlation functions involving the stress tensor.

The most important application of this is the “plane”-cylinder map (“plane” means flat d-dimensional Euclidean space). The flat space metric can be written in radial coordinates,

d s 2 = d x a d x a = d r 2 + r 2 d ω d 1 2 = r 2 d r 2 r 2 + d ω d 1 2 (18)

where dωd1 is the volume element of the d1 dimensional sphere. Introducing τ=logr gives

d s 2 = e 2 τ d s cyl 2 , d s cyl 2 = d τ 2 + d ω d 1 2 (19)

where the metric on the cylinder ×Sd1 has been introduced. The mapping is shown pictorially in Figure 3. It follows that

O 1 τ 1 n 1 O n τ n n n cyl e i = 1 n τ i Δ i O 1 x 1 O n x n plane (20)

with xi=eτini, and ni vectors satisfying ni2=1. Notice how the radius on the plane has become the time coordinate on the cylinder. In particular, the Hamiltonian on the cylinder is nothing but the dilatation operator on the plane. Hence, quantizing the theory on the cylinder amounts to studying the spectrum of the dilatation operator on the plane: this is called “radial quantization.” On the plane, fixed “time” slices correspond to spheres where the states of the theory are defined.

Figure 3. Plane to cylinder map.

2.2.2 State–Operator Correspondence

Consider an operator inserted at the origin in the plane (which is τ= on the cylinder). This defines a state OO00. On the cylinder the state is defined by sending an operator to τ= and multiplying it by a prefactor,

O = lim τ e τ Δ O O cyl τ n 0 (21)

In any case,

H cyl O = D O = Δ O O (22)

The conclusion is that operators with definite scaling dimension (these can be primary or descendants) create states with definite energy on the cylinder, so really OΔO. This is called the state–operator correspondence:

State–operator correspondence: to each primary or descendant operator corresponds an eigenstate of the CFT Hamiltonian on the cylinder.

The full Hilbert space of a CFT decomposes into representations of the conformal algebra. Such representations can be built by starting with a “lowest weight” state, the primary, and acting with as many Pa as desired in all possible configurations. The number N of Pa is sometimes called the level of the descendant. Any such state is of the form Δ,N, where the dots represent indices. The action of the rotation generators commutes with dilatations, so it just mixes descendants of the same level. All such states are energy eigenstates on the cylinder, with various kinds of angular dependence.

2.2.3 The Operator–Product Expansion

The Hilbert space of a CFT has been constructed through radial quantization. Conformal primaries and their descendants map one to one with the eigenstates of the cylinder Hamiltonian; hence, knowing all scaling dimensions (and other quantum numbers) of the primaries in the CFT amounts to solving the spectral problem on the cylinder. Since energy eigenstates form a complete basis of the Hilbert space, then any state can be decomposed into this basis. Consider local operators inserted in some region, and some large-enough sphere containing these insertions. Radial quantization tells us that these insertions generate some state on the sphere. Because any state can be decomposed into the basis of eigenstates of dilatations, and because each eigenstate is associated to a primary or descendant operator, the conclusion is the:

Operator–product expansion: An arbitrary product of CFT operators can be expanded into a sum of primary and descendant operators.

The expansion is written with operators at the center of a sphere containing the initial product of operators. Furthermore, the expansion has a finite radius of convergence, which is the radius of the largest such sphere that does not intersect any other operator insertions.

It is clear that it is sufficient to determine the OPE for just two operators, because if there are more, they can always be iterated:

O 1 x 1 O 2 0 = k , N λ 12 k N x 1 P N O k 0 (23)

The (infinite) sum runs over all conformal primaries in the theory and their descendants, indicated schematically by PN acting on the primary (in reality each P has an index, such indices being contracted into indices in the λ12kN and the operator Ok if it has spin). It is important to emphasize that this is not a formal expression but can actually be inserted into correlation functions, where it will converge exponentially fast (Pappadopulo et al., 2012).

The fact that both three- and two-point functions of primaries are uniquely fixed by conformal invariance determined the OPE. By inserting this expansion into a three-point function and comparing with the exact expression, it is possible to fix all coefficients in terms of the three-point couplings λO1O2O3 appearing in those three-point functions, which are therefore known as OPE coefficients. In particular, contributions of descendant operators to the OPE are completely fixed by symmetry in terms of those of the corresponding primary operator. It is therefore common to represent an OPE schematically as

O i × O j = k λ 12 k O k (24)

It is important to realize that if somehow successful in determining the spectrum of a CFT, that is, the set of all scaling dimensions and other quantum numbers of primary operators, and their OPE coefficients, then an arbitrary correlation function can be reduced by repeatedly using the OPE to a sum of known two-point functions. This is summarized in the concept of:

CFT data: the quantum numbers of all primary operators in the theory as well as their three-point couplings or OPE coefficients.

By repeated use of the OPE, knowledge of the CFT data suffices to compute any correlation function in the theory.

2.3 Conformal Blocks and the Crossing Equation

2.3.1 Conformal Blocks

The OPE can be used to understand conformal four-point functions by applying it twice to end up with a double sum over two-point functions. Because these must be diagonal, the double sum reduces to a single one, running over contributions of primary operators and their descendants. Beause the contributions of descendant operators are fixed by symmetry in terms of those of primaries, they should be resumed to obtain an expression that depends only on the dynamical data. This resummation of the OPE leads to what is known as a conformal block.

Conformal blocks depend on the detailed quantum numbers both of the external operators appearing in the four-point function, as well asthose of the exchanged conformal primary. The main complication occurs in allowing for non-scalar operators as external operators. The allowed spin-representations that can appear in intermediate channels are then much larger and space-time-dimension dependent. There can also be more than one kind of block for the same exchanged representation.

In the simplest case where the external primaries are scalars, the possible exchanged states must transform as traceless symmetric tensors, which are labeled by a single spin quantum number, , that is, the OPE takes the form

O 1 × O 2 = k λ 12 k O Δ k , k (25)

At this point, an important remark is that demanding that all states in the CFT Hilbert space have positive norm leads to the following constraints on quantum numbers, known as unitarity bounds:

= 0 : Δ 0 Δ u 0 , Δ u 0 = d 2 2 : Δ Δ u , Δ u = d 2 + (26)

The four-point function can now be written in terms of conformal blocks. Using the OPE on the pairs of operators 1,2 and 3,4 leads to an expression

G u v = p λ 12 p λ 34 p G Δ p , p Δ 1 , Δ 2 , Δ 3 , Δ 4 u v (27)

that involves only the OPE coefficients, the quantum numbers of primary operators, and the kinematically determined conformal blocks. In this simple case, exact expressions for the blocks in even space-time dimensions can be given. In particular, for the interesting cases d=2 and d=4 give

G Δ,l Δ 1 , Δ 2 , Δ 3 , Δ 4 (z, z ¯ )= 1 2 ( k Δl 2 a,b (z) k Δ+l 2 a,b ( z ¯ )+ k Δl 2 a,b ( z ¯ ) k Δ+l 2 a,b (z) ),(d=2) G Δ,l Δ 1 , Δ 2 , Δ 3 , Δ 4 (z, z ¯ )= z z ¯ z z ¯ ( k Δl2 2 a,b (z) k Δ+l 2 a,b ( z ¯ ) k Δl2 2 a,b ( z ¯ ) k Δ+l 2 a,b (z) ),(d=4) (28)

Here, the Dolan-Osborn variables

u = z z ¯ , v = 1 z 1 z ¯ . (29)

have been introduced and

k β a , b z = 2 F 1 β + a β b 2 β z , a = Δ 1 Δ 2 , b = Δ 3 Δ 4 . (30)

Note that z¯=z with z in for Euclidean kinematics. A great number of interesting properties, identities, and relations about conformal blocks were worked out in the papers of Dolan and Osborn (Dolan & Osborn, 2001, 2004, 2012). One key insight is that conformal blocks are eigenfunctions of the Casimir operator of the conformal algebra. This has led to a number of applications and extensions, for example, Isachenkov and Schomerus (2016) and Costa et al. (2011). Conformal blocks cannot always be written down in closed form, but by now there are methods for computing them numerically to great accuracy in any space-time dimension. Usually this is done by determining rapidly convergent power-series expansions for the conformal blocks. One particularly convenient method is based on an idea of Zamolodchikov (Zamolodchikov, 1984) originally used for the special case d=2 (where the conformal group is infinite). In this method, conformal blocks are treated as analytic functions of the exchanged scaling dimension. By studying poles and residues in this variable, it is then possible to set up a rapidly convergent recursion relation for an expansion of the blocks around zz¯=0 (Kos et al., 2014).

2.3.2 Crossing Symmetry

The OPE allows a four-point function to be represented as a sum of conformal blocks. However, this can be done in several ways: either in operator pairs (14) and (23), or (13) and (24). The resulting expressions for the correlator would look very different: the operators appearing in the OPE will not necessarily be the same, the OPE coefficients are different, and even the blocks have a different form. That any two such representations can lead to the same four-point function is a very strong constraint on the CFT data. As an example, consider the four-point function of identical scalar operators of dimension Δϕ. Equating OPE expansions in the (12) and (14) channels leads to the following crossing equation:

= 0 , 2 , Δ Δ u λ Δ , 2 F Δ , z z ¯ = F 0 , 0 , F Δ , z z ¯ = G Δ , z z ¯ z z ¯ Δ ϕ G Δ , 1 z 1 z ¯ 1 z 1 z ¯ Δ ϕ (31)

where λΔ,λϕϕOΔ, and the contribution of the identity operator with Δ==0, which always appear in the OPE of two identical operators (the identity satisfies 1=), has been separated out. To a large extent, the conformal bootstrap is the analysis of the constraints that follow from this kind of equation, and in particular how exactly they constrain the allowed sets of CFT data. The equation is shown pictorially in Figure 4.

Figure 4. Crossing symmetry for a four-point function of identical scalars.

In general, the OPE should be associative: that is, the order in which products of operators are taken should not matter. Depending on this order, apparently very different representations of the same product of operators may result. Demanding all such representations agree is known as crossing symmetry. It can be checked that crossing symmetry for all four-point functions is enough to ensure it for all higher order correlation functions. Furthermore, four-point functions impose relatively simple quadratic constraints on the OPE coefficients and involve simpler expressions than at higher points, which has led to the vast majority of efforts in the bootstrap to focus on this case.

3. Numerical Bootstrap

This section shows how to obtain constraints on the CFT data by borrowing techniques from optimization theory to analyse crossing equations. A striking application of these methods is presented to determine the properties of the CFT describing the 3D Ising model.

3.1 Numerical Techniques

3.1.1 Basic Picture: Bounds

Even in this simplest of cases, the crossing equation for the four-point function, that is, equation (31), is formidable: it involves a continuously infinite set of constraints on a continuously infinite set of variables. What does this equation imply about the allowed sets of λΔ,?

The key idea is to think about the crossing equation as a linear equation, with the FΔ, interpreted as vectors (Rattazzi et al., 2008). In fact, they can literally be turned into vectors, by considering just a finite dimensional set of constraints. Usually this is done by straightforward Taylor expansion around the crossing symmetric point z=z¯=12. For instance:

F Δ,l (z, z ¯ ) F Δ,l ={ z i z ¯ j F Δ,l (z, z ¯ )| z= z ¯ = 1 2 ,i=1, i max ,j=1,, j max }(32)

The crossing equation then expresses linear dependence between the identity and the contributions of other operators in the OPE

= 0 , 2 , Δ Δ u λ Δ , 2 F Δ , = F 0 , 0 (33)

If the vectors have N linearly independent components generically any choice of N vectors in the sum in (33) will form a basis of N, and so it would seem that this crossing equation can always be solved trivially. However, the coefficients in that equation must be non-negative. This is a consequence of unitarity of the CFT, which guarantees that the OPE coefficients of real operators can always be chosen real, if their two-point functions are normalized as in (11). The set of all non-negative linear combinations of vectors forms a cone, and it might just be that the vector F0 lies outside the cone.

Figure 5. Ruling out spectra using linear functionals.

Solutions to the crossing equation are known to exist, so this will not be the case unless some restrictions are made. One of the simplest ideas is to impose a gap in the spectrum. For instance, if the dimension of first scalar operator in the OPE is larger than some value Δg, the equation has solutions if there are OPE coefficients

λ Δ , 2 0 such that : Δ Δ g λ Δ , 0 2 F Δ , 0 + = 2 , 4 , Δ Δ u λ Δ , 2 F Δ , = F 0 , 0 (34)

Remarkably there are no such coefficients if Δg is large enough! Finding the maximal such Δg is known as the gap maximization problem. This maximal value is referred to as a function of N by ΔgapmaxNΔϕ. It implies that:

in the OPE of two identical fields, there must exist a non-identity scalar operator whose dimension is no larger than ΔgapmaxN.

In other words, there is an upper bound on the scaling dimension of the leading operator in the OPE. This bound, given by ΔgapmaxN can only improve as N increases. This again is a key insight: even though the full crossing equation is very complicated, it can nevertheless be truncated and interesting rigorous bounds that any CFT must satisfy can still be extracted. These bounds can be systematically improved by considering larger truncations.

3.1.2 Functionals: Linear and Semidefinite Optimization

How can bounds be computed in practice? The idea is that if the identity does not lie inside the cone spanned by the other crossing vectors, then it is possible to find a hyperplane that separates the latter from the former. If such a hyperplane can be found, there can be no solution to crossing. This is shown in Figure 5. A hyperplane is simply a linear functional ω=ω1ωN. The feasibility problem can be formalized:

Feasibility problem (single correlator)

Is there ω such that: ω F Δ , 0 , for all Δ S ω F 0 , 0 > 0 ? (35)

The existence of such a linear functional rules out solutions to the crossing equation where the exchanged operators have dimensions and spins lying in set S:

ω F 0 , 0 + Δ , S λ Δ , 2 F Δ , = ω F 0 , 0 + Δ , S λ Δ , 2 ω F Δ , > 0 (36)

For instance, this set was chosen to consist of all scalar operators with ΔΔg, and spinning operators consistent with unitarity, ΔΔu. Clearly if a functional can be found for some N0, it can also be found for any other N>N0 by merely setting some components to zero. In this way the feasible region is non-increasing as N is increased.

Problem (35) is an example of a semi-infinite linear program. A linear program is an optimization problem with a linear objective function subject to linear constraints. In the present case, the objective function is simply zero because the aim is merely to find a functional consistent with the constraints. There are similar problems such as maximizing values of OPE coefficients for which this objective is non-zero (Rattazzi et al., 2011). In any case, similar problems have been studied extensively and there exist efficient algorithms for solving them for any N (Hettich & Kortanek, 1993; Lopez & Still, 2007; Reemtsen & Rückmann, 1998).

Including the constraints arising from crossing symmetry for a finite set of correlation functions involving more than one kind of operator (Kos et al., 2014) poses a problem, because for a typical correlator the OPE will not involve squares of OPE coefficients. Positivity is therefore lost, and it seems like the method described here fails. However, this can be circumvemted by focusing on the constraints of crossing for a set of correlations functions involving fields ϕi in a finite set. This will lead to a finite set of crossing equations, labeled by an index p, each of which presents a quadratic constraint on the OPE coefficients. These can be written:

λ 0 0 , 0 p z z ¯ λ 0 + Δ , S λ Δ , Δ , p z λ Δ , = 0 , p = 1 , , P . (37)

Here, for each p Δpz, is some known matrix is computed in terms of conformal blocks, while the vector λΔ, contains the OPE coefficients between the operator OΔ and all possible pairs of external fields appearing in the set of correlators under consideration,

λ Δ , = λ ϕ 1 ϕ 1 O Δ , λ ϕ 1 ϕ 2 O Δ , λ ϕ k ϕ k O Δ , (38)

A feasibility problem can be formulated in this case too. A set of linear functionals ωp (which can be taken to consist of various derivatives at the crossing symmetric point) and this problem posed:

Feasibility problem (multiple correlators)

Are there ω p such that: p = 1 P ω p Δ , p 0 , for all Δ S

p = 1 P ω p λ 0 0 , 0 p λ 0 > 0 ? (39)

To clarify, notice that each functional acts componentwise in the entries of each matrix p, so that the net outcome of acting with the functional is still a matrix. Positive semidefinite conditions on this matrix are required, for example, M0 if vMv>0 for all v. If these can be satisfied then there is no solution with ΔS because

p = 1 P ω p λ 0 0 p z λ 0 + Δ , S λ Δ , Δ , p z λ Δ , = λ 0 p = 1 P ω p 0 , 0 p λ 0 + Δ , S λ Δ , p = 1 P ω p Δ , p λ Δ , > 0 . (40)

The feasibility problem (39) is an example of what is known as a semidefinite program: an optimization problem (in this case the objective function is trivial) subject to positive semidefiniteness constraints. These can again be solved using standard algorithms such as interior point methods (Alizadeh, 1993).

3.1.3 Extremal Functionals and Spectrum Extraction

In the feasibility problem, for each truncation order of the crossing equation N there is a sharp boundary between the regions where a functional can be found—the excluded region—and where one cannot—the allowed region. In the excluded region, there can be no solutions to crossing. As for the allowed region, although it cannot be ruled out that some particular spectrum will not be excluded by increasing N, at least for fixed N there are infinitely many approximate solutions to crossing, that is, solutions to the truncated set of crossing equations. At the boundary between the two regions, something very special happens: there exists both a certain functional (called the extremal functional) and a uniquely determined solution to the truncated crossing equations. This is possible because the extremal functional annihilates the identity and at most a finite set of K<N1 crossing vectors FΔi,i, which are precisely the vectors solving the truncated crossing equations (El-Showk & Paulos, 2013, 2018). One of these must necessarily be the scalar operator of dimension ΔgapmaxN, that is,

a 0 F Δ gapmax , 0 + i = 1 K 1 a i F Δ i , i = F 0 , a i 0 (41)

and the extremal functional, called β, satisfies

β 0 = 0 , Δ β Δ g = 0 = 1 β Δ i i = 0 , Δ β Δ i i = δ i , (42)

where δi, is zero unless Δii lies on the boundary of S (i.e., the allowed set of CFT data). The derivative conditions are necessary for positivity of the functional in the vicinity of its zeros. It follows that at the boundary of the allowed region, the functional action can be simply plotted and its zeros determined to obtain a spectrum that solves the truncated crossing equations. Increasing the size of the truncation causes the spectrum to slowly stabilize, starting from operators with small scaling dimension. If a certain CFT of interest sits at the boundary of the allowed region, this method provides a way of obtaining a large set of the corresponding CFT data.

3.1.4 Algorithms

Solving the optimization procedures outlined here may actually be more complex than implied. One of the issues is that the number of constraints involved in these problems is actually continuously infinite. This problem has been dealt with in various ways.

The most obvious solution, and the first to have been considered, is to simply discretize the set S. Considering a large grid of Δ reduces the number of constraints to a finite set. Whether refining the grid leads to any changes in the result can be checked a posteriori.

A second solution is to approximate the crossing vectors and their derivatives as rational functions of Δ involving polynomials of some sufficiently large rank R. In this case, it is possible to recast positivity of the functional action for all Δ as a positive semidefiniteness problem on a large matrix (whose rank depends on the degree R). Notice this is not the same positive semidefinitess that arises in the feasibility problem involving multiple correlation functions, because these still have a continuously infinite set of constraints.

Finally, it is possible to implement versions of standard algorithms such as the Simplex Method adapted to a continous set of constraints. The key point in these algorithms is to have a sufficiently efficient way of searching for local and global minima of a functional action during the optimization procedure.

A very important peculiarity of the bootstrap problem is that owing to the exponentially fast convergence of the OPE, obtaining robust solutions of the optimization problems requires usage of arbitrary precision algorithms. At the time of writing this has led to two custom-made public codes for the conformal bootstrap (Landry & Simmons-Duffin, 2019; Paulos, 2014; Simmons-Duffin, 2015).

3.2 Bootstrapping the 3D Ising Model

Perhaps the most famous application of numerical bootstrap methods has been to determine the properties of the 3D Ising CFT. This is the CFT that is believed to describe the critical point of the Ising model on a 3D cubic lattice (Delamotte et al., 2016; Meneses et al., 2019). This lies in the same universality class as binary mixtures, the opalescence point in fluids, the Curie transition in uniaxial ferromagnets, and many others.

The Ising model is a simple model for a ferromagnet and consists of a d-dimensional lattice of (classical) spins with nearest neighbor interactions, with Hamiltonian:

H = J T i j σ i σ j , σ i = ± 1 (43)

For d>1 this model has a phase transition at a finite critical temperature Tc. The spin-spin correlator typically decays exponentially with some length scale, called the correlation length ξ. But, at the critical temperature ξ diverges:

ξ T T T c ν (44)

and the spin-spin correlator now becomes a power law

σσ 1 x y d 2 + η , T = T c . (45)

The low-lying operators in the Ising CFT are then σ, the spin field, which couples to the external magnetic fields, and the energy operator ε, which couples to temperature. One way to define the 3D Ising CFT is as the hypothetically unique 3D CFT with a Z2 symmetry and two relevant operators (relevant operators correspond to the knobs an experimentalist has to tune to reach the critical point, in this case temperature and magnetic field in the case of a ferromagnet). The 3D Ising model is easily simulated using Monte-Carlo algorithms, showing a second-order phase transition at some critical temperature. It is then possible to measure the scaling dimensions Δσ,Δε, for example, Hasenbusch (2010), which are related to the critical exponents by

Δ σ = d 2 + η 2 , Δ ε = d 1 ν . (46)

What can the conformal bootstrap say about this theory? Consider the four-point function of an operator, denoted σ. Its scaling dimension is unknown. Its OPE is assumed to take the form

σ × σ = 1 + ε + (47)

In other words, σ is said not to appear in its own OPE, which is the same as saying that there is a Z2 symmetry under which σ is odd, and the first scalar and Z2-even operator in the OPE is called ε, whose dimension is also unknown. The scaling dimension of ε cannot be arbitrarily large: there is a maximal allowed gap which can be found by constructing suitable functionals. The bound is obtained by expanding the crossing equation to some high order in derivatives and constructing suitable functionals numerically. Beyond some expansion order there is no visible change in the bound.

Figure 6. Bounds on the scaling dimension of the first scalar operator in the OPE σ×σ. On the left, 2D CFTs. The bound shows a kink at ΔσΔε=1/81, corresponding to the known dimensions of the 2D Ising model. On the right the bound for 3D CFTs. There is again a kink, this time around ΔσΔε=0.518,1.413.

Figure 6 shows this maximal allowed gap as a function of the dimension of the field σ for 2D (Rattazzi et al., 2008; Rychkov & Vichi, 2009) and 3D CFTs (El-Showk et al., 2012, 2014a). (Note that the bootstrap methods are essentially agnostic about space-time dimension: the only difference lies in the computation of conformal blocks, which can be done for any desired value of dimension, even fractional (El-Showk et al., 2014b).) Both plots have a visible “kink” or inflection point. A major clue to the significance of this point is given by the fact that, in 2D, this kink occurs very accurately for

Δ σ 1 8 = Δ σ 2 D Ising , Δ ε 1 = Δ ε 2 D Ising . (48)

In other words, the kink seems to match with the known scaling dimensions of the 2D Ising CFT. This CFT describes the critical point of the 2D Ising model and can be solved analytically. The natural conjecture then is that the kink appearing in the bound for 3D CFTs corresponds to the 3D Ising model. This is corroborated by the fact that it closely coincides with Monte Carlo determinations of these quantities (Hasenbusch, 2010).

This result includes only the constraints arising from the crossing equation for the four-point function σσσσ. It seems natural, however, to also include those constraints arising from correlation functions involving the field ε. In doing so assumptions consistent with what is known about the 3D Ising CFT can be made, namely that σ and ε should be the only two relevant operators in the theory. The OPEs take the form

σ × σ = 1 + ε + ε × ε = 1 + ε + σ × ε = σ + (49)

Under these assumptions, the feasibility problem can be solved by setting appropriate gaps in each OPE. The results of the feasibility problem are shown in Figure 7.

Figure 7. Left: bounds on the allowed values of scaling dimensions of the first scalar operator ε in the OPE σ×σ. Right: bounds on scaling dimension of the ON fundamental field ϕi and the leading singlet s for various values of N.

Source: Figure reproduced from Kos et al. (2016).

Strikingly, the allowed region has shrunk to a very small “island” (there is also a “mainland” further to the right which is not shown) (Kos et al., 2014, 2016). This means that the OPEs described previously are consistent with crossing symmetry and unitarity only if Δσ and Δε lie inside this tiny region. This region is compatible with, and significantly improves on, Monte Carlo determinations of the critical exponents. At the time of writing, the best determinations for these come from the bootstrap and give

Δ σ 3 d Ising = 0.518149 10 , Δ ε 3 d Ising = 1.412625 10 (50)

Because the Ising CFT saturates a bound, it is possible to use the extremal functional method to obtain the corresponding CFT data. This has been used to obtain detailed determinations of the 3D Ising spectrum, including scaling dimensions of around 100 operators and their OPE coefficients to high accuracy (Simmons-Duffin, 2017).

There is a similar version of this story for ON models. In this case the correlators of the fundamental charged field and eventually the lowest-lying singlet and antisymmetric tensor operators are bootstrapped. It is then possible to arrive at a picture containing an “archipelago” of isolated points corresponding to critical ON models for varying N (Chester et al., 2020a, 2020b; Kos et al., 2015, 2016).

4. Analytic Methods

This section describes some analytic methods for studying the consequences of crossing symmetry. This study is made difficult by the lack of non-perturbatively defined, exactly solvable CFTs in space-time dimension d>2. However, there is one very special case. This CFT is the generalized free field theory (El-Showk & Papadodimas, 2012). Its correlation functions can all be obtained from Wick contractions of an elementary field ϕ, as in free theory, but with a non-trivial scaling dimension Δϕd22. For instance, the four-point function can be written:

ϕ x 1 ϕ x 2 ϕ x 3 ϕ x 4 = 1 x 12 2 Δ ϕ x 34 2 Δ ϕ + 1 x 14 2 Δ ϕ x 23 2 Δ ϕ + 1 x 13 2 Δ ϕ x 24 2 Δ ϕ (51)

or using the OPE:

G z z ¯ = 1 z z ¯ Δ ϕ + 1 1 z 1 z ¯ Δ ϕ + 1 = G 0 z z ¯ + n = 0 = 0,2,4 , a n , G Δ n , , z z ¯ (52)

with Δn,=2Δϕ+2n+ and known coefficient an,. Because finding any solution to crossing at all is non-trivial, it can well be speculated whether knowledge of this particular solution can help in constraining others. For instance, it is expected that, “on average,” the spectra of CFTs at high scaling and dimension and spin should be rather similar and indeed perhaps similar to the prior solution. The methods described here are in a sense a way of making this idea precise.

4.1 Lightcone Bootstrap and the Inversion Formula

The crossing equation lends itself to an analysis in the lightcone limit. This is a limit that must be taken after continuation to Lorentzian signature. At the level of the four-point function this amounts to considering the cross-ratios z,z¯ to be real and independent variables (instead of complex conjugate as in the Euclidean section). The lightcone limit is then z0. In this limit operators become null separated, so that, for example, x1220 but x1μx2μ does not. The OPE is then dominated by operators with low twist, defined as τΔ. Indeed, in this limit conformal blocks can be approximated as

G Δ , z z ¯ z 0 z τ 2 k Δ + 2 z ¯ . (53)

Because of the unitarity bound, τd2 for 1, which implies that for d>2 the lowest twist operator is always the identity. In the lightcone limit, taking also z¯1

G z z ¯ = G 1 z 1 z ¯ 1 z Δ ϕ = 0 , 2 , λ Δ , 2 1 z ¯ τ 2 Δ ϕ 2 k Δ + 2 1 z + (54)

The point now is that the kβ1z diverges logarithmically as z0. Hence, to reproduce the power-law divergence on the left-hand side requires an infinite number of operators with increasingly large spins, and twists tending to τ2Δϕ. The leading correction to this result comes from including the subleading twist operator (with twist τ0) on the left-hand side, which gives a term with log1z¯. This can be reproduced on the right-hand side by including a small anomalous dimension for the tower of operators at large spin of the form

τ 2 Δ ϕ + γ τ 0 (55)

Starting from Fitzpatrick et al. (2013) and Komargodski and Zhiboedov (2013), this sort of argument was refined and generalized to study conformal correlators in perturbation theory analytically without resorting to Lagrangian methods in a variety of contexts (Alday, 2017a, 2017b; Alday & Bissi, 2017; Alday & Zhiboedov, 2017; Alday et al., 2015a, 2015b, 2018, 2020; Kaviraj et al., 2015a, 2015b). This line of reasoning culminated in the discovery of the Lorentzian inversion formula (Caron-Huot, 2017) (see also Simmons-Duffin et al., 2018). This formula establishes analyticity of the OPE data in spin, so that operators in a CFT correlator lie in analytic curves in complex angular momentum known as Regge trajectories, in analogy with particle physics.

The understanding of this formula begins with the Euclidean inversion formula. This is merely the decomposition of a CFT correlator into a complete basis of eigenfunctions ΨΔ,J of the conformal Casimir:

G z z ¯ = = 0 d 2 i d 2 + i C Δ J Ψ Δ , J z z ¯ (56)

The OPE function CΔ,J has poles in Δ at the position of primaries in the correlator, so that closing the contour on the right yields the usual conformal block decomposition (up to several subtleties not discussed here). The formula may be inverted as

C Δ J = d 2 z G z z ¯ Ψ Δ , J z z ¯ N Δ , J (57)

with NΔ,J some known normalization factor. This formula makes sense only for J integer, because otherwise the eigenfunctions ΨΔ,J are not single-valued. The trick now is to deform the contour of integration to Lorentzian kinematics, so that the analytic continuation to complex J is possible. The result is the Lorentzian inversion formula:

C Δ J = 0 1 d z 0 1 d z ¯ G J , Δ z z ¯ dDisc G z z ¯ . (58)

The important point is that this formula holds for general complex J as long as ReJ>1. This means that the poles of CΔJ, which give information on operators in the correlator, lie in families analytic in spin, as promised:

C Δ J R Δ , J Δ τ k J (59)

where τkJ is the twist of the k-th Regge trajectory.

The formula is defined in terms of the double discontinuity of the correlation function, which in the CFT context plays the role of the imaginary part of the scattering amplitude in ordinary QFT. It is essentially given by the difference between the correlator in Euclidean kinematics and its analytic continuation to a regime where operators are pairwise timelike separated. Using the OPE gives, for instance

dDisc G z z ¯ = Δ , λ Δ , 2 sin 2 π 2 Δ 2 Δ ϕ G Δ , z z ¯ . (60)

The sine-squared factor annihilates the spectrum of generalized free theory. This means that the inversion formula is very useful when considering weakly coupled CFT, because it can be used to derive the CFT data order by order in perturbation theory. This is completely analogous to similar methods in scattering amplitudes, where unitarity relates lower loop results to higher loops.

4.2 Analytic Functionals, Dispersive Sum Rules, and the Polyakov Bootstrap

The numerical bootstrap methods were based on applying a finite dimensional set of functionals to the crossing equation. The action of each such functional leads to a sum rule on the OPE data:

ω Δ , λ Δ , 2 F Δ , z z ¯ = Δ , λ Δ , 2 ω Δ = 0 . (61)

An exact solution to crossing such as the generalized free-field example is known to have to satisfy any such sum rule. However, this is quite non-trivial to check for the usual functionals given by derivatives or point-wise evaluation. It could well be wondered whether special functionals can be concocted that would make it obvious that the generalized free field is a solution.

Such functionals do exist. They were first constructed in a simplified setting in the absence of spin, that is, for d=1 CFTs (Mazac, 2017, 2019; Mazáč & Paulos, 2019a, 2019b; Paulos, 2020a). For higher dimensional CFTs there are also proposed basis of functionals with this property. (Carmi & Caron-Huot, 2020; Caron-Huot et al., 2021; Gopakumar et al., 2021; Mazáč et al., 2019; Penedones et al., 2020; Sinha & Zahed, 2021).

The result is that there exist functionals αn,J,βn,J that, essentially, satisfy the duality conditions

α n , J Δ m , = δ n , m δ J , , Δ α n , J Δ m , = 0 β n , J Δ m , = 0 , Δ β n , J Δ m , = δ n , m δ J , . (62)

Furthermore, such bases of functionals are complete, in that they fully capture all constraints encoded in the crossing equation. The duality conditions imply the functionals will have double zeros at the position of generalized free-field operators. The sum rules associated to such functionals are called dispersive. In fact, such sum rules basically amount to the double discontinuity of the CFT correlator convolved with an appropriate kernel, and completeness can be translated into applicability of the Lorentzian inversion formula to any CFT.

The sum rules implied by these functionals are

Δ , λ Δ , 2 α n , J Δ = 0 , Δ , λ Δ , 2 β n , J Δ = 0 . (63)

These equations are a reformulation of the constraints of crossing symmetry, and therefore must hold for any CFT. As promised, the sum rules implied by these functionals are essentially trivially solved by the generalized free-field solution:

β n , J 0 = 0 , α n , J 0 = a n , J (64)

where these are the same coefficients as in (52).

The fact that β functionals annihilate the identity has to be checked, whereas the second set of equations amounts to a determination of what the OPE data should be. Of course it agrees with a direct determination of this data by other methods.

The formulation of the crossing constraints in terms of such functionals has many advantages. They immediately lead to strong exact and sometimes optimal bounds on the CFT data (they are optimal because they are saturated by the generalized free-field CFT). Furthermore, since they are trivially solved by generalized free fields, in a sense these functionals already know about the correct asymptotics of any given CFT, and hence allow these asymptotics to be decoupled from the “low energy” (i.e., scaling dimension and spin) physics of interest. In practice, this means that, where it has been checked, numerical bootstrap methods seem to be vastly more efficient using such functionals than traditional derivative methods (Paulos, 2020b; Paulos & Zan, 2020).

Finally, this approach connects to an old idea of Polyakov that has been revived in recent years, namely (Dey et al., 2017; Gopakumar et al., 2017a, 2017b; Gopakumar & Sinha, 2018; Mazáč & Paulos, 2019b; Polyakov, 1974; Sen & Sinha, 2016; Sinha & Zahed, 2021), the conformal block expansion for a correlator manifests the OPE and unitarity. However, it obscures crossing. Can an expansion be found that does the reverse, such that crossing is manifest? It turns out this is possible. Any CFT correlator admits an expansion of the form:

G z z ¯ = Δ , λ Δ , 2 G Δ , z z ¯ = Δ , λ Δ , 2 P Δ , z z ¯ , (65)

where the Polyakov blocks PΔ, are crossing symmetric functions. They themselves admit an OPE expansion of the form

P Δ,l (z, z ¯ )= G Δ,l (z, z ¯ ) n,J [ c n,J (Δ,l) G Δ n,J ,J (z, z ¯ )+ d n,J (Δ,l) Δ G Δ n,J ,J (z, z ¯ )] (66)

The “Polyakov bootstrap” then amounts to replacing the constraints of crossing symmetry, which are automatic in (65), by those of validity of the OPE, which can work only if the “fictitious” operators present in each Polyakov block drop out in the sum over states

Δ , λ Δ , 2 c n , J Δ = 0 , Δ , λ Δ , 2 d n , J Δ = 0 . (67)

The resemblance to (63) is not accidental. In fact, it is possible to show that in order for the Polyakov bootstrap to be well-defined, cn,J,dn,J must be directly related to the functional actions αn,J and βn,J.

5. Outlook

This article offers a brief glimpse into the conformal bootstrap. This field is essentially a set of analytic, numerical, and computational tools to extract information from crossing equations. There are a number of obstacles to be overcome. First, kinematics must be understood: writing down the relevant set of independent crossing equations and the allowed sets of exchanged operators, which can be non-trivial when considering correlation functions with spinning fields, and/or of fields charged under a global symmetry. The relevant conformal blocks appearing in these equations must then be computed efficiently for numerical applications. Finally, the crossing equations themselves do not yield their constraints on the CFT data easily, and it is important to define efficient functional bases for doing so. There exists room for progress in all these fronts.

The bootstrap results show that crossing symmetry and positivity, from unitarity, are very powerful constraints on the CFT data. In two dimensions, it is known that these constraints are not sufficient: modular invariance, which equates the theory defined on equivalent torii, provides further constraints. Similar constraints also exist in higher dimensions, but unlike in two dimensions, it is hard to formulate them as conditions on the CFT data. In general, there could be other consistency conditions from placing CFTs on other manifolds, and understanding these is an open problem.

The bootstrap methods have mostly been applied to constrain correlation functions of local CFT operators. However, the bootstrap philosophy can also be applied in other contexts. An important set of examples are given by 2D CFT partition functions, obtained by placing the theory on the torus. The partition functions depend on the modulus of the torus and must be modular invariant, that is, invariant under transformations that lead the torus unchanged. This leads to an equation very similar to the one analyzed here, with characters of the Virasoro algebra replacing conformal blocks, and degeneracies of states replacing OPE coefficients; it is possible to obtain bounds on these quantities using bootstrap techniques (Hellerman, 2011). Crossing equations have also been written down for CFTs in the presence of defects, interfaces, and at finite temperature, for example (Billò et al., 2016; Gliozzi et al., 2015; Iliesiu et al., 2018; Liendo et al., 2013). The common difficulty with all these cases is lack of positivity in the OPE. Different methods are required to make progress, but what those are is not yet clear at the time of writing. See, however, Gliozzi (2013) and El-Showk and Paulos (2018) for some possibilities.

Further Reading

  • Chester, S. Weizmann lectures on the numerical conformal bootstrap. [arXiv:1907.05147]
  • Di Francesco, P., Mathieu, P., & Senechal, D. (1997). Conformal field theory. Springer-Verlag.
  • Poland, D., Rychkov, S., & Vichi, A. (2019). The conformal bootstrap: Theory, numerical techniques and applications. Rev. Mod. Phys., 91, 015002. [arXiv:1805.04405]
  • Rychkov, S. EPFL lectures on conformal field theory in D3. [arXiv:1601.05000]
  • Simmons-Duffin, D. The conformal bootstrap. [arXiv:1602.07982]

References

  • Aharony, O., Gubser, S. S., Maldacena, J. M., Ooguri, H., & Oz, Y. (2000). Large N field theories, string theory and gravity. Physics Reports, 323, 183–386.
  • Alday, L. F. (2017a). Large spin perturbation theory for conformal field theories. Physical Review Letters, 119(11), 111601.
  • Alday, L. F. (2017b). Solving CFTs with weakly broken higher spin symmetry. Journal of High Energy Physics, 2017(10), 161.
  • Alday, L. F., & Bissi, A. (2017). Crossing symmetry and higher spin towers. Journal of High Energy Physics, 2017(12), 118.
  • Alday, L. F., Bissi, A., & Lukowski, T. (2015a). Lessons from crossing symmetry at large N. Journal of High Energy Physics, 2015(6), 074.
  • Alday, L. F., Bissi, A., & Lukowski, T. (2015b). Large spin systematics in CFT. Journal of High Energy Physics, 2015(11), 101.
  • Alday, L. F., Henriksson, J., & van Loon, M. (2018). Taming the ε-expansion with large spin perturbation theory. Journal of High Energy Physics, 2018(7), 131.
  • Alday, L. F., Henriksson, J., & van Loon, M. (2020). An alternative to diagrams for the critical O(N) model: Dimensions and structure constants to order 1/N2. Journal of High Energy Physics, 2020(1), 063.
  • Alday, L. F., & Zhiboedov, A. (2016). Conformal bootstrap with slightly broken higher spin symmetry. Journal of High Energy Physics, 2016(6), 091.
  • Alday, L. F., & Zhiboedov, A. (2017). An algebraic approach to the analytic bootstrap. Journal of High Energy Physics, 2017(4), 157.
  • Alizadeh, F. (1993). Interior point methods in semidefinite programming with applications to combinatorial optimization. SIAM Journal on Optimization, 5(1), 13–51.
  • Belavin, A. A., Polyakov, A. M., & Zamolodchikov, A. B. (1984). Infinite conformal symmetry in two-dimensional quantum field theory. Nuclear Physics B, 241, 333–380.
  • Billò, M., Gonçalves, V., Lauria, E., & Meineri, M. (2016). Defects in conformal field theory. Journal of High Energy Physics, 2016(4), 091.
  • Carmi, D., & Caron-Huot, S. (2020). A conformal dispersion relation: Correlations from absorption. Journal of High Energy Physics, 2020(9), 009.
  • Caron-Huot, S. (2017). Analyticity in spin in conformal theories. Journal of High Energy Physics, 2017(9), 078.
  • Caron-Huot, S., Mazáč , D., Rastelli, L., & Simmons-Duffin, D. (2021). Dispersive CFT sum rules. Journal of High Energy Physics, 2021(5), 243.
  • Chester, S. M., Landry, W., Liu, J., Poland, D., Simmons-Duffin, D., Su, N., & Vichi, A. (2020a). Carving out OPE space and precise O(2) model critical exponents. Journal of High Energy Physics, 2020(6), 142.
  • Chester, S. M., Landry, W., Liu, J., Poland, D., Simmons-Duffin, D., Su, N., & Vichi, A. (2020b). Bootstrapping Heisenberg magnets and their cubic instability. Physical Review D, 104(10), 105013.
  • Costa, M. S., Penedones, J., Poland, D., & Rychkov, S. (2011). Spinning conformal blocks. Journal of High Energy Physics, 2011(11), 154.
  • Delamotte, B., Tissier, M., & Wschebor, N. (2016). Scale invariance implies conformal invariance for the three-dimensional Ising model. Physical Review E, 93(1), 012144. [arXiv:1501.01776].
  • Dey, P., Kaviraj, A., & Sinha, A. (2017). Mellin space bootstrap for global symmetry. Journal of High Energy Physics, 2017(7), 019.
  • Di Francesco, P., Mathieu, P., & Senechal, D. (1997). Conformal field theory. Graduate Texts in Contemporary Physics. Springer-Verlag.
  • Dolan, F. A., & Osborn, H. (2001). Conformal four-point functions and the operator product expansion. Nuclear Physics B, 599, 459–496.
  • Dolan, F. A., & Osborn, H. (2004). Conformal partial waves and the operator product expansion. Nuclear Physics B, 678, 491–507.
  • Dolan, F. A., & Osborn, H. (2012). Conformal partial waves: Further mathematical results.
  • Dymarsky, A., Farnsworth, K., Komargodski, Z., Luty, M. A., & Prilepina, V. (2016). Scale invariance, conformality, and generalized free fields. Journal of High Energy Physics, 2016(2), 099.
  • Dymarsky, A., Komargodski, Z., Schwimmer, A., & Theisen, S. (2015). On scale and conformal invariance in four dimensions. Journal of High Energy Physics, 2015(10), 171.
  • El-Showk, S., & Papadodimas, K. (2012). Emergent spacetime and holographic CFTs. Journal of High Energy Physics, 2012(10), 106.
  • El-Showk, S., & Paulos, M. F. (2013). Bootstrapping conformal field theories with the extremal functional method. Physical Review Letters, 111(24), 241601.
  • El-Showk, S., & Paulos, M. F. (2018). Extremal bootstrapping: Go with the flow. Journal of High Energy Physics, 2018(3), 148.
  • El-Showk, S., Paulos, M. F., Poland, D., Rychkov, S., Simmons-Duffin, D., & Vichi, A. (2012). Solving the 3D Ising model with the conformal bootstrap. Physical Review D, 86, 025022.
  • El-Showk, S., Paulos, M. F., Poland, D., Rychkov, S., Simmons-Duffin, D., & Vichi, A. (2014a). Solving the 3d Ising model with the conformal bootstrap: II. c-minimization and precise critical exponents. Journal of Statistical Physics, 157, 869.
  • El-Showk, S., Paulos, M. F., Poland, D., Rychkov, S., Simmons-Duffin, D., & Vichi, A. (2014b). Conformal field theories in fractional dimensions. Physical Review Letters, 112, 141601.
  • Ferrara, S., Gatto, R., & Grillo, A. F. (1975). Properties of partial wave amplitudes in conformal invariant field theories. Nuovo Cimento A, 26, 226.
  • Ferrara, S., Grillo, A. F., & Gatto, R. (1971). Manifestly conformal covariant operator-product expansion. Lett. Nuovo Cimento, 2(26), 1363–1369.
  • Ferrara, S., Grillo, A. F., & Gatto, R. (1973). Tensor representations of conformal algebra and conformally covariant operator product expansion. Annals of Physics, 76, 161–188.
  • Ferrara, S., Grillo, A. F., Gatto, R., & Parisi, G. (1974). Analyticity properties and asymptotic expansions of conformal covariant green’s functions. Nuovo Cimento A, 19, 667–695.
  • Ferrara, S., Grillo, A. F., Parisi, G., & Gatto, R. (1972). Covariant expansion of the conformal four-point function. Nuclear Physics B, 49, 77–98. [Erratum: (1973). Nuclear Physics B, 53, 643–643].
  • Fitzpatrick, A. L., Kaplan, J., Poland, D., & Simmons-Duffin, D. (2013). The analytic bootstrap and AdS superhorizon locality. Journal of High Energy Physics, 2013(12), 004.
  • Gliozzi, F. (2013). More constraining conformal bootstrap. Physical Review Letters, 111, 161602.
  • Gliozzi, F., Liendo, P., Meineri, M., & Rago, A. (2015). Boundary and interface CFTs from the conformal bootstrap. Journal of High Energy Physics, 2015(5), 036.
  • Gopakumar, R., Kaviraj, A., Sen, K., & Sinha, A. (2017a). Conformal bootstrap in Mellin space. Physical Review Letters, 118(8), 081601.
  • Gopakumar, R., Kaviraj, A., Sen, K., & Sinha, A. (2017b). A Mellin space approach to the conformal bootstrap. Journal of High Energy Physics, 2017(5), 027.
  • Gopakumar, R., & Sinha, A. (2018). On the Polyakov-Mellin bootstrap. Journal of High Energy Physics, 2018(12), 040. [arXiv:1809.10975].
  • Gopakumar, R., Sinha, A., & Zahed, A. (2021). Crossing symmetric dispersion relations for Mellin amplitudes. Physical Review Letters, 126(21), 211602.
  • Hasenbusch, M. (2010). Finite size scaling study of lattice models in the three-dimensional Ising universality class. Physical Review B, 82.
  • Hellerman, A. (2011). A universal inequality for CFT and quantum gravity. Journal of High Energy Physics, 2011(8), 130.
  • Hettich, R., & Kortanek, K. O. (1993). Semi-infinite programming: Theory, methods, and applications. SIAM Review, 35(3), 380–429.
  • Iliesiu, L., Koloğlu, M., Mahajan, R., Perlmutter, E., & Simmons-Duffin, D. (2018). The conformal bootstrap at finite temperature. Journal of High Energy Physics, 2018(10), 070.
  • Isachenkov, M., & Schomerus, V. (2016). Superintegrability of d-dimensional conformal blocks. Physical Review Letters, 117(7), 071602.
  • Kastrup, H. A. (2008). On the advancements of conformal transformations and their associated symmetries in geometry and theoretical physics. Annals of Physics, 17, 631–690.
  • Kaviraj, A., Sen, K., & Sinha, A. (2015a). Analytic bootstrap at large spin. Journal of High Energy Physics, 2015(11), 083.
  • Kaviraj, A., Sen, K., & Sinha, A. (2015b). Universal anomalous dimensions at large spin and large twist. Journal of High Energy Physics, 2015(7), 026.
  • Komargodski, Z., & Zhiboedov, A. (2013). Convexity and liberation at large spin. Journal of High Energy Physics, 2013(11), 140.
  • Kos, F., Poland, D., & Simmons-Duffin, D. (2014). Bootstrapping mixed correlators in the 3D Ising model. Journal of High Energy Physics, 2014(11), 109.
  • Kos, F., Poland, D., Simmons-Duffin, D., & Vichi, A. (2015). Bootstrapping the O(N) archipelago. Journal of High Energy Physics, 2015(11), 106.
  • Kos, F., Poland, D., Simmons-Duffin, D., & Vichi, A. (2016). Precision islands in the Ising and O(N) models. Journal of High Energy Physics, 2016(8), 036.
  • Landry, W., & Simmons-Duffin, D. (2019). Scaling the semidefinite program solver SDPB.
  • Liendo, P., Rastelli, L., & van Rees, B. C. (2013). The bootstrap program for boundary CFTd. Journal of High Energy Physics, 2013(7), 113.
  • Lopez, M., & Still, G. (2007). Semi-infinite programming. European Journal of Operational Research, 180(2), 491–518.
  • Mack, G., & Salam, A. (1969). Finite component field representations of the conformal group. Annals of Physics, 53, 174–202.
  • Maldacena, J. M. (1998). The Large N limit of superconformal field theories and supergravity. Advances in Theoretical and Mathematical Physics, 2, 231–252.
  • Mazáč , D. (2017). Analytic bounds and emergence of AdS2 physics from the conformal bootstrap. Journal of High Energy Physics, 2017(4), 146.
  • Mazáč, D. (2019). A crossing-symmetric OPE inversion formula. Journal of High Energy Physics, 2019(6), 082. [arXiv:1812.02254].
  • Mazáč , D., & Paulos, M. F. (2019a). The analytic functional bootstrap: Part I. 1D CFTs and 2D S-matrices. Journal of High Energy Physics, 2019(2), 162.
  • Mazáč , D., & Paulos, M. F. (2019b). The analytic functional bootstrap: Part II. Natural bases for the crossing equation. Journal of High Energy Physics, 2019(2), 163.
  • Mazáč, D., Rastelli, L., & Zhou, X. (2019). A basis of analytic functionals for CFTs in general dimension.
  • Meneses, S. A., Penedones, J. A., Rychkov, S., Viana Parente Lopes, J. M., & Yvernay, P. (2019). A structural test for the conformal invariance of the critical 3D Ising model. Journal of High Energy Physics, 2019(4), 115.
  • Pappadopulo, D., Rychkov, S., Espin, J., & Rattazzi, R. (2012). OPE convergence in conformal field theory. Physical Review D, 86, 105043.
  • Paulos, M. F. (2014). JuliBootS: A hands-on guide to the conformal bootstrap.
  • Paulos, M. F. (2020a). Dispersion relations and exact bounds on CFT correlators.
  • Paulos, M. F. (2020b). Analytic functional bootstrap for CFTs in d > 1. Journal of High Energy Physics, 2020(4), 093. [arXiv:1910.08563].
  • Paulos, M. F., & Zan, B. (2020). A functional approach to the numerical conformal bootstrap. Journal of High Energy Physics, 2020(9), 006.
  • Penedones, J., Silva, J. A., & Zhiboedov, A. (2020). Nonperturbative Mellin amplitudes: Existence, properties, applications. Journal of High Energy Physics, 2020(8), 031.
  • Polchinski, J. (1988). Scale and conformal invariance in quantum field theory. Nuclear Physics B, 303, 226–236.
  • Polyakov, A. M. (1970). Conformal symmetry of critical fluctuations. JETP Letters, 12, 381–383.
  • Polyakov, A. M. (1974). Non Hamiltonian approach to conformal quantum field theory. Zhurnal Eksperimentalnoi i Teoreticheskoi Fiziki, 66, 23–42.
  • Rattazzi, R., Rychkov, V. S., Tonni, E., & Vichi, A. (2008). Bounding scalar operator dimensions in 4D CFT. Journal of High Energy Physics, 2008(12), 031. [arXiv:0807.0004].
  • Rattazzi, R., Rychkov, S., & Vichi, A. (2011). Central charge bounds in 4D conformal field theory. Physical Review D, 83(4), 046011.
  • Reemtsen, R., & Rückmann, J. J. (1998). Semi-infinite programming (Vol. 25). Springer Science & Business Media.
  • Rychkov, V. S., & Vichi, A. (2009). Universal constraints on conformal operator dimensions. Physical Review D, 80, 045006.
  • Sen, K., & Sinha, A. (2016). On critical exponents without Feynman diagrams. Journal of Physics A, 49(44), 445401.
  • Simmons-Duffin, D. (2015). A semidefinite program solver for the conformal bootstrap. Journal of High Energy Physics, 2015(6), 174.
  • Simmons-Duffin, D. (2017). The lightcone bootstrap and the spectrum of the 3D Ising CFT. Journal of High Energy Physics, 2017(3), 086.
  • Simmons-Duffin, D., Stanford, D., & Witten, E. (2018). A spacetime derivation of the Lorentzian OPE inversion formula. Journal of High Energy Physics, 2018(7), 085.
  • Sinha, A., & Zahed, A. (2021). Crossing symmetric dispersion relations in quantum field theories. Physical Review Letters, 126(18), 181601.
  • Zamolodchikov, A. B. (1984). Conformal symmetry in two dimensions: An explicit recurrence formula for the conformal partial wave amplitude. Communications in Mathematical Physics, 96, 419–422.
  • Zamolodchikov, A. B. (1986). Irreversibility of the flux of the renormalization group in a 2D field theory. JETP Letters, 43, 730–732.