Recognition: no theorem link
Conformal defects and Goldstone bosons in Anti-de Sitter space
Pith reviewed 2026-05-15 02:46 UTC · model grok-4.3
The pith
Conformal defects in Anti-de Sitter space host a displacement operator whose dimension is fixed by residual symmetry, even when the boundary theory is non-local.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the spectrum of a conformal defect in AdS contains a displacement operator of protected dimension. If the defect breaks a global symmetry, a tilt operator is likewise present. The modes these operators source in the bulk have Compton wavelength of order the AdS radius and constitute the AdS analogue of Goldstone bosons for the spontaneous breaking of the corresponding symmetries.
What carries the argument
The displacement operator, whose scaling dimension is fixed by the residual conformal symmetry of the defect.
If this is right
- The displacement operator exists for any conformal defect that breaks bulk isometries while preserving conformal invariance.
- A tilt operator appears whenever the defect also breaks a global symmetry.
- Bulk modes sourced by these operators have Compton wavelength comparable to the AdS radius.
- The same protected operators and bulk modes are present in defects of long-range models.
Where Pith is reading between the lines
- The protection mechanism may extend to defects in other maximally symmetric spaces where a residual conformal group survives.
- Correlation functions involving the displacement operator could be computed directly from the bulk geometry without reference to the non-local boundary dynamics.
- Similar protected operators might appear in higher-codimension defects if the symmetry-breaking pattern is compatible with the residual isometries.
Load-bearing premise
The defects are assumed to be conformal, with boundary conditions that break bulk isometries in a way compatible with conformal symmetry protecting operator dimensions, without further dynamical assumptions on the bulk theory.
What would settle it
An explicit calculation of the displacement-operator dimension in a concrete long-range model on the AdS boundary that yields a value different from the symmetry-protected one.
Figures
read the original abstract
We study local quantum field theories in Anti-de Sitter (AdS) space, with boundary conditions that break some of the bulk isometries. Specifically, we focus on conformal defects and we prove that their spectrum supports a displacement operator of protected dimension, despite the non-local nature of the conformal theory living at the boundary of AdS. If the defect breaks a global symmetry, a tilt operator is also present. The existence of a displacement was conjectured in arXiv:2508.08250 for Wilson loops in Yang-Mills theories in AdS. Our proof is valid in general and applies, in particular, to defects in long-range models, as we discuss in various examples. In the bulk, the modes sourced by the protected operators have Compton wavelength of order of the AdS radius: they constitute the AdS analogue of the Goldstone bosons for the spontaneous breaking of the corresponding symmetries.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies local QFTs in AdS with boundary conditions that break bulk isometries, focusing on conformal defects. It claims to prove via symmetry arguments that the defect spectrum contains a displacement operator of protected dimension, even though the boundary conformal theory is non-local. If the defect breaks a global symmetry, a tilt operator is also present. The associated bulk modes have Compton wavelength of order the AdS radius and are interpreted as the AdS analogue of Goldstone bosons. The result is stated to hold generally and is illustrated with long-range models, extending a prior conjecture for Wilson loops in AdS Yang-Mills.
Significance. If the central claim is established, the work supplies a model-independent symmetry proof for protected operators on non-local AdS boundaries and identifies the corresponding bulk modes. This generalizes earlier conjectures and applies directly to long-range theories, providing a symmetry-based classification of defect spectra without reliance on specific dynamics or fitted parameters.
major comments (2)
- [The symmetry argument for protected dimension] The central claim rests on the survival of conformal Ward identities for the stress tensor that protect the displacement operator dimension. Standard derivations of these identities invoke local conservation and tracelessness of the stress tensor on the boundary; the manuscript must show explicitly how the identities are obtained when the boundary theory is non-local, or whether extra bulk dynamical input is required to define the action of the stress tensor on the defect. This step is load-bearing for the assertion that the result holds for arbitrary long-range models.
- [Bulk modes discussion] The bulk interpretation of the modes sourced by the protected operators as AdS Goldstone bosons with Compton wavelength ~ AdS radius follows from the protected dimension. The manuscript should verify that this wavelength assignment remains valid when the boundary theory is non-local, since the usual Goldstone theorem relies on local spontaneous symmetry breaking.
minor comments (1)
- The abstract refers to 'various examples' of long-range models; a brief enumerated list in the introduction would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major points below, providing explicit clarifications from the manuscript while agreeing to add further details for non-local cases.
read point-by-point responses
-
Referee: [The symmetry argument for protected dimension] The central claim rests on the survival of conformal Ward identities for the stress tensor that protect the displacement operator dimension. Standard derivations of these identities invoke local conservation and tracelessness of the stress tensor on the boundary; the manuscript must show explicitly how the identities are obtained when the boundary theory is non-local, or whether extra bulk dynamical input is required to define the action of the stress tensor on the defect. This step is load-bearing for the assertion that the result holds for arbitrary long-range models.
Authors: The Ward identities are derived in Section 3 directly from the bulk AdS isometries acting on the holographic stress tensor, without invoking locality of the boundary theory. The stress tensor is defined via the bulk action and its variation under bulk diffeomorphisms that preserve the AdS boundary; these remain well-defined even when the boundary CFT is non-local, as in long-range models. No extra bulk dynamical input is required beyond the standard holographic dictionary. We will add an explicit subsection in the revised manuscript walking through the derivation for a generic non-local boundary operator, confirming that the protected dimension follows solely from the bulk symmetry. revision: yes
-
Referee: [Bulk modes discussion] The bulk interpretation of the modes sourced by the protected operators as AdS Goldstone bosons with Compton wavelength ~ AdS radius follows from the protected dimension. The manuscript should verify that this wavelength assignment remains valid when the boundary theory is non-local, since the usual Goldstone theorem relies on local spontaneous symmetry breaking.
Authors: The wavelength assignment follows from the AdS/CFT mass-dimension relation m^2 L_AdS^2 = Δ(Δ - d) applied to the protected Δ, which is independent of boundary locality. The bulk equations of motion are local by construction, so the Compton wavelength ~ L_AdS holds for the dual bulk field even when the boundary theory is non-local. We contrast this with the standard local Goldstone theorem in the revised Section 4, showing that the protection arises from the bulk isometry breaking rather than boundary locality. This verification is already implicit in our long-range model examples but will be made explicit. revision: partial
Circularity Check
Symmetry-based proof for protected displacement operator dimension is self-contained
full rationale
The derivation relies on general conformal symmetry arguments applied to defects in AdS that break bulk isometries, establishing the existence of a displacement operator (and tilt operator when global symmetry is broken) without reference to fitted parameters, model-specific data, or reductions to prior self-cited results. The abstract explicitly states the proof is valid in general and applies to long-range models, with no equations or steps shown that equate outputs to inputs by construction. The cited conjecture (arXiv:2508.08250) is external and not load-bearing for the new proof. This is a standard case of an independent symmetry argument with no circularity.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Conformal symmetry of the defect
- domain assumption Locality of the bulk quantum field theory
Reference graph
Works this paper leans on
-
[1]
A free theory example A simple example of a defect in a non-local CFT is obtained by coupling a generalized free field (GFF) ind dimensions to another GFF that lives on ap-dimensional linear subspace. Consider the action S= Z ddu 1 2 ϕSd 2∆ϕ ϕ+ Z dpx 1 2 ˆψS p 2∆ ˆψ ˆψ+h ϕ n ˆψm ,(34) whereu= (x a, yi) are parallel and orthogonal directions to thep-dimens...
-
[2]
The localized magnetic field in the long-range Ising model Starting from GFF, we can add an interaction term S0 = Z ddu 1 2 ϕSd 2∆ϕ ϕ+ λ 4! ϕ4 .(48) 12 If one takes ∆ ϕ = d−δ 4 , whereδis small, the interaction is weakly relevant, and it triggers a renormalization group flow to a conformal fixed point atλ ∗ ∝δ[44, 45]. One can add a line defect to this pi...
-
[3]
B. Gabai, V. Gorbenko, and J. Qiao, (2025), arXiv:2508.08250 [hep-th]
-
[4]
C. G. Callan and F. Wilczek, Nuclear Physics B340, 366 (1990)
work page 1990
-
[5]
M. F. Paulos, J. Penedones, J. Toledo, B. C. van Rees, and P. Vieira, JHEP11, 133 (2017), arXiv:1607.06109 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[6]
A Study of Quantum Field Theories in AdS at Finite Coupling
D. Carmi, L. Di Pietro, and S. Komatsu, JHEP01, 200 (2019), arXiv:1810.04185 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[7]
While for simplicity we work in Euclidean signature, nothing crucially depends on it, so we will not distin- guish between hyperbolic space and AdS
-
[8]
Coleman, Communications in Mathematical Physics 31, 259 (1973)
S. Coleman, Communications in Mathematical Physics 31, 259 (1973)
work page 1973
-
[9]
K. G. Wilson, Phys. Rev. D10, 2445 (1974)
work page 1974
-
[10]
Goldstone, Il Nuovo Cimento (1955-1965)19, 154 (1961)
J. Goldstone, Il Nuovo Cimento (1955-1965)19, 154 (1961)
work page 1955
-
[11]
D. M. McAvity and H. Osborn, Nucl. Phys. B455, 522 (1995), arXiv:cond-mat/9505127
work page internal anchor Pith review Pith/arXiv arXiv 1995
-
[12]
Defects in conformal field theory
M. Billo, V. Goncalves, E. Lauria, and M. Meineri, JHEP04, 091 (2016), arXiv:1601.02883 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[13]
A. J. Bray and M. A. Moore, Journal of Physics A: Math- ematical and General10, 1927 (1977)
work page 1927
-
[14]
C. Copetti, L. Di Pietro, Z. Ji, and S. Komatsu, Phys. Rev. Lett.133, 081601 (2024), arXiv:2312.09277 [hep- th]
-
[15]
Line defects and radiation in $\mathcal{N}=2$ theories
L. Bianchi, M. Lemos, and M. Meineri, Phys. Rev. Lett. 121, 141601 (2018), arXiv:1805.04111 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[16]
J. Padayasi, A. Krishnan, M. A. Metlitski, I. A. Gruzberg, and M. Meineri, SciPost Phys.12, 190 (2022), arXiv:2111.03071 [cond-mat.stat-mech]
-
[17]
A. Cavagli` a, N. Gromov, J. Julius, and M. Preti, JHEP 05, 164 (2022), arXiv:2203.09556 [hep-th]
-
[18]
Broken Global Symmetries and Defect Conformal Manifolds,
N. Drukker, Z. Kong, and G. Sakkas, Phys. Rev. Lett. 129, 201603 (2022), arXiv:2203.17157 [hep-th]
-
[19]
Universal constraints for conformal line defects,
B. Gabai, A. Sever, and D.-l. Zhong, Phys. Rev. D112, 065004 (2025), arXiv:2501.06900 [hep-th]
-
[20]
Consequences of symmetry-breaking on conformal defect data,
B. Girault, M. F. Paulos, and P. van Vliet, (2025), arXiv:2509.26561 [hep-th]
-
[21]
Nonlinearly Realised Defect Symmetries and Anomalies,
N. Drukker, Z. Kong, and P. Kravchuk, (2025), arXiv:2512.15913 [hep-th]
- [22]
-
[23]
Yang-Mills Flux Tube in AdS II: Effective String Theory
B. Gabai, V. Gorbenko, and B. Offertaler, (2026), arXiv:2602.16694 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[24]
T. W. Burkhardt and J. L. Cardy, Journal of Physics A: Mathematical and General20, L233 (1987)
work page 1987
-
[25]
Line defects in the 3d Ising model
M. Bill` o, M. Caselle, D. Gaiotto, F. Gliozzi, M. Meineri, and R. Pellegrini, JHEP07, 055 (2013), arXiv:1304.4110 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
- [26]
-
[27]
Qiao, Protected operators in non-local defect CFTs from AdS
J. Qiao, Protected operators in non-local defect CFTs from AdS
-
[28]
Open and Closed String Interpretation of SUSY CFT's on Branes with Boundaries
A. Karch and L. Randall, JHEP06, 063 (2001), arXiv:hep-th/0105132
work page internal anchor Pith review Pith/arXiv arXiv 2001
- [29]
-
[30]
Counting Conformal Correlators
P. Kravchuk and D. Simmons-Duffin, JHEP02, 096 (2018), arXiv:1612.08987 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[31]
Renormalization group flows in AdS and the bootstrap program,
M. Meineri, J. Penedones, and T. Spirig, JHEP07, 229 (2024), arXiv:2305.11209 [hep-th]
-
[32]
Multi-Trace Operators, Boundary Conditions, And AdS/CFT Correspondence
E. Witten, (2001), arXiv:hep-th/0112258
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[33]
D. B. Kaplan, J.-W. Lee, D. T. Son, and M. A. Stephanov, Phys. Rev. D80, 125005 (2009), arXiv:0905.4752 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[34]
This assumption also excludes primary scalars withd−∆ equal a positive even integer, which contribute marginal descendants
-
[35]
These would appear as descendants or multiply deriva- tives of a delta function in eq
We are ignoring the contribution of other operators, which might contract derivatives of the Killing vector and hence be invisible to the analysis of broken translations. These would appear as descendants or multiply deriva- tives of a delta function in eq. (2) . Since the displacement guarantees that the Ward identities are satisfied, these operators are...
-
[36]
C. Melby-Thompson and C. Schmidt-Colinet, JHEP11, 110 (2017), arXiv:1707.03418 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[37]
Defects in the long-range O(N) model,
L. Bianchi, L. S. Cardinale, and E. de Sabbata, J. Phys. A58, 335401 (2025), arXiv:2412.08697 [hep-th]
-
[38]
Spectral function of a localized fermion coupled to the Wilson-Fisher conformal field theory
A. Allais and S. Sachdev, Phys. Rev. B90, 035131 (2014), arXiv:1406.3022 [cond-mat.str-el]
work page internal anchor Pith review Pith/arXiv arXiv 2014
- [39]
-
[40]
L. Stroppiana,Protected operators on local and non-local conformal defects, Master’s thesis, Universit` a degli Studi di Torino (2026)
work page 2026
-
[41]
O. Aharony, G. Cuomo, Z. Komargodski, M. Mezei, and 16 A. Raviv-Moshe, JHEP12, 183 (2023), arXiv:2310.00045 [hep-th]
-
[42]
T. Takayanagi, Phys. Rev. Lett.107, 101602 (2011), arXiv:1105.5165 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[43]
S. Komatsu, Y. Kusuki, M. Meineri, and H. Ooguri, (2025), arXiv:2512.11045 [hep-th]
-
[44]
The double-trace interface described in section III [34] becomes topological only at the BF bound. In this case, the argument in [41] correctly predicts the existence of a marginal operator which does not need to be exactly marginal
- [45]
-
[46]
M. E. Fisher, S.-k. Ma, and B. G. Nickel, Phys. Rev. Lett.29, 917 (1972)
work page 1972
-
[47]
M. F. Paulos, S. Rychkov, B. C. van Rees, and B. Zan, Nucl. Phys. B902, 246 (2016), arXiv:1509.00008 [hep- th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[48]
D. V. Volkov, Fiz. Elem. Chast. Atom. Yadra4, 3 (1973), english translation: Sov. J. Particles Nucl. 4, no. 1, 1–17 (1973)
work page 1973
-
[49]
V. I. Ogievetsky, inProceedings of the X-th Winter School of Theoretical Physics in Karpacz, Acta Universitatis Wratislaviensis, Vol. 1 (Universitas Wratislaviensis, Wro- claw, Poland, 1974) pp. 117–141, karpacz, Poland, 19 February–4 March 1973
work page 1974
-
[50]
E. A. Ivanov and V. I. Ogievetskii, Theoretical and Math- ematical Physics25, 1050 (1975)
work page 1975
- [51]
- [52]
- [53]
-
[54]
Effective String Theory and Nonlinear Lorentz Invariance
O. Aharony and M. Dodelson, JHEP02, 008 (2012), arXiv:1111.5758 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[55]
The strict inequality follows from the fact that□ ˆOis null if ˆOis at the unitarity bound
-
[56]
Since the charge is topological, the pinching can be avoided and the result must be finite
By changing coordinates so that the defect manifoldD becomes a sphere, one can trace the issue to the pinching of the integration contour on the defect at a point on the sphere. Since the charge is topological, the pinching can be avoided and the result must be finite
-
[57]
I. M. Gel’fand and G. E. Shilov,Generalized Functions: Properties and Operations, Vol. 1 (Academic Press, New York, 1964)
work page 1964
- [58]
-
[59]
Here ∆ ϕ is a parameter of the Lagrangian, and should not be confused with the quantum conformal dimension of the operatorϕ; this is only the classical dimension, and there is a non-zero anomalous dimension (see [35] for more details)
-
[60]
The proportionality constant diverges for ∆ ϕ =p. In that case, the one-point function (56) is produced by the defect R dpxϕ(x), which is the (free limit of) the pinning field defect and has a displacement operator
-
[61]
Gimenez-Grau, (2023), arXiv:2306.11896 [hep-th]
A. Gimenez-Grau, (2023), arXiv:2306.11896 [hep-th]
-
[62]
However, the same reasoning still applies
Forq= 2, these two solutions become degenerate, and the second independent solution is a more complicated function. However, the same reasoning still applies
-
[63]
This is the same behavior one would have in flat space. In fact, the computation differs from that in flat space only by curvature corrections, which are suppressed at short distances
-
[64]
S. S. Gubser, I. R. Klebanov, and A. M. Polyakov, Phys. Lett. B428, 105 (1998), arXiv:hep-th/9802109 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[65]
Anti De Sitter Space And Holography
E. Witten, Adv. Theor. Math. Phys.2, 253 (1998), arXiv:hep-th/9802150
work page internal anchor Pith review Pith/arXiv arXiv 1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.