Pith. sign in

REVIEW 1 major objections 2 minor

Tropical cluster varieties of type C

T0 review · 1 major / 2 minor · reviewed 2026-05-19 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The tropicalization of a cluster variety of finite type C is the space of axially symmetric phylogenetic trees.

desk verdict Makhlin gives an explicit combinatorial model for the tropicalization of type C cluster varieties as axially symmetric phylogenetic trees, with sign pattern classification and dualities to cyclohedra or associahedra. read the letter →

arxiv 2508.02941 v4 pith:NQQFJBEO submitted 2025-08-04 math.AG math.CO

Igor Makhlin This is my paper · ORCID
classification math.AGmath.CO
keywords tropicalizationclustervarietiestypeCphylogenetictreescyclohedronassociahedronsignpatternstoricdegenerations
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 2 assumptions · 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.

assumptions (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.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tropical cluster varieties of type C." pith.science (2026). https://pith.science/paper/NQQFJBEO

@misc{pith2026250802941,
  author       = {Pith},
  title        = {Pith review of: Tropical cluster varieties of type C},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NQQFJBEO}},
  note         = {Machine review of arXiv:2508.02941}
}
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.

Figures

Figures reproduced from arXiv: 2508.02941 by the authors.

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 by the mon… view at source ↗
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 vertices u, … view at source ↗
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, which mea… view at source ↗
Figures from the paper (3 more)
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 …
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 vp…
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…

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

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.

Pith tools

Reviewed May 19, 2026 · model on record in the stance chip above.