arXiv++ Combinatorics

We introduce a method for studying $K$-theoretic positivity on permutohedral toric varieties through the topology of spaces arising in tropical geometry. The key ingredient is the theory of Grothendieck weights developed by the author. We prove two positivity results using this method. The first result is the positivity of the Euler characteristics of tautological bundles associated with an arbitrary matroid and twisted by a nef line bundle. This gives numerical evidence for a conjectural vanishing theorem. The second result generalizes the external activity complex of Berget--Fink, originally defined for a pair of matroids, to the case of any tuple of matroids with no common loop. We deduce a formula for its graded $K$-polynomial in terms of exterior powers of the dual tautological quotient classes of the matroids. After a change of variables, its coefficients alternate in sign. We also prove the Cohen--Macaulayness of each such complex using the vanishing theorems for combinatorial geometries developed by Eur--Fink--Larson. This proof is new even in the case of a pair of matroids. As an application, we interpret certain Chern numbers of tautological quotient classes as counts of facets, partially answering a question of Berget--Eur--Spink--Tseng.

The KP equation is a prototypical $(2+1)$-dimensional integrable PDE. Its soliton solutions are famously parametrized by the Sato Grassmannian. In seminal work, Kodama and Williams made the surprising discovery that the combinatorics of soliton solutions are intimately related to the combinatorics of the totally positive Grassmannian as pioneered by Postnikov. They introduced novel algorithmic methods inspired by polyhedral structures arising from tropical geometry. Soliton solutions to the 2D Toda lattice and the Davey--Stewartson equation, two closely related integrable systems with soliton solutions, are also classified by the Sato Grassmannian. Kodama suggested that the methods of his work with Williams could generalize to these two integrable equations. In this work, we show that this is indeed the case. We derive algorithms to produce contour plots from elements in the totally nonnegative Grassmannian in both cases. In the asymptotic setting, we recover and refine previous work of Biondini and Wang; as well as Biondini, Kireyev and Maruno.

The algebraic degree of a network game measures the complexity of its totally mixed Nash equilibria. For sparse multilinear network games, Datta's formula expresses this degree combinatorially in terms of a permanent, but the geometric origin of this formula has remained unclear. In this paper, we provide a tropical-geometric derivation of Datta's formula by identifying totally mixed equilibria with stable intersection points of tropical hypersurfaces associated with the indifference equations. We show that the mixed cells arising from the multilinear Newton polytope structure induce the cycle-cover combinatorics of the polynomial graph, so that the permanent appears as a tropical intersection count. This interpretation yields several structural consequences. We prove that the algebraic degree is multiplicative over strongly connected components, and we establish a sharp contrast between two basic multilayer coupling mechanisms: Cartesian-type couplings remain bounded through a transfer-matrix trace formula, whereas tensor-type couplings exhibit exponential growth governed by the permanent of a local gadget. These results show that algebraic degree provides a structural complexity invariant for network architecture. We further illustrate the theory on coupled cyclic games and networked energy-market models, and we support the theoretical predictions with numerical experiments based on homotopy continuation.

A one-degree-of-freedom graph is a graph obtained from a minimally rigid graph in the plane and removing an edge. For such graph, the set of realisations with fixed edge length, modulo rotations and reflections, is an algebraic curve. The genus of a connected component for generic edge lengths is a number that depends only on the graph. We prove that this genus is always odd, unless it is zero. The proof is based on tropical geometry.

Recently a new family of enumerative invariants called leaky Hurwitz numbers was introduced by Cavalieri-Markwig-Ranganathan in the context of logarithmic intersection theory. They admit an interpretation via tropical covers where the balancing condition fails. We employ tropical geometry to prove a generalisation of the piecewise polynomiality of Accadia-Karev-Lewanski for leaky completed cycles Hurwitz numbers, and a different wall crossing that is cubic instead of quadratic. Using tropical combinatorics and generatingfunctionology, we also find closed formulae for one-part and two-part completed cycles leaky Hurwitz numbers in genus $0$. Working more generally with a view towards topological recursion, we use Hamiltonian flows to associate spectral curves to very general cut-and-join operators. Under mild analytic constraints, we find the appropriate spectral curves, and in case the leakiness is fixed, we show that the resulting enumerative invariants satisfy topological recursion. This provides a partial inverse to recent work of Alexandrov-Bychkov-Dunin-Barkowski-Kazarian-Shadrin producing differentials satisfying topological recursion for KP $τ$-functions. In particular these results specialise to completed cycles leaky Hurwitz numbers.

We prove several results about matroids and matroidal families associated with rigidity in dimension $2$. In particular, we establish new properties of the generic rigidity matroid family $\mathcal{R}$ and Kalai's hyperconnectivity matroid family $\mathcal{H}$. We show that $\mathcal{R}$ is the unique matroidal $2$-rigidity family in which $K_{3,3}$ is not a circuit. As a geometric corollary of this result and the Bolker-Roth theorem, it follows that $\mathcal{H}$ and $\mathcal{R}$ are the only $2$-rigidity families associated with algebraic curves in $\mathbb{R}^2$. Bernstein used tropical geometry to characterize $\mathcal{H}$-independent graphs as those admitting an edge-ordering without directed cycles and alternating closed trails. We provide a combinatorial proof of the sufficiency direction and extend Bernstein's theorem to positive characteristic. It follows that the wedge power matroid of $n$ generic points in dimension $n-2$ does not depend on the field characteristic. Our proof method allows to identify many graphs that are independent in every $2$-rigidity family. In particular, we show this for all connected cubic graphs, with exceptions of $K_4$ and $K_{3,3}$. This gives a complete classification of cubic graphs in this respect and answers a question of Kalai in a strong form. As a corollary, we obtain a new property of cubic graphs: every connected cubic graph except $K_4$ and $K_{3,3}$ has an orientation without directed and alternating cycles. Equivalently, it can be edge-partitioned into two forests in a special `interlocked' way.

This document is a slightly expanded version of a series of talks given by J. Giansiracusa at the workshop `Geometry over semirings' at Universitat Autònoma de Barcelona in July 2025. In the first lecture we introduce tropical polynomials, ideals, congruences, and how the connection with tropical geometry is made via congruences of bend relations. Tropical geometry and matroid theory are telling us that we should focus attention on a narrow slice of the world of tropical algebra, and this leads to the theory of tropical ideals (as developed by Maclagan and Rincón) and an abundance of interesting open questions. In the second lecture we examine the relationship between Berkovich analytification and tropicalization from the perspective of bend relations, giving a refinement of Payne's influential limit theorem. In the third lecture we set aside geometry and focus on tropicalization via bend relations as a construction in commutative and non-commutative algebra. Constructions such as symmetric algebras, exterior algebras, matrix algebras, and Clifford algebras can be tropicalized. In the case of exterior algebras, the resulting tropical notion beautifully completes the picture of the Plücker embedding and gives a new perspective on the tropical Plücker relations. For matrix algebras and Clifford algebras, Morita theory becomes an interesting topic.

In algebraic geometry, trigonal curves can always be embedded into Hirzebruch surfaces. In tropical geometry, the notion of trigonality does not have a unique translation. We focus on the characterization in terms of the existence of a degree 3 morphism to a line, and discuss relations to possible embeddings into $\mathbb R^2$ reflecting an embedding into a Hirzebruch surface. Our results can be divided into three parts: for tropical curves of low genus 3 and 4, we discuss the relation between a trigonal morphism and an embedding dual to the polygon of a Hirzebruch surface, building on works on embeddings of hyperelliptic tropical curves and curves of low genus. We compare obstructions for embeddings with obstructions for the existence of a degree 3 morphism to a line. Finally, we showcase examples where a non-smooth embedding can be unfolded to reflect certain features of a degree 3 morphism to a line.

Since the first famous correspondence theorem by Mikhalkin appeared in 2005, tropical geometry has allowed a parallel treatment of real and complex counting problems. A prime example are the genus 0 Gromov-Witten invariants of the plane which count rational plane curves of degree d satisfying point conditions and their real counterpart, the Welschinger invariants, which both can be determined using tropical methods. Remarkably, the tropical computation of the two types of invariants works entirely in parallel. Recently, quadratically enriched enumerative geometry enables us to combine such real and complex counts under one roof, providing a simultaneous approach which can also be used for counts over other fields. Tropical geometry is a successful tool for the study and computation of such quadratically enriched enumerative invariants, too. In this survey, we provide an overview of tropical methods for plane curve counting problems over the real and complex numbers, and the new quadratically enriched counts.

This paper proposes the use of combinatorial techniques from tropical geometry to build the 120 tritangent planes to a given smooth algebraic space sextic. Although the tropical count is infinite, tropical tritangents come in 15 equivalence classes, each containing the tropicalization of exactly eight classical tritangents. Under mild genericity conditions on the tropical side, we show that liftings of tropical tritangents are defined over quadratic extensions of the ground field over which the input sextic curve is defined. When the input curve is real, we prove that every complex liftable member of a given tropical tritangent class either completely lifts to the reals or none of its liftings are defined over the reals. As our main application we use these methods to build examples of real space sextics with 64 and 120 totally real tritangents, respectively. The paper concludes with a discussion of our results in the arithmetic setting.

We define a generalized Jacobian $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and a generalized Picard group $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ of a graph $\mathit{Gr}$ with respect to a modulus $ \mathfrak{m}=\sum_{i=1}^s m_iw_i$ with $w_i$ vertices of $\mathit{Gr}$ and $m_i\geq 1$. These groups occur as the component groups of Néron models of generalized Jacobians. We prove a universal mapping property for $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$ and show that an Abel-Jacobi map in this context induces an isomorphism from $\mathrm{P}_\frak{m}(\mathit{Gr})$ to $\mathrm{J}_\mathfrak{m}(\mathit{Gr})$. We also reinterpret $\mathrm{P}_\mathfrak{m}(\mathit{Gr})$ in terms of sheaves on the geometric realization $\left| \mathit{Gr}\right|$ of $\mathit{Gr}$, making a connection with tropical geometry.

We study the generic fibre of the Hadamard product of linear spaces via matroid theory and tropical geometry. To do so, we introduce the flip product, a numerical invariant associated to a pair of matroids defined via the stable intersection of their (flipped) Bergman fans. Our first main result is that the cardinality of a generic fibre for the Hadamard product of linear spaces is exactly the flip product of their matroids. We also provide a recursive algorithm for computing the flip product of any pair of matroids. As an application of our techniques, we extend the notion of realisation numbers from rigidity theory to rotational-symmetric and periodic realisation numbers and we provide combinatorial algorithms to compute them. Finally, we show a number of existing matroid invariants are specialisations of the flip product, including the beta invariant.

Weighted Hurwitz numbers arise as coefficients in the power sum expansion of deformed hypergeometric $τ$--functions. They specialise to essentially all known cases of Hurwitz numbers, including classical, monotone, strictly monotone and completed cycles Hurwitz numbers. In this work, we develop a tropical geometry framework for their study, thus enabling a simultaneous investigation of all these cases. We obtain a correspondence theorem expressing weighted Hurwitz numbers in terms of tropical covers. Using this tropical approach, we generalise most known structural results previously obtained for the aforementioned special cases to all weighted Hurwitz numbers. In particular, we study their polynomiality and derive wall--crossing formulae. Moreover, we introduce elliptic weighted Hurwitz numbers and derive tropical mirror symmetry for these new invariants, i.e. we prove that their generating function is quasimodular and that they may be expressed as Feynman integrals.

We show that super Gromov-Witten invariants can be defined and computed by methods of tropical geometry. When the target is a point, the super invariants are descendant invariants on the moduli space of curves, which can be computed tropically. When the target is a convex, toric variety $X$, we describe a procedure to compute the tropical Euler class of the SUSY normal bundle $\overline{N}_{n, β}$ on $\overline{\mathcal{M}}_{0,n}(X, β)$, assuming it is locally tropicalizable in the sense of [CG], [CGM]. Then, we define the tropical, genus-0, $n$-marked, super Gromov-Witten invariant of $X$, and compute an example. This gives a tropical interpretation of super Gromov-Witten invariants of convex, toric varieties.

Lorentzian polynomials serve as a bridge between continuous and discrete convexity, connecting analysis and combinatorics. In this article, we study the topology of the space $\mathbb{P}\textrm{L}_J$ of Lorentzian polynomials on $J$ modulo $\mathbb{R}_{>0}$, which is nonempty if and only if $J$ is the set of bases of a polymatroid. We prove that $\mathbb{P}\textrm{L}_J$ is a manifold with boundary of dimension equal to the Tutte rank of $J$, and more precisely, that it is homeomorphic to a closed Euclidean ball with the Dressian of $J$ removed from its boundary. Furthermore, we show that $\mathbb{P}\textrm{L}_J$ is homeomorphic to the thin Schubert cell $\textrm{Gr}_J(\mathbb{T}_q)$ of $J$ over the triangular hyperfield $\mathbb{T}_q$, introduced by Viro in the context of tropical geometry and Maslov dequantization, for any $q>0$. This identification enables us to apply the representation theory of polymatroids developed in a companion paper, as well as earlier work by the first and fourth authors on foundations of matroids, to give a simple explicit description of $\mathbb{P}\textrm{L}_J$ up to homeomorphism in several key cases. Our results show that $\mathbb{P}\textrm{L}_J$ always admits a compactification homeomorphic to a closed Euclidean ball. They can also be used to answer a question of Brändén in the negative by showing that the closure of $\mathbb{P}\textrm{L}_J$ within the space of all polynomials modulo $\mathbb{R}_{>0}$ is not homeomorphic to a closed Euclidean ball in general. In addition, we introduce the Hausdorff compactification of the space of rescaling classes of Lorentzian polynomials and show that the Chow quotient of a complex Grassmannian maps naturally to this compactification. This provides a geometric framework that connects the asymptotic structure of the space of Lorentzian polynomials with classical constructions in algebraic geometry.

We prove that the cohomology class of any curve on a very general principally polarized abelian variety of dimension at least 4 is an even multiple of the minimal class. The same holds for the intermediate Jacobian of a very general cubic threefold. This disproves the integral Hodge conjecture for abelian varieties and shows that very general cubic threefolds are not stably rational. Our proof is motivated by tropical geometry; it relies on multivariable Mumford constructions, monodromy considerations, and the combinatorial theory of matroids.

This thesis delves into the geometry of abstract tropical curves, exploring their complete linear system and associated tropical submodules. We establish a lower bound on the dimension of tropical submodules in terms of the Baker-Norine rank. Furthermore, the work provides a characterization of realizable canonical divisors, addressing a fundamental problem in connecting tropical geometry to its algebraic counterpart.

We study the question of the continuity of slices of currents and explain how it relates to several seemingly unrelated problems in tropical geometry. On the one hand, through this lens, we show that the continuity of superpotentials constitutes a very general instance of stable intersection theory in tropical geometry. On the other hand, questions concerning tropicalisation with respect to a non-trivial valuation and the commutativity of tropicalisation with intersections offer insights to the problem of the continuity of slices of currents converging to a tropical current. Within our framework, we reformulate and reprove known theorems in tropical geometry and derive new results and techniques in both tropical geometry and complex dynamical systems.

Can algebraic geometry enhance the sharpness, robustness, and interpretability of modern neural reasoning models by equipping them with a mathematically grounded inductive bias? To answer this, we introduce Tropical Attention, an attention mechanism grounded in tropical geometry that lifts the attention kernel into tropical projective space, where reasoning is piecewise-linear and 1-Lipschitz, thus preserving the polyhedral decision structure inherent to combinatorial reasoning. We prove that Multi-Head Tropical Attention (MHTA) stacks universally approximate tropical circuits and realize tropical transitive closure through composition, achieving polynomial resource bounds without invoking recurrent mechanisms. These guarantees explain why the induced polyhedral decision boundaries remain sharp and scale-invariant, rather than smoothed by Softmax. Empirically, we show that Tropical Attention delivers stronger out-of-distribution generalization in both length and value, with high robustness against perturbative noise, and substantially faster inference with fewer parameters compared to Softmax-based and recurrent attention baselines. For the first time, we extend neural algorithmic reasoning beyond PTIME problems to NP-hard and NP-complete problems, paving the way toward sharper and more expressive Large Reasoning Models (LRMs) capable of tackling complex combinatorial challenges in phylogenetics, cryptography, particle physics, and mathematical discovery.

This paper provides a rigorous study of tropicalizations of locally symmetric varieties. We give applications beyond tropical geometry, to the cohomology of moduli spaces as well as to the cohomology of arithmetic groups. We study two cases in detail: the case of level structures on the moduli space $\mathcal{A}_{g}$ of abelian varieties, and the special unitary case.