Pith. sign in

REVIEW 1 cited by

On the Boundaries of the m=2 Amplituhedron

T0 review · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read All boundaries of the m=2 amplituhedron A_{n,k}^{(2)} are classified, the boundary poset is Eulerian, and the Euler characteristic equals one.

arxiv 1908.00386 v1 pith:42DYY5XS submitted 2019-08-01 hep-th math.CO

Tomasz Lukowski This is my paper · ORCID
classification hep-thmath.CO
keywords amplituhedronmathcalboundariesamplitudesamplituhedraballboundarycharacteristic
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

Amplituhedra are shapes built from matrices with positive entries. The m=2 amplituhedron A_{n,k}^{(2)} is a particular family of these shapes. Its boundary is made of faces of different dimensions, like the edges and corners of a polygon. This paper gives a complete list of these faces for every n and k.

The author labels every boundary by a picture: k overlapping copies of an n-gon, where some copies are filled, some have a marked edge, and some have a marked vertex. Each picture corresponds to a particular slice of the shape. Using these pictures, the paper counts how many boundaries of each dimension exist. For small values of k, the numbers are written in tables. The author checks that the Euler characteristic, the alternating sum of these counts, is always 1. That is a necessary condition for the shape to be topologically a ball.

The paper also defines a boundary operator, a rule that moves from a face to the faces one dimension lower, similar to the boundary operator in topology. It squares to zero, as expected. The author admits that a full proof for all n and k is still open; the rigorous statements for large n and k are left for future work, and one extra rule is added by hand to make the boundary operator match the classification.

Extended reading notes

Core claim

The paper claims 'we classify all boundaries of all dimensions' of A_{n,k}^{(2)} (Section 2.4) and states 'the boundary poset for the amplituhedron is Eulerian' and 'the Euler characteristic of the amplituhedron equals one', with Equation (2.13) giving χ_{n,k} = F_{n,k}(1,1) = 1. If correct, this is a complete boundary classification for m=2 amplituhedra and a necessary condition for the ball conjecture.

Load-bearing premise

The recursive enumeration in Section 2.4 is assumed complete: after keeping cells whose inverse boundaries all have strictly higher amplituhedron dimension and removing 'spurious boundaries' identified by belonging to a single (d+1)-dimensional boundary, the remaining images are asserted to be exactly all external boundaries for all n and k. If this procedure misses or double-counts any boundary type for large n or k, the classification, the Eulerian check, and the Euler characteristic result would be incomplete.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

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

The paper introduces no fitted numerical parameters. Its conclusions depend on the correctness of the positive Grassmannian boundary classification (Postnikov, cited), on the assumed completeness of the recursive boundary enumeration (Section 2.4), on the spurious-boundary criterion, and on two unproven constructions: the ad hoc relation (2.23) and the empirical generating function (2.12). No new physical or geometric entities are postulated.

assumptions (4)
  • standard math Boundaries of the positive Grassmannian G+(k,n) are parametrized by permutations of n elements (Postnikov's theorem).
    Invoked in Section 2.1 as the known classification from [3,4]; the paper does not reprove it.
  • domain assumption The recursive procedure in Section 2.4 yields all external boundaries: keep cells whose inverse boundaries have higher amplituhedron dimension, then discard spurious boundaries identified as belonging to a single (d+1)-dimensional boundary.
    This is the load-bearing algorithmic premise; its completeness is checked on examples, not proven.
  • ad hoc to paper Equation (2.23): (P_{i,j} - P_{i,l} + P_{j,l}) ⊗ P_j = 0 for i<j<l.
    Added by hand so the boundary operator reproduces the non-generic boundary P_{i-1,i+1}⊗P_i; the paper notes a simpler description remains open.
  • ad hoc to paper The generating function F_{n,k}(x,y) = sum_{i=0}^k (-1)^i C(n,i) y^{k-i} x^i (1-x)^i (Equation 2.12) counts all boundaries for all n,k.
    Stated after checking k=1,2,3 without proof; used to compute χ=1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Boundaries of the m=2 Amplituhedron." pith.science (2026). https://pith.science/paper/42DYY5XS

@misc{pith2026190800386,
  author       = {Pith},
  title        = {Pith review of: On the Boundaries of the m=2 Amplituhedron},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/42DYY5XS}},
  note         = {Machine review of arXiv:1908.00386}
}
abstract

Amplituhedra $\mathcal{A}_{n,k}^{(m)}$ are geometric objects of great interest in modern mathematics and physics: for mathematicians they are combinatorially rich generalizations of polygons and polytopes, based on the notion of positivity; for physicists, the amplituhedron $\mathcal{A}^{(4)}_{n,k}$ encodes the scattering amplitudes of the planar $\mathcal{N}=4$ super Yang-Mills theory. In this paper we study the structure of boundaries for the amplituhedron $\mathcal{A}_{n,k}^{(2)}$. We classify all boundaries of all dimensions and provide their graphical enumeration. We find that the boundary poset for the amplituhedron is Eulerian and show that the Euler characteristic of the amplituhedron equals one. This provides an initial step towards proving that the amplituhedron for $m=2$ is homeomorphic to a closed ball.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Cluster Adjacency for m=2 Yangian Invariants

    hep-th 2019-08 conditional novelty 6.0 of 10

    Every m=2 Yangian invariant is labelled by a collection of non-intersecting polygons in an n-gon, yielding an explicit formula whose denominator factors lie in a common Gr(2,n) cluster, thus manifestly satisfying clus...

Reference graph

Works this paper leans on

13 extracted references · 6 canonical work pages · cited by 1 Pith paper

  1. [1]

    The Amplituhedron

    N. Arkani-Hamed and J. Trnka, “The Amplituhedron”, JHEP 1410, 30 (2014) , arxiv:1312.2007

    arXiv 2014

  2. [2]

    The totally nonnegative Grassmannian is a ball

    P. Galashin, S. N. Karp and T. Lam, “The totally nonnegative Grassmannian is a ball” , arxiv:1707.02010

    work page Pith review arXiv

  3. [3]

    Total positivity, Grassmannians, and networks

    A. Postnikov, “Total positivity, Grassmannians, and networks” , math/0609764

    arXiv

  4. [4]

    Grassmannian Geometry of Scattering Amplitudes

    N. Arkani-Hamed, J. L. Bourjaily, F. Cachazo, A. B. Goncharov, A. Postnikov and J. Trnka, “Grassmannian Geometry of Scattering Amplitudes” , Cambridge University Press (2016)

    work page 2016

  5. [5]

    Shelling totally nonnegative flag varieties

    L. K. Williams, “Shelling totally nonnegative flag varieties” , math/0509129

    work page Pith review arXiv

  6. [6]

    The Momentum Amplituhedron

    D. Damgaard, L. Ferro, T. Lukowski and M. Parisi, “The Momentum Amplituhedron”, arxiv:1905.04216

    arXiv 1905

  7. [7]

    Into the Amplituhedron

    N. Arkani-Hamed and J. Trnka, “Into the Amplituhedron”, JHEP 1412, 182 (2014) , arxiv:1312.7878

    arXiv 2014

  8. [8]

    Anatomy of the Amplituhedron

    S. Franco, D. Galloni, A. Mariotti and J. Trnka, “Anatomy of the Amplituhedron” , JHEP 1503, 128 (2015) , arxiv:1408.3410

    arXiv 2015

Show all 13 references
  1. [9]

    The Amplituhedron and the One-loop Grassmannian Measure

    Y. Bai, S. He and T. Lam, “The Amplituhedron and the One-loop Grassmannian Measure” , JHEP 1601, 112 (2016) , arxiv:1510.03553

    2016 arXiv

  2. [10]

    Positivity Sectors and the Amplituhedron

    D. Galloni, “Positivity Sectors and the Amplituhedron” , arxiv:1601.02639

    arXiv

  3. [11]

    Deep Into the Amplituhedron: Amplitude Singularities at All Loops and Legs

    N. Arkani-Hamed, C. Langer, A. Yelleshpur Srikant and J. Trnka, “Deep Into the Amplituhedron: Amplitude Singularities at All Loops and Legs” , Phys. Rev. Lett. 122, 051601 (2019) , arxiv:1810.08208

    2019 arXiv

  4. [12]

    All-loop cuts from the Amplituhedron

    C. Langer and A. Yelleshpur Srikant, “All-loop cuts from the Amplituhedron” , JHEP 1904, 105 (2019) , arxiv:1902.05951

    2019 arXiv

  5. [13]

    Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica

    J. L. Bourjaily, “Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica” , arxiv:1212.6974. – 12 – Figure 2 : All labels for boundaries of A(2) 5,2 with the permutation of corresponding positroid cells. – 13 – Figure 3 : Poset of boundaries for A(2) 5,2, using th...

    arXiv

Pith tools

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