pith. sign in

arxiv: 2410.11501 · v3 · submitted 2024-10-15 · ✦ hep-th · math-ph· math.AG· math.MP

The two-loop Amplituhedron

Pith reviewed 2026-05-23 18:58 UTC · model grok-4.3

classification ✦ hep-th math-phmath.AGmath.MP
keywords Amplituhedrontwo-loopstratificationresidual arrangementadjointGrassmanniansemialgebraic set
0
0 comments X

The pith

The two-loop four-point Amplituhedron admits an algebraic and face stratification, possesses a well-defined residual arrangement, and has a unique adjoint.

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

The paper extends the geometric analysis of the Amplituhedron from the one-loop case to the two-loop four-point instance. It establishes that this semialgebraic set in the product of two real Grassmannians supports both an algebraic stratification and a face stratification. The study further identifies a residual arrangement and proves that an adjoint exists and is unique. A sympathetic reader would care because these features provide the structural foundation for extracting scattering amplitudes from the geometry at higher loop orders.

Core claim

The two-loop four-point Amplituhedron A^(2)_4 admits an algebraic and face stratification, possesses a well-defined residual arrangement, and has an adjoint that exists and is unique.

What carries the argument

The semialgebraic set A^(2)_4 in the product Gr_R(2,4)^2 together with its algebraic and face stratifications.

If this is right

  • The algebraic and face stratifications exist for A^(2)_4.
  • The residual arrangement is well-defined for the two-loop four-point Amplituhedron.
  • An adjoint to A^(2)_4 exists and is unique.
  • The one-loop methods extend directly to this simplest higher-loop case.

Where Pith is reading between the lines

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

  • The same stratification techniques may generalize to higher loop numbers or larger n.
  • Explicit adjoints constructed this way could yield new integral representations for two-loop amplitudes.
  • The approach might transfer to other positive geometries arising in quantum field theory.

Load-bearing premise

The semialgebraic-set definition and stratification methods developed for the one-loop case carry over without essential modification to the two-loop four-point Amplituhedron.

What would settle it

A concrete point in the product of Grassmannians that lies in A^(2)_4 but cannot be consistently assigned to any stratum in the proposed algebraic or face stratification, or a second distinct adjoint satisfying the same defining equations.

Figures

Figures reproduced from arXiv: 2410.11501 by Elia Mazzucchelli, Felix Tellander, Gabriele Dian.

Figure 1
Figure 1. Figure 1: Illustration of one point (AB,CD) in A (2) 4 according to (5). For fixed A,B,C, condition (6) fixes on which side of the line (ABC)∩(234) D lies in T2. The blue lines represent the vanishing of ∆ 24 i for i ∈ {1,...,4}, see (9) and (8). 3. Algebraic and real boundary stratification In this section, we analyze the stratification of the algebraic boundary of the two￾loop Amplituhedron and give a full list of… view at source ↗
read the original abstract

The loop-Amplituhedron $\mathcal{A}^{(L)}_{n}$ is a semialgebraic set in the product of Grassmannians $\mathrm{Gr}_{\mathbb{R}}(2,4)^L$. Recently, many aspects of this geometry for the case of $L=1$ have been elucidated, such as its algebraic and face stratification, its residual arrangement and the existence and uniqueness of the adjoint. This paper extends this analysis to the simplest higher loop case given by the two-loop four-point Amplituhedron $\mathcal{A}^{(2)}_4$.

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

0 major / 2 minor

Summary. The paper extends the geometric analysis of the loop-Amplituhedron from the L=1 case to the two-loop four-point Amplituhedron A^(2)_4, defined as a semialgebraic set in Gr_R(2,4)^2. It constructs the algebraic and face stratification, defines the residual arrangement, and establishes the existence and uniqueness of the adjoint for this case.

Significance. If the explicit constructions hold, the result supplies the first detailed higher-loop example, strengthening the case that the L=1 methods transfer and providing a concrete testbed for further loop generalizations in the amplituhedron program.

minor comments (2)
  1. [Abstract] The abstract states the extension but does not preview the key technical steps (e.g., how the semialgebraic inequalities are solved at L=2); a one-sentence outline would improve readability.
  2. Notation for the product Grassmannian and the residual arrangement should be introduced with a short table or diagram in the opening section to aid readers unfamiliar with the L=1 results.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of our manuscript on the two-loop four-point Amplituhedron and for recommending minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper extends L=1 results to the L=2, n=4 Amplituhedron via explicit constructions of its algebraic/face stratification, residual arrangement, and unique adjoint, all grounded in the semialgebraic-set definition in Gr_R(2,4)^L. No load-bearing step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional renaming; the transfer of methods is justified by direct computation rather than assertion alone. The derivation chain remains self-contained against external geometric benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, axioms, or invented entities; the semialgebraic-set definition is inherited from prior work.

pith-pipeline@v0.9.0 · 5619 in / 955 out tokens · 22656 ms · 2026-05-23T18:58:47.449350+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

19 extracted references · 19 canonical work pages

  1. [1]

    Arkani-Hamed, Y

    N. Arkani-Hamed, Y . Bai, and T. Lam. Positive geometries and canonical forms. Journal of High Energy Physics, 2017(11), Nov. 2017

  2. [2]

    Arkani-Hamed, H

    N. Arkani-Hamed, H. Thomas, and J. Trnka. Unwinding the amplituhedron in binary. Journal of High Energy Physics, 2018(1), Jan. 2018

  3. [3]

    Arkani-Hamed and J

    N. Arkani-Hamed and J. Trnka. Into the Amplituhedron. JHEP, 12:182, 2014

  4. [4]

    C. Chen, J. H. Davenport, J. P. May, M. Moreno Maza, B. Xia, and R. Xiao. Triangular decomposition of semi-algebraic systems. J. Symbolic Comput., 49:3– 26, 2013

  5. [5]

    G. E. Collins. Quantifier elimination for real closed fields by cylindrical alge- braic decomposition. In Automata theory and formal languages (Second GI Conf., Kaiserslautern, 1975), volume V ol. 33 of Lecture Notes in Comput. Sci. , pages 134–183. Springer, Berlin-New York, 1975

  6. [6]

    D. Cox, J. Little, and D. O’Shea. Ideals, varieties, and algorithms. an introduction to computational algebraic geometry and commutative algebra. 2007

  7. [7]

    G. Dian. On the polygon front lines: visualizing the amplituhedron with the wolfram language. https://shorturl.at/vgGwc

  8. [8]

    G. Dian, P. Heslop, and A. Stewart. Internal boundaries of the loop amplituhedron. SciPost Physics, 15(3), Sept. 2023

  9. [9]

    G. Dian, E. Mazzucchelli, and F. Tellander. 2-loop ampli- tuhedron stratification. https://github.com/GabrieleDian/ Loop-amplituhedron-stratification.git

  10. [10]

    Even-Zohar, T

    C. Even-Zohar, T. Lakrec, M. Parisi, R. Tessler, M. Sherman-Bennett, and L. Williams. Cluster algebras and tilings for the m=4 amplituhedron. 10 2023

  11. [11]

    Franco, D

    S. Franco, D. Galloni, A. Mariotti, and J. Trnka. Anatomy of the Amplituhedron. JHEP, 03:128, 2015

  12. [12]

    Galashin, S

    P. Galashin, S. N. Karp, and T. Lam. The totally nonnegative grassmannian is a ball. Advances in Mathematics, 397:108123, Mar. 2022

  13. [13]

    D. R. Grayson and M. E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2

  14. [14]

    K. Kohn, R. Piene, K. Ranestad, F. Rydell, B. Shapiro, R. Sinn, M.-S. Sorea, and S. Telen. Adjoints and canonical forms of polypols. 2021

  15. [15]

    T. Lam. An invitation to positive geometries. 8 2022

  16. [16]

    Lemaire, M

    F. Lemaire, M. M. Maza, and Y . Xie. The RegularChains library in MAPLE. ACM SIGSAM Bulletin, 39(3):96–97, 2005

  17. [17]

    Łukowski and R

    T. Łukowski and R. Moerman. Boundaries of the amplituhedron with amplituhe- dronBoundaries. Comput. Phys. Commun., 259:107653, 2021

  18. [18]

    Postnikov

    A. Postnikov. Total positivity, grassmannians, and networks. 2006

  19. [19]

    Ranestad, R

    K. Ranestad, R. Sinn, and S. Telen. Adjoints and Canonical Forms of Tree Am- plituhedra. 2 2024. 22 GABRIELE DIAN - ELIA MAZZUCCHELLI - FELIX TELLANDER GABRIELE DIAN Deutsches Elektronen-Synchrotron DESY Notkestr. 85, 22607 Hamburg, Germany e-mail: gabriele.dian@desy.de ELIA MAZZUCCHELLI Max Planck Institute for Physics Garching bei M¨unchen, Germany e-ma...