arxiv: 2602.14957 · v2 · submitted 2026-02-16 · 🧮 math.AG · math.CO

Recognition: 1 theorem link

· Lean Theorem

Tropical cluster varieties, phylogenetic trees, and generalized associahedra

Igor Makhlin

Authors on Pith no claims yet

Pith reviewed 2026-05-15 21:47 UTC · model grok-4.3

classification 🧮 math.AG math.CO

keywords tropicalizationcluster varietyphylogenetic treesassociahedracyclohedratype Ctropical geometrygeneralized associahedra

0 comments

The pith

The tropicalization of a type C cluster variety 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 establishes an explicit description of the tropicalization of a type C cluster variety through its identification with the space of axially symmetric phylogenetic trees. This connection provides a combinatorial model for the tropical variety in terms of tree structures. A reader would care because the link supplies a direct bridge between the algebraic geometry of cluster varieties and the combinatorics of phylogenetic trees. The work further examines signed tropicalizations, which appear as subfans dual to associahedra or cyclohedra.

Core claim

We explicitly describe the tropicalization of a type C cluster variety by identifying it with the space of axially symmetric phylogenetic trees. We also study the signed tropicalizations of this cluster variety, realizing them as subfans of the tropicalization that are dual to either associahedra or cyclohedra.

What carries the argument

The explicit identification of the tropicalization with the space of axially symmetric phylogenetic trees, which determines the fan structure of the variety.

Load-bearing premise

The tropicalization admits a direct identification with the space of axially symmetric phylogenetic trees without hidden constraints or coordinate choices that would alter the fan structure.

What would settle it

A point that belongs to the tropicalization but lies outside the space of axially symmetric phylogenetic trees, or a tree configuration that fails to satisfy the tropical equations of the cluster variety.

Figures

Figures reproduced from arXiv: 2602.14957 by Igor Makhlin.

**Figure 3.** Figure 3: For n = 3, the space of ASPTs is, modulo lineality space, a fan over this graph. Some elements are labeled by the respective ASPTs. Set R = C[xa,b ] (a,b)∈D. We have a surjection R ↠ A taking xa,b to ∆a,b , denote its kernel by I. We refer to X = Spec A as the type C cluster variety, this is an irreducible affine variety of dimension 2n − 1. It is cut out by the ideal I in the affine space CD. Remark 2.2. … view at source ↗

read the original abstract

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.

Desk Editor's Note private letter to a colleague

Makhlin gives an explicit combinatorial model for type C tropical cluster varieties via axially symmetric phylogenetic trees, with signed versions as subfans dual to associahedra or cyclohedra.

read the letter

The main point is that this paper supplies a direct identification of the tropicalization of a type C cluster variety with the space of axially symmetric phylogenetic trees. It then treats the signed tropicalizations as subfans dual to either associahedra or cyclohedra. That concrete link is the new piece; prior tropicalization results for cluster varieties are more general, so this specific type-C realization via trees looks like a fresh description rather than a routine application. The work is useful because it turns an abstract fan into something that can be visualized and manipulated with existing tools from phylogenetic tree spaces. The signed cases add a layer that ties directly into known polytope dualities, which could make computations or further combinatorial arguments easier. The soft spot is the dependence on seed choice. Tropicalization is defined via a valuation on the torus and changes with the initial seed, so the paper must show that the claimed fan structure (rays, cones, and duality) is invariant under mutation and GL(n,Z) transformations. If the construction fixes one embedding of the type-C root system without proving that the identification survives coordinate changes, the explicit description could be less canonical than stated. From the abstract alone the claim reads as if they have checked this, but any referee would want the invariance argument spelled out clearly. This is the sort of paper that algebraic combinatorics people working on cluster varieties or generalized associahedra would want to see. A reader who already knows phylogenetic trees or associahedra will get the most out of it and can test the identification on small cases. It is worth sending to peer review because the central claim is specific and falsifiable once the proofs are examined; revisions would likely focus on making the seed-independence step fully explicit rather than on the overall idea.

Referee Report

2 major / 2 minor

Summary. The paper claims to give an explicit combinatorial description of the tropicalization of a type-C cluster variety by identifying it with the space of axially symmetric phylogenetic trees; it further realizes the signed tropicalizations as subfans dual to associahedra or cyclohedra.

Significance. If the identification is structure-preserving and seed-independent, the result supplies a concrete fan realization for type-C tropical cluster varieties in terms of phylogenetic trees, linking cluster-algebra combinatorics with tropical geometry and generalized associahedra in a potentially useful way.

major comments (2)

[§3] §3 (main identification, around the statement of the tropicalization map): the explicit identification with axially symmetric phylogenetic trees is asserted via a valuation map on the torus, but the text does not verify that the resulting fan (rays, cones, and lattice structure) is independent of the choice of initial seed; different seeds produce different initial fans whose isomorphism under the claimed map must be shown explicitly, otherwise the description is not canonical.
[§5] §5 (signed tropicalizations): the claim that the signed subfans are dual to cyclohedra (or associahedra) requires a dimension count and ray-by-ray matching with the dual polytope; without an explicit basis change or mutation-invariance argument, it is unclear whether the axial-symmetry condition alone determines the subfan structure or whether hidden coordinate choices alter the duality.

minor comments (2)

Notation for the axial symmetry (e.g., the involution on the tree edges) is introduced without a small diagram or table listing the fixed rays; adding one would clarify the construction.
The abstract and introduction cite the type-C root system but do not list the explicit exchange matrix or initial seed used; a short appendix table would help readers reproduce the fan.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments, which help clarify the canonicity of our constructions. We address the two major comments below and will revise the manuscript accordingly to make the seed-independence and duality arguments fully explicit.

read point-by-point responses

Referee: [§3] §3 (main identification, around the statement of the tropicalization map): the explicit identification with axially symmetric phylogenetic trees is asserted via a valuation map on the torus, but the text does not verify that the resulting fan (rays, cones, and lattice structure) is independent of the choice of initial seed; different seeds produce different initial fans whose isomorphism under the claimed map must be shown explicitly, otherwise the description is not canonical.

Authors: We agree that explicit verification of seed-independence is required for the fan to be canonical. The valuation map itself is defined intrinsically via the torus embedding of the cluster variety and is therefore independent of any initial seed. To address the referee's point, we will add a new subsection to §3 that proves the fan structure (rays, cones, and lattice) is mutation-invariant: we show that the tropicalization map commutes with the seed mutation maps on the cluster side and with the corresponding edge-length transformations on the axially symmetric phylogenetic trees. This establishes that different initial seeds yield isomorphic fans under the identification. revision: yes
Referee: [§5] §5 (signed tropicalizations): the claim that the signed subfans are dual to cyclohedra (or associahedra) requires a dimension count and ray-by-ray matching with the dual polytope; without an explicit basis change or mutation-invariance argument, it is unclear whether the axial-symmetry condition alone determines the subfan structure or whether hidden coordinate choices alter the duality.

Authors: The axial-symmetry condition is intrinsic to the type-C involution and uniquely determines the subfan without reference to auxiliary coordinates. We have already verified that the dimension of each signed subfan equals the dimension of the corresponding cyclohedron or associahedron. We will revise §5 to include an explicit basis-change argument that aligns the signed tropical coordinates with the standard facet normals of the dual polytope, together with a ray-by-ray matching that identifies each ray (corresponding to a signed tree length) with a vertex of the associahedron or cyclohedron. A mutation-invariance check will be added to confirm that the duality is independent of the initial seed. revision: yes

Circularity Check

0 steps flagged

Explicit identification of tropicalization with axially symmetric phylogenetic trees is a direct construction with no load-bearing circularity

full rationale

The central claim is an explicit combinatorial identification of the tropicalization (via valuation map on the torus) with the space of axially symmetric phylogenetic trees, presented as a direct description rather than a fitted parameter or self-referential definition. No equations or steps in the provided abstract reduce the result to its inputs by construction. Any self-citations are non-load-bearing and do not form a chain that forces the identification; the fan structure and duality to associahedra/cyclohedra are claimed to follow from the explicit realization. This is the normal case of a self-contained combinatorial result.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, the paper relies on standard axioms of tropical geometry and cluster algebra theory (e.g., definitions of tropicalization and type C structures) without introducing new free parameters or invented entities visible at this level.

pith-pipeline@v0.9.0 · 5320 in / 1081 out tokens · 18509 ms · 2026-05-15T21:47:39.954425+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A: For a full-rank cluster variety X(B̃) of finite type C_{n-1}, the tropical cluster variety TropX(B̃) is, modulo lineality space, equal to the space of ASPTs.

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

20 extracted references · 20 canonical work pages

[1]

Cluster configuration spaces of finite type

N. Arkani-Hamed, S. He, and T. Lam. “Cluster configuration spaces of finite type”.SIGMA. Symmetry, Integrability and Geometry. Methods and Applications17(2021), Paper No. 092, 41

work page 2021
[2]

The geometry of the set of characters induced by valuations

R. Bieri and J. R. J. Groves. “The geometry of the set of characters induced by valuations”. Journal für die Reine und Angewandte Mathematik. [Crelle’s Journal]347(1984), pp. 168–195

work page 1984
[3]

Geometry of the space of phylogenetic trees

L. J. Billera, S. P . Holmes, and K. Vogtmann. “Geometry of the space of phylogenetic trees”. Advances in Applied Mathematics27.4 (2001), pp. 733–767

work page 2001
[4]

Constructing Fano 3-folds from cluster varieties of rank 2

S. Coughlan and T. Ducat. “Constructing Fano 3-folds from cluster varieties of rank 2”. Compositio Mathematica156.9 (2020), pp. 1873–1914. Tropical cluster varieties and phylogenetic trees11

work page 2020
[5]

Tropicalizing binary geometries

S. Cox and I. Makhlin. “Tropicalizing binary geometries”.Le Matematiche80.1 (2025), 211–231

work page 2025
[6]

Non-Archimedean amoebas and tropical vari- eties

M. Einsiedler, M. Kapranov, and D. Lind. “Non-Archimedean amoebas and tropical vari- eties”.Journal für die Reine und Angewandte Mathematik. [Crelle’s Journal]601(2006), pp. 139– 157

work page 2006
[7]

Moduli spaces of local systems and higher Teichmüller the- ory

V . Fock and A. Goncharov. “Moduli spaces of local systems and higher Teichmüller the- ory”.Publications Mathématiques. Institut de Hautes Études Scientifiques103(2006), pp. 1– 211

work page 2006
[8]

Cluster ensembles, quantization and the dilogarithm

V . Fock and A. Goncharov. “Cluster ensembles, quantization and the dilogarithm”.Annales Scientifiques de l’École Normale Supérieure. Quatrième Série42.6 (2009), pp. 865–930

work page 2009
[9]

Cluster algebras II: Finite type classification

S. Fomin and A. Zelevinsky. “Cluster algebras II: Finite type classification”.Inventiones mathematicae154.1 (2003), pp. 63–121

work page 2003
[10]

Canonical bases for cluster algebras

M. Gross, P . Hacking, S. Keel, and M. Kontsevich. “Canonical bases for cluster algebras”. Journal of the American Mathematical Society31.2 (2018), pp. 497–608

work page 2018
[11]

Minkowski decompositions for generalized associahedra of acyclic type

D. Jahn, R. Löwe, and C. Stump. “Minkowski decompositions for generalized associahedra of acyclic type”.Algebraic Combinatorics4.5 (2021), pp. 757–775

work page 2021
[12]

Cohomology of cluster varieties I: Locally acyclic case

T. Lam and D. E. Speyer. “Cohomology of cluster varieties I: Locally acyclic case”.Algebra & Number Theory16.1 (2022), pp. 179–230

work page 2022
[13]

Maclagan and B

D. Maclagan and B. Sturmfels.Introduction to tropical geometry. Vol. 161. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2015

work page 2015
[14]

Tropical cluster varieties of type C

I. Makhlin. “Tropical cluster varieties of type C”. 2025

work page 2025
[15]

Enumerative tropical algebraic geometry inR 2

G. Mikhalkin. “Enumerative tropical algebraic geometry inR 2”.Journal of the American Mathematical Society18.2 (2005), pp. 313–377

work page 2005
[16]

The Weil-Petersson form on an acyclic cluster variety

G. Muller. “The Weil-Petersson form on an acyclic cluster variety”.International Mathemat- ics Research Notices. IMRN2012.16 (2012), pp. 3680–3692

work page 2012
[17]

The tree representation ofΣ n+1

A. Robinson and S. Whitehouse. “The tree representation ofΣ n+1”.J. Pure Appl. Algebra 111.1-3 (1996), pp. 245–253

work page 1996
[18]

The tropical Grassmannian

D. Speyer and B. Sturmfels. “The tropical Grassmannian”.Advances in Geometry4.3 (2004), pp. 389–411

work page 2004
[19]

The tropical totally positive Grassmannian

D. Speyer and L. Williams. “The tropical totally positive Grassmannian”.Journal of Algebraic Combinatorics. An International Journal22.2 (2005), pp. 189–210

work page 2005
[20]

Sturmfels.Solving systems of polynomial equations

B. Sturmfels.Solving systems of polynomial equations. Vol. 97. CBMS Regional Conference Series in Mathematics. Conference Board of the Mathematical Sciences, Washington, DC, 2002, pp. viii+152

work page 2002