Unitarity Methods in AdS/CFT
David Meltzer, Eric Perlmutter, Allic Sivaramakrishnan
TL;DR
This work develops a comprehensive AdS/CFT unitarity framework that links bulk cutting/gluing of Witten diagrams to boundary CFT unitarity data. Central to the approach is the double discontinuity, which localizes loop amplitudes to internal, physically on-shell states via cuts encoded by $\widehat{\mathbf{Cut}}$ operators, and is reconciled with the Lorentzian inversion formula to reconstruct full correlators. The authors compute explicit one-loop examples (bubble, triangle, box) and several nontrivial reducible diagrams, establishing a precise bulk–boundary dictionary that matches the algebraic holographic unitarity method of Aharony et al. and clarifies the role of multi-trace exchanges, including new poles at mass and vertex renormalization. They also initiate higher-loop and higher-point analyses (e.g., five-point tree and double-ladder), showing how the unitarity method scales recursively with the number of loops and external legs. The work provides a clear, diagrammatic, and conformally manifest path to constructing non-planar AdS/CFT correlators from planar CFT data, with potential extensions to spinning operators and stringy AdS regimes.
Abstract
We develop a systematic unitarity method for loop-level AdS scattering amplitudes, dual to non-planar CFT correlators, from both bulk and boundary perspectives. We identify cut operators acting on bulk amplitudes that put virtual lines on shell, and show how the conformal partial wave decomposition of the amplitudes may be efficiently computed by gluing lower-loop amplitudes. A central role is played by the double discontinuity of the amplitude, which has a direct relation to these cuts. We then exhibit a precise, intuitive map between the diagrammatic approach in the bulk using cutting and gluing, and the algebraic, holographic unitarity method of arXiv:1612.03891 that constructs the non-planar correlator from planar CFT data. Our analysis focuses mostly on four-point, one-loop diagrams -- we compute cuts of the scalar bubble, triangle and box, as well as some one-particle reducible diagrams -- in addition to the five-point tree and four-point double-ladder. Analogies with S-matrix unitarity methods are drawn throughout.
