Distributions in CFT II. Minkowski Space Petr Kravchuka, Jiaxin Qiaob;c, Slava Rychkovc;b a Institute for Advanced Study, Princeton, New Jersey 08540, U.S.A. b Laboratoire de Physique de l'Ecole normale sup´erieure,ENS, Universit´ePSL, CNRS, Sorbonne Universit´e,Universit´ede Paris, F-75005 Paris, France c Institut des Hautes Etudes´ Scientifiques, 91440 Bures-sur-Yvette, France I wanted to learn about elementary particles by studying boiling water. Alexander Polyakov [1] Abstract CFTs in Euclidean signature satisfy well-accepted rules, such as the convergent Euclidean OPE. It is nowadays common to assume that CFT correlators exist and have various properties also in Lorentzian signature. Some of these properties may represent extra assumptions, and it is an open question if they hold for familiar statistical-physics CFTs such as the critical 3d Ising model. Here we consider Wightman 4-point functions of scalar primaries in Lorentzian signature. We derive a minimal set of their properties solely from the Euclidean unitary CFT axioms, without using extra assumptions. We establish all Wightman axioms (temperedness, spectral property, local commutativity, clustering), Lorentzian conformal invariance, and distributional convergence of the s-channel Lorentzian OPE. This is done constructively, by analytically continuing the 4-point functions using the s-channel OPE arXiv:2104.02090v2 [hep-th] 27 Jul 2021 expansion in the radial cross-ratios ρ, ρ. We prove a key fact that ρ ; ρ < 1 inside the forward tube, and set bounds on how fast ρ ; ρ may tend to 1 when approachingj j thej j Minkowski space. We also provide a guidej toj j thej axiomatic QFT literature for the modern CFT audience. We review the Wightman and Osterwalder-Schrader (OS) axioms for Lorentzian and Euclidean QFTs, and the celebrated OS theorem connecting them. We also review a classic result of Mack about the distributional OPE convergence. Some of the classic arguments turn out useful in our setup. Others fall short of our needs due to Lorentzian assumptions (Mack) or unverifiable Euclidean assumptions (OS theorem). April 2021 Contents 1 Introduction 4 1.1 Executive summary of results for CFT experts . .6 2 Axioms 8 2.1 Wightman axioms . .8 2.2 Osterwalder-Schrader axioms . 11 2.3 Euclidean CFT axioms . 14 3 Euclidean CFT Osterwalder-Schrader 18 ) 3.1 OS reflection positivity . 18 3.2 Denseness and Hilbert space implications . 20 3.3 OS clustering . 21 4 Euclidean CFT Wightman: Basic strategy 22 ) 4.1 Recovering Minkowski averages from Euclidean averages . 26 5 Two- and 3-point functions 28 5.1 Comparison with the i"-prescription . 30 6 Scalar 4-point function 31 6.1 Informal introduction to basic issues . 32 6.2 Euclidean 4-point function in radial coordinates . 34 6.3 Analytic continuation . 36 6.4 Proof of z; z [1; + )...................................... 39 62 1 6.5 4-point function powerlaw bound . 40 1 6.5.1 A powerlaw bound on 1−r(c) .............................. 41 6.6 Conformal invariance . 44 6.6.1 Conformal invariance in terms of cross ratios . 46 6.6.2 Fixing points . 49 6.7 Wightman positivity . 50 6.7.1 Wightman states . 51 6.7.2 OS states for complexified times . 52 6.8 Wightman clustering . 53 6.8.1 2 + 2 split . 53 2 6.8.2 3 + 1 split . 53 6.9 Local commutativity . 55 6.9.1 Local commutativity for CFT 4-point functions . 57 6.10 Generalization to non-identical scalars . 58 7 Optimal powerlaw bound from Cauchy-Schwarz ρ, ρ inequality 60 7.1 Proof of Lemma 7.1....................................... 60 7.2 Optimal bound for ρ, ρ ...................................... 61 7.3 Proof of Theorem 7.2....................................... 62 8 OPE convergence in the forward tube and in Minkowski space 64 8.1 Convergence of conformal block decomposition for 4-point functions . 64 8.1.1 Convergence rate for compactly supported test functions . 66 8.2 OPE convergence in the sense of CFT ............................. 68 H 8.3 Comparison to Mack's work on OPE convergence . 70 8.3.1 Relating Mack's kernel B to the Euclidean OPE kernel C .............. 73 9 Review of Osterwalder-Schrader theorem 76 9.1 The argument of [2]....................................... 77 9.2 The argument of [3]....................................... 78 9.2.1 Fixing the equivalence theorem . 78 9.2.2 Wightman axioms from linear growth condition . 79 9.2.3 Analytic continuation . 81 9.2.4 Temperedness bound . 85 10 Conclusions 87 A Lorentzian CFT literature 89 A.1 Review of Hartman et al [4]................................... 93 B OS axioms for higher-point functions 97 C Details on Vladimirov's theorem 100 C.1 Limit in the sense of distributions . 100 C.2 Proof of Theorem 4.1....................................... 100 D Intuition about Lemma 4.2 104 3 1 Introduction Quantum Field Theory (QFT) can be studied via constructive or axiomatic approaches. The former use microscopic formulations, while the latter rely on axioms. There are many constructive approaches, e.g. using Hamiltonian, path integral, lattice, etc. There are also many axiomatic approaches, corresponding to various sets of axioms (Wightman [5], Osterwalder-Schrader [2,3], Haag-Kastler [6,7], etc.). Historically, axiomatic approaches played an important role in clarifying general QFT properties, but they did not have a tremendous success in making predictions about concrete theories in d > 2 dimensions.1 This started to change recently, with the revival of the bootstrap philosophy [10]. Our focus here will be on conformal field theories (CFTs) in dimension d > 2, i.e. QFTs invariant under the action of conformal group, which are nowadays studied via the conformal bootstrap. This axiomatic approach led to precise determinations of many experimentally measurable quantities, such as the critical exponents of the 3d Ising [11{15], O(N)[15{19] and other critical points (see review [20]).2 The numerical conformal bootstrap relies on the \Euclidean CFT axioms",3 which specify properties of correlation functions in any unitary CFT in Rd via a set of simple and commonly accepted rules, such as the unitarity bounds on primary operator dimensions, conformally invariant and convergent Operator Product Expansion (OPE), and reality constraints on OPE coefficients. On the other hand, correlation functions in a general unitary QFT (and in particular in a CFT) should satisfy Osterwalder-Schrader (OS) and Wightman axioms. It is then interesting and important to inquire what is the relation of Euclidean CFT axioms to these other sets of axioms.4 To carry out this analysis will be the main goal of our paper. Our main conclusion will be that the Euclidean CFT axioms imply OS axioms and Wightman axioms for 2; 3 and 4-point functions. In this paper we only consider bosonic operators. The relation of Euclidean CFT and OS axioms is perhaps not so surprising since they both deal with the Euclidean correlation functions. It is more interesting that we are able to construct Minkowski n-point functions (for n = 2; 3; 4), and show that they satisfy Wightman axioms, such as temperedness, spectral condition, and unitarity. Temperedness (being a tempered distribution) is a crucial property of Minkowski correlation functions: it shows that in a certain averaged sense they are meaningful everywhere including the light-cone and double light-cone singularities. One might be tempted to think that in CFT this question is relatively trivial due to OPE. However, as discussed in [36, 37], already for 4-point functions there exist causal configurations of points in Minkowski space, away from the null cones, for which no OPE channel is convergent in the conventional sense. We briefly discuss one such example in the conclusions (Sec. 10). A theorem of Osterwalder and Schrader [2,3] says that, under some extra assumption, OS axioms imply Wightman axioms. Unfortunately this extra assumption, the so called \linear growth condition", which involves the Euclidean n-point functions with arbitrarily high n, appears impossible to verify from the Euclidean CFT axioms (see Sec.9). For this reason we cannot appeal to the OS theorem, and we will give an independent derivation of Wightman axioms for CFT correlators. The study of distributional properties of CFT correlators started in our recent work [36]. There, we considered expansions of the CFT 4-point function g(ρ, ρ) in terms of conformally invariant cross-ratios ρ, ρ. While such expansions converge in the usual sense for ρ ; ρ < 1, in [36] we showed that they j j j j 1In d = 2 significant progress has been achieved axiomatically for massive integrable models using the S-matrix bootstrap [8] as well as for rational CFTs [9]. 2There is also an ongoing revival of the S-matrix bootstrap applicable to nonintegrable massive QFTs in d ≥ 2 [21{35]. 3The term \Euclidean bootstrap axioms" is also sometimes used. 4Clarifying the relation to the Haag-Kastler axioms appears more challenging as those axioms do not deal with correlation functions but with operator algebras. 4 also converge for ρ ; ρ = 1 in the sense of distributions. As explained in [36], results of this sort follow naturally from thej theoryj j j of functions of several complex variables (namely Vladimirov's theorem), given some apriori information about the growth of the analytically continued correlator. That key insight of [36], \Look for a powerlaw bound!", will be transported here from the cross-ratio to the position space. The readers interested in our main technical result|analytic continuation of a scalar Euclidean CFT 4-point function to the forward tube and showing that the Minkowski 4-point function is a tempered distribution|may follow the fast track: start with the executive summary in Sec. 1.1, proceed to Secs. 4 and5 (skipping 4.1 and 5.1), then continue with Secs.