The two-loop Amplituhedron
Pith reviewed 2026-05-23 18:58 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [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.
- 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
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
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
Reference graph
Works this paper leans on
-
[1]
N. Arkani-Hamed, Y . Bai, and T. Lam. Positive geometries and canonical forms. Journal of High Energy Physics, 2017(11), Nov. 2017
work page 2017
-
[2]
N. Arkani-Hamed, H. Thomas, and J. Trnka. Unwinding the amplituhedron in binary. Journal of High Energy Physics, 2018(1), Jan. 2018
work page 2018
-
[3]
N. Arkani-Hamed and J. Trnka. Into the Amplituhedron. JHEP, 12:182, 2014
work page 2014
-
[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
work page 2013
-
[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
work page 1975
-
[6]
D. Cox, J. Little, and D. O’Shea. Ideals, varieties, and algorithms. an introduction to computational algebraic geometry and commutative algebra. 2007
work page 2007
-
[7]
G. Dian. On the polygon front lines: visualizing the amplituhedron with the wolfram language. https://shorturl.at/vgGwc
-
[8]
G. Dian, P. Heslop, and A. Stewart. Internal boundaries of the loop amplituhedron. SciPost Physics, 15(3), Sept. 2023
work page 2023
-
[9]
G. Dian, E. Mazzucchelli, and F. Tellander. 2-loop ampli- tuhedron stratification. https://github.com/GabrieleDian/ Loop-amplituhedron-stratification.git
-
[10]
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
work page 2023
- [11]
-
[12]
P. Galashin, S. N. Karp, and T. Lam. The totally nonnegative grassmannian is a ball. Advances in Mathematics, 397:108123, Mar. 2022
work page 2022
-
[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]
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
work page 2021
-
[15]
T. Lam. An invitation to positive geometries. 8 2022
work page 2022
-
[16]
F. Lemaire, M. M. Maza, and Y . Xie. The RegularChains library in MAPLE. ACM SIGSAM Bulletin, 39(3):96–97, 2005
work page 2005
-
[17]
T. Łukowski and R. Moerman. Boundaries of the amplituhedron with amplituhe- dronBoundaries. Comput. Phys. Commun., 259:107653, 2021
work page 2021
- [18]
-
[19]
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...
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.