Leading singularities and chambers of Correlahedron
Pith reviewed 2026-05-22 14:56 UTC · model grok-4.3
The pith
The chamber dissection of the Correlahedron stays identical from three to four loops.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
At four loops the integrand of the four-point correlation function can be written as a sum over products of chamber-forms and local loop integrands. The chambers and their associated forms are identical to those of three loops, indicating that the dissection may be complete to all loop orders. Furthermore, this suggests that the leading singularities at all loops are simply linear combinations of these chamber forms. This is especially intriguing at four loops since it contains elliptic functions. Interestingly, each elliptic function appears in a subset of chambers.
What carries the argument
Chamber-forms arising from the dissection of the Correlahedron loop-geometry, each multiplying a local loop integrand
If this is right
- The chamber dissection of the Correlahedron may be complete to all loop orders.
- Leading singularities at all loops are linear combinations of the existing chamber forms.
- Each elliptic function at four loops is restricted to a subset of the chambers.
- A diagonalized representation exists in which each local integral carries only one leading singularity or elliptic cut.
- All integrands evaluate to pure functions, including one pure elliptic integrand.
Where Pith is reading between the lines
- Higher-loop correlators could be assembled from the same fixed set of chamber forms without discovering new geometric structures.
- The single pure elliptic integrand may clarify how elliptic functions organize in other loop-level observables.
- A loop-order-independent chamber basis would imply that the leading singularities of the correlator are determined combinatorially rather than by explicit loop integration.
Load-bearing premise
The chamber dissection and its associated forms observed through four loops continue without new chambers or new forms appearing at higher loop orders.
What would settle it
An explicit five-loop computation that produces a chamber or form outside the linear span of the chambers already identified at three and four loops.
read the original abstract
In this paper, we explore the chamber dissection of the loop-geometry of Correlahedron, which encodes the loop integrand of four-point stress-energy correlators in planar $\mathcal{N}=4$ super Yang-Mills. We demonstrate that at four loops, continuing the pattern of lower loops, the integrand of the four-point correlation function can be written as a sum over products of chamber-forms and local loop integrands. The chambers and their associated forms are identical to those of three loops, indicating that the dissection may be complete to all loop orders. Furthermore, this suggests that the leading singularities at all loops are simply linear combinations of these chamber forms. This is especially intriguing at four loops since it contains elliptic functions. Interestingly, each elliptic function appears in a subset of chambers. Our geometric approach motivates us to ``diagonalize" the representation, where the local integrals only possess a single leading singularity or elliptic cut. In such a representation, all integrands must evaluate to pure functions, including a single pure elliptic integrand. Inspired by this picture, we also present a simplified form of the three-loop correlator in terms of two independent pure functions (weight-$6$ single-valued multiple polylogarithms), which are directly computed from local integrands with unit leading singularities, multiplied by the leading singularities from chamber forms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript explores the chamber dissection of the Correlahedron encoding the loop integrand of four-point stress-energy correlators in planar N=4 super Yang-Mills. It demonstrates that at four loops the integrand decomposes as a sum over products of chamber-forms and local loop integrands, with chambers and forms identical to those at three loops. This pattern indicates that the dissection may be complete to all loop orders, so that leading singularities at all loops are linear combinations of these fixed chamber forms. Elliptic functions at four loops appear only in subsets of chambers, motivating a diagonalized basis of local integrals each with a single leading singularity or elliptic cut (yielding pure functions). A simplified three-loop correlator is also given in terms of two independent pure weight-6 single-valued multiple polylogarithms obtained from local integrands with unit leading singularities multiplied by chamber-form leading singularities.
Significance. If the observed chamber pattern continues, the work supplies a geometric organization of integrands and leading singularities that could streamline higher-loop calculations in N=4 SYM and clarify the role of elliptic functions. The explicit four-loop decomposition matching lower-loop chambers and the construction of pure-function representations constitute concrete, verifiable advances that credit the geometric approach.
major comments (2)
- [four-loop construction section] The four-loop decomposition (detailed in the section presenting the explicit integrand construction): the claim that chambers and forms are identical to three loops is asserted via matching, yet no general geometric argument is supplied explaining why new chambers or forms cannot appear at five or higher loops; this extrapolation is load-bearing for the all-order completeness statement and the assertion that leading singularities are simply linear combinations of the fixed chamber forms.
- [elliptic functions discussion] Discussion of elliptic content at four loops: while it is stated that each elliptic function appears in a subset of chambers, the manuscript does not list the explicit assignment of which elliptic functions belong to which chambers, leaving the purity claim for the diagonalized basis without a direct verification step.
minor comments (3)
- [Introduction] The introduction would benefit from a short recap of the Correlahedron definition and prior chamber results to make the manuscript more self-contained.
- [Notation] Notation for chamber-forms could be made more uniform across sections to avoid ambiguity when referring to the same objects at three and four loops.
- [Results] A figure or table summarizing the chamber-to-elliptic-function assignment would improve clarity of the four-loop results.
Simulated Author's Rebuttal
We thank the referee for their thorough review and positive evaluation of our work. We appreciate the opportunity to clarify and strengthen the manuscript in response to the comments. Below we address each major comment in turn.
read point-by-point responses
-
Referee: The four-loop decomposition (detailed in the section presenting the explicit integrand construction): the claim that chambers and forms are identical to three loops is asserted via matching, yet no general geometric argument is supplied explaining why new chambers or forms cannot appear at five or higher loops; this extrapolation is load-bearing for the all-order completeness statement and the assertion that leading singularities are simply linear combinations of the fixed chamber forms.
Authors: We acknowledge that our manuscript relies on the observed pattern up to four loops to suggest that the chamber dissection may be complete to all orders. We do not provide a general geometric argument proving that no new chambers or forms arise at higher loops. This is indeed an extrapolation based on explicit computations. In the revised manuscript, we will modify the relevant statements to present this as a conjecture supported by the four-loop result, rather than implying a general proof. We will also clarify that the leading singularities being linear combinations of the fixed chamber forms is a consequence of this observed pattern. revision: yes
-
Referee: Discussion of elliptic content at four loops: while it is stated that each elliptic function appears in a subset of chambers, the manuscript does not list the explicit assignment of which elliptic functions belong to which chambers, leaving the purity claim for the diagonalized basis without a direct verification step.
Authors: We agree that an explicit listing of the elliptic functions and their associated chambers would facilitate direct verification of the purity in the diagonalized representation. Although the manuscript indicates that elliptic functions are restricted to subsets of chambers, we did not include a detailed assignment. We will include such an explicit assignment or table in the revised version to address this point and strengthen the presentation of the pure-function basis. revision: yes
Circularity Check
No significant circularity; four-loop computation is independent and all-order statement is explicitly conjectural.
full rationale
The paper computes the four-loop integrand decomposition into chamber forms that match the three-loop set, with elliptic content appearing only in subsets of chambers. This supplies a new check rather than a reduction to prior inputs. The statement that the dissection 'may be complete to all loop orders' and that leading singularities 'are simply linear combinations' is presented as an indication from the continuing pattern, not as a derived theorem or self-citation load-bearing claim. The diagonalized basis and simplified three-loop form are motivated by the observed geometry but constructed from local integrands carrying unit leading singularities. No equation or step reduces by construction to a fitted parameter, self-definition, or unverified self-citation chain; the four-loop elliptic functions serve as an external benchmark within the work itself.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The chamber dissection of the Correlahedron geometry is independent of loop order beyond three loops.
invented entities (1)
-
Chamber forms of the Correlahedron
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
T4 should be decomposed into 6 chambers, r1 : s < t < u, r2 : s < u < t, ... r6 : u < t < s (eq. 3.13). ... the chamber structure is identical to that at three-loops, i.e. no new chamber boundaries appear.
-
IndisputableMonolith/Foundation/ArithmeticFromLogic.leanembed_injective echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
leading singularities of the correlation functions must simply be given as linear combinations of the chamber forms. We have explicitly verified that this is the case
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.
Forward citations
Cited by 2 Pith papers
-
Loops and legs: ABJM amplitudes from $f$-graphs
ABJM amplitudes of arbitrary multiplicity and loop order can be reconstructed from squared amplitudes encoded in a permutation-symmetric generating function of planar f-graphs.
-
Notes on off-shell conformal integrals and correlation functions at five points
A basis of six uniform-transcendental five-point off-shell conformal integrals is constructed and mapped to known families, yielding symbol-level two-loop results for half-BPS correlators.
Reference graph
Works this paper leans on
-
[1]
B. Eden, P. Heslop, and L. Mason, “The Correlahedron,”JHEP09(2017) 156, arXiv:1701.00453 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[2]
N. Arkani-Hamed and J. Trnka, “The Amplituhedron,”JHEP10(2014) 030, arXiv:1312.2007 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[3]
N. Arkani-Hamed and J. Trnka, “Into the Amplituhedron,”JHEP12(2014) 182, arXiv:1312.7878 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[4]
Unwinding the Amplituhedron in Binary
N. Arkani-Hamed, H. Thomas, and J. Trnka, “Unwinding the Amplituhedron in Binary,” JHEP01(2018) 016,arXiv:1704.05069 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[5]
All-loop geometry for four-point correlation functions,
S. He, Y.-t. Huang, and C.-K. Kuo, “All-loop geometry for four-point correlation functions,” Phys. Rev. D110no. 8, (2024) L081701,arXiv:2405.20292 [hep-th]
-
[6]
Scattering Forms and the Positive Geometry of Kinematics, Color and the Worldsheet
N. Arkani-Hamed, Y. Bai, S. He, and G. Yan, “Scattering Forms and the Positive Geometry of Kinematics, Color and the Worldsheet,”JHEP05(2018) 096,arXiv:1711.09102 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[7]
The SAGEX Review on Scattering Amplitudes, Chapter 8: Half BPS correlators,
P. Heslop, “The SAGEX Review on Scattering Amplitudes, Chapter 8: Half BPS correlators,”J. Phys. A55no. 44, (2022) 443009,arXiv:2203.13019 [hep-th]
-
[8]
More on the duality correlators/amplitudes
B. Eden, G. P. Korchemsky, and E. Sokatchev, “More on the duality correlators/amplitudes,”Phys. Lett. B709(2012) 247–253,arXiv:1009.2488 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[9]
The super-correlator/super-amplitude duality: Part II
B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, “The super-correlator/super-amplitude duality: Part II,”Nucl. Phys. B869(2013) 378–416, arXiv:1103.4353 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[10]
From correlation functions to Wilson loops
L. F. Alday, B. Eden, G. P. Korchemsky, J. Maldacena, and E. Sokatchev, “From correlation functions to Wilson loops,”JHEP09(2011) 123,arXiv:1007.3243 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[11]
From correlation functions to scattering amplitudes
B. Eden, G. P. Korchemsky, and E. Sokatchev, “From correlation functions to scattering amplitudes,”JHEP12(2011) 002,arXiv:1007.3246 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[12]
The super-correlator/super-amplitude duality: Part I
B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, “The super-correlator/super-amplitude duality: Part I,”Nucl. Phys. B869(2013) 329–377, arXiv:1103.3714 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[13]
A Proof of the Supersymmetric Correlation Function / Wilson Loop Correspondence
T. Adamo, M. Bullimore, L. Mason, and D. Skinner, “A Proof of the Supersymmetric Correlation Function / Wilson Loop Correspondence,”JHEP08(2011) 076, arXiv:1103.4119 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[14]
Amplituhedron-like geometries,
G. Dian and P. Heslop, “Amplituhedron-like geometries,”JHEP11(2021) 074, arXiv:2106.09372 [hep-th]
-
[15]
Perturbation Theory at Eight Loops: Novel Structures and the Breakdown of Manifest Conformality
J. L. Bourjaily, P. Heslop, and V.-V. Tran, “Perturbation Theory at Eight Loops: Novel Structures and the Breakdown of Manifest Conformality in N=4 Supersymmetric Yang-Mills Theory,”Phys. Rev. Lett.116no. 19, (2016) 191602,arXiv:1512.07912 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[16]
Amplitudes and Correlators to Ten Loops Using Simple, Graphical Bootstraps
J. L. Bourjaily, P. Heslop, and V.-V. Tran, “Amplitudes and Correlators to Ten Loops Using Simple, Graphical Bootstraps,”JHEP11(2016) 125,arXiv:1609.00007 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[17]
S. He, C. Shi, Y. Tang, and Y.-Q. Zhang, “The cusp limit of correlators and: anew graphical bootstrap for correlators/amplitudes to eleven loops,”JHEP03(2025) 192, arXiv:2410.09859 [hep-th]. – 47 –
-
[18]
The Four-Point Correlator of Planar sYM at Twelve Loops,
J. L. Bourjaily, S. He, C. Shi, and Y. Tang, “The Four-Point Correlator of Planar sYM at Twelve Loops,”arXiv:2503.15593 [hep-th]
-
[19]
Hidden symmetry of four-point correlation functions and amplitudes in N=4 SYM
B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, “Hidden symmetry of four-point correlation functions and amplitudes in N=4 SYM,”Nucl. Phys. B862(2012) 193–231, arXiv:1108.3557 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[20]
Triangulation of 2-loop MHV Amplituhedron from Sign Flips
R. Kojima, “Triangulation of 2-loop MHV Amplituhedron from Sign Flips,”JHEP04(2019) 085,arXiv:1812.01822 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[21]
Sign Flip Triangulations of the Amplituhedron,
R. Kojima and C. Langer, “Sign Flip Triangulations of the Amplituhedron,”JHEP05 (2020) 121,arXiv:2001.06473 [hep-th]
-
[22]
S. He, Y.-t. Huang, and C.-K. Kuo, “The ABJM Amplituhedron,”JHEP09(2023) 165, arXiv:2306.00951 [hep-th]. [Erratum: JHEP 04, 064 (2024)]
-
[23]
S. He, C.-K. Kuo, Z. Li, and Y.-Q. Zhang, “All-Loop Four-Point Aharony-Bergman-Jafferis-Maldacena Amplitudes from Dimensional Reduction of the Amplituhedron,”Phys. Rev. Lett.129no. 22, (2022) 221604,arXiv:2204.08297 [hep-th]
-
[24]
N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals
O. Aharony, O. Bergman, D. L. Jafferis, and J. Maldacena, “N=6 superconformal Chern-Simons-matter theories, M2-branes and their gravity duals,”JHEP10(2008) 091, arXiv:0806.1218 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[25]
N=5,6 Superconformal Chern-Simons Theories and M2-branes on Orbifolds
K. Hosomichi, K.-M. Lee, S. Lee, S. Lee, and J. Park, “N=5,6 Superconformal Chern-Simons Theories and M2-branes on Orbifolds,”JHEP09(2008) 002,arXiv:0806.4977 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[26]
T. Lukowski and J. Stalknecht, “Momentum Amplituhedron for N=6 Chern-Simons-Matter Theory: Scattering Amplitudes from Configurations of Points in Minkowski Space,”Phys. Rev. Lett.131no. 16, (2023) 161601,arXiv:2306.07312 [hep-th]
-
[27]
Prescriptive unitarity from positive geometries,
L. Ferro, R. Glew, T. Lukowski, and J. Stalknecht, “Prescriptive unitarity from positive geometries,”JHEP03(2024) 001,arXiv:2308.02438 [hep-th]
-
[28]
The two-loop MHV momentum amplituhedron from fibrations of fibrations,
L. Ferro, R. Glew, T. Lukowski, and J. Stalknecht, “The two-loop MHV momentum amplituhedron from fibrations of fibrations,”JHEP02(2025) 044,arXiv:2407.12906 [hep-th]
-
[29]
Leading singularities and off-shell conformal integrals
J. Drummond, C. Duhr, B. Eden, P. Heslop, J. Pennington, and V. A. Smirnov, “Leading singularities and off-shell conformal integrals,”JHEP08(2013) 133,arXiv:1303.6909 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[30]
Notes on conformal integrals: Coulomb branch amplitudes, magic identities and bootstrap,
S. He, X. Jiang, J. Liu, and Y.-Q. Zhang, “Notes on conformal integrals: Coulomb branch amplitudes, magic identities and bootstrap,”arXiv:2502.08871 [hep-th]
-
[31]
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, “Correlation functions of the chiral stress-tensor multiplet inN= 4 SYM,” JHEP06(2015) 198,arXiv:1412.8718 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[32]
Partial non-renormalisation of the stress-tensor four-point function in N=4 SYM and AdS/CFT
B. Eden, A. C. Petkou, C. Schubert, and E. Sokatchev, “Partial nonrenormalization of the stress tensor four point function in N=4 SYM and AdS / CFT,”Nucl. Phys. B607(2001) 191–212,arXiv:hep-th/0009106
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[33]
B. Eden, P. Heslop, G. P. Korchemsky, and E. Sokatchev, “Constructing the correlation function of four stress-tensor multiplets and the four-particle amplitude in n=4 sym,” Nuclear Physics B862no. 2, (2012) 450–503. https://www.sciencedirect.com/science/article/pii/S0550321312002179. – 48 –
work page 2012
-
[34]
Internal boundaries of the loop amplituhedron,
G. Dian, P. Heslop, and A. Stewart, “Internal boundaries of the loop amplituhedron,” SciPost Phys.15no. 3, (2023) 098,arXiv:2207.12464 [hep-th]
-
[35]
Classical Polylogarithms for Amplitudes and Wilson Loops
A. B. Goncharov, M. Spradlin, C. Vergu, and A. Volovich, “Classical Polylogarithms for Amplitudes and Wilson Loops,”Phys. Rev. Lett.105(2010) 151605,arXiv:1006.5703 [hep-th]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[36]
From polygons and symbols to polylogarithmic functions
C. Duhr, H. Gangl, and J. R. Rhodes, “From polygons and symbols to polylogarithmic functions,”JHEP10(2012) 075,arXiv:1110.0458 [math-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[37]
Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes
C. Duhr, “Hopf algebras, coproducts and symbols: an application to Higgs boson amplitudes,”JHEP08(2012) 043,arXiv:1203.0454 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[38]
Graphical functions and single-valued multiple polylogarithms
O. Schnetz, “Graphical functions and single-valued multiple polylogarithms,”Commun. Num. Theor. Phys.08(2014) 589–675,arXiv:1302.6445 [math.NT]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[39]
E. Remiddi and J. A. M. Vermaseren, “Harmonic polylogarithms,”Int. J. Mod. Phys. A15 (2000) 725–754,arXiv:hep-ph/9905237
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[40]
Generalized single-valued hyperlogarithms,
O. Schnetz, “Generalized single-valued hyperlogarithms,”arXiv:2111.11246 [math-ph]. – 49 –
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.