arXiv++ Combinatorics

In an abelian group $G$, a \emph{matching} is a bijection $f\colon A\to B$ between finite subsets $A,B\subseteq G$ such that $a+f(a)\notin A$ for all $a\in A$. We say that $G$ has the \emph{matching property} if every pair of finite subsets $A,B\subseteq G$ with $|A|=|B|$ and $0\notin B$ admits such a matching. This paper develops matroidal analogues of classical results on group matchings. By embedding matroid ground sets in $G$, we introduce base matchings between matroid bases, recovering the group-theoretic setting in the uniform case, and derive structural and combinatorial criteria for their existence. Our methods blend techniques from matroid theory, group theory, and additive number theory. Our main focus is on paving matroids, a class conjectured to constitute asymptotically almost all matroids. We prove symmetric self-matchability for all paving matroids, extend asymmetric results via the hyperplane-nullity parameter, and connect stressed hyperplanes to matchability through relaxation, bridging paving and uniform matroids. This paper continues a line of research initiated in [3,4], yet is written to be self-contained and may be read independently.

An integer-valued matrix $\mathbf{A}$ is $Δ$-modular if each $\text{rank}(\mathbf{A}) \times \text{rank}(\mathbf{A})$ submatrix has determinant at most $Δ$ in absolute value. The column number problem is to determine the maximum number of pairwise non-parallel columns of a rank-$r$, $Δ$-modular matrix. Exact values for the column number are only known for $r \le 2$ or $Δ\le 2$. We prove that if $r$ is sufficiently large, then the maximum number of pairwise non-parallel columns of a rank-$r$, $3$-modular matrix is $\binom{r+1}{2} + 2(r-1)$. This settles a conjecture by Lee, Paat, Stallknecht, and Xu on the column number in the case $Δ= 3$. We complement this main result by showing that there are at least three $3$-modular matrices with pairwise non-isomorphic vector matroids that attain this upper bound. More generally, we show that if $r > Δ$, then the number of $Δ$-modular matrices with $\binom{r+1}{2} + (Δ-1)(r-1)$ pairwise non-parallel columns and pairwise non-isomorphic vector matroids is at least exponential in $\sqrtΔ$; previously only one matrix was known due to Lee et al.

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.

It is known that the Chow ring of a matroid satisfies the Hard Lefschetz property and Hodge Riemann relations. We provide a proof of this theorem by decomposition of the deletion operation into star subdivisions at two dimensional cones. This gives a simple combinatorial proof which avoids intersection cohomology or algebraic geometry.

For any cluster-tilting object $\mathsf{T}$ in the cluster category $\mathscr{C}_{n}$ of type $\mathbb{A}_{n}$, we construct a rank-four oriented matroid $\mathcal{M}_{\mathsf{T}}$ such that stackable triangulations of $\mathcal{M}_{\mathsf{T}}$ are in bijection with equivalence classes of maximal green sequences with initial cluster $\mathsf{T}$. This generalises the result that equivalence classes of maximal green sequences of linearly oriented $\mathbb{A}_{n}$ are in bijection with triangulations of a three-dimensional cyclic polytope. The definition of the oriented matroid $\mathcal{M}_{\mathsf{T}}$ arises from the extriangulated structure on $\mathscr{C}_{n}$ which makes $\mathsf{T}$ projective.

We study the category $F$-$\textbf{Mat}_\bullet$ of matroids over an idyll $F$. We show that $F$-$\textbf{Mat}_\bullet$ is a proto-exact category, a non-additive generalization of an exact category by Dyckerhoff and Kapranov. We further show that $F$-$\textbf{Mat}_\bullet$ is proto-abelian in the sense of André. As an application, we establish that the category $\textbf{TRS}_\bullet^Σ$ of tropical toric reflexive sheaves associated to a fan $Σ$, introduced by Khan and Maclagan, is also proto-exact and proto-abelian. We then investigate the stability of modular tropical toric reflexive sheaves within the framework of proto-abelian categories and reformulate Harder-Narasimhan filtrations in this setting.

We study network robustness under correlated failures modeled by colors, where each color represents a class of edges or vertices that may fail simultaneously. An edge-colored graph is said to be edge-color-avoiding $k$-edge-connected if it remains $k$-edge-connected after the removal of all edges of any single color. We characterize the graphs that admit such a coloring and show that, when $k = 1$, one can determine in polynomial time both the minimum number of colors required and a coloring achieving it; while the problem becomes NP-hard for $k \ge 2$. We also investigate the problem of orienting the edges of a graph so that the resulting digraph remains strongly or rooted connected even after the removal of all arcs of any single color. In addition, we explore generalizations involving vertex-colorings, $k$-vertex-connectivity, simultaneous failures of multiple colors and matroids.

In the 1970s, Kouchnirenko, Bernstein, and Khovanskii noticed that the geometry of a generic system of polynomial equations is determined by the geometry of its Newton polytopes. In the 1990s, Gelfand, Kapranov, Zelevinsky, and Sturmfels extended this observation to discriminants and resultants of generic polynomials. Particularly, well-known open questions about the irreducibility of discriminants and sets of solutions of such systems lead to questions about the corresponding geometric property of tuples of polytopes: Minkowski linear independence. To address these questions, we encode Minkowski linear independence into a finite matroid and characterize its bases, circuits, and cyclics. The obtained combinatorial results are used in the subsequent work to describe components of discriminants for generic square polynomial systems.

A graph is $\mathcal{R}_d$-independent (resp. $\mathcal{R}_d$-connected) if its $d$-dimensional generic rigidity matroid is free (resp. connected). A result of Maxwell from 1867 implies that every $\mathcal{R}_d$-independent graph satisfies the sparsity condition $|E(H)|\leq d|V(H)|-\binom{d+1}{2}$ for all subgraphs $H$ with at least $d+1$ vertices. Several other families of graphs $G$ arising naturally in rigidity theory, such as minimally globally $d$-rigid graphs, are known to satisfy the bound $|E(G)|\leq (d+1)|V(G)|-\binom{d+2}{2}$. We unify and extend these results by considering the family of $d$-stress-independent graphs which includes many of these families. We show that every $d$-stress-independent graph is $\mathcal{R}_{d+1}$-independent. A key ingredient in our proofs is the concept of $d$-stress-linked pairs of vertices. We derive a new sufficient condition for $d$-stress linkedness and use it to obtain a similar condition for a pair of vertices of a graph to be globally $d$-linked. This result strengthens a result of Tanigawa on globally $d$-rigid graphs. We also show that every minimally $\mathcal{R}_d$-connected graph $G$ is $\mathcal{R}_{d+1}$-independent and that the only subgraphs of $G$ that can satisfy Maxwell's criterion for $\mathcal{R}_{d+1}$-independence with equality are copies of $K_{d+2}$. Our results give affirmative answers to two conjectures in graph rigidity theory.

We investigate some natural probability distributions associated with the game of matroid bingo.

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)$.

In this short note we will propose a definition of a $q$-ary graph. Furthermore, we describe how to make an incidence matrix for it, with an eye on the corresponding $q$-matroid.

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öller, 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.

Let $\mathscr{M}$ be a conditional oriented matroid. We define a graded algebra $\widehat{\mathscr{VG}}_\mathscr{M}$ with vector space dimension given by the number of covectors in $\mathscr{M}$ which admits a distinguished filtration indexed by the poset $\mathscr{L}(\mathscr{M})$ of flats of $\mathscr{M}$. The subquotients of this filtration are isomorphic to graded Varchenko-Gelfand rings of contractions of $\mathscr{M}$, so we call $\widehat{\mathscr{VG}}_\mathscr{M}$ the {\em graded big Varchenko-Gelfand ring of $\mathscr{M}$.} We describe a no broken circuit type basis of $\widehat{\mathscr{VG}}_\mathscr{M}$ and study its equivariant structure under the action of $\mathrm{Aut}(\mathscr{M})$. Our key technique is the orbit harmonics deformation which encodes $\widehat{\mathscr{VG}}_\mathscr{M}$ (as well as the classical Varchenko-Gelfand ring) in terms of a locus of points.

In 1980 Lovász introduced the concept of a double circuit in a matroid. The 2nd, 3rd and 4th authors recently generalised this notion to $k$-fold circuits (for any natural number $k$) and proved foundational results about these $k$-fold circuits. In this article we use $k$-fold circuits to derive new results on the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. These results include analysing 2-sums, showing sufficient conditions for the $k$-fold circuit property to hold for $k$-fold $\mathcal{R}_d$-circuits, and giving an extension of Whiteley's coning lemma. The last of these allows us to reduce the problem of determining if a graph $G$ with a vertex $v$ of sufficiently high degree is independent in $\mathcal{R}_d$ to that of verifying matroidal properties of $G-v$ in $\mathcal{R}_{d-1}$.

We introduce a combinatorial model for the Milnor fibration of a complexified real arrangement using oriented matroids. It is a poset quasi-fibration, a notion recently introduced by the first author, whose domain is a subdivision of the Salvetti complex stemming from a natural subdivision of the dual oriented matroid complex. This yields a concrete finite regular CW complex which is homotopy equivalent to the Milnor fiber of the complexified real arrangement and implies that the homotopy type of the Milnor fiber of a complexified real arrangement only depends on the underlying combinatorial structure given by its oriented matroid. Moreover, our construction works for any oriented matroid, disregarding realizability, so we obtain a notion of a combinatorial Milnor fibration for any oriented matroid.

We prove that a finite graded simplicial poset with a top element added has real-rooted Chow and augmented Chow polynomials whenever it has a positive $h$-vector. This class of posets include Cohen-Macaulay simplicial posets and in particular lattices of flats of uniform matroids.

Motivated by the Gray code interpretation of Hamiltonian cycles in Cayley graphs, we investigate the existence of Hamiltonian cycles in tope graphs of hyperplane arrangements, with a focus on simplicial, reflection, and supersolvable arrangements. We confirm Hamiltonicity for all 3-dimensional simplicial arrangements listed in the Grünbaum--Cuntz catalogue. Extending earlier results by Conway, Sloane, and Wilks, we prove that all restrictions of finite reflection arrangements, including all Weyl groupoids and crystallographic arrangements, admit Hamiltonian cycles. Finally, we further establish that all supersolvable hyperplane arrangements and supersolvable oriented matroids have Hamiltonian cycles, offering a constructive proof based on their inductive structure.

Athanasiadis and Kalampogia-Evangelinou recently conjectured that the chain polynomial of any geometric lattice has only real zeros. We verify this conjecture for families of geometric lattices including perfect matroid designs, Dowling lattices, and for a class of geometric lattices that contains all lattices of flats of paving matroids. We also investigate how the conjecture behaves with respect to certain operations such as direct products, ordinal sums and single-element extensions.

We study point-line configurations and their associated matroid and circuit varieties. We aim to find a finite set of defining equations for matroid varieties and an irreducible decomposition for circuit varieties. To solve the former problem, we use some classical techniques from algebraic geometry, including the Grassmann-Cayley algebra and the liftability technique. From this, we can respectively derive the Grassmann-Cayley ideal, introduced by Sidman, Traves and Wheeler, and the lifting ideal, introduced by Liwski, Mohammadi, Clarke and Masiero. Since the circuit ideal, the Grassmann-Cayley ideal and the lifting ideal are contained in the matroid ideal and explicit generators are known for them, it is a natural question to identify point-line configurations for which a generating set of the matroid ideal is formed by the circuit polynomials, Grassmann-Cayley polynomials and lifting polynomials. For these point-line configurations, we obtain an explicit and finite description of the matroid variety. In this thesis, we prove that the matroid ideal of cactus configurations, the Pascal configuration and the Pappus configuration can be generated by these three types of polynomials. To find an irreducible decomposition for the circuit varieties of point-line configurations, we use the decomposition strategy developed by Clarke, Grace, Mohammadi and Motwani. If the point-line configuration has some points lying on at most two lines, we develop a shorter alternative as well. We find such a decomposition for cactus configurations, up to irredundancy. Moreover, we find an irreducible decomposition for the Pascal configuration and the third configuration $9_3$, which is a point-line configuration with nine points and nine lines, such that every point is on three lines and every line contains three points.