pith. sign in

arxiv: 2604.25212 · v1 · submitted 2026-04-28 · 🧮 math.CO

Noncrossing Duality and the Geometry of Positive Tropical Linear Spaces

Nick Early , Thomas Lam This is my paper

Pith reviewed 2026-05-07 16:10 UTC · model grok-4.3

classification 🧮 math.CO
keywords positive tropical Grassmanniannoncrossing dualityplanar basesplanar cross-ratiosnoncrossing tableauxtropical linear spacesroof functionhypersimplex
0
0 comments X

The pith

A noncrossing duality pairs planar bases with cross-ratios to give a bijection from positive tropical Grassmannian points to noncrossing tableaux.

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

This paper develops a tropical duality that pairs two new families of objects: planar bases of tropical Plucker vectors and planar cross-ratios on the positive configuration space. The duality connects the fan structure of the positive tropical Grassmannian to the noncrossing fan, establishing a global bijection between integer points of Trop>0 G(k,n) and noncrossing tableaux. It further shows that the bounded complex of an integer positive tropical linear space arises as the subdifferential of a central roof function on the hypersimplex, with the dilation factor governed by the planar kinematics weight that equals the number of columns in the associated tableau. This supplies both a combinatorial labeling and a metric embedding for general k and n.

Core claim

The central claim is that the duality between planar bases and planar cross-ratios links the fan structure of the positive tropical Grassmannian to the noncrossing fan of Santos, Stump, and Welker, yielding a global bijection between integer points of Trop>0 G(k,n) and noncrossing tableaux. The bounded complex of an integer positive tropical linear space is realized as the subdifferential of a central roof function on the hypersimplex and embeds into a dilate of the fundamental alcoved simplex whose dilation factor is the planar kinematics weight, shown to equal the number of columns in the associated noncrossing tableau.

What carries the argument

The noncrossing duality pairing planar bases of tropical Plucker vectors with planar cross-ratios on the positive configuration space, which induces the fan bijection and governs the metric dilation via the K-weight.

If this is right

  • Integer points of the positive tropical Grassmannian stand in bijection with noncrossing tableaux.
  • The bounded complex of any integer positive tropical linear space is the subdifferential of a roof function on the hypersimplex.
  • The geometric diameter of the complex equals the K-weight, which matches the number of columns in the noncrossing tableau.
  • The same combinatorial data supports applications to scaffolds for higher tropical Grassmannians.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The stated analogy to cluster variables and g-vectors suggests the duality may import further combinatorial tools from cluster algebras into tropical geometry.
  • The roof-function realization may yield explicit algorithms for computing the metric structure of positive tropical linear spaces in small cases.
  • The column-count invariant could serve as a new enumerative statistic for counting integer points in the positive tropical Grassmannian.

Load-bearing premise

The newly introduced planar bases and planar cross-ratios are canonically defined so that their duality extends to a global bijection and geometric realization for arbitrary k and n.

What would settle it

A concrete counterexample for small k and n in which an integer point of Trop>0 G(k,n) fails to correspond to any noncrossing tableau or in which the K-weight of the point does not equal the column count of its purported tableau.

Figures

Figures reproduced from arXiv: 2604.25212 by Nick Early, Thomas Lam.

Figure 1
Figure 1. Figure 1: A scaffold (left), defined in our companion paper [15], embeds isometrically in the tropical linear space, illustrated on the right by framing it with an embedded tetra￾hedron in R 3 with all triangles equilateral. The red strand triple (1, 8, 10) (left) encodes the summand −h1,8,10 in the planar basis expansion on the bottom right. According to Theorem 9.4, the bounded complex of the tropical linear space… view at source ↗
Figure 2
Figure 2. Figure 2: The ladder network for Gr(k, n). There are k horizontal rails and k − 1 levels of vertical edges. Horizontal edges have weight 1; the vertical edge at level ℓ, position t has weight xℓ,t. Source r (on the left) traverses levels r, r+1, . . . , k−1, contributing (k − r) factors. Sink j (for j = k+1, . . . , n) exits at position t = j − k on the bottom rail. x1,1 x1,2 x1,3 x1,4 x2,1 x2,2 x2,3 x2,4 1 2 3 4 5 … view at source ↗
Figure 3
Figure 3. Figure 3: The ladder network for (k, n) = (3, 7), with k − 1 = 2 levels and n − k = 4 positions. Source 1 crosses both levels (contributing factors x1,t1 · x2,t2 ), source 2 crosses level 2 only (contributing x2,t2 ), and source 3 traverses the bottom rail with weight 1. is a vertical edge from level ℓ to level ℓ + 1, weighted by xℓ,t; all horizontal edges have weight 1. Source r enters the network at level r. See F… view at source ↗
Figure 4
Figure 4. Figure 4: Left: above, the black line is the graph of a piecewise-linear function; below, the (red) tip of the (light blue) gradient vectors and the (dark blue) convex hulls across bend loci. The subdifferential (right) interpolates between the generic values of the gradient to construct the tropical linear space, which in this case consists of two (dark blue) line segments and three (red) vertices. Proposition 8.10… view at source ↗
Figure 5
Figure 5. Figure 5: The bounded complex of L(π•) for π = h(121, 3451) + h(1231, 451) in Trop>0Gr(2, 5): a tree with three vertices and two edges. The edge directions e12 and e123 are indicator vectors of cyclic intervals, and the unbounded rays extend from the boundary vertices view at source ↗
Figure 6
Figure 6. Figure 6: The subdivided black hexagon is the image of the 3-split subdivision of ∆3,6 under the projection x 7→ (x1 + x2, x3 + x4, x5 + x6). The red triangle is the image of ∆3,6 under the subdifferential, i.e. by Proposition 8.10 this is the bounded complex of the tropical linear space. 8.5. The roof function identity. The planar basis expansion π• ≡ P J∈( [n] k ) ncyc u t J (π) hJ (mod Lk,n) lifts to an identity … view at source ↗
read the original abstract

While the positive Grassmannian is deeply understood through the rich combinatorics of plabic graphs and positroid cells, its tropical counterpart, the positive tropical Grassmannian Trop$_{>0}G(k,n)$, has lacked a comparable structural framework for general $k$. Both the global face structure of Trop$_{>0}G(k,n)$ and the internal metric geometry of the tropical linear spaces it parametrizes have remained largely uncharted. This paper develops a systematic algebraic and polyhedral foundation that resolves this gap. The engine of our framework is a fundamental tropical duality, analogous to the duality between cluster variables (or more precisely, their $u$-coordinates) and $\mathbf{g}$-vectors, pairing two families of objects introduced by the first author: the planar basis of tropical Pl\"ucker vectors and the planar cross-ratios on the positive configuration space. We prove that this duality links the fan structure of the positive tropical Grassmannian to the noncrossing fan of Santos, Stump, and Welker, yielding a global bijection between integer points of $Trop_{>0}G(k,n)$ and noncrossing tableaux. We then study how this discrete combinatorial data controls the continuous metric geometry of positive tropical linear spaces. We realize the bounded complex of an integer positive tropical linear space as the subdifferential of a central roof function on the hypersimplex, and use this realization to embed it into a dilate of the fundamental alcoved simplex. The dilation factor, and hence the geometric diameter of the complex, is governed by a single invariant, the planar kinematics ($K) weight, which we show equals the number of columns in the associated noncrossing tableau. The results of this work are applied in our parallel work on scaffolds for higher tropical Grassmannians.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The paper introduces a tropical duality between planar bases of tropical Plücker vectors and planar cross-ratios on the positive configuration space. It proves that this duality links the fan structure of the positive tropical Grassmannian Trop>0G(k,n) to the noncrossing fan of Santos-Stump-Welker, yielding a global bijection between integer points of Trop>0G(k,n) and noncrossing tableaux. It further realizes the bounded complex of an integer positive tropical linear space as the subdifferential of a central roof function on the hypersimplex, with the dilation factor governed by the planar kinematics (K) weight, shown to equal the number of columns in the associated noncrossing tableau.

Significance. If the central claims hold, the work supplies a systematic combinatorial and polyhedral framework for positive tropical Grassmannians and their linear spaces in general k and n, connecting discrete fan structures to metric geometry via a single invariant. The explicit global bijection and the roof-function realization of the bounded complex would be notable advances, especially given the link to existing noncrossing combinatorics and the potential applications to scaffolds noted in the parallel work.

major comments (3)
  1. [Section 2 (or equivalent definitions section)] The definitions of planar bases of tropical Plücker vectors and planar cross-ratios (introduced as the engine of the framework) must be shown to be canonical and independent of auxiliary choices on the positive configuration space; this well-definedness is load-bearing for the claimed duality and its extension to arbitrary k,n.
  2. [Main theorem on duality and bijection (likely §4 or §5)] The proof of the global bijection (asserted to link all integer points of Trop>0G(k,n) to noncrossing tableaux via the duality with the Santos-Stump-Welker noncrossing fan) requires explicit verification of surjectivity and that the correspondence captures the full fan structure without hidden dependencies or case restrictions; the abstract states the result but the load-bearing step needs detailed checking for general k,n.
  3. [Geometric realization section (likely §6)] The construction of the central roof function on the hypersimplex and the claim that its subdifferential realizes the bounded complex, with dilation exactly the K-weight (equal to tableau column count), needs confirmation that the K-weight is well-defined as a single invariant independent of the choice of noncrossing tableau representative.
minor comments (2)
  1. [Introduction or notation section] Clarify the precise relationship between the newly introduced K-weight and any existing notions of planar kinematics or weights in the positroid or tropical literature; add a short comparison paragraph.
  2. [Figures] Ensure all figures illustrating the noncrossing tableaux or roof functions have clear labels for the dilation factor and K-weight.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the thorough reading and for identifying points where additional explicit verification would strengthen the exposition. We address each major comment below and have revised the manuscript accordingly to clarify the canonical nature of the constructions and to make the proofs of surjectivity and invariance fully self-contained.

read point-by-point responses

  1. Referee: [Section 2 (or equivalent definitions section)] The definitions of planar bases of tropical Plücker vectors and planar cross-ratios (introduced as the engine of the framework) must be shown to be canonical and independent of auxiliary choices on the positive configuration space; this well-definedness is load-bearing for the claimed duality and its extension to arbitrary k,n.

    Authors: We agree that explicit independence from auxiliary choices is essential. In the revised Section 2 we have inserted a new lemma (Lemma 2.7) proving that both the planar basis and the planar cross-ratio are invariant under the natural action of the positive torus and under changes of positive configuration coordinates. The proof proceeds by direct computation using the Plücker relations and the fact that the positive Grassmannian embedding is canonical; this removes any dependence on auxiliary data and extends immediately to arbitrary k and n. revision: yes

  2. Referee: [Main theorem on duality and bijection (likely §4 or §5)] The proof of the global bijection (asserted to link all integer points of Trop>0G(k,n) to noncrossing tableaux via the duality with the Santos-Stump-Welker noncrossing fan) requires explicit verification of surjectivity and that the correspondence captures the full fan structure without hidden dependencies or case restrictions; the abstract states the result but the load-bearing step needs detailed checking for general k,n.

    Authors: The original proof already establishes that the duality map is a fan isomorphism onto the noncrossing fan and is injective on integer points. To address surjectivity explicitly, we have added a constructive argument in the revised Section 5: given any noncrossing tableau we build the corresponding integer tropical Plücker vector by assigning values according to the column heights and verify that it lies in Trop>0G(k,n) and maps back to the tableau. The construction uses only the noncrossing property and the Santos-Stump-Welker fan relations, with no case distinctions or hidden dependencies; it holds uniformly for all 1 ≤ k ≤ n/2 (the general case follows by duality). revision: yes

  3. Referee: [Geometric realization section (likely §6)] The construction of the central roof function on the hypersimplex and the claim that its subdifferential realizes the bounded complex, with dilation exactly the K-weight (equal to tableau column count), needs confirmation that the K-weight is well-defined as a single invariant independent of the choice of noncrossing tableau representative.

    Authors: The K-weight is defined intrinsically via the planar kinematics (sum of selected Plücker coordinates) before any tableau is chosen. In the revised Section 6 we have added a short proposition showing that this quantity is unchanged under the noncrossing relations and therefore depends only on the equivalence class of the tableau; consequently it equals the column count for any representative. This makes the dilation factor a well-defined invariant of the positive tropical linear space itself. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation builds on external noncrossing fan

full rationale

The paper introduces planar bases and planar cross-ratios (attributed to prior work by the first author) as new objects on the positive configuration space, then proves a duality linking them to the externally cited noncrossing fan of Santos-Stump-Welker. This yields the stated global bijection and the equality of the K-weight with tableau column count as derived theorems, not as definitional identities or fitted inputs. No equations reduce the central claims to self-referential constructions, no uniqueness theorems are imported from overlapping authors to force choices, and the noncrossing fan is treated as independent input rather than presupposed. The framework is self-contained against the cited combinatorial objects.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 3 invented entities

The central claims rest on standard tropical semiring axioms, the definition of the positive tropical Grassmannian, and the cited noncrossing fan; the paper adds new objects (planar bases, planar cross-ratios, central roof function) whose independent evidence is the duality and realization theorems themselves.

axioms (2)
  • standard math Tropical semiring operations (min-plus) and the tropical Plücker relations hold for the positive tropical Grassmannian.
    Invoked throughout the definition of tropical Plücker vectors and the fan structure.
  • domain assumption The noncrossing fan of Santos, Stump, and Welker is well-defined and has the stated combinatorial properties.
    Used as the target of the duality bijection; cited as prior work.
invented entities (3)
  • planar basis of tropical Plücker vectors no independent evidence
    purpose: One side of the fundamental tropical duality
    Introduced by the first author and paired with cross-ratios to generate the bijection.
  • planar cross-ratios on the positive configuration space no independent evidence
    purpose: Dual partner to the planar basis
    New family of objects whose duality yields the fan correspondence.
  • central roof function on the hypersimplex no independent evidence
    purpose: Realizes the bounded complex as its subdifferential
    New geometric object whose subdifferential encodes the tropical linear space.

pith-pipeline@v0.9.0 · 5621 in / 1949 out tokens · 75040 ms · 2026-05-07T16:10:53.969518+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

34 extracted references · 9 canonical work pages

  1. [1]

    Ardila, F

    F. Ardila, F. Rinc´ on, and L. Williams, Positroids and non-crossing partitions. Trans. Amer. Math. Soc. 368 (2016), no. 1, 337–363. 24

    2016

  2. [2]

    Arkani-Hamed, S.He, T

    N. Arkani-Hamed, S.He, T. Lam, Cluster configuration spaces of finite type. SIGMA, 17 (2021), 092, 41 pages. 6, 8

    2021

  3. [3]

    Arkani-Hamed, T

    N. Arkani-Hamed, T. Lam, and M. Spradlin, Positive configuration space. Comm. Math. Phys. 384 (2021), 909–954. 1, 4, 8

    2021

  4. [4]

    Arkani-Hamed, T

    N. Arkani-Hamed, T. Lam, and M. Spradlin, Non-perturbative geometries for planarN= 4 SYM amplitudes. JHEP (2021), article number 065. 1

    2021

  5. [5]

    Cachazo, N

    F. Cachazo, N. Early, A. Guevara, and S. Mizera, Scattering equations: from projective spaces to tropical Grassmannians. J. High Energy Phys. (2019), no. 6, Paper No. 039, 44 pp.arXiv:1903.08904. 1

    work page arXiv 2019

  6. [6]

    Cachazo and N

    F. Cachazo and N. Early, Planar kinematics: cyclic fixed points, mirror superpotential,k-dimensional Catalan numbers, and root polytopes. Ann. Inst. Henri Poincar´ e Comb. Phys. Interact. (2024), 1–58. 4, 6, 12, 19, 20

    2024

  7. [7]

    Drummond, J

    J. Drummond, J. Foster, O. G¨ urdo˘ gan, and C. Kalousios, Tropical Grassmannians, cluster algebras and scattering amplitudes. J. High Energy Phys. (2020), article number 146. 1

    2020

  8. [8]

    Drummond, O

    J. Drummond, O. Gurdogan, and J. Li. Tropical symmetries of cluster algebras, preprint, 2026,arXiv:2601.19779. 3

    work page arXiv 2026

  9. [9]

    Early, Planar kinematic invariants, matroid subdivisions and generalized Feynman diagrams, preprint, 2019, arXiv:1912.13513

    N. Early, Planar kinematic invariants, matroid subdivisions and generalized Feynman diagrams, preprint, 2019, arXiv:1912.13513. 2, 6

    work page arXiv 2019

  10. [10]

    Early, Weighted blade arrangements and the positive tropical Grassmannian, preprint, 2020, arXiv:2005.12305

    N. Early, Weighted blade arrangements and the positive tropical Grassmannian, preprint, 2020,arXiv:2005.12305. 9 32 NICK EARLY AND THOMAS LAM

    work page arXiv 2020

  11. [11]

    Early, Planarity in generalized scattering amplitudes: PK polyto pe, generalized root systems and worldsheet associahedra, arXiv preprint arXiv:2106.07142 (2021)

    N. Early, Planarity in generalized scattering amplitudes: PK polytope, generalized root systems and worldsheet associ- ahedra, preprint, 2021,arXiv:2106.07142. 4, 12, 20

    work page arXiv 2021

  12. [12]

    Early, From weakly separated collections to matroid subdivisions

    N. Early, From weakly separated collections to matroid subdivisions. Combinatorial Theory 2 (2022), no. 2. 2, 5, 7, 9, 10, 11

    2022

  13. [13]

    Early, Factorization for generalized biadjoint scalar amplitudes via matroid subdivisions, preprint, 2022, arXiv:2211.16623

    N. Early, Factorization for generalized biadjoint scalar amplitudes via matroid subdivisions, preprint, 2022, arXiv:2211.16623. 7

    work page arXiv 2022

  14. [14]

    Early, The CEGM NLSM

    N. Early, The CEGM NLSM. J. High Energy Phys. (2025), no. 4, 1–29. 9

    2025

  15. [15]

    Early and T

    N. Early and T. Lam, Scaffolds for higher tropical Grassmannians: foundations, preprint, 2026. 1, 2, 3, 31

    2026

  16. [16]

    Early and J

    N. Early and J. Li, Tropical geometry, quantum affine algebras, and scattering amplitudes. J. Phys. A: Math. Theor. 57 (2024), no. 49, 495201. 3

    2024

  17. [17]

    Early and J

    N. Early and J. Li, Classification of prime modules of quantum affine algebras corresponding to 2-column tableaux. Journal of Algebraic Combinatorics 62, no. 1 (2025): 6. 3

    2025

  18. [18]

    Early, P-G

    N. Early, P-G. Plamondon and H. Thomas, CEGM scattering via representation theory, In preparation. 3

  19. [19]

    Henke and G

    N. Henke and G. Papathanasios, How tropical are seven- and eight-particle amplitudes? J. High Energy Phys. (2020), article number 5. 1

    2020

  20. [20]

    Khovanov and G

    M. Khovanov and G. Kuperberg, Web bases forsl(3) are not dual canonical. Pacific J. Math. 188 (1999), no. 1, 129–153

    1999

  21. [21]

    Koshevoy, F

    G. Koshevoy, F. Li, and L. Zhang. Finest positroid subdivisions from maximal weakly separated collections. arXiv:2502.05033. 9

    work page arXiv

  22. [22]

    Lam, Moduli spaces in positive geometry

    T. Lam, Moduli spaces in positive geometry. Le Matematiche. Vol. LXXX (2025), 17–101. 8

    2025

  23. [23]

    Lam and A

    T. Lam and A. Postnikov, Alcoved polytopes I. Discrete Comput. Geom. 38 (2007), 453–478. 3, 24

    2007

  24. [24]

    Lam and A

    T. Lam and A. Postnikov, Polypositroids. Forum Math. Sigma 12 (2024), Paper No. e42, 67 pp. 3, 24

    2024

  25. [25]

    Leclerc and A

    B. Leclerc and A. Zelevinsky, Quasicommuting families of quantum Pl¨ ucker coordinates. Kirillov’s Seminar on Repre- sentation Theory, Amer. Math. Soc. Transl. Ser. 2, vol. 181, 1998, pp. 85–108. 4

    1998

  26. [26]

    Lukowski, M

    T. Lukowski, M. Parisi, and L. K. Williams, The positive tropical Grassmannian, the hypersimplex, and them= 2 amplituhedron. Int. Math. Res. Not. IMRN (2023), no. 19, 16778–16836.arXiv:2002.06164. 1

    work page arXiv 2023

  27. [27]

    T. K. Petersen, P. Pylyavskyy, and D. E. Speyer, A noncrossing standard monomial theory. J. Algebra 324 (2010), no. 5, 951–969. 2, 5, 13

    2010

  28. [28]

    Total positivity, Grassmannians, and networks

    A. Postnikov, Total positivity, Grassmannians, and networks, preprint, 2006,arXiv:math/0609764. 2, 4, 14

    work page Pith review arXiv 2006

  29. [29]

    R. T. Rockafellar, Convex Analysis. Princeton Mathematical Series, No. 28, Princeton University Press, 1970. 26

    1970

  30. [30]

    Santos, C

    F. Santos, C. Stump, and V. Welker, Noncrossing sets and a Grassmann associahedron. Forum Math. Sigma 5 (2017), e5. 2, 5, 13

    2017

  31. [31]

    Speyer, Tropical linear spaces

    D. Speyer, Tropical linear spaces. SIAM J. Discrete Math. 22 (2008), no. 4, 1527–1558. 8, 23, 24

    2008

  32. [32]

    Speyer and B

    D. Speyer and B. Sturmfels, The tropical Grassmannian. Adv. Geom. 4 (2004), no. 3, 389–411. 1

    2004

  33. [33]

    Speyer and L

    D. Speyer and L. Williams, The tropical totally positive Grassmannian. J. Algebraic Combin. 22 (2005), 189–210. 1, 4

    2005

  34. [34]

    Speyer and L

    D. Speyer and L. Williams, The positive Dressian equals the positive tropical Grassmannian. Trans. Amer. Math. Soc., Ser. B 8 (2021), no. 11, 330–353. 4, 8 School of Natural Sciences, Institute for Advanced Study, 1 Einstein Dr. Princeton, NJ 08540, USA. Email address:earlnick@ias.edu Department of Mathematics, University of Michigan, 2074 East Hall, 530 ...

    2021