pith. sign in

arxiv: 2505.09808 · v2 · submitted 2025-05-14 · ✦ hep-th

Leading singularities and chambers of Correlahedron

Pith reviewed 2026-05-22 14:56 UTC · model grok-4.3

classification ✦ hep-th
keywords Correlahedronchamber dissectionleading singularitiesfour-point correlatorsN=4 super Yang-Millsloop integrandselliptic functionspure functions
0
0 comments X

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.

The authors examine the loop geometry of the Correlahedron that encodes integrands for four-point stress-energy correlators in planar N=4 super Yang-Mills. They find that at four loops the integrand decomposes into a sum of products between chamber-forms and local loop integrands, using exactly the same chambers and forms identified at three loops. This pattern supports the possibility that the full dissection requires no new elements at higher orders. Consequently all leading singularities at arbitrary loop order would reduce to linear combinations of these fixed chamber forms. The four-loop case includes elliptic functions, each appearing only inside particular chambers, which motivates a diagonalized basis of local integrals each carrying a single singularity or cut and evaluating to pure functions.

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

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

  • 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.

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

2 major / 3 minor

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)
  1. [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.
  2. [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)
  1. [Introduction] The introduction would benefit from a short recap of the Correlahedron definition and prior chamber results to make the manuscript more self-contained.
  2. [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.
  3. [Results] A figure or table summarizing the chamber-to-elliptic-function assignment would improve clarity of the four-loop results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the geometric definition of the Correlahedron and the assumption that its chamber dissection is loop-order independent; no explicit free parameters or new invented entities are introduced in the abstract, but the completeness to all loops is an extrapolation that functions as an unproven domain assumption.

axioms (1)
  • domain assumption The chamber dissection of the Correlahedron geometry is independent of loop order beyond three loops.
    Invoked when the authors state that chambers and forms at four loops are identical to three loops and that the dissection may be complete to all orders.
invented entities (1)
  • Chamber forms of the Correlahedron no independent evidence
    purpose: Geometric building blocks whose linear combinations give all leading singularities of the correlator integrand.
    Introduced as the organizing objects that remain unchanged from three to four loops and that multiply local integrands.

pith-pipeline@v0.9.0 · 5765 in / 1695 out tokens · 32698 ms · 2026-05-22T14:56:19.483188+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
    ?
    echoes

    ECHOES: 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.lean embed_injective echoes
    ?
    echoes

    ECHOES: 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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Loops and legs: ABJM amplitudes from $f$-graphs

    hep-th 2026-01 unverdicted novelty 7.0

    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.

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

    hep-th 2025-12 conditional novelty 6.0

    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

40 extracted references · 40 canonical work pages · cited by 2 Pith papers · 25 internal anchors

  1. [1]

    The Correlahedron

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

  2. [2]

    The Amplituhedron

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

  3. [3]

    Into the Amplituhedron

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

  4. [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]

  5. [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. [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]

  7. [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. [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]

  9. [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]

  10. [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]

  11. [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]

  12. [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]

  13. [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]

  14. [14]

    Amplituhedron-like geometries,

    G. Dian and P. Heslop, “Amplituhedron-like geometries,”JHEP11(2021) 074, arXiv:2106.09372 [hep-th]

  15. [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]

  16. [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]

  17. [17]

    The cusp limit of correlators and: anew graphical bootstrap for correlators/amplitudes to eleven loops,

    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. [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. [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]

  20. [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]

  21. [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. [22]

    The ABJM Amplituhedron,

    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. [23]

    All-Loop Four-Point Aharony-Bergman-Jafferis-Maldacena Amplitudes from Dimensional Reduction of the Amplituhedron,

    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. [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]

  25. [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]

  26. [26]

    Momentum Amplituhedron for N=6 Chern-Simons-Matter Theory: Scattering Amplitudes from Configurations of Points in Minkowski Space,

    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. [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. [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. [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]

  30. [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. [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]

  32. [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

  33. [33]

    Constructing the correlation function of four stress-tensor multiplets and the four-particle amplitude in n=4 sym,

    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 –

  34. [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. [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]

  36. [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]

  37. [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]

  38. [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]

  39. [39]

    Harmonic Polylogarithms

    E. Remiddi and J. A. M. Vermaseren, “Harmonic polylogarithms,”Int. J. Mod. Phys. A15 (2000) 725–754,arXiv:hep-ph/9905237

  40. [40]

    Generalized single-valued hyperlogarithms,

    O. Schnetz, “Generalized single-valued hyperlogarithms,”arXiv:2111.11246 [math-ph]. – 49 –