We describe a new correspondence between four-dimensional conformal field theories with extended supersymmetry and two-dimensional chiral algebras. The meromorphic correlators of the chiral algebra compute correlators in a protected sector of the four-dimensional theory. Infinite chiral symmetry has far-reaching consequences for the spectral data, correlation functions, and central charges of any four-dimensional theory with ${\mathcal N}=2$ superconformal symmetry.Comment: 75 pages. v3: minor corrections. Final version -- published in Communications in Mathematical Physic

We study the constraints of crossing symmetry and unitarity for conformal field theories in the presence of a boundary, with a focus on the Ising model in various dimensions. We show that an analytic approach to the bootstrap is feasible for free-field theory and at one loop in the epsilon expansion, but more generally one has to resort to numerical methods. Using the recently developed linear programming techniques we find several interesting bounds for operator dimensions and OPE coefficients and comment on their physical relevance. We also show that the "boundary bootstrap" can be easily applied to correlation functions of tensorial operators and study the stress tensor as an example. In the appendices we present conformal block decompositions of a variety of physically interesting correlation functions.

We provide dramatic evidence that 'Mellin space' is the natural home for correlation functions in CFTs with weakly coupled bulk duals. In Mellin space, CFT correlators have poles corresponding to an OPE decomposition into 'left' and 'right' sub-correlators, in direct analogy with the factorization channels of scattering amplitudes. In the regime where these correlators can be computed by tree level Witten diagrams in AdS, we derive an explicit formula for the residues of Mellin amplitudes at the corresponding factorization poles, and we use the conformal Casimir to show that these amplitudes obey algebraic finite difference equations. By analyzing the recursive structure of our factorization formula we obtain simple diagrammatic rules for the construction of Mellin amplitudes corresponding to tree-level Witten diagrams in any bulk scalar theory. We prove the diagrammatic rules using our finite difference equations. Finally, we show that our factorization formula and our diagrammatic rules morph into the flat space S-Matrix of the bulk theory, reproducing the usual Feynman rules, when we take the flat space limit of AdS/CFT. Throughout we emphasize a deep analogy with the properties of flat space scattering amplitudes in momentum space, which suggests that the Mellin amplitude may provide a holographic definition of the flat space S-Matrix.

We present a comprehensive analysis of the prescription we recently put forward for the computation of real-time correlation functions using gauge/gravity duality. The prescription is valid for any holographic supergravity background and it naturally maps initial and final data in the bulk to initial and final states or density matrices in the field theory. We show in detail how the technique of holographic renormalization can be applied in this setting and we provide numerous illustrative examples, including the computation of time-ordered, Wightman and retarded 2-point functions in Poincaré and global coordinates, thermal correlators and higher-point functions.