Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Tropical linear series and matroids

T0 review · 3 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read This paper proves that every tropical linear series is locally the Bergman fan of a matroid, and uses that to characterize when canonical linear series tropicalize to the realizable locus.

desk verdict A substantial and honest paper on tropical linear series with a genuinely new local matroid theorem, but the proof of Theorem 1.14 has an unproved slope constraint that needs attention before I'd trust the central identification. read the letter →

arxiv 2508.20062 v1 pith:AJJUNBTA submitted 2025-08-27 math.AG math.CO

Chih-Wei Chang , Matthew Dupraz , Hernan Iriarte , David Jensen , Dagan Karp , Sam Payne , Jidong Wang This is my paper · ORCID
classification math.AGmath.CO MSC 14T1014T1505B3514H51
keywords tropicallinearseriesmetricgraphsBaker–NorinerankindependencevaluatedmatroidsBergmanfanscanonicaldivisorsmatroidrealizability
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

The paper defines a tropical linear series as a finitely generated tropical module of piecewise-linear functions on a metric graph whose tropical-independence rank is exactly one more than its Baker–Norine rank. Its central result is that at any nondegenerate divisor in the series, the local shape of the series is completely controlled by a matroid: the flats are read off from where functions attain their minima, and the local fan is the Bergman fan of that matroid. This gives a precise way to test realizability of linear series, since local matroids of realizable series must be realizable, and it yields a complete criterion for when the tropicalization of the canonical linear series on a single curve fills the locus of realizable canonical divisors. The paper also shows that every loopless matroid occurs as such a local matroid, and it uses matroidal examples to show that the wider class of tropical linear series can fail the recursive incidence properties that algebraic linear series satisfy.

What carries the argument

The central object is the local matroid M_Σ. For a tropical linear series Σ ⊆ R(D) and a nondegenerate divisor D, the ground set is the set E of connected components of Γ minus the support of D; each function φ ∈ Σ contributes the flat F_φ, namely the components not contained in φ's minimizer. The key mechanism is that these sets form a matroid lattice of flats, and that evaluation at one point per component gives local coordinates identifying Star(D) with the Bergman fan of M_Σ. The technical condition of big minimizers—every minimizer contains a whole component—allows the matroid to be defined even when D is not in |Σ|. Valuated matroids enter as the tropical modules that parametrize matro

What would settle it

Take a tropical linear series on an interval such as the degree-2 complete series R(2v) with the uniform matroid U2,3 parametrization, and examine a divisor in the interior of |Σ|. If the link of that divisor is not the three-ray Bergman fan of U2,3, or if two distinct nearby divisors give the same evaluation at points in each component outside the support, then Theorem 1.14 fails.

Watch

Extended reading notes

Core claim

The paper's main theorem states that if Σ is a tropical linear series of dimension r and D is a nondegenerate divisor in |Σ|, then the collection {F_φ : φ ∈ Σ} ∪ {E}, where E is the set of connected components of Γ ∖ supp(D) and F_φ is the set of components not contained in the minimizer of φ, is the lattice of flats of a matroid M_Σ of rank r+1. Moreover, evaluation at one point in each component embeds the local space Star(D) into R^E/(1,…,1), and the image is exactly the support of the Bergman fan of M_Σ. The same construction gives an invariant local matroid whenever the series has big minimizers, i.e., every minimizer contains a whole connected component. The paper further proves that e

Load-bearing premise

The proof assumes that, near a nondegenerate divisor, each function in the tropical linear series is completely determined by its values at one chosen point in each connected component of the graph outside the divisor's support; the two nondegeneracy conditions—maximal support count and minimal valence-1 degree—are what make this local-coordinate injectivity hold.

Editorial extensions

If this is right

  • Every tropical linear series has pure dimension equal to its Baker–Norine rank, so the projectivized series has no higher-dimensional whiskers.
  • If a tropical linear series is realizable, then every local matroid at a nondegenerate divisor is realizable; a non-realizable local matroid is therefore an explicit obstruction to lifting to an algebraic linear series.
  • Every loopless matroid appears as the local matroid of a tropical linear series at a nondegenerate divisor, both on an interval and on a loop, so all Bergman fans occur as local fans in divisor spaces.
  • For a curve X with skeleton Γ in equicharacteristic zero, Trop(|K_X|) = Real(|KΓ|) if and only if Real(|KΓ|) has dimension g−1; when this holds, every curve with that skeleton has the same canonical tropicalization.
  • Inclusions among tropical linear series are rigid: if Σ ⊆ Σ′ and both are tropical linear series of the same dimension, then Σ = Σ′, giving a maximality property for these modules.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the local-matroid construction extends to degenerate divisors, the local structure of a tropical linear series would become a stratification by matroid quotients, potentially leading to a global parametrization and answering Question 9.1 for intervals and loops.
  • Because every loopless matroid is a local matroid on an interval, tropical linear series on an interval could serve as a universal combinatorial model in which any Bergman fan embeds as a local fan inside a complete linear system.
  • Theorem 1.15 suggests a computational recipe: compute the dimension of Real(|KΓ|) from the Möller–Ulirsch–Werner conditions; equality with g−1 then identifies exactly the curves whose canonical tropicalization is the full realizable locus.
  • The Vámos-based examples indicate that failure of the recursive incidence properties is a matroidal phenomenon rather than a special pathology of tropical linear series, and such examples could be used to test whether every tropical linear series is matroidal.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper develops a theory of tropical linear series on metric graphs, defined as finitely generated tropical submodules Σ ⊆ R(D) satisfying rind(Σ) = rBN(Σ) + 1. The main structural result is Theorem 1.14: at a nondegenerate divisor D, the local geometry of |Σ| is the Bergman fan of a matroid MΣ, whose flats are read off from the minimizers of functions in Σ. The paper also proves pure dimensionality (Theorem 1.5), relates matroidal linear series to valuated matroids (Theorem 1.7, Theorem 6.1), characterizes when the tropicalization of the canonical linear series of a single curve equals the realizable locus Real(|KΓ|) (Theorem 1.15), proves that every loopless matroid arises as a local matroid (Theorem 1.18), and revisits Cartwright divisors and matroid adjoints (Theorems 7.1, 7.3). The exposition includes many examples, a streamlined proof of Dupraz's equidimensionality theorem, and an appendix proving that tropicalizations of algebraic linear series are matroidal.

Significance. If the proofs are completed, this is a significant contribution: it gives a unified local-global picture in which tropical linear series are controlled by matroids and valuated matroids, and it resolves a previous question about equidimensionality. The paper is largely self-contained: Appendix A gives a full proof that tropicalizations are matroidal; Corollary 4.10 is an elegant maximality statement; and the explicit constructions of non-realizable matroidal linear series (Examples 6.6 and 6.8) are valuable. However, the central local structure theorem (Theorem 1.14) contains an unproved slope-injectivity assertion that is load-bearing, and several auxiliary claims are terse. These gaps are patchable in principle, but they need to be addressed before the main theorem is established.

major comments (3)
  1. [§4, proof of Theorem 1.14] The injectivity step, beginning 'Since D has locally maximal support, the slope of φ on any tangent vector ζ at x is either 0 or the multiplicity D(x)', is asserted without proof. This is the bridge from the lattice of minimizers to the actual local fan structure: it is exactly what makes the evaluation map injective and identifies Star(D) with B(MΣ). The implication is not immediate when D(x) > 1, because two tangent directions with slopes +a and −a contribute ord_x(φ) = 0 and can be hidden from the divisor condition. The proof must rule out such cancellations using effectiveness of D + div(φ) and the local minimality of the valence-1 degree, including coincident support points. Without a detailed argument, Theorem 1.14—and hence the paper's central claim—is not fully established.
  2. [§3, Lemma 3.8] The complement-closure step in the proof of Lemma 3.8 is very terse. Starting with φ ∈ Σ, the paper considers D_ε = div(min{φ, ε}) and asserts that, because D lies in the relative interior of a maximal face τ, 'the opposite of any such chip-firing move is well-defined in Σ'. This is a nontrivial statement: it requires that for every sufficiently small such ε there exists φ' ∈ Σ with div(φ') equal to the opposite divisor, and that the resulting construction is compatible with the face τ. This step is needed to conclude that L ∪ {E} is closed under complements and hence is a Boolean lattice, which in turn is used to bound dim |Σ|. Please expand this argument with a precise local-coordinate or chip-firing proof.
  3. [§5, Proposition 5.2] The proof of polyhedrality of Real(|KΓ|) invokes elimination of quantifiers and definability in algebraically closed valued fields, then compactness of S_Γ to obtain a closed polyhedral set. The model-theoretic argument is sketched in four sentences. Since this proposition is a key input to Theorem 1.15, either give a more detailed derivation of the definable/polyhedral statement or cite a specific reference for the quantifier-elimination step in this exact setting. As written, the reader cannot check the claim that the image is a finite Boolean combination of polyhedra rather than a more general definable set.
minor comments (4)
  1. [§8, Example 8.4] The text explicitly says 'We omit the cumbersome case analysis' when asserting that every rank-1 degree-3 divisor on the loop of loops is equivalent to a divisor of the form v1 + w3 + w. For a self-contained example, this case analysis should be supplied or at least summarized, especially since the example is used to illustrate uniqueness of a tropical linear series.
  2. [§1, Remark 1.3] In the derivation of equation (1), the dimension inequality rind(Σ) = dim |Σ| + 1 is used before Corollary 3.9 is stated. This is acceptable logically since the text refers forward, but the forward reference should be explicit at that point.
  3. [§6, Theorem 6.1] In the proof of uniqueness and continuity of the section σ, the existence of an open dense subset U' over which π is a homeomorphism is asserted without proof. This follows from piecewise-linearity and equality of dimensions, but a brief justification would improve readability.
  4. [Throughout] The notation eΦ is used for the evaluation map in the proof of Theorem 1.14, but it is never defined in the text; presumably it should be the map φ ↦ (φ(p1), …, φ(p_s)). Please clarify.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the main derivation chain is self-contained; only minor discount for the density of self-authored citations.

full rationale

I find no step in which a claimed prediction or derivation is equivalent to its inputs by construction. The central theorems (1.5, 1.14, 1.15, 1.16, 1.18) are proved from definitions, standard matroid facts, and internal lemmas. The paper repeatedly cites prior work by its own authors ([JP16], [FJP25], [Dup24], [JP22]), but these are either published peer-reviewed results with independent proofs, or are re-proved in the paper itself (e.g., Appendix A gives a self-contained proof of Theorem 1.7, and Section 3.4 gives a streamlined proof of Dupraz's theorem). No parameter fitting, normalization, or data subset is used to force the Bergman-fan conclusions. The notable weakness is an unproved local-slope assertion in the injectivity part of Theorem 1.14 ('Since D has locally maximal support, the slope of φ on any tangent vector ζ at x is either 0 or the multiplicity D(x) ... there is at most one tangent vector ...'), and a similarly terse local-isomorphism claim in Theorem 1.18. These are potential correctness gaps, not circularity: they do not reduce the conclusion to the hypothesis, and they do not make the derivation self-referential. Accordingly, the circularity score is minimal.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central theorems fit no data and tune no free constants. The listed axioms are standard background results from tropical geometry, matroid theory, and nonarchimedean geometry. The paper's new definitions, such as tropical linear series, matroidal linear series, and local matroid, are formal mathematical objects with internal consistency; none are empirical entities requiring independent experimental detection, so no invented physical entities are recorded.

assumptions (7)
  • standard math Tropical independence certificate theorem ([FJP25, Theorem 1.6])
    Used in Lemma 3.2 and Proposition 3.6 to equate independence rank with tropical rank and dimension.
  • standard math Baker-Norine Riemann-Roch and specialization ([BN07], [Bak08])
    Provides the rank function on divisors, the canonical divisor rank g-1, and the specialization inequality used to show tropicalizations are tropical linear series.
  • standard math Tropical rank equals dimension for tropical convex hulls ([MS15, Theorem 5.3.23])
    Core equivalence between projectivization dimension and independence rank in Proposition 3.5.
  • standard math Valuated matroid and valuated covector axioms, including stable intersection ([MT01], [BEZ21], [Spe08])
    Underlies the definition of matroidal linear series and the stable-intersection arguments in Theorems 6.3 and 6.5.
  • domain assumption MUW realizability classification of canonical divisors via multiscale differentials ([MUW21], [BCG+18])
    Defines Real(|K_Gamma|) and supplies conditions (i) and (ii) used in Proposition 5.2 and Theorem 1.15.
  • domain assumption Berkovich and semistable-reduction structure of curves over valued fields ([BPR13], [BR15])
    Used in Appendix A to show tropicalizations of linear series are matroidal and in Proposition 5.2 for compactness and definability.
  • standard math Dhar burning algorithm characterization of reduced divisors ([Luo11], [BS13])
    Used in Lemma 7.5 and in the proofs of the Cartwright divisor results in Section 7.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tropical linear series and matroids." pith.science (2026). https://pith.science/paper/AJJUNBTA

@misc{pith2026250820062,
  author       = {Pith},
  title        = {Pith review of: Tropical linear series and matroids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AJJUNBTA}},
  note         = {Machine review of arXiv:2508.20062}
}
read the original abstract

We study a notion of tropical linear series on metric graphs that combines two essential properties of tropicalizations of linear series on algebraic curves: the Baker-Norine rank and the independence rank. Our main results relate the local and global geometry of these tropical linear series to the combinatorial geometry of matroids and valuated matroids, respectively. As an application, we characterize exactly when the tropicalization of the canonical linear series on a single curve is equal to the locus of realizable tropical canonical divisors determined by M\"oller, Ulirsch, and Werner. We also illustrate our results with a wealth of examples; in particular, we show that the Bergman fan of every matroid appears as the local fan of a tropical linear series on a metric graph. The paper concludes with a list of ten open questions for future investigation.

Figures

Figures reproduced from arXiv: 2508.20062 by the authors.

Figure 1
Figure 1. A star-shaped set of valence 5 Definition 2.1. A metric graph is a compact connected length metric space in which each point p has a neighborhood Up with a pointed isometry to a star-shaped set S(np, ϵp). By a pointed isometry, we mean an isometry Up ∼−→ S(np, ϵp) that takes p to ∗. Note that the positive integer np is independent of the choice of star-shaped neighborhood; it is called the valence of p. Since a metr… view at source ↗
Figure 2
Figure 2. Three tropically dependent functions on an interval. Definition 2.7. A certificate of independence for a set of functions {φ0, . . . , φr} ⊆ PL(Γ) is a tropical linear combination θ = min{φ0 + a0, . . . , φr + ar} such that for each i there is some point at which the minimum is attained uniquely by φi + ai . We will repeatedly use the fact that a subset S ⊆ PL(Γ) is tropically independent if and only if there is a c… view at source ↗
Figure 3
Figure 3. illustrates Proposition 3.11 in the case where D is a divisor of degree 2 on an interval Γ, x is a point in Γ, and Σ = R(D). The dashed lines indicate the set Σ(−x) [PITH_FULL_IMAGE:figures/full_fig_p015_3.png] view at source ↗
Figures from the paper (12 more)
Figure 4
Figure 4. Figure 4: The graphs Γ1 and Γ2 of Example 4.7, with their canonical divisors [PITH_FULL_IMAGE:figures/full_fig_p017_4.png]
Figure 5
Figure 5. Figure 5: A chain of 3 loops, such that the top and bottom edges of the middle loop have the same length. 1 3 1 1 0 [PITH_FULL_IMAGE:figures/full_fig_p022_5.png]
Figure 6
Figure 6. Figure 6: Slopes of the function φ, for any D = KΓ + div(φ) ∈ σ, oriented left to right, on the first two loops and bridges. 6. Local matroids of matroidal linear series In this section, we relate the local matroids of matroidal linear series to the initial matroids of a paramet…
Figure 7
Figure 7. Figure 7: The parametrizing map Φ: R 3 → R(2v). Trop(𝑈! |𝐷| ,#) Trop(𝑈!,$) Φ! (∞, 0,0,0) (0, ∞, 0,0) (0,0, ∞, 0) (0,0,0, ∞) & = (0,0,0,0) (∞, 0,0) (0,0, ∞) (0, ∞, 0) 𝑓 & = (0,0,0) Φ′(∞, 0,0) Φ′(0,0, ∞) Φ′(0,0, ∞) Φ′(0,0,0) [PITH_FULL_IMAGE:figures/full_fig_p025_7.png]
Figure 8
Figure 8. Figure 8: Matroidal linear series of degree 2 on an interval. The map Φ: V → Φ(V) is a parametrization. Note that |D| is a d-simplex whose interior parametrizes nondegenerate divisors [PITH_FULL_IMAGE:figures/full_fig_p025_8.png]
Figure 9
Figure 9. Figure 9: The affine diagram depicting the non-spanning circuits of the V´amos matroid V8. Theorem 6.5. Let Γ be a loop and let D be an divisor of degree d ≥ 0 on Γ. Let Φ: R d → R(D) be the tropical linear map induced by the minimal generating set of R(D). Then for any valuated…
Figure 10
Figure 10. Figure 10: The affine diagrams depicting the non-spanning circuits of V − 8 and its elementary quotients Q1 and Q2. The Cartwright divisor of the simple rank 3 matroid M is DM := X e∈E e. It has rank rBN(DM) = 2. This was proved by Cartwright when all edge lengths are equal to 1…
Figure 11
Figure 11. Figure 11: The barbell graph and the complete linear system of its canonical divisor KΓ = v + w. The divisor corresponding to each vertex of the complete linear system is depicted adjacent to that vertex. We claim that R(KΓ) contains a unique tropical linear series Σ of dimensio…
Figure 12
Figure 12. Figure 12: Luo’s example of a non-realizable divisor of positive rank. We claim that R(D) does not contain a tropical linear series of dimension 1. Note that |D| contains unique divisors Dx = D + div(φx), Dy = D + div(φy), and Dz = D = div(φz) whose support contains x, y, and z,…
Figure 13
Figure 13. Figure 13: The loop of loops of genus 4. such that supp(Di) contains ui , as shown in [PITH_FULL_IMAGE:figures/full_fig_p033_13.png]
Figure 14
Figure 14. Figure 14: The divisors corresponding to the functions φ1, φ2, and φ3 of Exam￾ple 8.4 [PITH_FULL_IMAGE:figures/full_fig_p033_14.png]
Figure 15
Figure 15. Figure 15: The dependence between φ1, φ2, and φ3. 9. Open problems and questions In the introduction we posed Question 1.12, asking whether every tropical linear series is a matroidal linear series. The answer is affirmative if Σ ⊆ R(D) is a tropical linear series of dimension o…

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Relating Different Definitions of Linear Series on Tropical Curves

    math.AG 2025-06 conditional novelty 7.0 of 10

    A tropical linear series is combinatorial limit if and only if it is structured, and every strongly recursive tropical linear series is combinatorial limit; the reverse inclusion fails from rank three onward.

Reference graph

Works this paper leans on

42 extracted references · 32 canonical work pages · cited by 1 Pith paper

  1. [1]

    Amini, M

    O. Amini, M. Baker, E. Brugall\' e , and J. Rabinoff. Lifting harmonic morphisms II : T ropical curves and metrized complexes. Algebra Number Theory , 9(2):267--315, 2015

    work page 2015

  2. [2]

    Abramovich, L

    D. Abramovich, L. Caporaso, and S. Payne. The tropicalization of the moduli space of curves. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 48(4):765--809, 2015

    work page 2015

  3. [3]

    Amini, S

    O. Amini, S. Gaubert, and L. Gierczak. Equality of tropical rank and dimension for tropical linear series. Preprint, arXiv:2504.02715, 2025

    arXiv 2025

  4. [4]

    M. Baker. Specialization of linear systems from curves to graphs. Algebra Number Theory , 2(6):613--653, 2008

    2008

  5. [5]

    Bainbridge, D

    M. Bainbridge, D. Chen, Q. Gendron, S. Grushevsky, and M. M\"oller. Compactification of strata of A belian differentials. Duke Math. J. , 167(12):2347--2416, 2018

    work page 2018

  6. [6]

    Barbosa, M

    M. Barbosa, M. Christ, and M. Melo. Clifford representatives via the uniform algebraic rank. J. Lond. Math. Soc. (2) , 111(6):Paper No. e70193, 24, 2025

    work page 2025

  7. [7]

    Brandt, C

    M. Brandt, C. Eur, and L. Zhang. Tropical flag varieties. Adv. Math. , 384:Paper No. 107695, 41, 2021

    work page 2021

  8. [8]

    Bachem and W

    A. Bachem and W. Kern. Extension equivalence of oriented matroids. Eur. J. Comb. , 7(3):193--197, 1986

    work page 1986

Show all 42 references
  1. [9]

    Baker and S

    M. Baker and S. Norine. R iemann- R och and A bel- J acobi theory on a finite graph. Adv. Math. , 215(2):766--788, 2007

    2007

  2. [10]

    Baker, S

    M. Baker, S. Payne, and J. Rabinoff. On the structure of non- A rchimedean analytic curves. In Tropical and non- A rchimedean geometry , volume 605 of Contemp. Math. , pages 93--121. Amer. Math. Soc., Providence, RI, 2013

    2013

  3. [11]

    Baker and J

    M. Baker and J. Rabinoff. The skeleton of the J acobian, the J acobian of the skeleton, and lifting meromorphic functions from tropical to algebraic curves. Int. Math. Res. Not. IMRN , 2015(16):7436--7472, 2015

    2015

  4. [12]

    Baker and F

    M. Baker and F. Shokrieh. Chip-firing games, potential theory on graphs, and spanning trees. J. Combin. Theory Ser. A , 120(1):164--182, 2013

    2013

  5. [13]

    Cartwright

    D. Cartwright. Lifting matroid divisors on tropical curves. Res. Math. Sci. , 2:Art. 23, 24, 2015

    2015

  6. [14]

    Cools, J

    F. Cools, J. Draisma, S. Payne, and E. Robeva. A tropical proof of the B rill- N oether theorem. Adv. Math. , 230(2):759--776, 2012

    2012

  7. [15]

    Caporaso, Y

    L. Caporaso, Y. Len, and M. Melo. Algebraic and combinatorial rank of divisors on finite graphs. J. Math. Pures Appl. (9) , 104(2):227--257, 2015

    2015

  8. [16]

    M. Dupraz. Tropical linear systems and the realizability problem. Master's thesis, \'Ecole Polytechnique F\'ed\'erale de Lausanne, 2024. arXiv:2506.21268

    2024 arXiv

  9. [17]

    M. Dupraz. Visualization of tropical submodules of the complete linear system of degree 2 on an interval, June 2025. Available at https://doi.org/10.5281/zenodo.15736970

    2025 doi

  10. [18]

    Farkas, D

    G. Farkas, D. Jensen, and S. Payne. The nonabelian B rill- N oether divisor on M _ 13 and the K odaira dimension of R _ 13 . Geom. Topol. , 28(2):803--866, 2024

    2024

  11. [19]

    Farkas, D

    G. Farkas, D. Jensen, and S. Payne. The K odaira dimensions of M _ 22 and M _ 23 . Cambridge J. Math. , 13(3):431--607, 2025

    2025

  12. [20]

    Fomin and P

    S. Fomin and P. Pylyavskyy. Incidences and tilings. Preprint, arXiv:2305.07728, 2023

    2023 arXiv

  13. [21]

    H. Fu, C. Tang, and S. Wang. Adjoints of matroids. Advances in Applied Mathematics , 156:102690, 2024

    2024

  14. [22]

    Gathmann and M

    A. Gathmann and M. Kerber. A R iemann- R och theorem in tropical geometry. Math. Z. , 259(1):217--230, 2008

    2008

  15. [23]

    Gross, F

    A. Gross, F. Shokrieh, and L. T\'othm\'er\'esz. Effective divisor classes on metric graphs. Math. Z. , 302(2):663--685, 2022

    2022

  16. [24]

    D. A. Higgs. Strong maps of geometries. Journal of Combinatorial Theory , 5(2):185--191, 1968

    1968

  17. [25]

    Haase, G

    C. Haase, G. Musiker, and J. Yu. Linear systems on tropical curves. Math. Z. , 270(3-4):1111--1140, 2012

    2012

  18. [26]

    The locus of B rill- N oether general graphs is not dense

    David Jensen. The locus of B rill- N oether general graphs is not dense. Port. Math. , 73(3):177--182, 2016

    2016

  19. [27]

    Jensen and S

    D. Jensen and S. Payne. Tropical independence I : S hapes of divisors and a proof of the G ieseker- P etri theorem. Algebra Number Theory , 8(9):2043--2066, 2014

  20. [28]

    Jensen and S

    D. Jensen and S. Payne. Tropical independence II : T he maximal rank conjecture for quadrics. Algebra Number Theory , 10(8):1601--1640, 2016

    2016

  21. [29]

    Jensen and S

    D. Jensen and S. Payne. Combinatorial and inductive methods for the tropical maximal rank conjecture. J. Combin. Theory Ser. A , 152:138--158, 2017

    2017

  22. [30]

    Jensen and S

    D. Jensen and S. Payne. Tropical linear series and tropical independence. arXiv:2209.15478, 2022

    2022 arXiv

  23. [31]

    C. M. Lim, S. Payne, and N. Potashnik. A note on B rill- N oether theory and rank-determining sets for metric graphs. Int. Math. Res. Not. IMRN , 2012(23):5484--5504, 2012

    2012

  24. [32]

    Y. Luo. Rank-determining sets of metric graphs. J. Combin. Theory Ser. A , 118(6):1775--1793, 2011

    2011

  25. [33]

    Y. Luo. Idempotent analysis, tropical convexity, and reduced divisors. Preprint, arXiv:1808.01987, 2018

    2018 arXiv

  26. [34]

    Maclagan and B

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

    2015

  27. [35]

    Murota and A

    K. Murota and A. Tamura. On circuit valuation of matroids. Adv. in Appl. Math. , 26(3):192--225, 2001

    2001

  28. [36]

    M\" o ller, M

    M. M\" o ller, M. Ulirsch, and A. Werner. Realizability of tropical canonical divisors. J. Eur. Math. Soc. (JEMS) , 23(1):185--217, 2021

    2021

  29. [37]

    Mikhalkin and I

    G. Mikhalkin and I. Zharkov. Tropical curves, their J acobians and theta functions. In Curves and abelian varieties , volume 465 of Contemp. Math. , pages 203--230. Amer. Math. Soc., Providence, RI, 2008

    2008

  30. [38]

    J. G. Oxley. Matroid theory , volume 3. Oxford University Press, USA, 2006

    2006

  31. [39]

    Robinson

    A. Robinson. Complete theories . North-Holland Publishing Co., Amsterdam, 1956

    1956

  32. [40]

    D. Speyer. Tropical linear spaces. SIAM J. Discrete Math. , 22(4):1527--1558, 2008

    2008

  33. [41]

    J. Wang. L orentzian polynomials and the incidence geometry of tropical linear spaces. Preprint, 2024

    2024

  34. [42]

    White, editor

    N. White, editor. Theory of matroids , volume 26 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, Cambridge, 1986

    1986

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.