Pith. sign in

REVIEW 4 major objections 4 minor 1 cited by

Exterior Cyclic Polytopes and Convexity of Amplituhedra

T0 review · 4 major / 4 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 For $k=m=2$, the amplituhedron is the Grassmannian cut by convex inequalities.

desk verdict Worth taking seriously: the exterior cyclic polytope and the k=m=2 slice theorem are genuinely new, but the proof of connectivity has a real gap and needs repair before the main claim is fully established. read the letter →

arxiv 2507.17620 v1 pith:UHRREPLM submitted 2025-07-23 math.CO hep-thmath-phmath.MP

Elia Mazzucchelli , Elizabeth Pratt This is my paper · ORCID
classification math.COhep-thmath-phmath.MP MSC 52B1114M1505B35
keywords amplituhedronextendableconvexityexteriorcyclicpolytopeGrassmanniantwistmapSchubertdivisorswedgepowermatroidpositivegeometry
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 proves that the $k=m=2$ amplituhedron—the positive geometry associated with one-loop scattering amplitudes in $\mathcal{N}=4$ super Yang-Mills theory—is extendably convex: for any positive external matrix $Z$ it is exactly the intersection of the Grassmannian of lines in $\mathbb{P}^3$ with an explicit convex polytope, the exterior cyclic polytope $C_{2,2,n}(Z)$. This yields a linear-inequality description of the amplituhedron in the only case where the positivity conjecture for amplitudes has been proven, and it places the amplituhedron in a setting where canonical forms have dual-volume representations. The paper introduces the exterior cyclic polytope, a generalization of the cyclic polytope that equals the convex hull of the amplituhedron in Plücker space, and analyzes its facets and matroid. It then shows that the dual of that polytope, after applying the twist map to $Z$, is again an exterior cyclic polytope, which makes the extendable dual amplituhedron for $k=m=2$ itself an amplituhedron with twisted external data.

What carries the argument

The load-bearing object is the exterior cyclic polytope $C_{k,m,n}(Z)$: the convex hull in $\mathbb{P}(\wedge^k\mathbb{R}^{k+m})$ of the points $Z_{i_1}\wedge\cdots\wedge Z_{i_k}$ for $1\le i_1<\cdots<i_k\le n$, equivalently the image of the non-negative orthant of $\mathbb{P}(\wedge^k\mathbb{R}^n)$ under the linear map $\wedge^k Z$ (Lemma 4.3). For $k=1$ it recovers the cyclic polytope. The proof that $A_{2,2,n}=\mathrm{Gr}(2,4)\cap C_{2,2,n}$ runs through an intersection criterion (Lemma 3.11) requiring the interior intersection of the Grassmannian with the polytope to be connected, the intersection to be regular, and the amplituhedron's algebraic boundary to lie in the polytope's boundary; the boundary condition uses the known Schubert-divisor boundary of $A_{2,2,n}$. The Schubert exterior polytope $\widetilde{C}_{2,2,n}(Z)$ keeps only the facet hyperplanes whose restriction to $\mathrm{Gr}(2,4)$ is a Schubert divisor, and Proposition 5.11 identifies its dual with $C_{2,2,n}(\tau(Z))$.

What would settle it

Take a specific positive $4\times n$ matrix $Z$ (for instance the $n=6$ Vandermonde example in the paper) and compute the semialgebraic set $S=\mathrm{Gr}(2,4)\cap\{Y:\langle Y\,\overline{i}\,\overline{j}\rangle>0\ \forall\, i<j\}$: if $S$ is disconnected, or if some $Y\in S$ fails the zero-sign-flip condition (50) that defines the twisted amplituhedron $A_{2,2,n}(\tau(Z))$, then Theorem 6.12 and Corollary 7.6 are false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 6.12: for every real $4\times n$ matrix $Z$ with positive maximal minors, the amplituhedron $A_{2,2,n}(Z)$—the image of the non-negative Grassmannian $\mathrm{Gr}_{\geq0}(2,n)$ under the linear map $\wedge^2 Z$—equals both $\mathrm{Gr}(2,4)\cap C_{2,2,n}(Z)$ and $\mathrm{Gr}(2,4)\cap \widetilde{C}_{2,2,n}(Z)$, where $C_{2,2,n}(Z)$ is the exterior cyclic polytope and $\widetilde{C}_{2,2,n}(Z)$ its Schubert truncation. Corollary 6.13 states that $A_{2,2,n}(Z)$ is extendably convex, meaning the amplituhedron is cut out in Plücker space by the linear inequalities $\langle Y\,\overline{i}\,\overline{j}\rangle\ge0$. The paper also proves Proposition 5.11, $\widetilde{C}_{2,2,n}(Z)=C_{2,2,n}(\tau(Z))^*$ with $\tau$ the twist map, and Corollary 7.6, that the extendable dual amplituhedron for $k=m=2$ is again an amplituhedron $A_{2,2,n}(\tau(Z))$.

Load-bearing premise

The load-bearing premise is that $\mathrm{Gr}(2,4)\cap\operatorname{int}(P)$ is connected for $P=C_{2,2,n}(Z)$ and $P=\widetilde{C}_{2,2,n}(Z)$; Lemma 6.11 asserts this but its final step—that a small coordinate chart near the boundary point $(12)$ makes the set contractible—is not proved, and the statement of the supporting Lemma 6.10 contains a misprint, so if connectivity fails the intersection criterion Lemma 3.11 does not apply.

Editorial extensions

If this is right

  • For every positive $4\times n$ matrix $Z$, membership in $A_{2,2,n}(Z)$ is a convex feasibility problem: a line in $\mathbb{P}^3$ lies in the amplituhedron if and only if it satisfies the linear inequalities $\langle Y\,\overline{i}\,\overline{j}\rangle\ge0$ for all $1\le i<j\le n$.
  • The convex hull of the amplituhedron in Plücker space is the exterior cyclic polytope, so all convex geometry of the one-loop amplitude sector is encoded in the finitely many wedge vertices $Z_i\wedge Z_j$.
  • The extendable dual amplituhedron for $k=m=2$ is itself an amplituhedron with external data twisted by $\tau$, realizing parity-duality (MHV versus $\overline{\mathrm{MHV}}$) as convex duality.
  • The boundary of $C_{2,2,n}(Z)$ contains exactly $\binom{n}{2}$ Schubert facets, the hyperplanes $\langle Y\,\overline{i}\overline{j}\rangle=0$, and these intersect transversally in $\mathrm{Gr}(2,4)$.
  • The combinatorial study of $C_{2,2,n}(Z)$ ties its facet structure to the wedge power matroid $W_{2,2,n}$, the dual of the hyperconnectivity matroid, linking the polytope to graph connectivity and rigidity.

Reading between the lines

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

  • The linear-inequality description suggests a direct numerical falsification test for the conjectured $k=3,m=2$ case: sample $\mathrm{Gr}(2,5)\cap\widetilde{C}_{3,2,6}$ and check whether it matches the sign-flip semialgebraic description (50); the paper's Example 5.12 lists the Schubert facets needed to run this test.
  • The stratification locus in Theorem 4.11, where the wedge-power matroid degenerates, coincides with the vanishing of a polynomial that already appears as the algebraic prefactor of the six-dimensional scalar hexagon integral, hinting that matroid degenerations might correspond to physical thresholds.
  • If a non-negative measure on the extendable dual amplituhedron can be constructed, the convexity established here would permit a dual-volume formula for the canonical form, a step toward proving complete monotonicity of scattering amplitudes; the authors flag this as an open problem.
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

4 major / 4 minor

Summary. The paper introduces a notion of extendable convexity for semialgebraic sets in embedded projective varieties, defines exterior cyclic polytopes C_{k,m,n}(Z) as the k-th exterior power of the cyclic polytope of a positive matrix Z, and proves that the convex hull of the amplituhedron A_{k,m,n}(Z) equals C_{k,m,n}(Z). The main theorem, Theorem 6.12, claims that for k=m=2, A_{2,2,n}(Z) = Gr(2,4) ∩ C_{2,2,n}(Z) = Gr(2,4) ∩ C̃_{2,2,n}(Z), yielding extendable convexity; Corollary 6.13 then asserts this convexity. The proof strategy is to apply the intersection criterion Lemma 3.11, with regularity supplied by Lemma 6.9, connectivity by Lemma 6.11, and the algebraic boundary by the external result [27, Prop. 3.1]. The paper also defines an extendable dual amplituhedron and shows for k=m=2 that it is again an amplituhedron with twisted external data.

Significance. If Theorem 6.12 is correct, it provides a linear-inequality description of the k=m=2 amplituhedron, a physically relevant and mathematically settled sector, and establishes a new convexity property that could support dual-volume representations of canonical forms. The paper's framework is original and likely useful beyond this case: Proposition 6.1 is a clean and apparently correct projection argument, the exterior cyclic polytope is a natural combinatorial object, and the computational components—positivity of 120 polynomials over S_5 in Theorem 4.11, f-vectors in Table 1, and the detailed Example 5.12—are concrete and reproducible. However, the central proof is not complete as written: the connectivity lemma that is load-bearing for Theorem 6.12 has concrete gaps, and a supporting lemma is misprinted.

major comments (4)
  1. [§6.2, Lemma 6.11] The path construction does not connect Y to (12). In eq. (41), α(β) = -β⟨Y ij⟩ / (⟨12ij⟩ + β⟨Y 12⟩), so α(0)=0 and hence γ(0) = P(0,0) = (ij), not (12). The limit as β→∞ is Y, so the curve connects (ij) to Y, not Y to (12). Since (ij) with |i-j|>1 lies outside C_{2,2,n} by Lemma 6.9, the curve does not lie in S ∪ {(12)} as claimed. This invalidates the asserted connectivity of S ∪ {(12)} and, in turn, the application of Lemma 3.11.
  2. [§6.2, Lemma 6.11, final paragraph] The final contractibility step is asserted rather than proved. The text states that a sufficiently small chart around (12) makes the image of S contractible, and concludes that S is connected. Connectedness of S ∪ {(12)} together with local contractibility near the boundary point (12) does not imply connectedness of S: a bouquet of arcs meeting only at (12) is a counterexample. A local model of Gr(2,4) ∩ P near (12), or an alternative connectedness argument, is required for the proof of Lemma 6.11 to be valid.
  3. [§6.2, Lemma 6.10, eq. (37)] Eq. (37) is misprinted: the two sets displayed are identical, so their intersection is the same nonempty set, not empty. The proof suggests the intended statement involves the image under the linear map T of the positive orthant in R^{binom(n,2)}, but as printed the lemma cannot be used as a black box in Lemma 6.11. This is not a purely cosmetic typo, because Lemma 6.11 explicitly invokes Lemma 6.10 to obtain the existence of i,j with ⟨Y ij⟩<0.
  4. [§6.2, Lemma 6.9, eq. (36)] The containment Sing(X ∩ F) ⊂ ⋃_i Sing(X ∩ H_i) in eq. (36) is stated without proof for an arbitrary face F of C_{2,2,n}. This is load-bearing for Lemma 3.11's regularity assumption via Lemma 3.12, and it is not automatic from the smoothness of each hyperplane section X ∩ H_i; it needs a justification, for example via transversality of the relevant facet hyperplanes along the face. As written, the regularity proof is incomplete.
minor comments (4)
  1. [§3.1, Proposition 3.4] The implication symbol in item 1 is corrupted ("Leftr⫯g⊸tl⫯ne") and should be replaced by a proper implication arrow.
  2. [§5.2, after eq. (27)] The claim that Proposition 5.10 is needed to establish eq. (27) is not accurate: eq. (27) follows directly from Definition 5.7 and Theorem 5.5, since the dual of a convex hull of points {p_j} is exactly the intersection of the halfspaces {Y : ⟨Y, p_j⟩ ≥ 0}. Proposition 5.10 may be useful for other purposes, but it is not required for this equality.
  3. [§6.2, Lemma 6.10 proof] The proof of Lemma 6.10 is terse: the map T is defined on coordinates, but the verification that the chosen vector v separates T(R_{>0}^{binom(n,2)}) from R_{>0}^{binom(n,2)} is only sketched in the sentence about Tab·vab ≤ 0. Please expand or provide a reference for this separation argument.
  4. [Throughout] There are several minor typographical issues, including "Max-Plank" in the affiliation, "We can can assume" in Lemma 6.11, and various OCR artifacts in displayed formulas. A careful proofreading pass is recommended.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main theorem is anchored in external boundary results and independent lemmas; the only self-citation is a non-load-bearing forward reference.

full rationale

The derivation chain for Theorem 6.12 uses Lemma 3.11 with four independent assumptions: regularity (Lemma 6.9), connectedness (Lemma 6.11), interior containment (immediate), and algebraic-boundary containment (Assumption 4), the last citing the external result [27, Proposition 3.1] together with Proposition 5.6. Proposition 6.1 (conv(A)=C) is a direct projection argument: the vertices of C are images of coordinate k-planes in Gr>=0, so the nontrivial inclusion is immediate; it is not circular. Proposition 5.11 is essentially an unwinding of definitions: after eq. (27), both sides are {Y : <Y ij> >= 0}, and by Example 2.2, ij = W_i ∧ W_j, so C_{2,2,n}(W)^* is defined by exactly the same inequalities; the paper states this transparently and does not use Proposition 5.11 to prove Theorem 6.12. The only self-citation is [23], a forward reference in Question 8.4 to planned work by one author; it is not load-bearing. The misprinted eq. (37) and the gap in Lemma 6.11 are correctness or rigor concerns, not circularity: a flawed connectivity argument would invalidate assumption 2 of Lemma 3.11, but that is a proof gap rather than a reduction of the theorem to its own input. No fitted parameter is renamed as a prediction, and no author-imported uniqueness theorem forces the conclusion.

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

The paper introduces two new polytope constructions and a dual amplituhedron as free-standing objects. It fits no parameters to data; the only chosen inputs are the positive matrix Z and the standard inner product used for duality (acknowledged in Section 7.1). The main load-bearing external inputs are the boundary statement [27, Prop. 3.1], the twist positivity [24], the ball theorem [14], and the finite author computations.

assumptions (6)
  • domain assumption Z is a real (k+m) × n matrix with all maximal minors positive (total positivity), with k=m=2 for the main theorems.
    Definition of the amplituhedron and the exterior cyclic polytope; Theorem 6.12, Theorem 5.5 and Proposition 5.11 all quantify over Z ∈ Mat_{>0}(4,n). Total positivity is used pervasively, e.g., positivity of ⟨12ij⟩ in Lemma 6.11.
  • domain assumption The algebraic boundary of A_{2,2,n} is exactly the union of the Schubert divisors ⟨Y ii+1⟩=0 ([27, Proposition 3.1]).
    Invoked as assumption 4 in Lemma 3.11 to prove Theorem 6.12. The paper does not re-derive this boundary statement; it is an external published theorem.
  • standard math The twist map τ sends Mat_{>0}(4,n) to itself, and for W=τ(Z), W_i ∧ W_j = \bar{i}\bar{j} ([24, Theorem 6.7]).
    Used in Theorem 5.5 (transversality of Schubert facets), Proposition 5.11 and Corollary 7.6 to identify the twisted polytope and the dual amplituhedron.
  • domain assumption Gr_{≥0}(k,n) is homeomorphic to a closed ball ([14]), so A_{k,m,n} is closed, regular, and has connected interior.
    Used in Section 6.2 before Theorem 6.12. The paper restates the dimension as k(m-k) instead of km, indicating careless transcription of this background input.
  • ad hoc to paper The finite computations (positivity of 120 signed polynomials over S_5 for Theorem 4.11; f-vectors in Table 1 and Example 5.12) are correct.
    Performed by the authors without shipped code or machine certificates. Load-bearing only for the combinatorial stratification results, not for Theorem 6.12.
  • standard math The real quadric Gr(2,4) ⊂ P^5 is self-dual and its hyperplane sections are singular exactly when the hyperplane is Schubert.
    Used in Lemma 6.9 to locate singular points of X ∩ H_i and to justify eq. (36) for the regularity of Gr(2,4) ∩ C_{2,2,n}.
invented entities (3)
  • Exterior cyclic polytope C_{k,m,n}(Z) = ⋀^k C_{k+m,n}(Z) independent evidence
    purpose: Convex hull of the amplituhedron in Plücker space; the polytope whose intersection with the Grassmannian is conjecturally the amplituhedron.
    Explicitly constructed from Z with computable vertices (i1...ik), facets, and f-vectors; its properties are checkable independently, e.g., the f-vector tables and Theorem 4.11.
  • Schubert exterior cyclic polytope C̃_{k,m,n}(Z) independent evidence
    purpose: Polytope obtained by deleting non-Schubert facets; equals {⟨Y \bar{i}\bar{j}⟩ ≥ 0} for k=m=2 and mediates the duality with the twisted polytope.
    Well-defined by construction and identified with an explicit halfspace intersection in eq. (27) for k=m=2.
  • Extendable dual amplituhedron Ã_{k,m,n}
    purpose: Candidate dual geometry for the Hodges dual-volume representation of canonical forms.
    For k=m=2 it is shown to be an amplituhedron (twisted), but no integral representation or canonical-form identity is proven, so its physical role rests on the open dual-volume program.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Exterior Cyclic Polytopes and Convexity of Amplituhedra." pith.science (2026). https://pith.science/paper/UHRREPLM

@misc{pith2026250717620,
  author       = {Pith},
  title        = {Pith review of: Exterior Cyclic Polytopes and Convexity of Amplituhedra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UHRREPLM}},
  note         = {Machine review of arXiv:2507.17620}
}
abstract

The amplituhedron is a semialgebraic set in the Grassmannian. We study convexity and duality of amplituhedra. We introduce a notion of convexity, called \textit{extendable convexity}, for real semialgebraic sets in any embedded projective variety. We show that the $k=m=2$ amplituhedron is extendably convex in the Grassmannian of lines in projective three-space. In the process we introduce a new polytope called the \emph{exterior cyclic polytope}, generalizing the cyclic polytope. It is equal to the convex hull of the amplituhedron in the Pl\"ucker embedding. We undertake a combinatorial analysis of the exterior cyclic polytope, its facets, and its dual. Finally, we introduce the \textit{(extendable) dual amplituhedron}, which is closely related to the dual of the exterior cyclic polytope. We show that the dual amplituhedron for $k=m=2$ is again an amplituhedron, where the external matrix data is changed by the twist map.

Figures

Figures reproduced from arXiv: 2507.17620 by the authors.

Figure 1
Figure 1. The discriminantal arrangement of five general points in [PITH_FULL_IMAGE:figures/full_fig_p011_1.png] view at source ↗
Figure 2
Figure 2. Amplituhedron (left) and exterior cyclic polytope (right) in [PITH_FULL_IMAGE:figures/full_fig_p012_2.png] view at source ↗
Figure 3
Figure 3. Bases of W2,2,6 For f = 47/5, these three simplices lie in a hyperplane, and they are replaced by one facet {12, 23, 34, 45, 56, 16} , which is a cyclic polytope C4,6. And, for f > 47/5, this is replaced by three other simplex facets: {12, 16, 23, 34, 45}, {12, 16, 23, 45, 56} {16, 23, 34, 45, 56} . The f-vector is the same for f < 47/5 and f > 47/5. 4.4 The case m = k = 2 When k = 2, the ground set of the matroid W… view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: Circuits in W2,2,n up to gluing The f-vector of the exterior cyclic polytope is given in [PITH_FULL_IMAGE:figures/full_fig_p014_4.png]
Figure 5
Figure 5. Figure 5: Hyperplanes of W2,2,6 facets, as seen in [PITH_FULL_IMAGE:figures/full_fig_p016_5.png]
Figure 6
Figure 6. Figure 6: Positroids on four elements, as graphs By a standard argument (see [25, Proposition 2.1.6]), F is a hyperplane in a matroid whenever ( [n] 2 )∖F is a circuit in the dual matroid. We define a positroid circuit in Hd(n) to be the complement of a positroid hyperplane in W…
Figure 7
Figure 7. Figure 7: Furthermore, the degree two vertex [PITH_FULL_IMAGE:figures/full_fig_p022_7.png]
Figure 8
Figure 8. Figure 8: The poset of bases of W2,2,n under cutting B Circuits of W2,3,n In this section we list out circuits of the exterior power matroid W2,3,n, up to symmetry. Recall from Lemma 4.9 that gluing vertices together produces a dependent set. We do not list all of the 27 [PITH_…
Figure 9
Figure 9. Figure 9: Bases of W2,2,n 28 [PITH_FULL_IMAGE:figures/full_fig_p030_9.png]
Figure 10
Figure 10. Figure 10: Circuits of W2,3,n up to gluing One may show that these are circuits by finding linear forms which vanish on them. To this end, we compute for each circuit C a Schubert variety (or an intersection of Schubert varieties) Ω such that span{Zi ∧ Zj ∶ ij ∈ C} ∩ Gr(k, k + m…

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. Canonical Forms as Dual Volumes

    hep-th 2025-09 conditional novelty 7.0 of 10

    Canonical functions of a class of positive geometries are Laplace transforms of positive measures on the dual cone, with hyperbolicity of the algebraic boundary as the characterizing property, computed explicitly in t...

Reference graph

Works this paper leans on

29 extracted references · 28 canonical work pages · cited by 1 Pith paper

  1. [1]

    Positive geometries and canonical forms

    Nima Arkani-Hamed, Yuntao Bai, and Thomas Lam. “Positive geometries and canonical forms”. In:Journal of High Energy Physics(2017)

    work page 2017

  2. [2]

    Unwinding the amplituhedron in binary

    Nima Arkani-Hamed, Hugh Thomas, and Jaroslav Trnka. “Unwinding the amplituhedron in binary”. In:Journal of High Energy Physics(2018)

    work page 2018

  3. [3]

    The Amplituhedron

    Nima Arkani-Hamed and Jaroslav Trnka. “The Amplituhedron”. In:Journal of High Energy Physics (2014). 25

    work page 2014

  4. [4]

    Parametrizations of Canonical Bases and Totally Positive Matrices

    Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. “Parametrizations of Canonical Bases and Totally Positive Matrices”. In:Advances in Mathematics122.1 (1996)

    work page 1996

  5. [5]

    Completion of tree metrics and rank-2 matrices

    Daniel Irving Bernstein. “Completion of tree metrics and rank-2 matrices”. In:Linear Algebra and its Applications533 (2017)

    work page 2017

  6. [6]

    Bochnak, M

    J. Bochnak, M. Coste, and M.F. Roy.Real Algebraic Geometry. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics. Springer Berlin Heidelberg, 2010

    work page 2010

  7. [7]

    Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes

    Joshua Brakensiek, Manik Dhar, Jiyang Gao, Sivakanth Gopi, and Matt Larson. “Rigidity matroids and linear algebraic matroids with applications to matrix completion and tensor codes”. In: arXiv:2405.00778 (2024)

    work page arXiv 2024

  8. [8]

    Convexity on Grassmann manifolds

    Herbert Busemann. “Convexity on Grassmann manifolds”. In:Enseign. Math.(2)7 (1961)

    work page 1961

Show all 29 references
  1. [9]

    Bar-and-joint rigidity on the moment curve coincides with cofactor rigidity on a conic

    Luis Crespo Ruiz and Francisco Santos. “Bar-and-joint rigidity on the moment curve coincides with cofactor rigidity on a conic”. In:Combinatorial Theory3.1 (2023)

    2023

  2. [10]

    The one-loop six-dimensional hexagon integral and its relation to MHV amplitudes inN = 4 SYM

    Lance J. Dixon, James M. Drummond, and Johannes M. Henn. “The one-loop six-dimensional hexagon integral and its relation to MHV amplitudes inN = 4 SYM”. In: Journal of High Energy Physics06 (2011)

    2011

  3. [11]

    Cluster algebras and tilings for the m = 4 amplituhedron

    Chaim Even-Zohar, Tsviqa Lakrec, Matteo Parisi, Melissa Sherman-Bennett, Ran Tessler, and Lauren Williams. “Cluster algebras and tilings for the m = 4 amplituhedron”. In:Seminaire Lotharingien de Combinatoire91B (2024)

    2024

  4. [12]

    Chaim Even-Zohar, Tsviqa Lakrec, Matteo Parisi, Ran Tessler, Melissa Sherman-Bennett, and Lauren Williams.Higher-m Amplituhedra (in progress). 2025

    2025

  5. [13]

    The amplituhedron BCFW triangu- lation

    Chaim Even-Zohar, Tsviqa Lakrec, and Ran J Tessler. “The amplituhedron BCFW triangu- lation”. In:Inventiones mathematicae239.3 (2025)

    2025

  6. [14]

    The totally nonnegative Grassmannian is a ball

    Pavel Galashin, Steven N. Karp, and Thomas Lam. “The totally nonnegative Grassmannian is a ball”. In:Advances in Mathematics397 (2022)

    2022

  7. [15]

    Parity duality for the amplituhedron

    Pavel Galashin and Thomas Lam. “Parity duality for the amplituhedron”. In: Compositio Mathematica 156.11 (2020)

    2020

  8. [16]

    Positivity properties of scattering amplitudes

    Johannes Henn and Prashanth Raman. “Positivity properties of scattering amplitudes”. In: Journal of High Energy Physics04 (2025)

    2025

  9. [17]

    Positive geometry, local triangulations, and the dual of the Amplituhedron

    Enrico Herrmann, Cameron Langer, Jaroslav Trnka, and Minshan Zheng. “Positive geometry, local triangulations, and the dual of the Amplituhedron”. In:Journal of High Energy Physics (2021)

    2021

  10. [18]

    Eliminating spurious poles from gauge-theoretic amplitudes

    Andrew Hodges. “Eliminating spurious poles from gauge-theoretic amplitudes”. In:Journal of High Energy Physics05 (2013)

    2013

  11. [19]

    Hyperconnectivity of graphs

    Gil Kalai. “Hyperconnectivity of graphs”. In:Graph. Comb.1.1 (1985)

    1985

  12. [20]

    Them = 1 Amplituhedron and Cyclic Hyperplane Arrangements

    Steven N Karp and Lauren K Williams. “Them = 1 Amplituhedron and Cyclic Hyperplane Arrangements”. In:International Mathematics Research Notices(2017)

    2017

  13. [21]

    Hyperbolic secant varieties of M-curves

    Mario Kummer and Rainer Sinn. “Hyperbolic secant varieties of M-curves”. In:Journal für die reine und angewandte Mathematik (Crelles Journal)(2022)

    2022

  14. [22]

    On the face stratification of them= 2 amplituhedron

    Thomas Lam. “On the face stratification of them= 2 amplituhedron”. In: arXiv:2403.06948 (2024)

    2024 arXiv

  15. [23]

    Canonical Forms as Dual Volumes (in progress)

    Elia Mazzucchelli and Prashanth Raman. Canonical Forms as Dual Volumes (in progress). 2025. 26

    2025

  16. [24]

    The twist for positroid varieties

    Greg Muller and David E. Speyer. “The twist for positroid varieties”. In:Proceedings of the London Mathematical Society115 (2017)

    2017

  17. [25]

    Matroid Theory

    James Oxley. Matroid Theory. Oxford University Press, 2011

    2011

  18. [26]

    The m = 2 amplituhedron and the hypersimplex: Signs, clusters, tilings, Eulerian numbers

    Matteo Parisi, Melissa Sherman-Bennett, and Lauren Williams. “The m = 2 amplituhedron and the hypersimplex: Signs, clusters, tilings, Eulerian numbers”. In:Commun. Am. Math. Soc. 3.7 (2023)

    2023

  19. [27]

    Adjoints and canonical forms of tree amplituhedra

    Kristian Ranestad, Rainer Sinn, and Simon Telen. “Adjoints and canonical forms of tree amplituhedra”. In:Mathematica Scandinavica130.3 (2024)

    2024

  20. [28]

    Algebraic Boundaries of Convex Semi-algebraic Sets

    Rainer Sinn. Algebraic Boundaries of Convex Semi-algebraic Sets. 2014

    2014

  21. [29]

    Encyclopedia of mathematics and its applications: Oriented matroids series number 46

    Gunter M Ziegler, Anders Bjorner, Michel Las Vergnas, Bernd Sturmfels, and Neil White. Encyclopedia of mathematics and its applications: Oriented matroids series number 46. 2nded. Cambridge, England: Cambridge University Press, 1999. A Poset of bases of W2,2,n This section con...

    1999

Pith tools

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