pith. sign in

arxiv: 2508.02941 · v3 · submitted 2025-08-04 · 🧮 math.AG · math.CO

Tropical cluster varieties of type C

Igor Makhlin This is my paper

Pith reviewed 2026-05-19 00:15 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords tropicalizationcluster varietiestype Cphylogenetic treescyclohedronassociahedronsign patternstoric degenerations
0
0 comments X

The pith

The tropicalization of a cluster variety of finite type C is the space of axially symmetric phylogenetic trees.

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

This paper gives an explicit combinatorial description of the tropicalization of cluster varieties of finite type C. It realizes the tropical space concretely as the set of axially symmetric phylogenetic trees. The work determines every possible sign pattern on the coordinates of both the cluster variety and the associated cluster configuration space. It proves that each signed tropicalization is combinatorially dual to either a cyclohedron or an associahedron. These identifications supply a direct bridge between the abstract tropical geometry of cluster algebras and concrete objects from phylogenetic combinatorics and polyhedral theory.

Core claim

We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron. As additional results, we construct Gröbner and tropical bases for the defining ideals of both varieties, and classify the arising toric degenerations.

What carries the argument

The space of axially symmetric phylogenetic trees, which supplies an explicit geometric model for the tropicalization of the type C cluster variety and organizes the sign patterns and their polyhedral dualities.

If this is right

  • All sign patterns on the coordinates are classified and each determines a distinct combinatorial type of the tropical space.
  • Every signed tropicalization is dual to either the cyclohedron or the associahedron, linking the geometry directly to these standard polytopes.
  • Gröbner and tropical bases for the defining ideals make the ideals and their initial ideals explicitly computable.
  • The classification of toric degenerations gives a complete list of the possible flat limits arising from the tropical structure.

Where Pith is reading between the lines

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

  • The tree realization may allow phylogenetic algorithms to compute tropical points or cluster coordinates in type C.
  • The observed dualities suggest possible extensions of the same sign-pattern analysis to other finite Dynkin types.
  • The explicit bases could be used to study flat degenerations in related moduli spaces of phylogenetic trees.

Load-bearing premise

The combinatorial definitions of axial symmetry and the chosen sign patterns must align exactly with the tropical structure coming from type C cluster varieties.

What would settle it

A concrete point in the tropical variety that cannot be realized by any axially symmetric phylogenetic tree, or a sign pattern whose signed tropicalization fails to be combinatorially dual to a cyclohedron or an associahedron.

Figures

Figures reproduced from arXiv: 2508.02941 by Igor Makhlin.

Figure 1
Figure 1. Figure 1: The graph G. Lemma 2.7. I ′ mon is an initial ideal of Itor. Proof. For every quadruple a ≺˙ b ≺˙ c ≺˙ d, the binomial xa,cxb,d − xa,dxb,c lies in Itor. Furthermore, if we define w ′ ∈ R D by w ′ a,b = ln | path(a, b)|, then inw′(xa,cxb,d − xa,dxb,c) = xa,cxb,d. This shows that I ′ mon ⊂ inw′ Itor. To obtain the reverse inclusion we check that grdim I ′ mon ≥ grdim Itor. Since a basis in R/I′ mon is given … view at source ↗
Figure 2
Figure 2. Figure 2: The 7 forms of ASPTs for n = 3. Definition 3.3. A weighted phylogenetic tree (T , v, ℓ) is a phylogenetic tree (T , v) to￾gether with a weight function ℓ from the edge set of T to R such that ℓ(e) > 0 for every non-leaf edge e (but not necessarily for the leaf edges). We also say that ℓ is a weighting of (T , v). A weighted phylogenetic tree (T , v, ℓ) defines a “distance” function dT ,v,ℓ : N2 → R. For ve… view at source ↗
Figure 4
Figure 4. Figure 4: The tree (T0, v0) = TΘ0,φ0 . To extend this equality to other ASPTs, we use the notion of flips. Let Θ be an axially symmetric triangulation. For a diagonal δ ∈ Θ, consider the two triangular cells of Θ adjacent to δ. Let δ ∗ ̸= δ denote the other diagonal of the quadrilateral formed by these two triangles. Now, consider δ1 ∈ Θ, let δ2 be its reflection across δ0. Suppose that δ ∗ 1 and δ ∗ 2 do not cross,… view at source ↗
Figure 5
Figure 5. Figure 5: The 7 isomorphism classes of trees with 6 leaves and no vertices of degree 2. Below, we consider each isomorphism class separately. We use the following conven￾tions: the edge incident to v(a) is denoted by ea and, if the figure contains a leaf vertex denoted vi , the element v −1 (vi) is denoted by ai . We also denote dT ,v,ℓ by d for brevity. 1. T is of isomorphism class α. In this case, property (i) imp… view at source ↗
Figure 7
Figure 7. Figure 7: The case a, b, c ∈ [1, n], d /∈ [1, n], assuming b1 = b. Finally, if c, d /∈ [1, n], then a ≺ b ≺ d ≺ c. Let v1 and v2 denote vertices of degree three in Ta,b,c,d. If b1 = b (Figure 8A), then inw ra,b,c,d = xa,cxb,d + xa,bxc,d and cT ,v(a, b) = cT ,v(c, d) = i. Both vpath(v(a), v(b)) and vpath(v(c), v(d)) contain each of v1 and v2. By Proposition 4.1(b), both v1 and v2 are σ-fixed. Since v1 and v2 also lie… view at source ↗
Figure 8
Figure 8. Figure 8: The case a, b ∈ [1, n], c, d /∈ [1, n]. If, however, b1 = d (Figure 8B), then inw ra,b,c,d = xa,cxb,d − xa,dxb,c. If Ta,b,c,d contains no σ-fixed vertices, cT ,v(a, c) = cT ,v(b, d) = cT ,v(a, d) = cT ,v(b, c) = 1. Suppose that Ta,b,c,d contains a single σ-fixed vertex v. If v ∈ vpath(v1, v2), then all four coefficients are equal to 2. If v /∈ vpath(v1, v2), then one of cT ,v(a, c) and cT ,v(b, d) equals 2… view at source ↗
read the original abstract

We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron. As additional results, we construct Gr\"obner and tropical bases for the defining ideals of both varieties, and classify the arising toric degenerations.

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

1 major / 2 minor

Summary. The paper explicitly describes the tropicalization of a cluster variety of finite type C by realizing it as the space of axially symmetric phylogenetic trees. It classifies all occurring sign patterns of coordinates for both the cluster variety and the cluster configuration space, and shows that each signed tropicalization is combinatorially dual to either a cyclohedron or an associahedron. Additional results include constructions of Gröbner and tropical bases for the defining ideals of both varieties together with a classification of the arising toric degenerations.

Significance. If the central realization and duality statements hold, the work supplies a concrete combinatorial model for tropical cluster varieties in type C, linking them to phylogenetic trees and to the cyclohedron/associahedron. This strengthens the dictionary between cluster algebras and tropical geometry for non-simply-laced types and furnishes explicit bases and degenerations that can be used for further computations. The explicit sign-pattern classification is a useful byproduct.

major comments (1)
  1. [§4, Theorem 4.3] §4, Theorem 4.3: the proof that axial symmetry on phylogenetic trees reproduces exactly the image of the valuation map on the type-C cluster algebra must verify compatibility with the exchange relations that involve odd-length cycles (distinct from type A). The manuscript checks the initial seed and a few mutations but does not supply a uniform argument that every mutated seed preserves the axial-symmetry condition without post-hoc adjustment of the tree metric.
minor comments (2)
  1. [§2] The definition of 'axial symmetry' is introduced in §2 but its precise relation to the coefficient patterns of type C is stated only informally; a short table or diagram relating the symmetry condition to the exchange matrix would improve readability.
  2. [Figure 5] Figure 5 (tropical fan for the signed case) lacks a legend indicating which rays correspond to which sign patterns; this makes the duality claim harder to verify at a glance.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, the positive overall assessment, and the recommendation for minor revision. We respond to the single major comment below.

read point-by-point responses

  1. Referee: [§4, Theorem 4.3] §4, Theorem 4.3: the proof that axial symmetry on phylogenetic trees reproduces exactly the image of the valuation map on the type-C cluster algebra must verify compatibility with the exchange relations that involve odd-length cycles (distinct from type A). The manuscript checks the initial seed and a few mutations but does not supply a uniform argument that every mutated seed preserves the axial-symmetry condition without post-hoc adjustment of the tree metric.

    Authors: We agree that the present argument in Theorem 4.3 relies on direct verification for the initial seed together with a representative collection of mutations, including those involving odd-length cycles. While these checks confirm compatibility with the type-C exchange relations, a uniform inductive argument is indeed preferable. In the revised version we will add an induction on mutation sequences: assuming axial symmetry holds for a seed, we show that the exchange relations (both even- and odd-length) produce a new tree metric that remains axially symmetric, with no post-hoc adjustment required. The existing explicit checks will be retained as illustrative cases. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent combinatorial constructions

full rationale

The paper's claims rest on explicit combinatorial descriptions of tropicalizations for type C cluster varieties, using standard definitions of cluster algebras, valuations, and phylogenetic tree metrics. The realization as axially symmetric trees and the duality to cyclohedra/associahedra follow from matching sign patterns and fan structures to known polyhedral complexes, without reducing to fitted parameters renamed as predictions or self-citations that bear the central load. No equations or constructions in the provided abstract and context exhibit self-definitional loops or ansatzes smuggled via prior author work; the work appears self-contained against external combinatorial benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on established background from cluster algebra theory and tropical geometry without introducing new free parameters or invented entities in the abstract.

axioms (2)
  • standard math Standard definitions and properties of cluster varieties of finite type and their tropicalizations from prior literature in cluster algebras.
    Invoked to set up the objects whose tropicalization is described.
  • domain assumption Combinatorial notions of phylogenetic trees with axial symmetry and polyhedral duality for cyclohedra and associahedra.
    Used to realize and classify the tropical spaces.

pith-pipeline@v0.9.0 · 5593 in / 1434 out tokens · 53278 ms · 2026-05-19T00:15:50.158053+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Federico Ardila and Caroline J. Klivans. The Bergman complex of a matroid and phylogenetic trees. Journal of Combinatorial Theory. Series B , 96(1):38–49, 2006. 3

    work page 2006

  2. [2]

    Cluster configuration spaces of finite type

    Nima Arkani-Hamed, Song He, and Thomas Lam. Cluster configuration spaces of finite type. SIGMA. Symmetry, Integrability and Geometry. Methods and Applications , 17:Paper No. 092, 41,

    work page

  3. [3]

    1, 2, 3, 19, 20, 21, 22, 24, 26

    work page

  4. [4]

    Binary geometries, generalized particles and strings, and cluster algebras

    Nima Arkani-Hamed, Song He, Thomas Lam, and Hugh Thomas. Binary geometries, generalized particles and strings, and cluster algebras. Physical Review D, 107(6):066015, 2023. 1, 21

    work page 2023

  5. [5]

    Cluster algebras

    Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. Cluster algebras. III. Upper bounds and double Bruhat cells. Duke Mathematical Journal , 126(1):1–52, 2005. 1

    work page 2005

  6. [6]

    Robert Bieri and J. R. J. Groves. The geometry of the set of characters induced by valuations. Journal f¨ ur die Reine und Angewandte Mathematik. [Crelle’s Journal], 347:168–195, 1984. 1

    work page 1984

  7. [7]

    Billera, Susan P

    Louis J. Billera, Susan P. Holmes, and Karen Vogtmann. Geometry of the space of phylogenetic trees. Advances in Applied Mathematics , 27(4):733–767, 2001. 1

    work page 2001

  8. [8]

    Tropical totally positive cluster varieties, 2022

    Lara Bossinger. Tropical totally positive cluster varieties, 2022. URL: https://arxiv.org/abs/ 2208.01723, arXiv:2208.01723. 1

    work page arXiv 2022

  9. [9]

    Families of Gr¨ obner degenera- tions, Grassmannians and universal cluster algebras

    Lara Bossinger, Fatemeh Mohammadi, and Alfredo N´ ajera Ch´ avez. Families of Gr¨ obner degenera- tions, Grassmannians and universal cluster algebras. SIGMA. Symmetry, Integrability and Geome- try. Methods and Applications , 17, 2021. 1

    work page 2021

  10. [10]

    Francis C. S. Brown. Multiple zeta values and periods of moduli spaces m0,n. Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, Ser. 4, 42(3):371–489, 2009. 23

    work page 2009

  11. [11]

    A note on the metric properties of trees

    Peter Buneman. A note on the metric properties of trees. Journal of Combinatorial Theory, Series B, 17:48–50, 1974. 14, 17

    work page 1974

  12. [12]

    Constructing Fano 3-folds from cluster varieties of rank 2

    Stephen Coughlan and Tom Ducat. Constructing Fano 3-folds from cluster varieties of rank 2. Compositio Mathematica, 156(9):1873–1914, 2020. 2

    work page 1914

  13. [13]

    Tropicalizing binary geometries

    Shelby Cox and Igor Makhlin. Tropicalizing binary geometries. Le Matematiche , 80(1):211–231,

    work page

  14. [14]

    1, 2, 3, 10, 14, 20, 24, 25

    work page

  15. [15]

    Algebraic singular- ities of scattering amplitudes from tropical geometry.Journal of High Energy Physics, 2021(4):Paper No

    James Drummond, Jack Foster, ¨Omer G¨ urdo˘ gan, and Chrysostomos Kalousios. Algebraic singular- ities of scattering amplitudes from tropical geometry.Journal of High Energy Physics, 2021(4):Paper No. 002, 18, 2021. 1

    work page 2021

  16. [16]

    Non-Archimedean amoebas and tropical varieties

    Manfred Einsiedler, Mikhail Kapranov, and Douglas Lind. Non-Archimedean amoebas and tropical varieties. Journal f¨ ur die Reine und Angewandte Mathematik. [Crelle’s Journal], 601:139–157, 2006. 1

    work page 2006

  17. [17]

    Moduli spaces of local systems and higher Teichm¨ uller theory

    Vladimir Fock and Alexander Goncharov. Moduli spaces of local systems and higher Teichm¨ uller theory. Publications Math´ ematiques. Institut de Hautes´Etudes Scientifiques, 103:1–211, 2006. 1

    work page 2006

  18. [18]

    Cluster ensembles, quantization and the dilogarithm

    Vladimir Fock and Alexander Goncharov. Cluster ensembles, quantization and the dilogarithm. Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure. Quatri` eme S´ erie, 42(6):865–930, 2009. 1

    work page 2009

  19. [19]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. I. Foundations. Journal of the American Mathematical Society, 15(2):497–529, 2002. 1

    work page 2002

  20. [20]

    Cluster algebras II: Finite type classification

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras II: Finite type classification. Inventiones mathematicae, 154(1):63–121, 2003. 1, 2, 5, 6, 7, 23

    work page 2003

  21. [21]

    Cluster algebras

    Sergey Fomin and Andrei Zelevinsky. Cluster algebras. IV. Coefficients. Compositio Mathematica, 143(1):112–164, 2007. 1

    work page 2007

  22. [22]

    Canonical bases for cluster algebras

    Mark Gross, Paul Hacking, Sean Keel, and Maxim Kontsevich. Canonical bases for cluster algebras. Journal of the American Mathematical Society , 31(2):497–608, 2018. 1

    work page 2018

  23. [23]

    Deformation theory for finite cluster complexes

    Nathan Ilten, Alfredo N´ ajera Ch´ avez, and Hipolito Treffinger. Deformation theory for finite cluster complexes. Mathematische Zeitschrift, 309(4):66, 2025. 6, 7, 20 33

    work page 2025

  24. [24]

    Minkowski decompositions for generalized asso- ciahedra of acyclic type

    Dennis Jahn, Robert L¨ owe, and Christian Stump. Minkowski decompositions for generalized asso- ciahedra of acyclic type. Algebraic Combinatorics, 4(5):757–775, 2021. 1, 26

    work page 2021

  25. [25]

    M. M. Kapranov. Chow quotients of Grassmannians. I. In I. M. Gelfand Seminar , volume 16, Part 2 of Adv. Soviet Math. , pages 29–110. Amer. Math. Soc., Providence, RI, 1993. 3

    work page 1993

  26. [26]

    Thomas Lam and David E. Speyer. Cohomology of cluster varieties I: Locally acyclic case. Algebra & Number Theory, 16(1):179–230, 2022. 2, 22

    work page 2022

  27. [27]

    Introduction to tropical geometry , volume 161 of Graduate Studies in Mathematics

    Diane Maclagan and Bernd Sturmfels. Introduction to tropical geometry , volume 161 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2015. 3, 22

    work page 2015

  28. [28]

    Scattering diagrams, theta functions, and refined tropical curve counts

    Travis Mandel. Scattering diagrams, theta functions, and refined tropical curve counts. Journal of the London Mathematical Society. Second Series , 104(5):2299–2334, 2021. 1

    work page 2021

  29. [29]

    Enumerative tropical algebraic geometry in R2

    Grigory Mikhalkin. Enumerative tropical algebraic geometry in R2. Journal of the American Math- ematical Society, 18(2):313–377, 2005. 1

    work page 2005

  30. [30]

    The Gr¨ obner fan of an ideal

    Teo Mora and Lorenzo Robbiano. The Gr¨ obner fan of an ideal. Journal of Symbolic Computation , 6(2):183–208, 1988. 4

    work page 1988

  31. [31]

    The Weil-Petersson form on an acyclic cluster variety

    Greg Muller. The Weil-Petersson form on an acyclic cluster variety. International Mathematics Research Notices. IMRN, 2012(16):3680–3692, 2012. 2

    work page 2012

  32. [32]

    Triangular bases in quantum cluster algebras and monoidal categorification conjectures

    Fan Qin. Triangular bases in quantum cluster algebras and monoidal categorification conjectures. Duke Mathematical Journal , 166(12):2337–2442, 2017. 1

    work page 2017

  33. [33]

    Rietsch and L

    K. Rietsch and L. Williams. Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians. Duke Mathematical Journal , 168(18):3437–3527, 2019. 1

    work page 2019

  34. [34]

    The tree representation of Σ n+1

    Alan Robinson and Sarah Whitehouse. The tree representation of Σ n+1. J. Pure Appl. Algebra , 111(1-3):245–253, 1996. 1

    work page 1996

  35. [35]

    Cyclic sieving and cluster duality of Grassmannian

    Linhui Shen and Daping Weng. Cyclic sieving and cluster duality of Grassmannian. SIGMA. Sym- metry, Integrability and Geometry. Methods and Applications , 16:Paper No. 067, 41, 2020. 1

    work page 2020

  36. [36]

    The tropical grassmannian

    David Speyer and Bernd Sturmfels. The tropical grassmannian. Advances in Geometry , 4(3):389– 411, 2004. 1, 2, 3, 4, 6, 15, 17

    work page 2004

  37. [37]

    The tropical totally positive Grassmannian

    David Speyer and Lauren Williams. The tropical totally positive Grassmannian. Journal of Algebraic Combinatorics. An International Journal , 22(2):189–210, 2005. 1, 4, 26

    work page 2005

  38. [38]

    Solving systems of polynomial equations , volume 97 of CBMS Regional Conference Series in Mathematics

    Bernd Sturmfels. Solving systems of polynomial equations , volume 97 of CBMS Regional Conference Series in Mathematics . Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2002. 1

    work page 2002

  39. [39]

    Compactifications of subvarieties of tori

    Jenia Tevelev. Compactifications of subvarieties of tori. American Journal of Mathematics , 129(4):1087–1104, 2007. 3 34

    work page 2007