pith. sign in

arxiv: 2605.15347 · v1 · pith:NUHSAMEQnew · submitted 2026-05-14 · 🧮 math.AG · math.CO

The Tropical Moduli Space of Degree-3 Rational Maps

Tony Shaska , Mohammad-Reza Siadat This is my paper

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

classification 🧮 math.AG math.CO
keywords tropical moduli spacesrational mapstropical projective lineslope sequencescombinatorial classificationtropical Hurwitz theorypolyhedral models
0
0 comments X p. Extension
pith:NUHSAMEQ Add to your LaTeX paper What is a Pith Number? 
\usepackage{pith}
\pithnumber{NUHSAMEQ}

Prints a linked pith:NUHSAMEQ badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

Degree-3 tropical rational maps fall into exactly ten combinatorial types classified by slope sequences.

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

The paper constructs the tropical moduli space of degree-3 rational maps from the tropical projective line to itself, considered up to post-composition. It classifies all such maps into exactly ten combinatorial types using sequences of slopes. The classification produces a polyhedral model of the space parametrized by the gap lengths between breakpoints. The authors also compute automorphism groups for each type, obtain a stratification via linear conditions, and relate the space to tropical Hurwitz theory while describing a compactification from degenerations of the parameters.

Core claim

Using a combinatorial description in terms of slope sequences, we classify all degree-3 tropical rational maps up to post-composition and show that there are exactly ten combinatorial types. This yields a polyhedral model of the moduli space parametrized by gap lengths between breakpoints. We determine the automorphism groups and obtain a stratification by explicit linear conditions. We also relate the construction to tropical Hurwitz theory and describe a natural compactification via degenerations of the parameters.

What carries the argument

Slope sequences that record the combinatorial type of each map, together with the gap lengths between breakpoints that serve as coordinates for the continuous parameters within each type.

If this is right

  • The moduli space admits a stratification indexed by explicit linear conditions on the gap lengths.
  • Each of the ten types has a well-defined automorphism group that can be computed directly from the slope sequence.
  • The construction connects to tropical Hurwitz theory and therefore supplies combinatorial data for enumerative problems in that setting.
  • Degenerations of the gap-length parameters produce a natural compactification of the moduli space.

Where Pith is reading between the lines

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

  • The same slope-sequence approach may extend to degree-4 or higher maps and produce a finite list of types there as well.
  • The ten types could correspond to distinct strata in the algebraic moduli space of degree-3 rational maps, offering a degeneration dictionary.
  • Tropical counts obtained from this polyhedral model might lift to algebraic Hurwitz numbers via standard correspondence theorems.

Load-bearing premise

Every degree-3 tropical rational map is fully captured by its slope sequence and the gap lengths between breakpoints, with no additional continuous moduli or hidden constraints that would merge or split the ten types.

What would settle it

An explicit degree-3 tropical rational map whose slope sequence and gap lengths cannot be placed into any of the ten types or that requires continuous parameters beyond the gaps.

read the original abstract

We construct and study the tropical moduli space \(\mathcal{M}_3^{\mathrm{trop}}\) of degree-$3$ tropical rational maps \(\mathbb{T}\PP^1 \to \mathbb{T}\PP^1\) up to post-composition. Using a combinatorial description in terms of slope sequences, we classify all such maps and show that there are exactly ten combinatorial types. This yields a polyhedral model of \(\mathcal{M}_3^{\mathrm{trop}}\) parametrized by gap lengths between break points. We determine the automorphism groups and obtain a stratification by explicit linear conditions. We also relate the construction to tropical Hurwitz theory and describe a natural compactification via degenerations of the parameters.

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

0 major / 2 minor

Summary. The manuscript constructs and studies the tropical moduli space M_3^trop of degree-3 tropical rational maps T P^1 to T P^1 up to post-composition. Using a combinatorial description in terms of slope sequences, the authors classify all such maps into exactly ten combinatorial types. This yields a polyhedral model parametrized by gap lengths between break points. The paper determines the automorphism groups, obtains a stratification by explicit linear conditions, relates the construction to tropical Hurwitz theory, and describes a natural compactification via degenerations of the parameters.

Significance. If the classification is complete and the polyhedral structure accurately reflects the moduli space, this work provides a valuable explicit example in tropical geometry. The enumeration of ten types and the parametrization by independent gap lengths offer a concrete, computable model that could inform generalizations to higher degrees or connections with enumerative invariants in tropical Hurwitz theory. The explicit linear conditions for the stratification are particularly useful for further study.

minor comments (2)
  1. [§3] §3: The enumeration of the ten combinatorial types would be clearer if accompanied by a summary table listing the slope sequences and corresponding gap length constraints for each type.
  2. [§5] §5: The description of the natural compactification via degenerations could benefit from an explicit example of a degeneration that merges two of the ten types.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment and recommendation of minor revision. We are pleased that the complete classification into ten combinatorial types, the polyhedral parametrization by gap lengths, the automorphism groups, the stratification by linear conditions, and the links to tropical Hurwitz theory are recognized as valuable contributions to the field.

Circularity Check

0 steps flagged

No significant circularity; direct combinatorial enumeration

full rationale

The derivation consists of an exhaustive combinatorial classification of slope sequences for degree-3 tropical rational maps up to post-composition, yielding ten explicit types whose parameter spaces are polyhedra defined by independent gap lengths. This enumeration is performed directly from the definition of tropical maps on T P^1 and does not reduce any count, stratification, or polyhedral structure to a fitted parameter, self-referential definition, or load-bearing self-citation. The automorphism groups, linear stratification conditions, and relation to tropical Hurwitz theory are derived as consequences of the enumerated types rather than presupposed by them. The construction is therefore self-contained against the combinatorial input data for this low-degree case.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that slope sequences plus gap lengths give a complete and non-redundant parametrization of all maps; no free parameters or invented entities are mentioned in the abstract.

axioms (1)
  • domain assumption Tropical rational maps of degree 3 are determined by their slope sequences satisfying the degree condition.
    Invoked when the authors state that the combinatorial description classifies all such maps.

pith-pipeline@v0.9.0 · 5640 in / 1157 out tokens · 42218 ms · 2026-05-19T15:55:47.884969+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

18 extracted references · 18 canonical work pages · 3 internal anchors

  1. [1]

    Shaska and M.-R

    T. Shaska and M.-R. Siadat, Symmetry Detection and Functional Equivalence in ReLU Networks, preprint, Oakland University, 2026

    work page 2026

  2. [2]

    Shaska, Graded N eural N etworks , Int

    T. Shaska, Graded N eural N etworks , Int. J. Data Sci. Math. Sci. 3 (2025), no. 2, 87--116

    work page 2025

  3. [3]

    E. Badr, E. Shaska, and T. Shaska, Rational Functions on the Projective Line from a Computational Viewpoint , arXiv:2503.10835 [math.AG], 2025

    work page arXiv 2025

  4. [4]

    Automorphism Groups on Tropical Curves: Some Cohomology Calculations

    D. Joyner, A. Ksir, and C. G. Melles, Automorphism groups on tropical curves: some cohomology calculations , arXiv:1006.4869v2 [math.AG], 2010

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  5. [5]

    Moduli spaces of rational tropical curves

    G. Mikhalkin, Moduli spaces of rational tropical curves , arXiv:0704.0839 [math.AG], 2007

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  6. [6]

    Tropical Hurwitz Spaces

    B. Katz, Tropical Hurwitz Spaces , J. Algebraic Combin.\ 36 (2012), no. 2, 165--194. arXiv:1211.2369 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  7. [7]

    Cavalieri, M

    R. Cavalieri, M. Hampe, H. Markwig, and D. Ranganathan, Moduli spaces of rational graphically stable tropical curves , Electron. J. Combin.\ 26 (2019), no. 1, Paper No. 1.22. arXiv:1910.00627

    work page arXiv 2019

  8. [8]

    Cavalieri, P

    R. Cavalieri, P. Johnson, and H. Markwig, Wall crossings for double Hurwitz numbers , Adv. Math.\ 228 (2011), no. 4, 1894--1937

    work page 2011

  9. [9]

    Gathmann, M

    A. Gathmann, M. Kerber, and H. Markwig, Tropical fans and the moduli spaces of tropical curves , Compos. Math.\ 145 (2009), no. 1, 173--195

    work page 2009

  10. [10]

    J. A. Song, Semiring isomorphisms between rational function semifields of tropical curves , arXiv:2110.08091, 2021

    work page arXiv 2021

  11. [11]

    JuAe, Realizations of automorphism groups of metric graphs as ambient automorphisms , arXiv:2103.00174 [math.AG], 2021

    S. JuAe, Realizations of automorphism groups of metric graphs as ambient automorphisms , arXiv:2103.00174 [math.AG], 2021

    work page arXiv 2021

  12. [12]

    Ochse, Moduli spaces of rational tropical stable maps into smooth tropical varieties , PhD thesis, TU Kaiserslautern, 2016

    D. Ochse, Moduli spaces of rational tropical stable maps into smooth tropical varieties , PhD thesis, TU Kaiserslautern, 2016

    work page 2016

  13. [13]

    Zhang, G

    L. Zhang, G. Naitzat, and L.-H. Lim, Tropical geometry of deep neural networks , Proc. 35th Internat. Conf. Mach. Learn. (ICML), PMLR 80 (2018), 5824--5832

    work page 2018

  14. [14]

    Pham and A

    T. Pham and A. Garg, Tropical rational signomial maps and graph neural networks , Adv. Neural Inf. Process. Syst. (NeurIPS) 37 (2024)

    work page 2024

  15. [15]

    a nd\" e n, G. Loho, and G. Mont\

    J. Br\" a nd\" e n, G. Loho, and G. Mont\" u far, Real tropical geometry of neural networks , Trans. Mach. Learn. Res. (TMLR), 2024

    work page 2024

  16. [16]

    Baker, S

    M. Baker, S. Payne, and J. Rabinoff, Non-Archimedean geometry, tropicalization, and metrics on curves , Algebr. Geom.\ 3 (2016), no. 1, 63--105

    work page 2016

  17. [17]

    D. E. Speyer, Tropical geometry , PhD thesis, University of California, Berkeley, 2005

    work page 2005

  18. [18]

    Maclagan and B

    D. Maclagan and B. Sturmfels, Introduction to Tropical Geometry, Grad. Stud. Math.\ 161, Amer.\ Math.\ Soc., Providence, RI, 2015

    work page 2015