{"id":"ab337b42-e2c8-4973-8bf4-102dc3eee2e4","arxiv_id":"2501.08221","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"The limit amplituhedron for m=2 and any k is a positive geometry whose algebraic boundary is the union of the Chow hypersurface of a rational normal curve and the Chow hypersurface of a secant line.","lead":"This math paper defines the limit amplituhedron, a geometric object obtained from a particle-physics model by letting the number of particles go to infinity, and proves it is a positive geometry. The result gives a new family of well-behaved shapes whose boundary is described by two simple algebraic hypersurfaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.5's printed Y(In) in (4.1)/(4.2) has ℓ+1 rows, so dim V_Y is 2k−2ℓ−2 (or empty), not 2k−2ℓ; the density proof for residual-arrangement strata does not work as written.","rationale":"The paper makes a real and interesting claim: for every k, the m=2 limit amplituhedron is a positive geometry with boundary equal to the union of two Chow hypersurfaces. The local computations, the k=2 table, and the overall strategy provide credible support. However, the proof of Theorem 4.1 depends on Lemma 4.5, and Lemma 4.5 as written contains an internal dimension error: the displayed subspace has one more row than the proof uses. This is not merely a missing justification; it is a concrete false statement for small k, where the printed Y(In) has no ambient k-space containing it. The reader's flagged assumption about attaining osculant planes in the limit is adjacent, but the more elementary defect is the size of Y(In). Because the rest of the argument (adjoint α = 1, Corollary 4.9, Theorem 4.12) is built on Theorem 4.1, the central claim is currently not fully proven. The defect is plausibly typographical: omitting the endpoint row restores the dimension count and makes the line-incidence automatic. For that reason we do not recommend rejection; we recommend conditional acceptance with a request to correct and verify Lemma 4.5. Agreement with the reader is partial: we agree Lemma 4.5 is load-bearing, but our concern is a concrete dimensional mismatch rather than only the subtle limiting behavior emphasized in the reader's weakest_assumption.","tokens_in":21018,"tokens_out":23542,"duration_ms":236270,"concrete_test":"Recompute Lemma 4.5 for k=2, ℓ=2, j=1 with (4.1) as printed: let Y(t) = span{γ3(0), γ3(t), γ3(1)} in P3. The 3×4 Vandermonde matrix has rank 3, so no element of Gr(2,4) contains Y(t); hence V_{Y(t)} = ∅ for every t, contradicting the claimed dim V_Y = 2k−2ℓ = 0. Then formulate the corrected family Y'(t) = span{γ3(0), γ3(t)} and verify that V_{Y'(t)} → {Tγ3(0)} as t → 0. Rerun Lemma 4.5 with this corrected family (and its analogue for O^ℓ_{1,j}) to confirm the stated dimension 2k−ℓ−j−1 for O^ℓ_{0,j}; if the corrected family does not cover all strata, the residual-arrangement argument needs replacement.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Lemma 4.5 is the only step that puts A∞_k inside the higher strata O^ℓ_{0,j}, O^ℓ_{1,j}, and O^ℓ(i,j); without it Theorem 4.1 and the adjoint/positive-geometry conclusion do not follow. As printed, Y(In) in (4.1) is the row span of γ(0),...,γ(t_j) (j+1 rows), of γ(s_i) for i=1..c with c=ℓ−j−1, and of γ(1). For distinct nodes on the rational normal curve these ℓ+1 rows are linearly independent in C^{k+2} by the Vandermonde determinant, so Y(In) has dimension ℓ+1, not ℓ. Consequently V_{Y(In)} = {V ∈ Gr(k,k+2): Y ⊂ V} has dimension 2(k−ℓ−1) when k > ℓ and is empty when k = ℓ, whereas the proof asserts 2k−2ℓ. The same problem occurs in (4.2). For k=2, ℓ=2, j=1, c=0, the stratum O^2_{0,1} is the single tangent line Tγ3(0), but the printed Y contains three independent points of the twisted cubic, so no line in P3 contains Y and the construction cannot approach Tγ3(0). The likely correction is to drop the endpoint γ(1) (respectively γ(0)) from the displayed span: the osculant plane O^(j)(γ(0)) already contains γ^(j)(0) ∈ L_{0,j}, so the line-condition is automatic and the remaining rows give an ℓ-dimensional Y. But the text as written does not define a valid approximating family, and the dimension count that justifies density in the union over s collapses.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines the limit amplituhedron A^∞_k as the union, over all partitions I of the interval [0,1], of the finite amplituhedra A^I_k constructed from totally positive matrices whose rows lie on the rational normal curve C_{k+1} ⊂ P^{k+1}, with m=2. The main theorem (Theorem 1.1) states that A^∞_k is a positive geometry in Gr(k,k+2) whose algebraic boundary is the union of the Chow hypersurface of C_{k+1} and the Chow hypersurface of the secant line S_{01}. Section 2 identifies this algebraic boundary, Section 3 stratifies it by varieties of secants and osculant planes, and Section 4 claims the residual arrangement is empty, yielding a canonical form equal to the reciprocal of the product of the two Chow forms.","tokens_in":21413,"tokens_out":11461,"duration_ms":109056,"significance":"If the proof can be made rigorous, this is a significant contribution: it provides the first positive-geometry statement for an infinite-particle limit of amplituhedra in the m=2 case, identifies the boundary components explicitly with Chow hypersurfaces, and gives a stratification by higher secants and osculant planes that is of independent interest. The paper also contains a useful explicit computation for k=2 in Example 2.9. However, several load-bearing arguments in the current version have concrete dimension-count or foundational gaps, so the stated results are not yet established as written.","major_comments":[{"comment":"The displayed ℓ-space Y(I_n) in (4.1) has ℓ+1 rows: the j+1 rows γ(0),…,γ(t_j), the c=ℓ−j−1 rows γ(t_i1),…,γ(t_ic), and the additional row γ(1). For distinct nodes on the rational normal curve these rows are linearly independent, so Y(I_n) has dimension ℓ+1, not ℓ. Consequently the fiber V_{Y(I_n)} = {V ∈ Gr(k,k+2) : Y(I_n) ⊂ V} has dimension 2(k−ℓ−1), not 2k−2ℓ as asserted in the proof. The union over the parameters s_1,…,s_c therefore has dimension at most 2k−ℓ−j−3, whereas dim(O^ℓ_{0,j}) = 2k−ℓ−j−1; when k=ℓ the fiber is empty. The same problem occurs in (4.2) for O^ℓ_{1,j}. Since Lemma 4.5 is the only step that places A^∞_k inside the higher strata O^ℓ_{0,j} and O^ℓ_{1,j}, Theorem 4.1 and Corollary 4.9 do not follow as written. A likely repair is to delete the endpoint γ(1) from (4.1) and γ(0) from (4.2) so that Y(I_n) is genuinely ℓ-dimensional, but this must be stated explicitly and all subsequent dimension counts redone.","section":"Lemma 4.5, Eqs. (4.1) and (4.2)"},{"comment":"The dimension counts attributed to the fibers of V_{Y(s)} are off by ℓ. In Lemma 4.3 the text says the fiber of V_{Y(s)} over s has dimension 2k−ℓ, which equals dim(Sec^ℓ(C_{k+1})); however, for an ℓ-dimensional linear subspace Y, V_{Y(s)} is a Grassmannian of dimension 2(k−ℓ). The missing 2ℓ dimensions come from varying the ℓ points on the rational normal curve, so the intended conclusion may be repairable, but the written equality is false. The same type of error appears in Lemma 4.4, where the fiber dimension is written as 2k−ℓ−1 although dim(V_{Y(0,s)}) = 2(k−ℓ). These are used to conclude Zariski density of A^∞_k in the secant strata, so the proofs of Lemmas 4.3 and 4.4 are not valid as written.","section":"Lemmas 4.3 and 4.4"},{"comment":"The proof invokes compactness of A^∞_k : 'A^∞_k is compact by Tychonoff’s theorem'. This is unjustified, since A^∞_k is a union over partitions rather than a product, and its closedness in the ambient Grassmannian is not known at that point. Proposition 2.4, which establishes closedness, in turn uses Proposition 2.3, so the interior formula and the boundary description rest on a circular compactness claim. The argument needs to be reworked, for instance by proving closedness of A^∞_k directly from the boundary description in Lemma 2.12, or by establishing Proposition 2.4 independently and then deriving Proposition 2.3.","section":"Proposition 2.3"},{"comment":"The map φ: [0,1] → A^∞_k, t ↦ Y_t is not a well-defined map to the Grassmannian, because Y_t is a subvariety of V_t rather than a point of Gr(k,k+2). Consequently, the sentence 'the image φ([0,1]) is Zariski dense in CH(C_{k+1})' is not meaningful as written; what is needed is an argument that the union ∪_{t∈[0,1]} Y_t is Zariski dense in CH(C_{k+1}). The proof also does not establish irreducibility or the dimension of this union. In addition, the statement in Lemma 2.13 that codim(̊Z(Y)) = 2 is inconsistent with the dimension count for the family Y from Lemma 2.12, which has dimension 2k−1 and hence has image of codimension at most 1 in Gr(k,k+2). These issues must be clarified for the algebraic-boundary theorem to be rigorous.","section":"Proof of Theorem 2.7"}],"minor_comments":[{"comment":"The abstract contains a typo: 'negative helcity particles' should read 'negative helicity particles'.","section":"Abstract"},{"comment":"The notation 'Tγ3(0)(C3)' should be written as T_{γ3(0)}C3 or similar, and the table could indicate more clearly that the same point S01 appears in several strata as the secant line itself rather than as a hypersurface component.","section":"Example 2.9, Table 1"},{"comment":"The direct-limit construction sets v'_i = 0 for newly inserted indices; the text should explicitly state that the resulting inclusion maps are well-defined because the images in Gr(k,k+2) depend only on the product with the rows of Z(I), not on the ambient n of the original nonnegative Grassmannian.","section":"Proposition 2.2"},{"comment":"The symbols ∂a and ∂ for algebraic and Euclidean boundary are introduced but used somewhat interchangeably in a few places; for instance, the definition '∂aAn,k is the Zariski closure ∂An,k of the boundary' would be clearer if the two boundary notions were distinguished consistently throughout.","section":"Section 2, notation"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on [RST24] for Lemma 2.12 and Theorem 3.1, and one of the authors of the present paper is also an author of [RST24]. This is not in itself an objection, but the editor may wish to ensure that [RST24] is publicly available or accepted, and that the cited results are not themselves still under revision in a way that could affect the present paper's foundations. The scientific issues raised in the major comments are the primary reason for the recommendation."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The n→∞ limit amplituhedron is a real idea, and the boundary description in Theorem 2.7 is pretty. The paper takes the m=2 case, defines A∞_k as the union of amplituhedra over all partitions of [0,1], and shows its algebraic boundary is the union of the Chow hypersurfaces of the rational normal curve and one secant line. That is a clean and plausible statement, and the stratification in Section 3 via secant and osculant planes is the right tool; it gives a full picture for every k, not just k=2. If the main result holds, it is a new infinite family of positive geometries with explicit canonical forms.\n\nThe soft spot is real and specific. Lemma 4.5 claims that A∞_k is Zariski dense in the strata O^ℓ_{0,j} and O^ℓ_{1,j}. The proof constructs Y(In) with ℓ+1 rows: in (4.1) there are γ(0),...,γ(t_j) (j+1 rows), γ(t_{i1}),...,γ(t_{ic}) (c = ℓ−j−1 rows), and γ(1). For any fixed n these are distinct points on the rational normal curve, so they span ℓ+1 dimensions, not ℓ. Then V_Y has dimension 2k−2ℓ−2, not 2k−2ℓ, and the union over s has dimension 2k−ℓ−j−3, two short of dim O^ℓ_{0,j}. The density conclusion does not follow. The likely fix is to drop the endpoint γ(1) (or γ(0) in the symmetric case); the osculant plane alone should give the line intersection. That looks plausible, but the printed argument has a hole, and this is the only step that puts A∞_k inside the higher strata, so Theorem 4.1 and the positive-geometry conclusion ride on it.\n\nSmaller issues: Proposition 2.3 invokes compactness before closedness of A∞_k is established (Proposition 2.4), and the Zariski-density step in Theorem 2.7 is compressed. Both look fixable. The reliance on [RST24] is legitimate prior work, though a referee may want the dependence stated more explicitly.\n\nBottom line: the idea is good, the main theorem is probably right, and the flaw is addressable. It deserves a serious referee and a request for revision, not a desk rejection.","headline":"A genuinely new and attractive construction in positive geometry, but the proof of empty residual arrangement has a concrete dimension error in Lemma 4.5 that needs fixing before the main theorem can be trusted.","tokens_in":21988,"tokens_out":7842,"would_cite":false,"duration_ms":67722,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14M15","14N15","14P10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The infinite-particle amplituhedron is a positive geometry with two boundary components.","keywords":["amplituhedron","positive geometry","canonical form","Chow hypersurface","rational normal curve","Grassmannian","nonnegative Grassmannian","scattering amplitudes"],"falsifier":"Take k=3 and compute, symbolically or numerically, the 1-dimensional strata listed in Proposition 4.10 together with the Euclidean closure of A∞_3; if any point of those strata lies outside the closure, the residual arrangement is nonempty and the claimed canonical form fails. A positive check would verify that the residue of Ω(A∞_3) at every such 1-dimensional stratum is a one-form with simple poles at the vertices, with residues ±1.","tokens_in":20773,"feed_emoji":"📐","tokens_out":6910,"duration_ms":63536,"temperature":0.7,"pith_summary":"The paper claims that when the number of particles n is sent to infinity, the m=2 amplituhedron converges, in a well-defined direct-limit sense, to a semialgebraic set A∞_k inside the Grassmannian Gr(k,k+2), and that this limit amplituhedron is a positive geometry. If true, this means the limiting object carries a unique rational canonical form with simple poles exactly along its algebraic boundary, a property that is known for polytopes and for the k=m=2 amplituhedron but was open for larger k in this limit. The boundary is shown to be the union of two Chow hypersurfaces: one attached to the rational normal curve C_{k+1} and one to the secant line S01 spanned by its endpoints. The paper works out the full singularity stratification of this boundary and proves the residual arrangement is empty, so the canonical form is the reciprocal of the product of the two Chow forms.","feed_headline":"The infinite-particle amplituhedron is a positive geometry","feed_subtitle":"Its algebraic boundary has two Chow components, so a unique canonical form exists.","key_machinery":"The argument is carried by the limit amplituhedron itself, defined as the union, over all partitions of the interval [0,1], of the amplituhedra obtained from totally positive matrices whose rows are sampled from the rational normal curve γ_{k+1}(t) = (1,t,...,$t^{{k+1}}$). The algebraic boundary is computed by taking Zariski closures of Euclidean boundary strata, which are characterized by k-spaces meeting the rational normal curve or the secant line S01; these give the Chow hypersurfaces. The proof then analyzes the singular stratification via incidence varieties of secant and osculant planes, that is, higher-order tangent planes to the rational normal curve, using tangent-space descriptions of secant varieties. The key mechanism for proving the residual arrangement empty is Lemma 4.5, which constructs families of k-spaces spanned by rows of Z(I_n) so that, as partitions refine, the osculant planes at the endpoints are spanned in the limit; this ensures every stratum is Zariski dense in the amplituhedron.","core_discovery":"The central discovery is Theorem 1.1: the limit amplituhedron A∞_k is a positive geometry on Gr(k,k+2), with algebraic boundary ∂_a A∞_k = CH(C_{k+1}) ∪ CH(S01). Here C_{k+1} is the rational normal curve of degree k+1, S01 is the secant line through the images of 0 and 1, and CH(X) denotes the Chow hypersurface of k-spaces meeting X. The authors prove that the residual arrangement, meaning the part of the singular locus lying outside the Euclidean boundary, is empty, so the unique adjoint is the constant 1. Consequently the canonical form is Ω(A∞_k) = 1/(CF(C_{k+1}) CF(S01)) dx_1 ∧ ... ∧ dx_{2k} in local coordinates, with simple poles along exactly the two boundary components.","pith_inferences":["Editorial: the same limiting construction with m>2 would likely replace the two Chow hypersurfaces by Chow forms of higher-dimensional varieties attached to the rational normal curve, but the paper does not treat that case.","Editorial: the paper's emphasis on the interval [0,1] suggests the endpoint secant line is what repairs positivity; without it, the convex hull of the full rational normal curve would be a disk-like set with no rational canonical form, so endpoint data may be a general mechanism.","Editorial: an explicit testable extension is to compute the canonical form for k=3 from the stratification and check the residue conditions at all vertices, extending the k=2 symbolic computation reported in the paper."],"forward_implications":["For every k and m=2, the infinite-particle limit has a unique canonical form Ω(A∞_k)=1/(CF(C_{k+1}) CF(S01)) times the volume form, with simple poles only along the algebraic boundary.","The algebraic boundary of the limit amplituhedron is exactly the union of the two Chow hypersurfaces, so the canonical denominator is determined by a rational normal curve and a secant line.","The singular stratification of the boundary is completely described by higher secant and osculant varieties; iterated singular loci are themselves secant varieties, generalizing the matroid of a polytope's facet arrangement.","The k=1 case recovers the pizza slice, a positive geometry bounded by a parabola segment and its secant line, so the theorem unifies the previously known examples."],"supporting_citations":[{"why":"introduces the amplituhedron as the image of the nonnegative Grassmannian under a linear map; the m=2 master amplituhedron is the object being sent to the limit.","marker":"[AT14]"},{"why":"defines positive geometries and canonical forms and supplies the pizza-slice example that the limit amplituhedron generalizes.","marker":"[ABL17]"},{"why":"proves the k=m=2 amplituhedron is a positive geometry; its boundary-stratum and adjoint techniques are the starting points extended here.","marker":"[RST24]"},{"why":"gives the recursive definition and context for positive geometries used in the proof of Theorem 1.1.","marker":"[Lam22]"},{"why":"provides the tangent-space and incidence machinery used to compute singular loci of secant varieties.","marker":"[Har92]"},{"why":"supplies the adjoint-interpolation framework used to identify the numerator of the canonical form.","marker":"[Koh+24]"},{"why":"gives the generalized Vandermonde determinant ensuring osculant planes to distinct points are transversal, used throughout the stratification.","marker":"[Cha18]"}],"fun_headline_variants":["Amplituhedron at infinity is a positive geometry","Limit amplituhedron: empty residual arrangement, canonical form unique","Infinite-particle amplituhedron: two Chow components, unique form","Infinite-n amplituhedron: empty residual, positive geometry","Limit amplituhedron: unique canonical form from two Chow boundaries"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that, as partitions of [0,1] are refined, the k-spaces built from sampled points on the curve exactly span the higher-order tangent planes at the two endpoints; if that spanning fails, some singular stratum is missed, the residual arrangement is nonempty, and the canonical form would gain extra poles.","fun_headline_variants_meta":{"raw":{"variants":["Amplituhedron at infinity is a positive geometry","Limit amplituhedron: empty residual arrangement, canonical form unique","Infinite-particle amplituhedron: two Chow components, unique form","Infinite-n amplituhedron: empty residual, positive geometry","Limit amplituhedron: unique canonical form from two Chow boundaries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000954,"raw_usage":{"total_tokens":4019,"prompt_tokens":845,"completion_tokens":3174,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":461,"completion_tokens_details":{"reasoning_tokens":3089}},"tokens_in":461,"tokens_out":3174,"duration_ms":22431,"temperature":1.0,"reasoning_tokens":3089,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T20:29:10.338252+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take k=3 and compute, symbolically or numerically, the 1-dimensional strata listed in Proposition 4.10 together with the Euclidean closure of A∞_3; if any point of those strata lies outside the closure, the residual arrangement is nonempty and the claimed canonical form fails. A positive check would verify that the residue of Ω(A∞_3) at every such 1-dimensional stratum is a one-form with simple poles at the vertices, with residues ±1.","supporting_citations":[],"review_version":1}