The Fundamental theorem of tropical differential algebra over nontrivially valued fields and the radius of convergence of nonarchimedean differential equations

Francesco Gallinaro; Stefano Mereta

arxiv: 2303.12124 · v3 · submitted 2023-03-21 · 🧮 math.AG · math.AC· math.RA

The Fundamental theorem of tropical differential algebra over nontrivially valued fields and the radius of convergence of nonarchimedean differential equations

Francesco Gallinaro , Stefano Mereta This is my paper

Pith reviewed 2026-05-24 10:16 UTC · model grok-4.3

classification 🧮 math.AG math.ACmath.RA

keywords tropical differential algebrafundamental theoremvalued fieldsradius of convergencetropical geometrypartial differential equationsnonarchimedean analysis

0 comments

The pith

A fundamental theorem for tropical partial differential equations holds over nontrivially valued fields.

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

The authors prove that a fundamental theorem analogous to the one in tropical geometry applies to tropical partial differential equations when the coefficients come from a field with nontrivial valuation. This generalizes previous work that was restricted to fields with trivial valuation. The theorem provides a way to study differential equations through their tropical counterparts. A key corollary is that the radius of convergence of solutions to ordinary differential equations can be found using tropical computations. The proof incorporates a model-theoretic result on tropicalizations to handle the nontrivial valuation case.

Core claim

What carries the argument

The framework for tropical partial differential equations introduced by Giansiracusa and Mereta combined with a result on infinite intersections of projections of fibers of tropicalizations proved via Hrushovski and Loeser's model-theoretic interpretation of Berkovich analytification.

Load-bearing premise

The argument requires that infinite intersections of projections of fibers of tropicalizations behave in a specific way, as established through model-theoretic techniques.

What would settle it

Finding a specific ordinary differential equation over a nontrivially valued field where the radius of convergence computed tropically differs from the actual analytic radius would disprove the corollary.

read the original abstract

We prove a fundamental theorem for tropical partial differential equations, analogous to the fundamental theorem of tropical geometry in this context. We extend results from Aroca et al., Falkensteiner et al. and from Fink and Toghani for the case of trivial valuation as introduced by Grigoriev to differential equations with power series coefficients over any valued field. Crucial ingredients are the framework for tropical partial differential equations introduced by Giansiracusa and Mereta and a result on infinite intersections of projections of fibers of tropicalizations, which we prove using Hrushovski and Loeser's model-theoretic interpretation of Berkovich analytification. As a corollary of the fundamental theorem, we show that the radius of convergence of solutions of an ordinary differential equation over a nontrivially valued field can be computed tropically.

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

Extends the fundamental theorem of tropical differential algebra to non-trivial valuations via a new model-theoretic lemma, with a direct corollary on radii of convergence.

read the letter

The core advance is the extension of the fundamental theorem from the trivial-valuation setting (Aroca et al., Falkensteiner et al., Fink-Toghani) to arbitrary valued fields, together with the explicit statement that the radius of convergence of an ODE solution can be read off tropically. They achieve this by combining the Giansiracusa-Mereta framework for tropical PDEs with one new technical result: a statement about infinite intersections of projections of fibers of tropicalizations, proved using Hrushovski-Loeser’s model-theoretic description of Berkovich analytification. That lemma is the load-bearing step that removes the trivial-valuation restriction. The argument is presented as self-contained once the model-theoretic input is granted, and the corollary follows immediately from the theorem without extra machinery. The citation pattern is clean and points to the right prior works. The main limitation is that the new intersection result sits on fairly specialized model theory; anyone outside that circle will have to take the Hrushovski-Loeser reference on trust or invest time to check it. The radius-of-convergence claim is stated cleanly but its practical utility will depend on how explicitly the tropical data determine the radius in examples; the abstract does not show sample computations. The paper is aimed at researchers already working in tropical algebraic geometry or nonarchimedean differential equations. A reader familiar with the trivial-valuation results will see exactly where the new ingredient fits and what it unlocks. The claim is precise, the ingredients are properly cited, and the logic chain is visible, so it is worth sending to a serious referee even if the model-theoretic step needs careful review.

Referee Report

0 major / 2 minor

Summary. The manuscript proves a fundamental theorem for tropical partial differential equations over nontrivially valued fields, extending prior results (Aroca et al., Falkensteiner et al., Fink-Toghani, Grigoriev) that were limited to the trivial valuation case. It relies on the Giansiracusa-Mereta framework for tropical PDEs together with a new lemma establishing that certain infinite intersections of projections of fibers of tropicalizations are nonempty; this lemma is proved using Hrushovski-Loeser's model-theoretic interpretation of Berkovich analytification. A direct corollary is that the radius of convergence of solutions to ordinary differential equations with power-series coefficients over a nontrivially valued field admits a purely tropical description.

Significance. If the central proof is correct, the result substantially enlarges the range of tropical techniques in differential algebra by removing the trivial-valuation restriction, thereby making tropical methods available for radius-of-convergence questions in non-archimedean analysis. The model-theoretic argument for the intersection lemma supplies an independent, non-circular foundation and may prove reusable in other tropical or Berkovich-geometric contexts.

minor comments (2)

The introduction would benefit from a single, self-contained statement of the fundamental theorem (including the precise hypotheses on the valued field and the differential ring) before the proof strategy is outlined.
Notation for the tropicalization map and for the fibers whose projections are intersected should be fixed once in §2 and used consistently thereafter; occasional re-use of the same symbol for related but distinct objects occurs in the current draft.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, including the recognition of the extension beyond the trivial valuation case and the utility of the model-theoretic argument. We are pleased by the recommendation to accept.

Circularity Check

0 steps flagged

Minor self-citation to framework; central proof independent

full rationale

The paper's core result is a new fundamental theorem for tropical PDEs over nontrivially valued fields, obtained by extending prior work (Aroca et al., Falkensteiner et al., Fink-Toghani, Grigoriev) via the Giansiracusa-Mereta framework plus an explicitly new lemma on infinite intersections of projections of tropicalization fibers. That lemma is proved in the paper using Hrushovski-Loeser model theory rather than being assumed or self-cited as a black box. The single overlapping-author citation (Giansiracusa-Mereta) supplies only the ambient setup and is not load-bearing for the new theorem or the radius-of-convergence corollary; the derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper depends on prior established mathematical frameworks and model-theoretic results rather than introducing new free parameters or entities.

axioms (1)

domain assumption Hrushovski and Loeser's model-theoretic interpretation of Berkovich analytification
Invoked to prove the result on infinite intersections of projections of fibers of tropicalizations.

pith-pipeline@v0.9.0 · 5681 in / 1104 out tokens · 32486 ms · 2026-05-24T10:16:55.240829+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

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

[1]

Pow er series solutions for non-linear PDE’s, Pro- ceedings of the 2003 international symposium on Symbolic an d algebraic computation

[ACJ03] Fuensanta Aroca, José Cano, and Françoise Jung. Pow er series solutions for non-linear PDE’s, Pro- ceedings of the 2003 international symposium on Symbolic an d algebraic computation

work page 2003
[2]

42 FUNDAMENTAL THEOREM OF TROP . DIFF. ALGEBRA OVER NONTRIVI ALLY V ALUED FIELDS [AR19] Fuensanta Aroca and Guillaume Rond. Support of Laure nt series algebraic over the ﬁeld of formal power series. Proceedings of the London Mathematical Society 118.3 (2019): 577-605. [Bal10] Francesco Baldassarri. Continuity of the radius of convergence of differential e...

work page 2019
[3]

Continuity of the radius of convergence of p-adic differential equations on Berkovich analytic spaces

[BdV07] Francesco Baldassarri and Lucia di Vizio. Continui ty of the radius of convergence of p-adic differ- ential equations on Berkovich analytic spaces. arXiv preprint arXiv:0709.2008,

work page internal anchor Pith review Pith/arXiv arXiv 2008
[4]

Tropical ini- tial degeneration for systems of algebraic differential eq uations

[BFG+23] Lara Bossinger, Sebastian Falkensteiner, Cristhian Ga ray , and Marc Paul Noordman, . Tropical ini- tial degeneration for systems of algebraic differential eq uations. arXiv:2309.10761,

work page arXiv
[5]

[BFN+21] François Boulier, Sebastian Falkensteiner, Marc Paul N oordman, and Omar León Sánchez. On The Relationship Between Differential Algebra and Tropical Di fferential Algebraic Geometry .Computer Algebra in Scientiﬁc Computing: 23rd International Worksh op, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings 23, 62–77, Springer,

work page 2021
[6]

Noetherian oper- ators in macaulay2

[CCRH+21] Justin Chen, Yairon Cid-Ruiz, Marc Härkönen, Robert Kro ne, and Anton Leykin. Noetherian oper- ators in macaulay2. arXiv preprint arXiv:2101.01002,

work page arXiv
[7]

Exploring tropical differential equations

[CGL20] Ethan Cotterill, Cristhian Garay , and Johana Luvia no. Exploring tropical differential equations. arXiv:2012.14067,

work page arXiv 2012
[8]

The fundamental theorem of tropical p artial differential algebraic geometry

[FGH+20] Sebastian Falkensteiner, Cristhian Garay, Mercedes Ha iech, Marc Paul Noordman, Zeinab Toghani, and François Boulier. The fundamental theorem of tropical p artial differential algebraic geometry. In Proceedings of the 45th international symposium on symboli c and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020 , pages 178–185. ACM,

work page 2020
[9]

[FM23] Sebastian Falkensteiner and Stefano Mereta. The fundamental theorem of tropical differential algebra f or formal Puiseux series , preprint at https://www.researchsquare.com/article/rs-3256404/v1 [FT20] Alex Fink and Zeinab Toghani, Initial forms and a noti on of basis for tropical differential equations, Paciﬁc Journal of Mathematics 318.2 (2022): ...

work page 2022
[10]

A general f ramework for tropical differential equations

[GM23] Jeffrey Giansiracusa and Stefano Mereta. A general f ramework for tropical differential equations. Manuscripta Mathematica, https://doi.org/10.1007/s00229-023-01492-5,

work page doi:10.1007/s00229-023-01492-5
[11]

Re al tropicalization and analytiﬁcation of semial- gebraic sets

[JSY22] Philipp Jell, Claus Scheiderer and Josephine Yu. Re al tropicalization and analytiﬁcation of semial- gebraic sets. International Mathematics Research Notices 2022.2 (2022): 928-958. [Ked10] Kiran S Kedlaya. p-adic Differential Equations, vo lume

work page 2022
[12]

Scheme-theoretic tropicalizat ion

[Lor15] Oliver Lorscheid. Scheme-theoretic tropicalizat ion. arXiv:1508.07949,

work page arXiv
[13]

Tropical geometry over the tropi cal hyperﬁeld

[Lor19] Oliver Lorscheid. Tropical geometry over the tropi cal hyperﬁeld. arXiv:1907.01037,

work page arXiv 1907
[14]

Analytification is the limit of all tropicalizations

[Pay08] Sam Payne. Analytiﬁcation is the limit of all tropic alizations. arXiv preprint arXiv:0805.1916,

work page internal anchor Pith review Pith/arXiv arXiv 1916
[15]

The convergence ne wton polygon of a p-adic differential equa- tion III: global decomposition and controlling graphs

[PP13] Jérôme Poineau and Andrea Pulita. The convergence ne wton polygon of a p-adic differential equa- tion III: global decomposition and controlling graphs. arXiv preprint arXiv:1308.0859,

work page arXiv
[16]

[PP15a] Jérôme Poineau and Andrea Pulita. Continuity and ﬁn iteness of the radius of convergence of a p- adic differential equation via potential theory .Journal für die reine und angewandte Mathematik (Crelles Journal), 2015(707):125–147,

work page 2015
[17]

Geometry over the tropical dual numbers

[Yag16] Keyvan Yaghmayi. Geometry over the tropical dual nu mbers. arXiv:1611.05508, 2016

work page internal anchor Pith review Pith/arXiv arXiv 2016

[1] [1]

Pow er series solutions for non-linear PDE’s, Pro- ceedings of the 2003 international symposium on Symbolic an d algebraic computation

[ACJ03] Fuensanta Aroca, José Cano, and Françoise Jung. Pow er series solutions for non-linear PDE’s, Pro- ceedings of the 2003 international symposium on Symbolic an d algebraic computation

work page 2003

[2] [2]

42 FUNDAMENTAL THEOREM OF TROP . DIFF. ALGEBRA OVER NONTRIVI ALLY V ALUED FIELDS [AR19] Fuensanta Aroca and Guillaume Rond. Support of Laure nt series algebraic over the ﬁeld of formal power series. Proceedings of the London Mathematical Society 118.3 (2019): 577-605. [Bal10] Francesco Baldassarri. Continuity of the radius of convergence of differential e...

work page 2019

[3] [3]

Continuity of the radius of convergence of p-adic differential equations on Berkovich analytic spaces

[BdV07] Francesco Baldassarri and Lucia di Vizio. Continui ty of the radius of convergence of p-adic differ- ential equations on Berkovich analytic spaces. arXiv preprint arXiv:0709.2008,

work page internal anchor Pith review Pith/arXiv arXiv 2008

[4] [4]

Tropical ini- tial degeneration for systems of algebraic differential eq uations

[BFG+23] Lara Bossinger, Sebastian Falkensteiner, Cristhian Ga ray , and Marc Paul Noordman, . Tropical ini- tial degeneration for systems of algebraic differential eq uations. arXiv:2309.10761,

work page arXiv

[5] [5]

[BFN+21] François Boulier, Sebastian Falkensteiner, Marc Paul N oordman, and Omar León Sánchez. On The Relationship Between Differential Algebra and Tropical Di fferential Algebraic Geometry .Computer Algebra in Scientiﬁc Computing: 23rd International Worksh op, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings 23, 62–77, Springer,

work page 2021

[6] [6]

Noetherian oper- ators in macaulay2

[CCRH+21] Justin Chen, Yairon Cid-Ruiz, Marc Härkönen, Robert Kro ne, and Anton Leykin. Noetherian oper- ators in macaulay2. arXiv preprint arXiv:2101.01002,

work page arXiv

[7] [7]

Exploring tropical differential equations

[CGL20] Ethan Cotterill, Cristhian Garay , and Johana Luvia no. Exploring tropical differential equations. arXiv:2012.14067,

work page arXiv 2012

[8] [8]

The fundamental theorem of tropical p artial differential algebraic geometry

[FGH+20] Sebastian Falkensteiner, Cristhian Garay, Mercedes Ha iech, Marc Paul Noordman, Zeinab Toghani, and François Boulier. The fundamental theorem of tropical p artial differential algebraic geometry. In Proceedings of the 45th international symposium on symboli c and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020 , pages 178–185. ACM,

work page 2020

[9] [9]

[FM23] Sebastian Falkensteiner and Stefano Mereta. The fundamental theorem of tropical differential algebra f or formal Puiseux series , preprint at https://www.researchsquare.com/article/rs-3256404/v1 [FT20] Alex Fink and Zeinab Toghani, Initial forms and a noti on of basis for tropical differential equations, Paciﬁc Journal of Mathematics 318.2 (2022): ...

work page 2022

[10] [10]

A general f ramework for tropical differential equations

[GM23] Jeffrey Giansiracusa and Stefano Mereta. A general f ramework for tropical differential equations. Manuscripta Mathematica, https://doi.org/10.1007/s00229-023-01492-5,

work page doi:10.1007/s00229-023-01492-5

[11] [11]

Re al tropicalization and analytiﬁcation of semial- gebraic sets

[JSY22] Philipp Jell, Claus Scheiderer and Josephine Yu. Re al tropicalization and analytiﬁcation of semial- gebraic sets. International Mathematics Research Notices 2022.2 (2022): 928-958. [Ked10] Kiran S Kedlaya. p-adic Differential Equations, vo lume

work page 2022

[12] [12]

Scheme-theoretic tropicalizat ion

[Lor15] Oliver Lorscheid. Scheme-theoretic tropicalizat ion. arXiv:1508.07949,

work page arXiv

[13] [13]

Tropical geometry over the tropi cal hyperﬁeld

[Lor19] Oliver Lorscheid. Tropical geometry over the tropi cal hyperﬁeld. arXiv:1907.01037,

work page arXiv 1907

[14] [14]

Analytification is the limit of all tropicalizations

[Pay08] Sam Payne. Analytiﬁcation is the limit of all tropic alizations. arXiv preprint arXiv:0805.1916,

work page internal anchor Pith review Pith/arXiv arXiv 1916

[15] [15]

The convergence ne wton polygon of a p-adic differential equa- tion III: global decomposition and controlling graphs

[PP13] Jérôme Poineau and Andrea Pulita. The convergence ne wton polygon of a p-adic differential equa- tion III: global decomposition and controlling graphs. arXiv preprint arXiv:1308.0859,

work page arXiv

[16] [16]

[PP15a] Jérôme Poineau and Andrea Pulita. Continuity and ﬁn iteness of the radius of convergence of a p- adic differential equation via potential theory .Journal für die reine und angewandte Mathematik (Crelles Journal), 2015(707):125–147,

work page 2015

[17] [17]

Geometry over the tropical dual numbers

[Yag16] Keyvan Yaghmayi. Geometry over the tropical dual nu mbers. arXiv:1611.05508, 2016

work page internal anchor Pith review Pith/arXiv arXiv 2016