pith. machine review for the scientific record. sign in

arxiv: 2602.05750 · v2 · submitted 2026-02-05 · ✦ hep-th

Recognition: no theorem link

The 2-Dimensional Dual of φ⁴ in AdS₃

Weichen Xiao , Ivo Sachs
Authors on Pith no claims yet

Pith reviewed 2026-05-16 06:56 UTC · model grok-4.3

classification ✦ hep-th
keywords AdS/CFTone-loop diagramsanomalous dimensionsdouble-trace operatorsphi^4 theoryWitten diagramsCFT2
0
0 comments X

The pith

The one-loop diagram in φ⁴ theory on AdS₃ equals an infinite sum of tree-level diagrams that yields analytic anomalous dimensions for all dual double-trace operators.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the one-loop four-point function of a conformally coupled scalar with φ⁴ interaction in three-dimensional anti-de Sitter space cannot be written with ordinary transcendental functions yet equals an infinite sum of ordinary tree-level Witten diagrams. By invoking several number-theoretic conjectures to evaluate that sum, the authors obtain recursive closed-form expressions for the anomalous dimensions of every double-trace operator in the dual two-dimensional conformal field theory. These expressions pass existing bootstrap checks in the s-channel and supply previously unknown results for the t- and u-channels.

Core claim

The one-loop diagram is not expressible in terms of known transcendental functions, but is shown to be expressible as an infinite sum of previously well-studied tree-level diagrams, and we compute this sum using several number-theoretic conjectures. This enables us to extract recursively, the analytic expressions of anomalous dimensions of all dual double-trace operators.

What carries the argument

The rewriting of the one-loop bubble diagram as an infinite sum over tree-level Witten diagrams, evaluated with number-theoretic conjectures to produce recursive formulas for anomalous dimensions.

If this is right

  • Recursive analytic expressions become available for the anomalous dimensions of every double-trace operator.
  • Consistency with bootstrap methods holds in the s-channel.
  • Explicit new expressions appear for the t- and u-channel contributions.
  • The same resummation technique applies order by order in the loop expansion.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the conjectures hold, analogous sums may convert other non-standard loop integrals in AdS/CFT into known tree-level data.
  • The results suggest that number-theoretic identities control the loop corrections in this particular duality.
  • The method offers a concrete route from perturbative holography to exact operator data in two-dimensional CFT.

Load-bearing premise

The number-theoretic conjectures used to sum the infinite series of tree-level diagrams are valid and produce the correct closed-form expressions.

What would settle it

A high-precision numerical evaluation of the one-loop integral for fixed external momenta that can be compared directly against the proposed sum of anomalous dimensions.

read the original abstract

We study the correlation functions of a conformally coupled $\phi^4$-interacting theory in AdS$_3$ and its dual CFT$_2$. The one-loop diagram is not expressible in terms of known transcendental functions, but is shown to be expressible as an infinite sum of previously well-studied tree-level diagrams, and we compute this sum using several number-theoretic conjectures. This enables us to extract recursively, the analytic expressions of anomalous dimensions of all dual double-trace operators. In the $s$-channel various consistency checks were performed against established bootstrap method, while our results in the $t$- and $u$-channel are not available in any previous literature to our knowledge.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The manuscript studies correlation functions of a conformally coupled φ⁴ theory in AdS₃ and its dual CFT₂. It shows that the one-loop diagram equals an infinite sum of known tree-level diagrams, evaluates this sum via several number-theoretic conjectures, and thereby obtains recursive analytic expressions for the anomalous dimensions of all dual double-trace operators. s-channel results are checked numerically against bootstrap methods; t- and u-channel expressions are presented as new.

Significance. If the conjectures hold exactly, the work supplies the first closed-form analytic expressions for all double-trace anomalous dimensions in this model, including previously unavailable t- and u-channel results. The reduction of a loop integral to a controllable sum of tree-level diagrams offers a potentially reusable technique for other AdS/CFT loop computations where direct closed forms are unavailable.

major comments (3)
  1. [Abstract and one-loop evaluation section] Abstract and the section deriving the one-loop sum: the central claim that the one-loop diagram equals an infinite sum of tree-level diagrams whose closed form yields exact anomalous dimensions rests on several unproven number-theoretic conjectures. No proof or exhaustive verification is supplied; the s-channel bootstrap comparisons provide only numerical agreement and cannot establish the conjectures as identities.
  2. [Recursive extraction section] Section on recursive extraction of anomalous dimensions: the recursive formulas for all double-trace operators are obtained directly from the conjectural evaluation of the sum. Any failure of the conjectures renders the entire set of closed-form expressions invalid, yet the manuscript presents them as definitive results without conditional qualification.
  3. [Consistency checks] Consistency checks paragraph: the numerical agreement with bootstrap methods is reported only up to finite order. This is insufficient to confirm the exact infinite-sum identities required for the analytic expressions, leaving a gap between the diagram-to-sum rewriting and the final formulas.
minor comments (2)
  1. [Notation] The notation for the infinite sum over tree-level diagrams should be introduced with an explicit equation number and a clear statement of the summation limits.
  2. [Figures] Figure captions for the diagram decompositions would benefit from explicit labels indicating s-, t-, and u-channel contributions.

Simulated Author's Rebuttal

3 responses · 1 unresolved

We thank the referee for the careful reading and constructive comments. We address each major comment below. The manuscript has been revised to qualify the results explicitly as conditional on the conjectures and to expand the numerical evidence.

read point-by-point responses

  1. Referee: [Abstract and one-loop evaluation section] Abstract and the section deriving the one-loop sum: the central claim that the one-loop diagram equals an infinite sum of tree-level diagrams whose closed form yields exact anomalous dimensions rests on several unproven number-theoretic conjectures. No proof or exhaustive verification is supplied; the s-channel bootstrap comparisons provide only numerical agreement and cannot establish the conjectures as identities.

    Authors: We agree that the closed-form evaluation of the infinite sum relies on unproven number-theoretic conjectures. The exact rewriting of the one-loop diagram as a sum of tree-level diagrams stands independently of these conjectures. In the revision we will update the abstract and the relevant section to state clearly that the analytic anomalous dimensions are obtained assuming the conjectures hold, and we will add further numerical checks in the s-channel to higher orders. revision: yes

  2. Referee: [Recursive extraction section] Section on recursive extraction of anomalous dimensions: the recursive formulas for all double-trace operators are obtained directly from the conjectural evaluation of the sum. Any failure of the conjectures renders the entire set of closed-form expressions invalid, yet the manuscript presents them as definitive results without conditional qualification.

    Authors: We accept that the recursive formulas inherit the conjectural status of the sum evaluation. The revised section will include explicit conditional language, presenting the closed-form expressions as valid under the conjectures rather than as unconditionally established identities. revision: yes

  3. Referee: [Consistency checks] Consistency checks paragraph: the numerical agreement with bootstrap methods is reported only up to finite order. This is insufficient to confirm the exact infinite-sum identities required for the analytic expressions, leaving a gap between the diagram-to-sum rewriting and the final formulas.

    Authors: The checks are necessarily limited to finite orders for computational reasons. We will enlarge the consistency checks section with additional orders and will explicitly note the evidential limitations, thereby clarifying the gap between the exact diagram-to-sum identity and the conjectural closed forms. revision: partial

standing simulated objections not resolved
  • A rigorous mathematical proof of the number-theoretic conjectures used to sum the series.

Circularity Check

0 steps flagged

No circularity: derivation uses external conjectures on independent tree-level sums

full rationale

The paper rewrites the one-loop diagram as an infinite sum of previously studied tree-level diagrams, then invokes number-theoretic conjectures to evaluate the sum and recursively extract closed-form anomalous dimensions. No equation or step reduces by construction to a fitted parameter from the target data, a self-definition, or a load-bearing self-citation chain; the tree-level inputs are treated as known external quantities, and s-channel bootstrap checks supply independent numerical corroboration. The t/u-channel results are presented as new. This is a standard non-circular use of conjectural summation techniques.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The computation of the infinite sum depends on several number-theoretic conjectures that are introduced without derivation or independent verification in the abstract.

axioms (1)
  • ad hoc to paper Several number-theoretic conjectures suffice to evaluate the infinite sum of tree-level diagrams and yield the correct analytic expressions for the anomalous dimensions.
    Explicitly invoked in the abstract as the method used to compute the sum.

pith-pipeline@v0.9.0 · 5409 in / 1406 out tokens · 54979 ms · 2026-05-16T06:56:51.872447+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages · 15 internal anchors

  1. [1]

    Holography from Conformal Field Theory

    I. Heemskerk, J. Penedones, J. Polchinski and J. Sully,Holography from Conformal Field Theory,JHEP10(2009) 079 [arXiv:0907.0151]

    work page internal anchor Pith review Pith/arXiv arXiv 2009

  2. [2]

    Anti De Sitter Space And Holography

    E. Witten,Anti-de Sitter space and holography,Adv. Theor. Math. Phys.2(1998) 253 [hep-th/9802150]

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  3. [3]

    Loops in Anti-de Sitter Space

    I. Bertan and I. Sachs,Loops in Anti-de Sitter Space,Phys. Rev. Lett.121(2018) 101601 [arXiv:1804.01880]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  4. [4]

    Quantum $\phi^4$ Theory in AdS${}_4$ and its CFT Dual

    I. Bertan, I. Sachs and E.D. Skvortsov,Quantumϕ 4 Theory in AdS 4 and its CFT Dual, JHEP02(2019) 099 [arXiv:1810.00907]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  5. [5]

    A Study of Quantum Field Theories in AdS at Finite Coupling

    D. Carmi, L. Di Pietro and S. Komatsu,A Study of Quantum Field Theories in AdS at Finite Coupling,JHEP01(2019) 200 [1810.04185]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  6. [6]

    Carmi,Loops in AdS: From the Spectral Representation to Position Space,JHEP06 (2020) 049 [1910.14340]

    D. Carmi,Loops in AdS: From the Spectral Representation to Position Space,JHEP06 (2020) 049 [1910.14340]

    work page arXiv 2020

  7. [7]

    Cacciatori, H

    S.L. Cacciatori, H. Epstein and U. Moschella,Loops in anti de Sitter space,JHEP08(2024) 109 [2403.13142]. – 33 –

    work page arXiv 2024

  8. [8]

    Heckelbacher, I

    T. Heckelbacher, I. Sachs, E. Skvortsov and P. Vanhove,Analytical evaluation of AdS 4 Witten diagrams as flat space multi-loop Feynman integrals,2201.09626

    work page arXiv

  9. [9]

    Heckelbacher and I

    T. Heckelbacher and I. Sachs,Loops in dS/CFT,JHEP02(2021) 151 [2009.06511]

    work page arXiv 2021

  10. [10]

    Sleight and M

    C. Sleight and M. Taronna,Bootstrapping Inflationary Correlators in Mellin Space,JHEP 02(2020) 098 [1907.01143]

    work page arXiv 2020

  11. [11]

    Sleight and M

    C. Sleight and M. Taronna,From dS to AdS and back,JHEP12(2021) 074 [2109.02725]

    work page arXiv 2021

  12. [12]

    Di Pietro, V

    L. Di Pietro, V. Gorbenko and S. Komatsu,Analyticity and Unitarity for Cosmological Correlators,2108.01695

    work page arXiv

  13. [13]

    Heckelbacher, I

    T. Heckelbacher, I. Sachs, E. Skvortsov and P. Vanhove,Analytical evaluation of cosmological correlation functions,JHEP08(2022) 139 [2204.07217]

    work page arXiv 2022

  14. [14]

    Chowdhury, A

    C. Chowdhury, A. Lipstein, J. Mei, I. Sachs and P. Vanhove,The subtle simplicity of cosmological correlators,JHEP03(2025) 007 [2312.13803]

    work page arXiv 2025

  15. [15]

    Nowinski and I

    M. Nowinski and I. Sachs,Resummation of Cosmological Correlators and their UV-Regularization,2507.21224

    work page arXiv

  16. [16]

    Conformal Operators for Partially Massless States

    L. Dolan, C.R. Nappi and E. Witten,Conformal operators for partially massless states, JHEP10(2001) 016 [hep-th/0109096]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  17. [17]

    Large N Field Theories, String Theory and Gravity

    O. Aharony, S.S. Gubser, J.M. Maldacena, H. Ooguri and Y. Oz,Large N field theories, string theory and gravity,Phys. Rept.323(2000) 183 [hep-th/9905111]

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  18. [18]

    The Large N Limit of Superconformal Field Theories and Supergravity

    J.M. Maldacena,The large N limit of superconformal field theories and supergravity,Adv. Theor. Math. Phys.2(1998) 231 [hep-th/9711200]

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  19. [19]

    AdS/CFT Correspondence and Symmetry Breaking

    I.R. Klebanov and E. Witten,AdS / CFT correspondence and symmetry breaking,Nucl. Phys.B556(1999) 89 [hep-th/9905104]

    work page internal anchor Pith review Pith/arXiv arXiv 1999

  20. [20]

    Conformal Four Point Functions and the Operator Product Expansion

    F.A. Dolan and H. Osborn,Conformal four point functions and the operator product expansion,Nucl. Phys.B599(2001) 459 [hep-th/0011040]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  21. [21]

    Greenberg,Generalized Free Fields and Models of Local Field Theory,Annals Phys.16 (1961) 158

    O.W. Greenberg,Generalized Free Fields and Models of Local Field Theory,Annals Phys.16 (1961) 158

    work page 1961

  22. [22]

    Implications of N=1 Superconformal Symmetry for Chiral Fields

    F.A. Dolan and H. Osborn,Implications of N=1 superconformal symmetry for chiral fields, Nucl. Phys.B593(2001) 599 [hep-th/0006098]

    work page internal anchor Pith review Pith/arXiv arXiv 2001

  23. [23]

    Sachs and P

    I. Sachs and P. Vanhove,Bulk Landau pole and unitarity of dual conformal field theory, JHEP07(2023) 106 [2303.03491]

    work page arXiv 2023

  24. [24]

    Meltzer, E

    D. Meltzer, E. Perlmutter and A. Sivaramakrishnan,Unitarity Methods in AdS/CFT,JHEP 03(2020) 061 [1912.09521]

    work page arXiv 2020

  25. [25]

    Heckelbacher,On holographic methods in cosmology, Ph.D

    T. Heckelbacher,On holographic methods in cosmology, Ph.D. thesis, Munich U., 2022. 10.5282/edoc.30174

    work page doi:10.5282/edoc.30174 2022

  26. [26]

    RISCErgoSum

    C. Schneider, “RISCErgoSum.” https://www3.risc.jku.at/research/combinat/software/ergosum/, 2026

    work page 2026

  27. [27]

    Kauers, “Guess.”https://risc.jku.at/sw/guess/, 2026

    M. Kauers, “Guess.”https://risc.jku.at/sw/guess/, 2026

    work page 2026

  28. [28]

    Anomalous dimensions of high-spin operators beyond the leading order

    B. Basso and G.P. Korchemsky,Anomalous dimensions of high-spin operators beyond the leading order,Nucl. Phys.B775(2007) 1 [hep-th/0612247]. – 34 –

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  29. [29]

    Large spin systematics in CFT

    L.F. Alday, A. Bissi and T. Lukowski,Large spin systematics in CFT,JHEP11(2015) 101 [arXiv:1502.07707]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  30. [30]

    An Algebraic Approach to the Analytic Bootstrap

    L.F. Alday and A. Zhiboedov,An Algebraic Approach to the Analytic Bootstrap,JHEP04 (2017) 157 [arXiv:1510.08091]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  31. [31]

    Bissi, A

    A. Bissi, A. Sinha and X. Zhou,Selected topics in analytic conformal bootstrap: A guided journey,Phys. Rept.991(2022) 1 [2202.08475]

    work page arXiv 2022

  32. [32]

    Unitarity and the Holographic S-Matrix

    A.L. Fitzpatrick and J. Kaplan,Unitarity and the Holographic S-Matrix,JHEP10(2012) 032 [arXiv:1112.4845]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  33. [33]

    Li,Lightcone expansions of conformal blocks in closed form,JHEP06(2020) 105 [1912.01168]

    W. Li,Lightcone expansions of conformal blocks in closed form,JHEP06(2020) 105 [1912.01168]. – 35 –

    work page arXiv 2020