REVIEW 2 major objections 5 minor 30 references
Cluster Adjacency for m=2 Yangian Invariants
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that all rational Yangian invariants of the m=2 model of N=4 super-Yang-Mills are labelled by non-intersecting triangles in an n-gon, gives an all-n,k formula, and shows every invariant satisfies cluster adjacency.
desk verdict A genuinely first all-n, all-k formula for m=2 Yangian invariants, with cluster adjacency as a transparent corollary; the classification is honestly conjectural, and the merged-polygon formula is asserted rather than derived. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the generalized triangle, defined as the image under the amplituhedron map of a 2k-dimensional cell in the positive Grassmannian whose image has dimension 2k; equivalently, a configuration of k non-intersecting triangles, possibly merged along shared edges into larger polygons, inside a convex n-gon. The load-bearing identity is formula (2.10), which writes the Yangian invariant of any such configuration as a squared numerator bracket divided by products of edge brackets, one factor per polygon. This formula carries the argument because it exhibits every pole as an edge bracket, so the cluster-adjacency property is read off directly from the polygon picture; it also reduces correctly when two triangles sharing an edge merge into a quadrilateral or higher polygon.
What would settle it
Compute, for n=11 and k=5, the number of 2k-dimensional cells of the positive Grassmannian whose amplituhedron images are also 2k-dimensional and compare it with the number of admissible non-intersecting polygon configurations counted by sequence A175124; if the cell count is larger, the classification is false. A second independent check is to evaluate formula (2.10) for a configuration obtained by merging several polygons and verify that the numerator factorisation cancels exactly the shared-edge poles, since the paper asserts this property but does not supply a general proof.
Extended reading notes
Core claim
The central claim is that the rational Yangian invariants of the m=2 amplituhedron are exactly the canonical forms of generalized triangles: images of 2k-dimensional cells of the positive Grassmannian G_+(k,n) whose images under the amplituhedron map remain 2k-dimensional. These generalized triangles are in one-to-one correspondence with collections of non-intersecting polygons inside an n-gon, with no two polygons sharing more than a vertex, and formula (2.10) gives every associated invariant. The denominator is the product of brackets over the edges of all polygons, the numerator is a squared bracket built from one factor per polygon, and shared edges cancel when polygons merge. Since the edges of such a collection are non-intersecting diagonals plus boundary edges, they all belong to a single triangulation, hence to a single cluster of the Gr(2,n) cluster algebra; after projecting Y to the homogeneous coordinates on $P^{1}$, the poles are manifestly cluster A-coordinates. The authors enumerate the invariants for arbitrary n and k, finding counts governed by Schröder numbers.
Load-bearing premise
The classification rests on the untested-in-general conjecture, verified numerically for high n and k, that every eligible cell of the positive Grassmannian is represented by one of the non-intersecting polygon configurations, so if any exceptional cell exists formula (2.10) misses it.
Editorial extensions
If this is right
- For any n and k, the m=2 Yangian invariants are in one-to-one correspondence with valid non-intersecting polygon configurations, so their total number is the integer sequence A175124, with the all-k total given by large Schröder numbers.
- Every rational m=2 Yangian invariant has poles that form a non-intersecting set of diagonals and boundary edges of an n-gon, which therefore sit together in at least one triangulation, so cluster adjacency holds for all invariants at once.
- If two triangles share an edge, formula (2.10) reduces to the invariant of the merged polygon, cancelling the shared edge bracket from the denominator, so the formula is independent of which triangulation of a polygon is chosen.
- The result provides an all-multiplicity instance of cluster adjacency in the amplituhedron framework, reinforcing the conjecture that the analogous m=4 cluster-adjacency property follows from the geometry of the amplituhedron rather than from special kinematics.
Reading between the lines
- The appearance of Schröder numbers suggests there should be an explicit bijection between generalized triangles and Schröder paths; constructing one would give a combinatorial proof of the enumeration the paper obtains from a generating function.
- Because in m=2 the pole structure alone guarantees cluster adjacency, any future counterexample to cluster adjacency in the physical m=4 theory would have to involve numerator structure or the richer Gr(4,n) cluster algebra, not the edge-bracket mechanism visible here.
- A natural stress test is to enumerate cells for n=11 beyond the tabulated range: if the number of non-intersecting polygon configurations ever exceeds the number of eligible positroid cells, the conjectural classification needs modification, although formula (2.10) would still describe a large cluster-adjacent family.
- The m=2 model isolates the step where Grassmannian integration produces cluster-adjacent poles from a rational integrand; isolating that mechanism here could guide an analytic proof of the m=4 cluster-adjacency conjecture.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the m=2 toy model of planar N=4 super-Yang-Mills theory, where the amplituhedron A_{n,k}^{(2)} is a positive geometry inside G(k,k+2). The authors claim that all rational Yangian invariants for any n and k are in one-to-one correspondence with collections of non-intersecting polygons inside an n-gon, with no two polygons sharing more than a vertex. They present an explicit formula, Eq. (2.10), for the canonical form of each such configuration, and observe that the denominator factors are products of brackets ⟨Yab⟩ which, after projecting Y to P1, become the A-coordinates of the Gr(2,n) cluster algebra. Since the polygons are non-intersecting, the corresponding diagonals can be completed to a triangulation of the n-gon, making cluster adjacency manifest. The paper also tabulates the numbers of such generalized triangles for small n and k, matching the known integer sequence A175124 and the large Schr\"oder numbers.
Significance. If the classification and formula (2.10) are correct, the paper gives a complete, explicit description of all rational m=2 Yangian invariants and proves that each one satisfies cluster adjacency with respect to Gr(2,n). This is a valuable toy-model result: the all-n,k formula is explicit, parameter-free, and yields a clean enumeration that matches known sequences. The authors report machine checks using the positroid package, which lends evidence beyond a few small cases. The main weakness is that the two load-bearing ingredients are not proved: the classification of the relevant positroid cells is stated as a conjecture, and the formula for merged polygons is asserted with a terse 'it can be shown' for the key numerator factorization. Consequently, the cluster-adjacency theorem is conditional on an unproved formula. The paper is nevertheless honest about the classification conjecture, and the core idea is plausible and well-motivated.
major comments (2)
- [Section 2.4] The classification of 2k-dimensional positroid cells with 2k-dimensional amplituhedron images as collections of non-intersecting polygons with no pair sharing more than a single vertex is explicitly conjectural: the paper states 'We have checked this statement up to high values of n and k using the positroid package [27] and we conjecture it is always true.' This statement is load-bearing for the claim that Eq. (2.10) enumerates all rational Yangian invariants. The abstract and introduction present the classification as established rather than conjectural. Please either provide a proof or clearly mark this as a conjecture in the abstract and throughout, distinguishing theorem from conjecture in Section 2.4.
- [Section 2.4, Eq. (2.10)] The explicit formula (2.10) for a general collection of polygons is asserted but not derived. For the all-triangle case the paper cites [8], but the novel case of merged polygons (p_j > 3) is not proven: the text says 'it can be shown that the numerator factorises and one gets an overall factor of ⟨Yab⟩^2, which cancels the singularities associated with the shared edge' without giving the factorization or a derivation. Since (2.10) is the foundation for the all-n,k invariant formula and for the cluster-adjacency conclusion, this is a major gap. Please provide a full derivation of (2.10) for arbitrary merged configurations, including the definition (2.11), the claimed cancellation of shared-edge poles, and a verification that the resulting expression is indeed a Yangian invariant.
minor comments (5)
- [Title page] The email addresses 'marcus spradlin@brown.edu' and 'anastasia volovich@brown.edu' appear to be missing periods inside the first names; they should likely be 'marcus.spradlin@brown.edu' and 'anastasia.volovich@brown.edu'.
- [Section 2.4, Eqs. (2.10)-(2.12)] The index notation in (2.11), especially the indices α^1_1 ... α^s_{p_s-2}, is compressed and could be clarified by explicitly stating the ranges of the α indices and the meaning of the wedge products in (2.12).
- [Section 2.3] In the discussion of the two triangulations of a quadrilateral, the claim that the two matrices parametrize the same cell after a GL(2) transformation is used later in the labelling; a one-line demonstration or a reference would help the reader verify this point.
- [Appendix A] The table title 'for n<11' is slightly imprecise; since the table includes n=3 through n=10, 'for n ≤ 10' would be clearer.
- [Section 3] When stating that the denominators make cluster adjacency manifest, the paper should explicitly note that any set of non-intersecting diagonals of an n-gon can be extended to a complete triangulation, and hence the corresponding A-coordinates belong to a common cluster of Gr(2,n). This follows from the standard polygon-triangulation description of clusters, but making it explicit would strengthen the presentation.
Circularity Check
No circular dependence: the classification and formula are at worst unproved or conditional, and cluster adjacency is a direct corollary of the stated formula (2.10).
full rationale
The paper's derivation chain does not reduce to its own inputs. The central objects are defined externally: the amplituhedron map (2.1), canonical differential forms from [8], and positroid cells from [27]. The explicit formula (2.10) is presented as the canonical form for a generalized triangle configuration; for the all-triangle case it is checked against the independent result [8], and the k=1 and k=2 cases are given in (2.3), (2.8), and (2.9). The two places where the argument is incomplete are explicitly acknowledged rather than hidden: in Section 2.4 the authors write, "We have checked this statement up to high values of n and k using the positroid package [27] and we conjecture it is always true," and for merged polygons they state only that "it can be shown" that the numerator factorises to cancel shared-edge poles. These are gaps in proof or soundness, not circularity: no parameter is fitted to a subset of the data, no invariant is defined in terms of the property it is supposed to explain, and no load-bearing uniqueness theorem is imported from the authors' own prior work. The cluster-adjacency conclusion in Section 3 is a corollary read directly from the denominator of the already-stated formula (2.10), with the projection (3.1) and the known cluster structure of Gr(2,n) from [1] supplying the bridge; deriving a consequence from a formula is not equivalent to assuming that consequence. The self-citations [14], [25], and [12] appear in contextual or speculative remarks and are not load-bearing for the classification or for the formula. Therefore the paper has no significant circularity; the honest finding is a score of 0.
Assumptions & free parameters
assumptions (4)
- domain assumption The amplituhedron canonical form Omega_C provides the Yangian invariant associated to a positroid cell C (from [17,25]).
- ad hoc to paper Every 2k-dimensional cell in G+(k,n) whose image under the amplituhedron map is 2k-dimensional corresponds to a set of non-intersecting polygons with no pair sharing more than a vertex.
- ad hoc to paper The general formula (2.10) gives the canonical form and Yangian invariant for every such generalized triangle configuration.
- domain assumption Setting Y = (0_{2xk}, 1_{kxk}) allows denominators <Yab> to be replaced by ordinary P1 brackets <ab>.
Cite this review
Pith. "Pith review of Cluster Adjacency for m=2 Yangian Invariants." pith.science (2026). https://pith.science/paper/LW42EHZL
@misc{pith2026190807618,
author = {Pith},
title = {Pith review of: Cluster Adjacency for m=2 Yangian Invariants},
year = {2026},
howpublished = {\url{https://pith.science/paper/LW42EHZL}},
note = {Machine review of arXiv:1908.07618}
}
abstract
We classify the rational Yangian invariants of the $m=2$ toy model of $\mathcal{N}=4$ Yang-Mills theory in terms of generalised triangles inside the amplituhedron $\mathcal{A}_{n,k}^{(2)}$. We enumerate and provide an explicit formula for all invariants for any number of particles $n$ and any helicity degree $k$. Each invariant manifestly satisfies cluster adjacency with respect to the $Gr(2,n)$ cluster algebra.
Reference graph
Works this paper leans on
-
[8]
N. Arkani-Hamed, Y. Bai and T. Lam, Positive Geometries and Canonical Forms , JHEP 11 (2017) 039 [ 1703.04541]
arXiv 2017
-
[27]
J. L. Bourjaily, Positroids, Plabic Graphs, and Scattering Amplitudes in Mathematica, 1212.6974
-
[1]
S. Fomin and A. Zelevinsky, Cluster Algebras I: Foundations , Journal of the American Mathematical Society 15 (2002) 497
work page 2002
-
[2]
Cluster algebras and Poisson geometry
M. Gekhtman, M. Z. Shapiro and A. D. Vainshtein, Cluster algebras and poisson geometry, Moscow Mathematical Journal 3 (2003) 899 [ math/0208033]
work page Pith review arXiv 2003
-
[3]
J. S. Scott, Grassmannians and cluster algebras , Proceedings of the London Mathematical Society 92 (2006) 345 [ math/0311148]. – 9 –
arXiv 2006
- [4]
- [5]
-
[6]
Hodges, Eliminating spurious poles from gauge-theoretic amplitudes , JHEP 05 (2013) 135 [ 0905.1473]
A. Hodges, Eliminating spurious poles from gauge-theoretic amplitudes , JHEP 05 (2013) 135 [ 0905.1473]
arXiv 2013
Show all 30 references
-
[7]
Del Duca, S
V. Del Duca, S. Druc, J. Drummond, C. Duhr, F. Dulat, R. Marzucca et al., Multi-Regge kinematics and the moduli space of Riemann spheres with marked points, JHEP 08 (2016) 152 [ 1606.08807]
2016 arXiv
-
[9]
S. N. Karp, L. K. Williams and Y. X. Zhang, Decompositions of amplituhedra, 1708.09525
- [10]
-
[11]
Ferro, T
L. Ferro, T. Lukowski and M. Parisi, Amplituhedron meets JeffreyKirwan residue, J. Phys. A52 (2019) 045201 [ 1805.01301]
2019 arXiv
-
[12]
Lukowski, On the Boundaries of the m=2 Amplituhedron , 1908.00386
T. Lukowski, On the Boundaries of the m=2 Amplituhedron , 1908.00386
1908 arXiv
-
[13]
Drummond, J
J. Drummond, J. Foster and ¨O. G¨ urdo˘ gan,Cluster adjacency beyond MHV , JHEP 03 (2019) 086 [ 1810.08149]
2019 arXiv
-
[14]
J. Mago, A. Schreiber, M. Spradlin and A. Volovich, Yangian Invariants and Cluster Adjacency inN = 4 Yang-Mills, 1906.10682
1906 arXiv
-
[15]
Drummond, J
J. Drummond, J. Foster and ¨O. G¨ urdo˘ gan,Cluster Adjacency Properties of Scattering Amplitudes inN = 4 Supersymmetric Yang-Mills Theory, Phys. Rev. Lett. 120 (2018) 161601 [ 1710.10953]
2018 arXiv
-
[16]
Arkani-Hamed, J
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, 10.1017/CBO9781316091548, [ 1212.5605]
2016 arXiv
-
[17]
Arkani-Hamed and J
N. Arkani-Hamed and J. Trnka, The Amplituhedron, JHEP 10 (2014) 030 [1312.2007]
2014 arXiv
-
[18]
L. J. Mason and D. Skinner, Dual Superconformal Invariance, Momentum Twistors and Grassmannians, JHEP 11 (2009) 045 [ 0909.0250]
2009 arXiv
-
[19]
Arkani-Hamed, F
N. Arkani-Hamed, F. Cachazo and C. Cheung, The Grassmannian Origin Of Dual Superconformal Invariance, JHEP 03 (2010) 036 [ 0909.0483]
2010 arXiv
-
[20]
Arkani-Hamed, J
N. Arkani-Hamed, J. Bourjaily, F. Cachazo and J. Trnka, Unification of Residues and Grassmannian Dualities , JHEP 01 (2011) 049 [ 0912.4912]
2011 arXiv
-
[21]
Arkani-Hamed, J
N. Arkani-Hamed, J. Bourjaily, F. Cachazo and J. Trnka, Local Spacetime Physics from the Grassmannian, JHEP 01 (2011) 108 [ 0912.3249]. – 10 –
2011 arXiv
-
[22]
J. M. Drummond and L. Ferro, The Yangian origin of the Grassmannian integral , JHEP 12 (2010) 010 [ 1002.4622]
2010 arXiv
-
[23]
S. K. Ashok and E. Dell’Aquila, On the Classification of Residues of the Grassmannian, JHEP 10 (2011) 097 [ 1012.5094]
2011 arXiv
-
[24]
J. M. Drummond and L. Ferro, Yangians, Grassmannians and T-duality , JHEP 07 (2010) 027 [ 1001.3348]
2010 arXiv
-
[25]
Ferro, T
L. Ferro, T. Lukowski, A. Orta and M. Parisi, Yangian symmetry for the tree amplituhedron, J. Phys. A50 (2017) 294005 [ 1612.04378]
2017 arXiv
-
[26]
Arkani-Hamed, J
N. Arkani-Hamed, J. L. Bourjaily, F. Cachazo, A. Hodges and J. Trnka, A Note on Polytopes for Scattering Amplitudes , JHEP 04 (2012) 081 [ 1012.6030]
2012 arXiv
-
[28]
Golden, A
J. Golden, A. J. McLeod, M. Spradlin and A. Volovich, The Sklyanin Bracket and Cluster Adjacency at All Multiplicity , JHEP 03 (2019) 195 [ 1902.11286]
2019 arXiv
-
[29]
Arkani-Hamed, F
N. Arkani-Hamed, F. Cachazo, C. Cheung and J. Kaplan, A Duality For The S Matrix, JHEP 03 (2010) 020 [ 0907.5418]
2010 arXiv
-
[30]
N. J. Sloane et al., The on-line encyclopedia of integer sequences , 2003–. – 11 –
2003
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.