arXiv++ Combinatorics

Karger's randomized contraction algorithm finds a minimum-weight cocircuit of a matroid whenever the cogirth-density ratio is bounded. We prove that the same hypothesis yields a deterministic algorithm with the same exponent. If every contraction minor of rank at least $r_0$ of a matroid $M$ has cogirth-density ratio at most $c$, then a minimum-weight cocircuit of $M$ is computable deterministically in $m^{O(r_0)} n^{O(c)}$ time when the contraction minors of bounded rank have at most $m$ parallel classes, by an algorithm that knows neither $r_0$ nor $c$. As a consequence, we give a deterministic algorithm computing the cogirth of rank-$p$ perturbed graphic matroids in $2^{O(p^2)} n^{O(1)}$ time, fixed-parameter tractable in $p$, settling the cogirth side of a question of Geelen and Kapadia (2018). The extensions of the contraction method carry over deterministically: enumerating all near-minimum 1-cocycles, computing a minimum-weight $k$-cocycle, and computing the Pareto frontier under several positive criteria.

Let $M_n=M(K_{n+1})$ be the graphic matroid of the complete graph, and let $\mathcal{F}_k(M_n)$ be its rank-$k$ flats. We study families $\mathcal{A}\subseteq\mathcal{F}_k(M_n)$ satisfying $\mathrm{rk}(A\wedge B)\ge t$ for all $A,B\in\mathcal{A}$. For $t=1$, this problem is exactly equivalent to Czabarka's partition-EKR conjecture, first introduced in print by P.~L. Erdős and L.~A. Székely~\cite{ErdosSzekelyHigher}. We prove the corresponding Erdős--Ko--Rado theorem in the explicit linear range $n+1\ge8k$, giving a constant-factor advance toward the conjectured sharp range $n\ge2k$. For every fixed $t$, we further prove an Erdős--Ko--Rado theorem under an explicit condition of order $O_t(k^2)$ on the block number $n+1-k$, with equality only for a full $t$-star. We also determine the largest nontrivial intersecting families under an explicit $O(k^6)$ threshold and characterize the unique extremal family up to isomorphism.

Let $T_n=K_{1,1,n}$, and let $P_n(x)$ denote the Kazhdan--Lusztig polynomial of its graphic matroid. We prove that, whenever $n\ge2$ and $0\leλ\le n/2$, the polynomial $P_n(x)+λx$ has exactly $\lfloor n/2\rfloor$ zeros, all of which are negative and simple. In particular, the Kazhdan--Lusztig polynomials of the graphic matroids of $T_n$ and $K_{2,n}$ are real-rooted. We also prove that, for $n\ge2$, the common polynomial $Z_{T_n}(x)=Z_{K_{2,n}}(x)$ has $n+1$ distinct negative zeros. The proofs use a common rational transformation, reducing the Kazhdan--Lusztig case to alternating sign evaluations at the zeros of a Chebyshev polynomial and the $Z$-polynomial case to a unit-circle criterion for self-inversive polynomials.

For a matroid $M$, a join is a set $J\subseteq E(M)$ that meets every circuit $C$ in at most $|C|/2$ elements. Let $μ(M)$ denote the maximum size of a join. Motivated by Frank's min--max theorem for graphic matroids, we compare $μ(M)$ with an ear-decomposition parameter $η(M)=(r(M)+\varphi(M))/2$, where $\varphi(M)$ is the minimum number of even lobes in an ear decomposition of $M$. Frank's theorem implies $μ(M)=η(M)$ for connected graphic matroids. Here we study how far this equality extends beyond graphic matroids. We show that the exact equality does not hold in general: it already fails for cographic matroids, hence within the binary class. Furthermore, the class of matroids satisfying $μ(M)=η(M)$ is not minor-closed, thus there is little hope for a forbidden minor characterization. We also prove that computing a maximum join is NP-hard for cographic matroids, hard to approximate within a factor of $519/520$, and NP-hard for sparse paving matroids given by their list of bases. Despite these negative results, we show that the two parameters remain quantitatively comparable in several natural classes. We prove comparison bounds for binary, paving, cographic, and arbitrary connected matroids. In particular, using Seymour's decomposition theorem, we combine the equality for graphic matroids, the bound for cographic matroids, and a direct analysis of $R_{10}$ to obtain $η(M)\leq 6μ(M)-2$ for every regular matroid $M$.

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.

A matroid M is unbreakable if it is connected and M/F is connected for every flat F of M . Oxley and Pfeil characterized the unbreakable graphic matroids, and Fife, Mayhew, Oxley, and Semple characterized the graphs underlying 3-connected unbreakable frame matroids. We extend the latter result by giving a complete characterization of the 3-connected unbreakable quasi-graphic matroids. As a special case we obtain a characterization of the 3-connected lifted-graphic matroids.

The inverse Kazhdan--Lusztig polynomial of a matroid was introduced by Gao and Xie, and the inverse $Z$-polynomial of a matroid was introduced by Ferroni, Matherne, Stevens, and Vecchi. In this paper, we study these two polynomials for fan matroids, a family of graphic matroids associated with fan graphs. We first derive the generating functions for the inverse Kazhdan--Lusztig polynomials of fan matroids using their recursive definition, and then deduce the explicit formulas of these polynomials therefrom. For the inverse $Z$-polynomials of fan matroids, we obtain their generating functions using a parallel generating function approach, and further derive their explicit expansions based on these generating functions. Additionally, we provide alternative proofs for the above generating functions using the deletion formulas for inverse Kazhdan--Lusztig and inverse $Z$-polynomials. As an application of the explicit formula for inverse Kazhdan--Lusztig polynomials, we prove that the coefficients of the inverse Kazhdan--Lusztig polynomial of the fan matroid form a log-concave sequence with no internal zeros.

The aim of this work is to explicitly compute the K-theory of the category of matroids with respect to the covering family of Tutte coverings. In particular, we show that this is equivalent to the K-theory spectrum of the category of graphic matroids on looped forests, with the covering family generated by isomorphisms. Further, we show that this yields an equivalence of $C_2$-spectra.

One of the most important classes of even $Δ$-matroids arises from orientable ribbon graphs, which play a role analogous to that of graphic matroids in matroid theory. Motivated by a natural correspondence between strong $Δ$-matroids and even $Δ$-matroids due to Geelen and Murota, we characterize the class of strong $Δ$-matroids that correspond to orientable ribbon-graphic $Δ$-matroids. These are precisely the $Δ$-matroids associated with what we call pseudo-orientable ribbon graphs. Moreover, we present a geometric construction that transforms a pseudo-orientable ribbon graph into an orientable ribbon graph, thereby realizing this correspondence. As consequences, we obtain the Matrix--Quasi-tree Theorem, the Hurwitz stability of quasi-tree generating polynomials, and a log-concavity result for the sequence counting quasi-trees of size $2i-1$ or $2i$ for pseudo-orientable ribbon graphs. To establish the log-concavity, we generalize Stanley's log-concavity theorem for regular matroids to regular $Δ$-matroids. Finally, we exhibit an infinite family of non-pseudo-orientable ribbon graphs that fail to satisfy the Matrix--Quasi-tree theorem and Hurwitz stability.

The thagomizer matroid, realized as the graphic matroid of the complete tripartite graph $K_{1,1,n}$, has full automorphism group isomorphic to the hyperoctahedral group whenever $n \ge 2$. In the equivariant setting for this action, we compute both the Kazhdan--Lusztig polynomial and the inverse Kazhdan--Lusztig polynomial in the sense of Proudfoot's Kazhdan--Lusztig--Stanley theory, and we show that each coefficient is an honest representation with a multiplicity-free irreducible decomposition. Our main idea is to exploit the palindromicity of the equivariant $Z$-polynomial, reducing the computation to the already established symmetric-group equivariant Kazhdan--Lusztig theory for the graphic matroids of cycle graphs, and then to apply Proudfoot's equivariant Kazhdan--Lusztig--Stanley inversion identity to obtain the inverse polynomial. Passing to dimensions recovers the previously known nonequivariant thagomizer polynomials, while the coefficient formulas admit a natural expression in terms of the wreath product Frobenius characteristic for the hyperoctahedral group.

As the binomial edge ideal of a graph is always generated by homogeneous quadratic polynomials corresponding to the edges of the graph, the question of when a binomial edge ideal defines a Koszul algebra has been studied by many authors ever since the class of ideals was first defined. Several partial results are known, including a characterization of those binomial edge ideals that possess a quadratic Gröbner basis. However, a complete characterization of the graphs determining Koszul binomial edge ideals has remained elusive. Inspired by our recent work characterizing when the graded Möbius algebras of graphic matroids are Koszul, we answer the question once and for all by proving that a graph defines a Koszul binomial edge ideal if and only if it is strongly chordal and claw-free.

An open problem in convex geometry asks whether two simplices $A,B\subseteq\mathbb{R}^d$, both containing the origin in their convex hulls, admit a polynomial-length sequence of vertex exchanges transforming $A$ into $B$ while maintaining the origin in the convex hull throughout. We propose a matroidal generalization of the problem to oriented matroids, concerning exchange sequences between bases under sign constraints on elements appearing in certain fundamental circuits. We formulate a conjecture on the minimum length of such a sequence, and prove it for oriented graphic matroids of directed graphs. We also study connections between our conjecture and several long-standing open problems on exchange sequences between pairs of bases in unoriented matroids.

Matroid interdiction problems are well-researched in the field of combinatorial optimization. In the matroid $\ell$-interdiction problem, an interdiction strategy removes a subset of cardinality $\ell$ from the matroid's ground set. The goal is to maximize the weight of a remaining optimal basis. We examine the multi-parametric generalization of this problem, where every weight is given by a linear function depending on a parameter vector. For every parameter value, we are interested in an optimal interdiction strategy and the weight of an optimally interdicted basis. We develop the first framework for lifting approximation algorithms for the non-parametric matroid $\ell$-interdiction problem to its multi-parametric variant. Whenever there exists a $β$-approximation algorithm for the non-parametric problem, we obtain an approximation algorithm for the multi-parametric problem with an approximation quality arbitrarily close to $β$. Our method yields an FPTAS for partition matroids and a $(1-\varepsilon)\frac{1}{4}$-approximation for graphic matroids. As part of the construction, we develop the first approximation algorithm for a conventional multi-parametric optimization problem in which the parameter vector varies in an arbitrary polytope.

A Laman graph $G$ is a minimally rigid graph in dimension two, and its realization number is its number of distinct embeddings with fixed generic edge lengths. While conjectured to grow exponentially in the number of vertices of $G$, the best proven lower bound is merely $2$. Motivated by the fact that the realization number can be expressed as a tropical intersection product involving $\mathrm{Trop}(G)$, the Bergman fan of the graphic matroid of $G$, and the fact that stars of $\mathrm{Trop}(G)$ naturally lead to lower bounds thereof, we introduce the tropical galaxy of $G$ together with a galactic pairing thereon. We study structural properties of this pairing, such as under which conditions it is non-trivially subadditive, and connect it being non-zero to arboreal pairs. We also present a software package for working with tropical galaxies.

A celebrated result of Seymour is that all regular matroids are built up from graphic matroids, cographic matroids, and a specific 10 element rank 5 matroid called $R_{10}$. In this article, we give a simple description of chip-firing on $R_{10}$ using complex numbers on the vertices of a pentagon, and link to an app where readers can play around with the combinatorial dynamics of the system. We also provide an easy to describe set of representatives for each of the 162 equivalence classes that make up the sandpile group of $R_{10}$.

In this paper, we focus on the equivariant inverse Kazhdan--Lusztig polynomials of thagomizer matroids, a natural family of graphic matroids associated with the complete tripartite graphs $K_{1,1,n}$. These polynomials were introduced by Proudfoot as an extension of the Kazhdan--Lusztig theory for matroids. We derive closed-form expressions for the $\mathfrak{S}_n$-equivariant inverse Kazhdan--Lusztig polynomials of thagomizer matroids and present them explicitly in terms of the irreducible representations of $\mathfrak{S}_n$. As an application, we also provide explicit formulas for the non-equivariant inverse Kazhdan--Lusztig polynomials, originally defined by Gao and Xie, and give an alternative proof using generating functions. Furthermore, we prove that the inverse Kazhdan--Lusztig polynomials of thagomizer matroids are log-concave.

The h-vector of a matroid M is an important invariant related to the independence complex of M and can also be recovered from an evaluation of its Tutte polynomial. A well-known conjecture of Stanley posits that the h-vector of a matroid is a pure O-sequence, meaning that it can be obtained by counting faces of a pure multicomplex. Merino has established Stanley's conjecture for the case of cographic matroids via chip-firing on graphs and the concept of a G-parking function. Inspired by these constructions, we introduce the notion of a cycle system for a matroid M -- a family of cycles (unions of circuits) of M with overlap properties that mimic cut-sets in a graph. A choice of cycle system on M defines a collection of integer sequences that we call coparking functions. We show that for any cycle system on M, the set of coparking functions is in bijection with the set of bases of M. We show that maximal coparking functions all have the same degree, and that cycle systems behave well under deletion and contraction. This leads to a proof of Stanley's conjecture for the case of matroids that admit cycle systems, which include, for instance, graphic matroids of cones as well as K33-free graphs.

The Dowling geometry $Q_n(Γ)$, where $Γ$ is a finite group, is a matroid that generalizes the complete-graphic matroid $M(K_{n+1})$. We determine the maximum size of an $N$-free submatroid of $Q_n(Γ)$ for various choices of $N$, including subgeometries $Q_m(Γ')$, lines $U_{2,\ell}$, and graphic matroids $M(H)$. When the group $Γ$ is trivial and $N=M(K_t)$, this problem reduces to Turán's classical result in extremal graph theory. We show that when $Γ$ is nontrivial, a complex dependence on $Γ$ emerges, even when $N=M(K_4)$.

We use the tropical trigonal construction to calculate the second moment of the tropical Prym variety of all double covers $π:\widetildeΓ\to Γ$ of tropical curves of genus $g(Γ)\leq 4$. The answer is expressed in terms of the signed graphic matroid of the double cover and consists a polynomial and piecewise-polynomial term. We relate the latter term, which does not occur in the analogous formula for the tropical Jacobian, to the problem of extending the Prym--Torelli map from the moduli space of admissible double covers to the second Voronoi compactification of the moduli space of principally polarized abelian varieties.

Fox's conjecture from 1962, that the absolute values of the coefficients of the Alexander polynomial of an alternating link are trapezoidal, has remained stubbornly open to this date. Recently Fox's conjecture was settled for all special alternating links. In this paper we take a broad view of the Alexander polynomials of special alternating links, showing that they are a generating function for a statistic on certain vector configurations. We study three types of vector configurations: (1) vectors arising from cographic matroids, (2) vectors arising from graphic matroids, (3) vectors arising from totally positive matrices. We prove that Alexander polynomials of special alternating links belong to both classes (1) and (2), and prove log-concavity, respectively trapezoidal, properties for classes (2) and (3). As a special case of our results, we obtain a new proof of Fox's conjecture for special alternating links.