pith. machine review for the scientific record. sign in

arxiv: 2512.21947 · v2 · submitted 2025-12-26 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

Notes on off-shell conformal integrals and correlation functions at five points

Authors on Pith no claims yet

Pith reviewed 2026-05-16 19:53 UTC · model grok-4.3

classification ✦ hep-th
keywords conformal integralsfive-point functionshalf-BPS correlatorsuniform transcendentalleading singularitiesN=4 SYMtwo-loopoff-shell integrals
0
0 comments X

The pith

A basis of six uniform-transcendental integrals spans the five-point off-shell conformal cases at two loops.

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

The paper shows how to construct a complete set of uniform-transcendental pure integrals for five-point conformal integrals by using conformal invariance to diagonalize leading singularities. This produces six distinct topologies that can be mapped to standard four-mass integral families. The method combines canonical differential equations with integration-by-parts reduction to obtain integrated results at the symbol level. These results are then applied to compute the two-loop five-point half-BPS correlation functions in maximally supersymmetric Yang-Mills theory, covering both maximal and non-maximal sectors. The approach provides a practical way to handle the complexity of higher-point conformal integrals in perturbation theory.

Core claim

By diagonalizing leading singularities subject to conformal invariance, the authors obtain a basis of uniform-transcendental pure integrals that spans six distinct topologies and covers all five-point off-shell conformal integrals appearing in the two-loop half-BPS correlators.

What carries the argument

Diagonalization of leading singularities under conformal invariance to generate a basis of UT pure integrals across six topologies.

If this is right

  • The integrated symbol-level results give explicit expressions for the two-loop five-point half-BPS correlators.
  • This basis can be used to simplify computations of similar integrals in related theories or at higher orders.
  • Mapping to known two-loop four-mass integral families allows reuse of existing computational tools.
  • Both maximal and non-maximal sectors of the correlators are now accessible at symbol level.

Where Pith is reading between the lines

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

  • If the basis is complete, it may extend to six-point or higher-point conformal integrals by similar diagonalization techniques.
  • The symbol results could be used to extract physical information like OPE coefficients or check consistency with known bootstrap constraints.
  • Generalizing the conformal frame fixing might reduce the number of independent integrals in other dimensions or signatures.

Load-bearing premise

The six topologies obtained by diagonalizing leading singularities under conformal invariance form a complete basis for all five-point off-shell conformal integrals that appear in the two-loop half-BPS correlators.

What would settle it

Finding a five-point off-shell conformal integral in the two-loop half-BPS correlator that cannot be expressed as a linear combination of the six topologies would show the basis is incomplete.

Figures

Figures reproduced from arXiv: 2512.21947 by Chia-Kai Kuo, Qinglin Yang.

Figure 1
Figure 1. Figure 1: FIG. 1. Two-loop five-point relevant topologies. [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Excluded two–loop five–point topologies. [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Fixing frame of conformal kinematics to get general [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. 2-loop diagram with 4 external massive legs [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
read the original abstract

We study five-point off-shell conformal integrals and the associated half-BPS correlation functions at two loops in the 't Hooft coupling expansion of maximally supersymmetric Yang-Mills theory. We construct a basis of uniform-transcendental (UT) pure integrals spanning six distinct topologies by diagonalizing leading singularities subject to conformal invariance. By fixing conformal frames, this basis can be mapped to known two-loop four-mass integral families. We then compute the integrated results by combining canonical differential equations with integration-by-parts reduction. As an application, we present symbol-level integrated results for the two-loop five-point half-BPS correlators, including both maximal and non-maximal sectors.

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

1 major / 0 minor

Summary. This paper develops a basis for five-point off-shell conformal integrals at two loops by constructing six uniform-transcendental pure integrals through the diagonalization of leading singularities under conformal invariance constraints. The basis is mapped to standard two-loop four-mass integral families, and the authors derive symbol-level integrated expressions for the two-loop five-point half-BPS correlation functions in maximally supersymmetric Yang-Mills theory using canonical differential equations and integration-by-parts methods.

Significance. Should the six-topology basis prove complete, this manuscript would provide an important technical tool for computing conformal integrals and correlation functions at higher points and loops. The explicit results for the half-BPS correlators, including non-maximal sectors, contribute to the growing body of knowledge on multi-point functions in N=4 SYM, potentially aiding in checks of integrability and AdS/CFT predictions.

major comments (1)
  1. [Basis construction (as described in the abstract and main text)] The completeness of the six-topology UT basis is assumed without an explicit proof via vector space dimension counting or by demonstrating that a generic IBP reduction of five-point topologies yields masters that all reduce into this basis. If integrals without leading singularities or additional topologies are missed, the canonical DE solutions and symbol results for the correlators would be incomplete. This is a load-bearing assumption for the central claims.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our work and for the constructive comment on the basis construction. We address the concern directly below and will revise the manuscript to strengthen the justification.

read point-by-point responses
  1. Referee: [Basis construction (as described in the abstract and main text)] The completeness of the six-topology UT basis is assumed without an explicit proof via vector space dimension counting or by demonstrating that a generic IBP reduction of five-point topologies yields masters that all reduce into this basis. If integrals without leading singularities or additional topologies are missed, the canonical DE solutions and symbol results for the correlators would be incomplete. This is a load-bearing assumption for the central claims.

    Authors: We agree that an explicit demonstration of completeness strengthens the central claims. In the revised manuscript we will add a new subsection that enumerates the dimension of the vector space of two-loop five-point off-shell conformal integrals of uniform transcendental weight. We show that the only leading-singularity structures compatible with conformal invariance are those spanned by the six topologies obtained via our diagonalization procedure. We further verify, by explicit IBP reduction on a representative set of five-point topologies, that all masters reduce to linear combinations within this basis and that no additional UT integrals appear. This establishes that the canonical differential equations and the symbol-level results for the half-BPS correlators are complete. revision: yes

Circularity Check

0 steps flagged

No load-bearing circularity detected; basis construction and results rely on external mappings and standard IBP

full rationale

The derivation constructs a six-topology UT basis via diagonalization of leading singularities under conformal invariance, then maps the basis to known external two-loop four-mass integral families and applies canonical differential equations combined with standard IBP reduction. No central quantity is defined in terms of a fitted parameter from the same paper, no self-citation forms the load-bearing justification for completeness, and no step reduces by construction to its own inputs. The completeness of the basis for appearing integrals is asserted rather than dimensionally proven in the provided text, but this is an assumption about coverage rather than a definitional or fitted-input circularity. The overall chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard conformal invariance and the existence of a complete UT basis obtained from leading singularities; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Conformal invariance constrains the allowed leading singularities of the five-point integrals.
    Invoked when diagonalizing leading singularities to obtain the UT basis.
  • domain assumption The six topologies span the full space of five-point off-shell conformal integrals relevant to the half-BPS correlators.
    Central completeness assumption required for the basis to be usable.

pith-pipeline@v0.9.0 · 5399 in / 1363 out tokens · 16800 ms · 2026-05-16T19:53:57.031275+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

85 extracted references · 76 canonical work pages · 45 internal anchors

  1. [1]

    J. M. Maldacena, Adv. Theor. Math. Phys.2, 231 (1998), arXiv:hep-th/9711200

  2. [2]

    What is the Simplest Quantum Field Theory?

    N. Arkani-Hamed, F. Cachazo, and J. Kaplan, JHEP 09, 016 (2010), arXiv:0808.1446 [hep-th]

  3. [3]

    J. M. Drummond, J. Henn, G. P. Korchemsky, and E. Sokatchev, Nucl. Phys. B828, 317 (2010), arXiv:0807.1095 [hep-th]

  4. [4]

    J. M. Drummond, J. M. Henn, and J. Plefka, JHEP05, 046 (2009), arXiv:0902.2987 [hep-th]

  5. [5]

    L. F. Alday, B. Eden, G. P. Korchemsky, J. Maldacena, and E. Sokatchev, JHEP09, 123 (2011), arXiv:1007.3243 [hep-th]

  6. [6]

    B. Eden, G. P. Korchemsky, and E. Sokatchev, JHEP 12, 002 (2011), arXiv:1007.3246 [hep-th]

  7. [7]

    B. Eden, G. P. Korchemsky, and E. Sokatchev, Phys. Lett. B709, 247 (2012), arXiv:1009.2488 [hep-th]

  8. [8]

    B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, Nucl. Phys. B869, 329 (2013), arXiv:1103.3714 [hep-th]

  9. [9]

    B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, Nucl. Phys. B869, 378 (2013), arXiv:1103.4353 [hep-th]

  10. [10]

    Arkani-Hamed, L

    N. Arkani-Hamed, L. J. Dixon, A. J. McLeod, M. Spradlin, J. Trnka, and A. Volovich, (2022), arXiv:2207.10636 [hep-th]

  11. [11]

    J. M. Henn, Ann. Rev. Nucl. Part. Sci.71, 87 (2021), arXiv:2006.00361 [hep-th]

  12. [12]

    Heslop, J

    P. Heslop, J. Phys. A55, 443009 (2022), arXiv:2203.13019 [hep-th]

  13. [13]

    K. A. Intriligator, Nucl. Phys. B551, 575 (1999), arXiv:hep-th/9811047

  14. [14]

    Four point function of $\mathcal{N}=4$ stress-tensor multiplet at strong coupling

    V. Gon¸ calves, JHEP04, 150 (2015), arXiv:1411.1675 [hep-th]

  15. [15]

    Gon¸ calves, R

    V. Gon¸ calves, R. Pereira, and X. Zhou, JHEP10, 247 (2019), arXiv:1906.05305 [hep-th]

  16. [16]

    L. F. Alday and T. Hansen, JHEP10, 023 (2023), arXiv:2306.12786 [hep-th]

  17. [17]

    Goncalves, M

    V. Goncalves, M. Nocchi, and X. Zhou, JHEP06, 173 (2025), arXiv:2502.10269 [hep-th]

  18. [18]

    Fernandes, V

    B. Fernandes, V. Goncalves, Z. Huang, Y. Tang, J. Vi- las Boas, and E. Y. Yuan, (2025), arXiv:2507.14124 [hep-th]

  19. [19]

    Perturbative Four-Point Functions In Planar N=4 SYM From Hexagonalization

    F. Coronado, JHEP01, 056 (2019), arXiv:1811.00467 [hep-th]

  20. [20]

    Coronado, Phys

    F. Coronado, Phys. Rev. Lett.124, 171601 (2020), arXiv:1811.03282 [hep-th]

  21. [21]

    Determinant formula for the octagon form factor in $\mathcal{N}$=4 SYM

    I. Kostov, V. B. Petkova, and D. Serban, Phys. Rev. Lett.122, 231601 (2019), arXiv:1903.05038 [hep-th]

  22. [22]

    Kostov, V

    I. Kostov, V. B. Petkova, and D. Serban, JHEP11, 178 (2019), arXiv:1905.11467 [hep-th]

  23. [23]

    Fleury and V

    T. Fleury and V. Goncalves, JHEP07, 030 (2020), arXiv:2004.10867 [hep-th]

  24. [24]

    A. V. Belitsky and G. P. Korchemsky, JHEP05, 070 (2020), arXiv:1907.13131 [hep-th]

  25. [25]

    A. V. Belitsky and G. P. Korchemsky, JHEP07, 219 (2020), arXiv:2003.01121 [hep-th]

  26. [26]

    Bargheer, A

    T. Bargheer, A. Bekov, C. Bercini, and F. Coronado, (2025), arXiv:2512.19780 [hep-th]. 7

  27. [27]

    Structure Constants and Integrable Bootstrap in Planar N=4 SYM Theory

    B. Basso, S. Komatsu, and P. Vieira, (2015), arXiv:1505.06745 [hep-th]

  28. [28]

    Tessellating cushions: four-point functions in N=4 SYM

    B. Eden and A. Sfondrini, JHEP10, 098 (2017), arXiv:1611.05436 [hep-th]

  29. [29]

    Hexagonalization of Correlation Functions

    T. Fleury and S. Komatsu, JHEP01, 130 (2017), arXiv:1611.05577 [hep-th]

  30. [30]

    Hexagonalization of Correlation Functions II: Two-Particle Contributions

    T. Fleury and S. Komatsu, JHEP02, 177 (2018), arXiv:1711.05327 [hep-th]

  31. [31]

    B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, Nucl. Phys. B862, 193 (2012), arXiv:1108.3557 [hep-th]

  32. [32]

    B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, Nucl. Phys. B862, 450 (2012), arXiv:1201.5329 [hep-th]

  33. [33]

    J. L. Bourjaily, P. Heslop, and V.-V. Tran, Phys. Rev. Lett.116, 191602 (2016), arXiv:1512.07912 [hep-th]

  34. [34]

    J. L. Bourjaily, P. Heslop, and V.-V. Tran, JHEP11, 125 (2016), arXiv:1609.00007 [hep-th]

  35. [35]

    S. He, C. Shi, Y. Tang, and Y.-Q. Zhang, JHEP03, 192 (2025), arXiv:2410.09859 [hep-th]

  36. [36]

    J. L. Bourjaily, S. He, C. Shi, and Y. Tang, (2025), arXiv:2503.15593 [hep-th]

  37. [37]

    Positive Geometries and Canonical Forms

    N. Arkani-Hamed, Y. Bai, and T. Lam, JHEP11, 039 (2017), arXiv:1703.04541 [hep-th]

  38. [38]

    Herrmann and J

    E. Herrmann and J. Trnka, J. Phys. A55, 443008 (2022), arXiv:2203.13018 [hep-th]

  39. [39]

    The Amplituhedron

    N. Arkani-Hamed and J. Trnka, JHEP10, 030 (2014), arXiv:1312.2007 [hep-th]

  40. [40]

    Into the Amplituhedron

    N. Arkani-Hamed and J. Trnka, JHEP12, 182 (2014), arXiv:1312.7878 [hep-th]

  41. [41]

    He, C.-K

    S. He, C.-K. Kuo, Z. Li, and Y.-Q. Zhang, Phys. Rev. Lett.129, 221604 (2022), arXiv:2204.08297 [hep-th]

  42. [42]

    He, Y.-t

    S. He, Y.-t. Huang, and C.-K. Kuo, JHEP 09, 165 (2023), [Erratum: JHEP 04, 064 (2024)], arXiv:2306.00951 [hep-th]

  43. [43]

    B. Eden, P. Heslop, and L. Mason, JHEP09, 156 (2017), arXiv:1701.00453 [hep-th]

  44. [44]

    He, Y.-t

    S. He, Y.-t. Huang, and C.-K. Kuo, Phys. Rev. D110, L081701 (2024), arXiv:2405.20292 [hep-th]

  45. [45]

    Leading singularities and chambers of Correlahedron

    S. He, Y.-t. Huang, and C.-K. Kuo, (2025), arXiv:2505.09808 [hep-th]

  46. [46]

    Correlation functions of the chiral stress-tensor multiplet in N=4 SYM

    D. Chicherin, R. Doobary, B. Eden, P. Heslop, G. P. Korchemsky, L. Mason, and E. Sokatchev, JHEP06, 198 (2015), arXiv:1412.8718 [hep-th]

  47. [47]

    Bargheer, T

    T. Bargheer, T. Fleury, and V. Gon¸ calves, SciPost Phys. 15, 059 (2023), arXiv:2212.03773 [hep-th]

  48. [48]

    Higher-Point Correlators in N=4 SYM: Generating Functions

    T. Bargheer, A. Bekov, C. Bercini, and F. Coronado, (2025), arXiv:2509.14332 [hep-th]

  49. [49]

    A note on four-point functions of conformal operators in N=4 Super-Yang Mills

    F. Gonzalez-Rey, I. Y. Park, and K. Schalm, Phys. Lett. B448, 37 (1999), arXiv:hep-th/9811155

  50. [50]

    Anomalous dimensions in N=4 SYM theory at order g^4

    M. Bianchi, S. Kovacs, G. Rossi, and Y. S. Stanev, Nucl. Phys. B584, 216 (2000), arXiv:hep-th/0003203

  51. [51]

    The structure of n-point functions of chiral primary operators in N=4 super Yang-Mills at one-loop

    N. Drukker and J. Plefka, JHEP04, 001 (2009), arXiv:0812.3341 [hep-th]

  52. [52]

    Leading singularities and off-shell conformal integrals

    J. Drummond, C. Duhr, B. Eden, P. Heslop, J. Pen- nington, and V. A. Smirnov, JHEP08, 133 (2013), arXiv:1303.6909 [hep-th]

  53. [53]

    Chicherin, A

    D. Chicherin, A. Georgoudis, V. Gon¸ calves, and R. Pereira, JHEP11, 069 (2018), arXiv:1809.00551 [hep- th]

  54. [54]

    Gluing Ladders into Fishnets

    B. Basso and L. J. Dixon, Phys. Rev. Lett.119, 071601 (2017), arXiv:1705.03545 [hep-th]

  55. [55]

    Bercini, B

    C. Bercini, B. Fernandes, and V. Gon¸ calves, JHEP10, 242 (2024), arXiv:2401.06099 [hep-th]

  56. [56]

    S. He, X. Jiang, J. Liu, and Y.-Q. Zhang, (2025), arXiv:2502.08871 [hep-th]

  57. [57]

    On Solving Dual Conformal Integrals in Coulomb-branch Amplitudes and Their Periods

    S. He and X. Jiang, (2025), arXiv:2506.20095 [hep-th]

  58. [58]

    L. V. Bork, R. N. Lee, and A. I. Onishchenko, (2025), arXiv:2509.12056 [hep-th]

  59. [59]

    Local Integrals for Planar Scattering Amplitudes

    N. Arkani-Hamed, J. L. Bourjaily, F. Cachazo, and J. Trnka, JHEP06, 125 (2012), arXiv:1012.6032 [hep- th]

  60. [60]

    S. He, Z. Li, R. Ma, Z. Wu, Q. Yang, and Y. Zhang, JHEP10, 165 (2022), arXiv:2206.04609 [hep-th]

  61. [61]

    J. M. Henn, Phys. Rev. Lett.110, 251601 (2013), arXiv:1304.1806 [hep-th]

  62. [62]

    J. M. Henn, J. Phys. A48, 153001 (2015), arXiv:1412.2296 [hep-ph]

  63. [63]

    A. B. Goncharov, M. Spradlin, C. Vergu, and A. Volovich, Phys. Rev. Lett.105, 151605 (2010), arXiv:1006.5703 [hep-th]

  64. [64]

    C. Duhr, H. Gangl, and J. R. Rhodes, JHEP10, 075 (2012), arXiv:1110.0458 [math-ph]

  65. [65]

    The integrand is represented by using its dual graph, where position-space points correspond to regions of the graph, and edges connecting adjacent regions represent propagators

  66. [66]

    J. L. Bourjaily, E. Herrmann, and J. Trnka, JHEP06, 059 (2017), arXiv:1704.05460 [hep-th]

  67. [67]

    Having seven propagators, its maximal cut is called com- posite [59], and denoted as double red lines in (7)

  68. [68]

    We omit the possible iπ 2 factors in the measure d 4xa of integrals since they are not important for our discussion

  69. [69]

    N. I. Usyukina and A. I. Davydychev, Phys. Lett. B305, 136 (1993)

  70. [70]

    Chen, Bull

    K.-T. Chen, Bull. Am. Math. Soc.83, 831 (1977)

  71. [71]

    Note that the class of d log-iterative integrals is strictly larger than the class of MPL functions

  72. [72]

    Kira - A Feynman Integral Reduction Program

    P. Maierh¨ ofer, J. Usovitsch, and P. Uwer, Comput. Phys. Commun.230, 99 (2018), arXiv:1705.05610 [hep-ph]

  73. [73]

    Morales, A

    R. Morales, A. Spiering, M. Wilhelm, Q. Yang, and C. Zhang, Phys. Rev. Lett.131, 041601 (2023), arXiv:2212.09762 [hep-th]

  74. [74]

    Spiering, M

    A. Spiering, M. Wilhelm, and C. Zhang, Phys. Rev. Lett. 134, 071602 (2025), arXiv:2406.15549 [hep-th]

  75. [75]

    All Tree-Level Correlators in AdS${}_5\times$S${}_5$ Supergravity: Hidden Ten-Dimensional Conformal Symmetry

    S. Caron-Huot and A.-K. Trinh, JHEP01, 196 (2019), arXiv:1809.09173 [hep-th]

  76. [76]

    Aprile, J

    F. Aprile, J. M. Drummond, H. Paul, and M. Santagata, JHEP11, 109 (2021), arXiv:2012.12092 [hep-th]

  77. [77]

    Caron-Huot and F

    S. Caron-Huot and F. Coronado, JHEP03, 151 (2022), arXiv:2106.03892 [hep-th]

  78. [78]

    Caron-Huot, F

    S. Caron-Huot, F. Coronado, and B. M¨ uhlmann, JHEP 08, 008 (2023), arXiv:2304.12341 [hep-th]

  79. [79]

    Huang, B

    Z. Huang, B. Wang, E. Y. Yuan, and J. Zhang, Phys. Rev. Lett.134, 161601 (2025), arXiv:2408.12260 [hep- th]

  80. [80]

    A. V. Belitsky, S. Hohenegger, G. P. Korchemsky, E. Sokatchev, and A. Zhiboedov, Nucl. Phys. B884, 206 (2014), arXiv:1309.1424 [hep-th]

Showing first 80 references.