arXiv++ Combinatorics

We give a new proof of Maurer's homotopy theorem for matroids using polyhedral methods, in contrast to Maurer's original combinatorial proof. The same polyhedral approach yields a homotopy theorem for delta-matroids, from which the corresponding results for matroids, even delta-matroids, and antisymmetric matroids follow. We further prove an analogous theorem for integral polymatroids.

We give counterexamples to Rota's 1970 conjecture that the sequence counting flats of varying rank in a matroid is unimodal. More specifically, inspired by Larson's recent disproof of the stronger log-concavity conjecture of Mason, we explain a mechanism which turns failures of log-concavity for flats into failures of unimodality under suitable conditions.

Engel, de Gaay Fortman, and Schreieder attach to each prime $\ell$ a minor-closed class $\mathcal{M}_\ell$ of regular matroids, whose excluded minors govern the failure of the integral Hodge conjecture for curve classes on very general principally polarized abelian varieties. For $\ell=2$ the class is the cographic matroids, with excluded minors $M(K_5)$ and $M(K_{3,3})$ by Tutte's theorem; for $\ell=3$ the only excluded minor explicitly identified so far is $M(K_{3,5})$, and the general characterization is [EGFS, Problem 8.8]. We exhibit five new excluded minors for $\mathcal{M}_3$, of ranks 8, 9, 9, 9, and 10; none contains $M(K_{3,5})$ or any of the other four as a minor, so the excluded-minor list of Problem 8.8 has at least six members, with excluded minors at every rank from 7 through 10. Combined with $M(K_7) \notin \mathcal{M}_3$, established by the same authors, and the minor-closedness of $\mathcal{M}_3$, some minor of $M(K_7)$ of rank between 4 and 6 is a further excluded minor, so the list has at least seven members, six of them explicitly identified. The list is structurally diverse: two bipartite apex constructions with automorphism group $S_4$, and three non-bipartite, non-planar rank-9 graphs with no such apex structure. Every verdict is certified by a finite $\mathbb{F}_3$-linear-algebra computation with explicit machine-checkable witnesses, cross-checked by independent implementations; the certificates further show that the five matroids lie outside the larger class $\widetilde{\mathcal{M}}_3$. We also record what are, to our knowledge, the first $\ell=5$ data on this corank-8 slice: $M(K_{3,5})$ and the rank-8 and rank-10 minors lie in $\mathcal{M}_5$ by explicit certificates, and the radical distance $d(M(K_{3,5}))=6$ is determined exactly.

Recently, Merino and Mütze (FOCS'23+SICOMP'24) presented an algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq\{0,1\}^n$. The algorithm uses as a black box an algorithm for solving the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$ for some weight vector $w\in\mathbb{R}^n$. The resulting delay per visited vertex on the Hamilton path is only by a $\log n$ factor larger than the time to solve one instance of the optimization algorithm. In this paper, we make the Hamilton path algorithm simpler and faster. Namely, we obtain an amortized delay that is only by a constant factor larger than the running time of the optimization algorithm, thus removing the $\log n$ factor. As concrete results, this yields improved algorithms for generating bases and independent sets in a matroid, spanning trees, forests, matchings and maximum matchings in a graph, vertex covers, minimum vertex covers, independent sets and maximum independent sets in a bipartite graph, and antichains, maximum antichains and ideals in a poset. All of these listings correspond to Hamilton paths on the corresponding polytopes. Furthermore, we obtain an $\mathcal{O}(t_{\rm LP})$ amortized delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the $\mathcal{O}(t_{\rm LP} \log n)$ delay algorithm of Merino and Mütze, and the previous $\mathcal{O}(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke from 1998.

We use partially ordered sets (posets) to provide a canonical parameterization for the Zariski closure of the image of a semialgebraic set under a rational map whose coordinate functions are polynomials with nonnegative integral coefficients. The resulting poset parametrization of such a unirational variety allows us to translate several well-studied problems into combinatorics; e.g. reducing the problems to describing the poset associated to the variety. These problems include, the implicitization problem from algebraic geometry, the toric reparameterization problem, the computation of the linear span of the variety, and the problem of distinguishing two semialgebraic subsets of the same ambient space. The technique applies to instances of these problems in several fields, including algebraic geometry, algebraic combinatorics, statistics and applied algebra. We demonstrate the technique on examples from each field, including degenerate subvarieties of secant varieties, matroid flat varieties -- which generalize toric varieties of edge polytopes, as well as varieties arising in multivariate data analysis and evolutionary biology.

We prove that the recognition problem for algebraic matroids is undecidable. Explicitly, this means that there is no algorithm that takes as input a finite set $S$ and a function $r\colon\mathcal{P}(S) \to \mathbb{Z}_{\ge 0}$ (where $\mathcal{P}(S)$ is the power set) and decides whether there exists a pair of fields $F \subset K$, and a function $f\colon S \to K$, such that for all $A \subseteq S$: $\mathrm{tr.deg}_{K/F}(f(A)) = r(A)$. This problem is known to be decidable if the characteristic of the fields involved is constrained to be zero. We prove that it is undecidable if the characteristic is either left unspecified (in which case a realization over any characteristic is accepted) or fixed to be a prime $p$. The proof relies on Hrushovski--Zilber's Group Configuration Theorem and on the work of Evans and Hrushovski on "Projective Planes in Algebraically Closed Fields". We relate two different such projective planes, and eventually construct a reduction from the solvability of Diophantine equations over $\mathbb{F}_p(x)$ ($p$ prime) to algebraicity of matroids. Solvability of Diophantine equations over $\mathbb{F}_p(x)$ was proved to be undecidable by Pheidas for all $p > 2$, and later by Videla for $p=2$. A central part of our proof is a variant of the so-called Field Configuration Theorem.

In this paper, we establish an analogue of the Kővari-Sós-Turán Theorem for $\operatorname{GF}(q)$-representable matroids. For $2\leq s\leq t$, we show that if $M$ is a rank-$n$ simple $\operatorname{GF}(q)$-representable matroid having no $M(K_{s,t})$-restriction, then \[ |E(M)|=O_{q,s,t}\bigl(q^{(1-1/s)n}\bigr). \] In particular, we prove that the maximum number of elements in a simple rank-$n$ binary matroid with no $M(K_{2,t})$-restriction is $Θ_{t}(2^{n/2})$ where the lower bound is obtained using binary Sidon sets.

Motivated by algebraic correspondences and linear operators associated with volume and Lorentzian polynomials, we introduce matroid correspondences and their polymatroid analogues. A matroid correspondence defines a functor between poset categories of matroids whose morphisms are matroid quotients, and various standard functors, including deletion, contraction, free extension, truncation, intersection, union, and pullback, arise in this way. We show that these correspondences preserve representability and algebraicity under natural hypotheses. In the polymatroid setting, we establish compatibility with multisymmetric lifts. Finally, we relate this construction to the supports of linear operators with Lorentzian symbols.

For integer vectors R,S let A(R,S) denote the class of (0,1)-matrices with row sum vector R and column sum vector S. Its interchange graph G(R,S) has A(R,S) as its vertex set, two matrices being adjacent when they differ by a single 2 x 2 interchange. Brualdi conjectured that G(R,S) is Hamiltonian for every R,S. We prove the stronger statement that G(R,S) is maximally Hamiltonian: Hamilton-laceable when bipartite, and Hamilton-connected when not. The proof is a structural induction on the number of matrices in the class, organized by the structure theory of interchange graphs. Deleting inactive lines and splitting invariant positions expresses any class as a Cartesian product, reducing the argument to the prime factors. The bipartite classes are products of complete transposition graphs; we settle them together, without induction, by proving they are paired 2-disjoint-path-coverable and hence Hamilton-laceable, using a recent theorem of Coleman, Fischberg, Gong, Harrington and Wong on paired disjoint path covers. The non-bipartite classes divide into three cases: products assembled from smaller factors, a base of Johnson graphs and small classes, and the large prime classes, treated by a pivot-and-fiber construction whose line quotients are matroid base-exchange graphs. The complete argument has been machine-checked in the Lean 4 proof assistant from first principles together with seven cited results of the literature; the disjoint-path-cover results it imports are themselves proved within the formalization.

Given a fence poset P , we define a new statistic on permutations, denoted by blP, that provides a combinatorial interpretation of the coefficients of the order polynomial of P , answering a question of Ferroni, Morales, and Panova (2025). Using the fact that the base polytope of a lattice path matroid can be decomposed into order polytopes of fence posets, we also obtain a combinatorial interpretation of the coefficients of the Ehrhart polynomial of the base polytope of Schubert matroids, answering a question of Stanley (1999). As an application of this statistic, we establish the first nontrivial lower bound for the linear coefficient of the Ehrhart polynomial of an order polytope. Finally, we conjecture generalizations of this statistic to skew-shape posets and circular fence posets.

We associate the Orlik--Solomon sheaf with a finite geometric lattice and compute its sheaf homology. We show that this homology concentrates in top degree, admitting a convolution-type decomposition into a principal ideal OS piece tensoring with a principal filter complement poset homology. Applications to uniform matroids provide interesting representations of symmetric groups.

We give a systematic analysis of the analytic spread of the determinantal ideal $J_{G,H}$ arising from a pair of graphs $(G, H)$. We give sharp bounds for this analytic spread, and combinatorial conditions and obstructions for its maximality via a linear matroid. When $H$ is a single edge, $J_{G,H}$ is isomorphic to the binomial edge ideal $J_G$ and its analytic spread is shown to equal the rank of $G$ in Kalai's $2$-hyperconnectivity matroid.

For every loopless matroid $M$ and every Feichtner--Yuzvinsky building set $\mathcal{G}$ containing the top flat, we construct an integral tangent class $T_{M,\mathcal{G}}^{\mathbb{Z}}\in K_{\mathbb{Z}}(M,\mathcal{G})$; in the realizable case it specializes to the class of the tangent bundle of the corresponding wonderful compactification, it recovers the Hilbert series of the Chow ring through Hirzebruch--Riemann--Roch, and it satisfies the expected Chern-alpha lower bounds. This reproduces the tangent class and its key properties studied by the first author in arXiv:2606.22650. The main body of this paper was produced autonomously, without human mathematical guidance, by Danus, an AI mathematical reasoning agent. Danus solved the problem before arXiv:2606.22650 was publicly available, demonstrating the potential of AI agents in mathematical research. We reproduce its output faithfully, adding only editorial comments; the experiment is documented in Appendix B.

Holmsen proved in 2016 a generalization of the classical colorful Caratheodory theorem in which a matroid imposes additional constraints on the desired colorful transversal. His approach also works in the more general setting of oriented matroids, rather than relying directly on convex hulls. In this paper, we extend these ideas in several directions. First, we study which colorful Caratheodory-type results remain valid when convex cones replace convex hulls, as well as analogous modifications in the oriented matroid setting. Second, we consider variants in which the additional constraint on the transversal is not encoded by a matroid. This leads to new extensions of the classical Tverberg theorem. Our approach is topological, following the methods of Holmsen, and Kalai and Meshulam, on which it builds. The key idea is to analyze homology groups of simplicial complexes that encode colorful Caratheodory-type phenomena, such as the support complex of an oriented matroid. In particular, one shows that these complexes are (near-)d-Leray. We extend this analysis by carrying out more detailed homology computations for these complexes, with the aim of enabling further and more refined applications of the method.

The study of matroid products has become an active area of research, owing to their connections with tropical ideals and linear representability. In this paper, we study matroidal abstractions of the multilinearity of symmetric powers of vector spaces, using a duality between symmetric powers of matroids and abstract rigidity. These observations allow us to solve Mason's conjecture concerning the equivalence of two definitions of a symmetric power of a matroid. We show that Mason's conjecture holds for second symmetric powers of matroids whereas it fails for third symmetric powers.

We give counterexamples to two well-known conjectures about matroids: White's conjecture on the generation of the toric ideal by symmetric exchange binomials, and a conjecture of Mason on the log-concavity of the counts of flats of a given rank.

We study characterisations of strong $Δ$-matroids, compiling a list of five equivalent descriptions. We show a variant of Wenzel's exchange property and the hyperplane exchange property of Borovik-Gelfand-White are equivalent. We also introduce two novel characterisations in terms of 'peerless' and 'isolated' antipodes within the system of feasible sets, banning certain configurations of antipodes either globally or locally. As a corollary, we obtain new 'local' exchange axioms for matroids and $Δ$-matroids. We give algebraic motivation for these new characterisations by introducing the peerless antipode equations, tropical equations that govern whether a $Δ$-matroid has no peerless antipodes. We show that these arise as the tropicalisation of a specific basis of quadratics cutting out the orthogonal Grassmannian.

Let $(X,Θ)$ be a very general principally polarized abelian variety of dimension $g$, and consider the minimal cohomology class $θ_k=[Θ]^k/k!$ for $k<g$. We show that the minimal positive multiple of $θ_k$ which is algebraic is divisible by all primes $p\leq (k+1)/2$. In particular, these minimal multiples grow exponentially with $k$. Our main result follows from [EGFS25] together with a new combinatorial result about $\mathbb F_p$-solutions of certain graphic matroids in their own Albanese graphs.

We introduce a binary matroid approach to the enumeration of mod 2 toric-colorable seeds of fixed Picard number. We organize these matroids by their contraction category and enumerate weak pseudomanifold subcomplexes by a dynamic programming algorithm. The main computational step uses a Gray code traversal of the mod 2 kernel of the ridge-facet incidence matrix. As the main new result, we find that there are 198,846 mod 2 toric-colorable seeds of dimension four and Picard number five. We also check that they all are toric-colorable. Finally, the same framework independently reproduces the Picard number 4 enumeration of Choi, Jang, and Vallée much faster than their previous method.

We investigate the realizations of Coxeter permutahedra which are also Coxeter matroid polytopes; these are polytopes of the form $\mathrm{conv}(W \cdot \mathbf{a})$ where $W$ is a finite Coxeter group acting on $\mathbb{R}^n$ and $\mathbf{a}$ is generic. Our main focus is how the geometric properties of $\mathrm{conv}(W \cdot \mathbf{a})$ change as $\mathbf{a}$ changes, with particular attention to persistent simplices, triangulations, and subdivisions.