Shockwaves from the Operator Product Expansion
Nima Afkhami-Jeddi, Thomas Hartman, Sandipan Kundu, Amirhossein Tajdini
TL;DR
Shockwaves in AdS/CFT are shown to be dual to specific CFT states created by heavy local operators or by smeared, complexified light operators. The leading Regge OPE in the Regge limit is the bulk shockwave operator $\int du\, h_{uu}$, which either directly arises from a heavy insertion or emerges after smearing light operators, with double-trace contributions projected out. The authors connect this Regge data to boundary causality via the Engelhardt–Fischetti criterion and the chaos bound, reproducing known CFT constraints on three-point couplings and providing a unified framework for time delays, ANEC-like statements, and higher-spin consistency. The framework is extended to spinning operators, confirming that smeared OPEs purge double-trace contributions and yield gravity-consistent constraints on higher-derivative couplings, thereby strengthening the holographic dictionary for shockwaves and their CFT avatars.
Abstract
We clarify and further explore the CFT dual of shockwave geometries in Anti-de Sitter. The shockwave is dual to a CFT state produced by a heavy local operator inserted at a complex point. It can also be created by light operators, smeared over complex positions. We describe the dictionary in both cases, and compare to various calculations, old and new. In CFT, we analyze the operator product expansion in the Regge limit, and find that the leading contribution is exactly the shockwave operator, $\int du h_{uu}$, localized on a bulk geodesic. For heavy sources this is a simple consequence of conformal invariance, but for light operators it involves a smearing procedure that projects out certain double-trace contributions to the OPE. We revisit causality constraints in large-$N$ CFT from this perspective, and show that the chaos bound in CFT coincides with a bulk condition proposed by Engelhardt and Fischetti. In particular states, this reproduces known constraints on CFT 3-point couplings, and confirms some assumptions about double-trace operators made in previous work.
