Pith. sign in

REVIEW 5 major objections 5 minor 24 references

Notes on the one-loop amplituhedron and its BCFW tiling

T0 review · 5 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that one-loop BCFW cells tile the one-loop amplituhedron.

desk verdict A serious one-loop extension of the BCFW tiling program that is plausible but incomplete as written—worth refereeing, but the author needs to supply the missing calculations. read the letter →

arxiv 2506.22238 v1 pith:HB537IRH submitted 2025-06-27 math-ph math.MP

Ran J. Tessler This is my paper · ORCID
classification math-phmath.MP MSC 14M1505E1481T6005B35
keywords amplituhedronBCFWrecursionone-loopGrassmannianforwardlimitchorddiagramsdominoformtilingpositivegeometries
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper's central claim is that the one-loop amplituhedron is tiled by the images of the recursively defined BCFW cells, extending to one loop the proof of the tree-level BCFW conjecture. If this claim holds, the BCFW recursion of scattering amplitudes is realized geometrically at the first loop order: cells are pairwise disjoint, cover the amplituhedron, and match along codimension-1 boundaries. A sympathetic reader should care because the amplituhedron was introduced precisely to give a geometric home to the BCFW recursion, and a tiling at one loop removes a major missing step in that story.

What carries the argument

The argument is carried by the BCFW cells themselves: they are defined recursively using the BCFW map (a rational map built from two smaller cells and a positive point in $\mathrm{Gr}_{1,5}$) and the forward limit, which embeds a tree-level cell with two extra markers into the one-loop Grassmannian. Chord diagrams label cells and encode the recursive recipe, domino forms give canonical matrix representatives with sign rules, and the shift operation on chord diagrams matches boundary strata. A technical core is the boundary matching lemma, which relies on nine commutation relations between degenerate BCFW maps, one of which is fully proved while the others are asserted as similar.

What would settle it

A concrete way to test the tiling claim is to fix a small case, say $n=6$, $k=1$, and compute the images of the three one-loop BCFW cells under the amplituhedron map with a generic positive $6 \times 5$ matrix $Z$, then check pairwise disjointness and coverage of the whole amplituhedron; a hit of overlap or a missed region would refute the theorem. A more targeted falsifier is to verify Lemma 3.34 Items 5–9 directly by expanding both sides of each claimed commutation relation in explicit BCFW coordinates.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is the one-loop tiling theorem: for $n,k$ satisfying $k+4 \leq n$ and a positive matrix $Z$, the images under the amplituhedron map of the one-loop BCFW cells—constructed recursively with one forward-limit step—are pairwise disjoint, cover the whole amplituhedron, and glue along common boundaries. The proof follows the tree-case strategy of [EZLT25], adapted to the loopy setting by introducing a forward-limit step, a 1-loop positroid structure, and a combinatorial shift operation that matches codimension-1 boundary strata.

Load-bearing premise

The weakest load-bearing premise is that the codimension-1 boundary of every BCFW cell is either external or equal to a boundary of another BCFW cell, which in turn rests on the unproved Items 5–9 of Lemma 3.34 and on Proposition 2.56; if any of these fails, cells would overlap or leave gaps and the tiling would break.

Editorial extensions

If this is right

  • If the tiling holds, the BCFW recursion for planar N=4 super Yang-Mills is realized geometrically at one loop.
  • The number of one-loop BCFW cells, counted recursively and shown distinct, equals the product of binomial coefficients advertised in the physics literature.
  • The boundary matching provides a proof that the amplituhedron's boundary is the preimage $S_{\partial A}$, which could be reused for higher-loop generalizations.
  • The tools introduced—forward limit, 1-loop positroids, weak domino forms—are candidates for the building blocks of a proof at two loops.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the proof is correct, the eight unproved commutation relations of Lemma 3.34 are the most concrete spot where an independent check could harden the result; computing them directly would settle their validity.
  • The same degenerate-operator framework appears likely to extend the tiling to higher loops, though the forward-limit step would need new foundations.
  • An algorithmic implementation of the shift and matching rules could generate tiling data for small $n,k$ and compare with the expected Narayana numbers, catching potential boundary errors.
  • Extracting from the proof an explicit bijection between one-loop BCFW cells and the union of positroid cells would give a direct counting argument for the tiling.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 5 minor

Summary. The paper develops a mathematical framework for the one-loop amplituhedron and its BCFW tiling. It defines loopy Grassmannians and loopy amplituhedra, introduces 0- and 1-loop chord diagrams and recursively constructed BCFW cells, gives BCFW and domino coordinates, proves uniqueness of these forms (Theorem 2.1), and studies boundary strata of BCFW cells, including a matching lemma for codimension-one boundaries. The announced main theorem—that the BCFW cells tile the one-loop amplituhedron—is stated in the abstract and referred to as Theorem 8.1, but the proof is located in Sections 4–8, which are not available in the version of the text made available for review. The visible part contains a substantial amount of original and mostly carefully argued material.

Significance. If completed, the result would be a significant advance: it would give the first rigorous geometric realization of the one-loop BCFW recursion, extending the author's tree-level proof, and would establish the one-loop tiling conjecture in the mathematical amplituhedron literature. The paper is strong in its detailed combinatorial setup (chord diagrams, shift operations, matchable boundaries), in the explicit coordinate systems (BCFW and domino forms), and in several nontrivial proofs such as Theorem 2.1 and the boundary analysis of Section 3.4. These give concrete, testable structure rather than only formal statements. However, the load-bearing gaps identified below mean the headline theorem is not yet established by the visible portion of the manuscript.

major comments (5)
  1. [Sections 4–8 / Theorem 8.1] The central claim announced in the abstract—that the one-loop BCFW cells tile the one-loop amplituhedron—is formulated as Theorem 8.1, but Sections 4–8, including the proof of Theorem 8.1, the injectivity theorem, and the identification of S∂A with the amplituhedron boundary, are not included in the version provided to me. Since the boundary matching of Section 3 is only one input into the tiling, I cannot verify the headline result from the material at hand. Please provide the complete proof of Theorem 8.1, or clearly mark the present text as notes covering only part of the argument.
  2. [§3.3.2, Lemma 3.34] Lemma 3.34 is the engine behind Lemma 3.33, which matches every internal codimension-one boundary of a BCFW cell to a boundary of a neighboring cell. In the proof of Lemma 3.34, only Item 4 is proved by an explicit calculation. Items 5–7 are asserted with the substitutions listed but without verification of the span equality or of preservation of positivity, and Items 8–9 are derived by recursion from Items 6–7 without checking the base cases. The proof of Lemma 3.33 explicitly uses Items 5 and 9 in the α_i–γ_j matching cases and in the chain cases. A sign error in any of these degenerate commutations would produce unmatched internal boundaries and invalidate the tiling. These identities need complete proofs.
  3. [§2.5, Proposition 2.56] Proposition 2.56 asserts that every maximal minor of a one-loop domino pair is a polynomial with nonnegative coefficients in |gVar|, with proof 'almost identical' to the tree-level [EZLT25, Proposition 7.3]. This is not a routine translation: the one-loop domino form contains red and blue rows whose contributions involve γ_⋆, δ_0 and the vectors D_0, D_⋆, and the corresponding minors have new cancellation patterns. The proposition is used in Corollary 3.42 to conclude that nonvanishing of a Plücker coordinate is constant on each stratum ∂_A S_D, which in turn keeps regular strata away from S∂A and gives the decomposition of Sreg_D. Without a proof of Proposition 2.56, this part of the boundary analysis is unsupported. Please provide a full proof or a precise reduction to the tree statement.
  4. [§3.3.1, Remark 3.30] Proposition 3.29 claims that the degenerate BCFW algorithms produce spaces contained in the closure of S_D. The proof handles the limiting procedure, but Remark 3.30 concedes that full rank of the degenerate outputs for positive parameters is not proved here ('It requires some work, but one can actually show...'). Full rank is exactly what makes these spaces honest boundary strata of the cell rather than lower-dimensional artifacts. Since boundary strata are the objects matched by Lemma 3.33 and later used for the tiling, this assertion needs to be proved.
  5. [§2.2, Definition 2.9 / Remark 2.10] The forward-limit operation is defined only on tree cells whose construction contains no BCFW product supported on c,d,A,B,n. Remark 2.10 motivates this exclusion by asserting that such inputs either make FL undefined or produce spaces of dimension less than 4(k+1) mapping to the zero locus of a certain function, but no proof is given. Because the class of 1-loop BCFW cells is defined by this restriction, the tiling claim applies only to this restricted class; the exclusion needs a proof if the theorem is to assert a complete tiling rather than a tiling of a subset.
minor comments (5)
  1. [§3.5, Corollary 3.44] The proof of Corollary 3.44 invokes 'Observation 3.45 below' to rule out certain codimension-one strata, but that observation is not present in the text provided. Please include it or supply the missing argument.
  2. [§2.2.1, Definition 2.13] In Definition 2.13(3), the line defining the color classes contains a duplication: 'Blue = Blue(D), Blue = Blue(D)'. The intended definition of Purple(D) should be stated explicitly.
  3. [§2.2, Remark 2.11] Remark 2.11 quotes the one-loop cell count from the physics literature and says it 'can be easily deduced from this text', but no derivation or forward reference is given. If this count is used in the final tiling theorem, it should be proved rather than assumed.
  4. [§2.2.1, Observation 2.20] Observation 2.20 asserts a bijection between chord diagrams and recipes for constructing BCFW cells and calls it 'straight forward', but the inverse map is not spelled out. A brief inductive description would make the bijection verifiable.
  5. [§2.5, Definition 2.49] The sign rules in Definition 2.49 refer to a 'strict same end child', while Definition 2.14 uses 'strictly same-ended'. Please harmonize the terminology to avoid ambiguity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the one-loop tiling proof extends the tree-level argument rather than reducing to it by definition or by fitted inputs.

full rationale

I walked the paper's derivation chain from the recursive definition of BCFW cells (Definitions 2.9 and 2.19) through the boundary-matching lemma (Lemma 3.33) and its supporting commutation relations (Lemma 3.34). The central one-loop tiling claim is not equivalent to any single input: the cells are constructed by explicit BCFW products and the forward limit, and their matchable boundaries are compared by nontrivial degenerate-operator commutations and by explicit domino-form transformations. The paper's reliance on [EZLT25] for the tree case and on [EZLP+23] for positroid products is a normal inheritance of established results, not a circular reduction; the one-loop theorem is not contained in the tree theorem by construction. The statement in Remark 2.11 that the one-loop cell count is "known from the physics literature [AHT14]" is contextual, not used as a fitted input for the tiling proof. Lemma 3.34 Items 5–9 are delegated with "the proofs are similar," and Proposition 2.56 is delegated to an "almost identical" tree-level proof; these are unverified or abbreviated arguments, but they are proof gaps, not circularity. The red-boundary case is explicitly definitional ("There is nothing to prove in the case of the red boundary, since there this equality is the definition"), and this is an open convention rather than a disguised derivation. No parameter is fitted to a subset of data and then renamed as a prediction, and no load-bearing premise is justified only by a self-citation whose content is the one-loop tiling itself.

Assumptions & free parameters 0 free parameters · 6 assumptions · 4 invented entities

This is a pure mathematics paper, so the ledger has no fitted numbers: the BCFW coordinates are variables on cells, not parameters tuned to data. The central claim rests on three kinds of input: standard background (Grassmannians, positroids, Plücker relations), cited external theorems (Karp's positivity theorem; the author's tree-level proof in [EZLT25] and related results), and two paper-specific structural assumptions whose proofs are incomplete in the visible text (the forward-limit exclusion rule and boundary matching completeness). The invented entities are all explicitly defined mathematical objects rather than unexplained postulates.

assumptions (6)
  • standard math Real Grassmannians, two-step flag varieties, and Plücker coordinate relations (Proposition 1.11, citing Weyl [Wey03]) are taken as background.
    Used throughout for the geometry of loopy vector spaces, their minors, and the flag structure of the one-loop Grassmannian; invoked in Definition 1.7 and Proposition 1.11.
  • standard math Lusztig and Postnikov theory of the nonnegative Grassmannian and positroids, including positroid cells and their matroids (Lus94, Pos06), is assumed.
    Foundation of Section 2.4, where one-loop positroid cells are defined as pairs of tree positroid cells and the BCFW cells are shown to sit inside them.
  • domain assumption Karp's theorem [Kar17, Section 4]: a positive n×(k+m) matrix maps nonnegative k-planes to positive or nonnegative k-planes of the appropriate dimension.
    Invoked in Theorem 1.1 to show the amplituhedron map lands in the required flag space and that the one-loop amplituhedron is compact and connected. External result from the literature.
  • domain assumption The tree-level BCFW tiling and supporting results of [EZLT25] and [EZLP+23] (tree cells are 4-coindependent, Lemma 2.39; the BCFW product preserves nonnegativity; the tree analog of the minor-positivity statement, Proposition 7.3).
    The abstract says the paper extends the proof of the tree case, and the text states 'This text follows the strategy of [EZLT25]'. Several lemmas are taken verbatim from those papers.
  • ad hoc to paper The forward-limit exclusion rule of Definition 2.9: cells whose construction contains a BCFW product supported on c, d, A, B, n are not valid inputs to FL.
    Remark 2.10 justifies the exclusion only by a deferred claim that those cells map to the zero locus of a function; until that claim is supplied, the rule is a paper-specific assumption that shapes the cell collection.
  • ad hoc to paper Boundary matching completeness: every internal codimension-1 boundary of a one-loop BCFW cell is a matchable boundary shared with a neighboring cell (Lemma 3.33, via Lemma 3.34).
    The shift operations of Definition 3.20 are engineered so that boundaries match, but the completeness of the description rests on commutation relations of which only Item 4 is proved in the visible text.
invented entities (4)
  • Loopy Grassmannian Gr_{k,n;ℓ} and its nonnegative part
    purpose: Domain of the amplituhedron map and home of the BCFW cells; the one-loop case is a two-step flag variety.
    Follows [AHT14] and is rigorously defined (Definitions 1.3 and 1.4) with basic topological properties proven in Lemma 1.12. It is a defined mathematical space, not a postulated explanation, so no external falsifiable handle is required.
  • One-loop chord diagrams with colored chords (black, red, blue, purple, yellow)
    purpose: Combinatorial labels for the one-loop BCFW cells; the shift operations of Definition 3.20 act on them to match boundaries.
    Paper-internal gadget introduced in Definition 2.13. Whether the diagrams faithfully encode the cells and their boundaries is exactly what the (partially omitted) boundary analysis and the truncated Theorem 8.1 must establish.
  • Functionaries and their promotions (Sections 4 and 5)
    purpose: Algebraic counterpart of the BCFW recursion, used for positivity and the tiling argument according to the table of contents.
    The defining sections are in the truncated part of the provided text, so this entry could not be assessed; it is listed for completeness.
  • B-amplituhedron (Section 4)
    purpose: Auxiliary space, per the table of contents, presumably used in the positivity and injectivity analysis.
    Same as above: the relevant sections are not in the provided text, so its role could not be verified.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Notes on the one-loop amplituhedron and its BCFW tiling." pith.science (2026). https://pith.science/paper/HB537IRH

@misc{pith2026250622238,
  author       = {Pith},
  title        = {Pith review of: Notes on the one-loop amplituhedron and its BCFW tiling},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HB537IRH}},
  note         = {Machine review of arXiv:2506.22238}
}
read the original abstract

These notes are based on talks I gave in the seminar "Mathematical structures in scattering amplitudes in quantum field theories" I organized in Weizmann Institute on Fall 24'. They study amplituhedra, and extend the proof of \cite{even2021amplituhedron} of the BCFW conjecture for tree amplituhedra to one loop.

Figures

Figures reproduced from arXiv: 2506.22238 by the authors.

Figure 1
Figure 1. A one loop chord diagram D on n = 19 markers. (1) No two chords Di , Dj ∈ D satisfy ai = aj or ai < aj < ci < cj . (2) The chords are ordered so that for i > j then ci ≥ cj , and, in case of equality then bi < bj . (3) If ℓ = 0 all chords are colored black. If ℓ = 1 then every chord is colored black, red, blue or purple. We denote the sets of black, red, blue, and purple chords by Black = Black(D), Blue = Blue(D), B… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 18 canonical work pages

  1. [1]

    The amplituhedron

    Nima Arkani-Hamed and Jaroslav Trnka. The amplituhedron. J. High Energy Phys. , 10:33, 2014

    work page 2014

  2. [2]

    The tropical amplituhedron

    Evgeniya Akhmedova and Ran J Tessler. The tropical amplituhedron. arXiv preprint arXiv:2312.12319 , 2023

    arXiv 2023

  3. [3]

    Direct proof of the tree-level scattering amplitude recursion relation in Y ang- M ills theory

    Ruth Britto, Freddy Cachazo, Bo Feng, and Edward Witten. Direct proof of the tree-level scattering amplitude recursion relation in Y ang- M ills theory. Phys. Rev. Lett. , 94(18):181602, 4, 2005

    work page 2005

  4. [4]

    The Amplituhedron from Momentum Twistor Diagrams

    Yuntao Bai and Song He. The Amplituhedron from Momentum Twistor Diagrams . JHEP , 02:065, 2015

    work page 2015

  5. [5]

    The m=2 amplituhedron

    Huanchen Bao and Xuhua He. The m=2 amplituhedron, 2019. Preprint, arxiv:1909.06015

    work page Pith review arXiv 2019

  6. [6]

    The amplituhedron and the one-loop grassmannian measure

    Yuntao Bai, Song He, and Thomas Lam. The amplituhedron and the one-loop grassmannian measure. Journal of High Energy Physics , 2016(1):1--42, 2016

    work page 2016

  7. [7]

    On two notions of total positivity for partial flag varieties

    Anthony M Bloch and Steven N Karp. On two notions of total positivity for partial flag varieties. Advances in Mathematics , 414:108855, 2023

    work page 2023

  8. [8]

    Lectures on algebraic topology , volume 200

    Albrecht Dold. Lectures on algebraic topology , volume 200. Springer Science & Business Media, 2012

    work page 2012

Show all 24 references
  1. [9]

    Cluster algebras and tilings for the m= 4 amplituhedron

    Chaim Even-Zohar, Tsviqa Lakrec, Matteo Parisi, Ran Tessler, Melissa Sherman-Bennett, and Lauren Williams. Cluster algebras and tilings for the m= 4 amplituhedron. arXiv preprint arXiv:2310.17727 , 2023

    2023 arXiv

  2. [10]

    The amplituhedron BCFW triangulation

    Chaim Even-Zohar, Tsviqa Lakrec, and Ran J Tessler. The amplituhedron BCFW triangulation. Inventiones mathematicae , pages 1--130, 2025

    2025

  3. [11]

    Young tableaux, with applications to representation theory and geometry

    W Fulton. Young tableaux, with applications to representation theory and geometry. London Mathematical Society Student Texts , 35, 1997

    1997

  4. [12]

    Amplituhedra and origami

    Pavel Galashin. Amplituhedra and origami. arXiv preprint arXiv:2410.09574 , 2024

    2024 arXiv

  5. [13]

    Differential topology , volume 33

    Morris W Hirsch. Differential topology , volume 33. Springer Science & Business Media, 2012

    2012

  6. [14]

    Complement of codim 2 manifold is connected? Mathematics Stack Exchange

    Moishe Kohan (https://math.stackexchange.com/users/84907/moishe kohan). Complement of codim 2 manifold is connected? Mathematics Stack Exchange. URL:https://math.stackexchange.com/q/4168411 (version: 2024-07-20)

    2024

  7. [15]

    A note on proper maps

    Chung Wu Ho. A note on proper maps. Proceedings of the American Mathematical Society , 51(1):237--241, 1975

    1975

  8. [16]

    Sign variation, the grassmannian, and total positivity

    Steven N Karp. Sign variation, the grassmannian, and total positivity. Journal of Combinatorial Theory, Series A , 145:308--339, 2017

    2017

  9. [17]

    Karp and Lauren K

    Steven N. Karp and Lauren K. Williams. The m=1 amplituhedron and cyclic hyperplane arrangements. Int. Math. Res. Not. IMRN , 5:1401--1462, 2019

    2019

  10. [18]

    Decompositions of amplituhedra

    Steven N Karp, Lauren K Williams, and Yan X Zhang. Decompositions of amplituhedra. Annales de l’Institut Henri Poincar \'e D , 7(3):303--363, 2020

    2020

  11. [19]

    G. Lusztig. Total positivity in reductive groups. In Lie theory and geometry , volume 123 of Progr. Math. , pages 531--568. Birkh\"auser Boston, Boston, MA, 1994

    1994

  12. [20]

    Total positivity, G rassmannians, and networks

    Alexander Postnikov. Total positivity, G rassmannians, and networks. arXiv:math/0609764 , 2006

    2006 arXiv

  13. [21]

    Williams

    Matteo Parisi, Melissa Sherman-Bennett, and Lauren K. Williams. The m=2 amplituhedron and the hypersimplex: signs, clusters, tilings, E ulerian numbers. Comm. Amer. Math. Soc. , 3:329--399, 2023

    2023

  14. [22]

    The BCFW tiling of the ABJM amplituhedron

    Michael Oren Perlstein and Ran Tessler. The BCFW tiling of the ABJM amplituhedron. arXiv preprint arXiv:2501.07576 , 2025

    2025

  15. [23]

    Complement of codim 2 manifold is connected? Mathematics Stack Exchange

    user939711 (https://math.stackexchange.com/users/939711/user939711). Complement of codim 2 manifold is connected? Mathematics Stack Exchange. URL:https://math.stackexchange.com/q/4169287 (version: 2021-06-10)

    2021

  16. [24]

    Cohomology of vector bundles and syzygies

    Jerzy Weyman. Cohomology of vector bundles and syzygies . Number 149. Cambridge University Press, 2003

    2003

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.