arXiv++ Combinatorics

Consider a matroid $M$ whose ground set is equipped with a labeling to an abelian group. A basis of $M$ is called $F$-avoiding if the sum of the labels of its elements is not in a forbidden label set $F$. Hörsch, Imolay, Mizutani, Oki, and Schwarcz (2024) conjectured that if an $F$-avoiding basis exists, then any basis can be transformed into an $F$-avoiding basis by exchanging at most $|F|$ elements. This proximity conjecture is known to hold for certain specific groups; in the case where $|F| \le 2$; or when the matroid is subsequence-interchangeably base orderable (SIBO), which is a weakening of the so-called strongly base orderable (SBO) property. In this paper, we settle the proximity conjecture for sparse paving matroids or in the case where $|F| \le 4$. Related to the latter result, we present the first known example of a non-SIBO matroid. We further address the setting of multiple group-label constraints, showing proximity results for the cases of two labelings, SIBO matroids, matroids representable over a fixed, finite field, and sparse paving matroids.

We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We study their realizability, as well as the irreducible decomposition of their associated matroid and circuit varieties. Additionally, we describe a finite generating set for the corresponding ideals, considered up to radical. We establish sufficient conditions for both the realizability of these matroids and the irreducibility of their associated varieties. Specifically, we establish the realizability and irreducibility of matroid varieties associated with nilpotent matroids and prove the irreducibility of matroid varieties arising from certain classes of solvable paving matroids. Additionally, we analyze the defining polynomial equations of these varieties using Grassmann-Cayley algebra and geometric liftability techniques. Furthermore, we provide a complete generating set for the matroid ideals associated with forest configurations.

The {\em Dressian} of a matroid $M$ is the set of all valuations of $M$. This Dressian is the support of a polyhedral complex $\mathcal{Dr}(M)$ whose open cells correspond 1-1 with matroid subdivisions of the matroid polytope of $M$. We present upper bounds on the number of cells and the dimension of $\mathcal{Dr}(M)$. For matroids $M$ of rank $r\geq 3$ on $n$ elements we show that $$ \ln\#\mathcal{Dr}(M)\leq {\binom{n}{r}} O\left(\frac{\ln(n)^2}{n}\right)\text{ as }n\rightarrow\infty,\qquad\text{and}\qquad\dim \mathcal{Dr}(M)\leq {\binom{n}{r}}\frac{3}{n-r+3},$$ as well as some more detailed bounds that incorporate structural properties of such $M$. For uniform matroids $M=U(r,n)$, these upper bounds are comparable to lower bounds derived from valuations that are constructed from sparse paving matroids.

The Chow class of the closure of the torus orbit of a point in a Grassmannian only depends on the matroid associated to the point. The Chow class can be extended to a matroid invariant of arbitrary matroids. We call the coefficients appearing in the expansion of the Chow class in the Schubert basis the Schubert coefficients of the matroid. These Schubert coefficients are conjectured by Berget and Fink to be non-negative. We compute the Schubert coefficients of a disconnected matroid in terms of the Schubert coefficients of its connected components. And we compute the Schubert coefficients for all sparse paving matroids, and confirm their non-negativity.

We study paving matroids, their realization spaces, and their closures, along with matroid varieties and circuit varieties. Within this context, we introduce three distinct methods for generating polynomials within the associated ideals of these varieties across any dimension. Additionally, we explain the relationship between polynomials constructed using these different methods. We then compute a comprehensive and finite set of defining equations for matroid varieties associated with specific classes of paving matroids. Finally, we focus on the class of paving matroids of rank $3$, known as point-line configurations, which essentially contain simple matroids of rank $3$. Furthermore, we provide a decomposition for the associated circuit variety of point-line configurations, where all points have a degree less than $3$. Lastly, we present several examples applying our results and compare them with the known cases in the literature.

We focus on checking the validity of the half-plane property on two prominent classes of transversal matroids, namely lattice path matroids and bicircular matroids. We show that lattice path matroids satisfy the half-plane property. Subsequently, we show an explicit example of a bicircular matroid that is not a positroid and discuss the negative correlation properties of bases of transversal matroids. We prove that sparse paving matroids do not satisfy the Rayleigh property, which helps us gain new perspectives about conjectures on negative correlation in basis elements of matroids in general.

In this paper, we study positroids and its overlap with two classes of matroids: transversal and paving matroids. We exhibit a new class of fundamental transversal matroids and classify the Le-diagram for rank two transversal positroids. We also establish a combinatorial description for paving positroids in terms of Le-diagrams.

We prove that every paving matroid that is an excluded minor of interval positroids can be reduced to one of three fundamental families of excluded minors of interval positroids by relaxing dependent hyperplanes. Using this result, we classify all non-positroid excluded minors of interval positroids that are paving matroids. Additionally, we provide a criterion that characterizes all excluded minors of interval positroids that are paving positroids.

Panhandle matroids are a specific family of lattice-path matroids corresponding to panhandle-shaped Ferrers diagrams. Their matroid polytopes are the subpolytopes carved from a hypersimplex to form matroid polytopes of paving matroids. It has been an active area of research to determine which families of matroid polytopes are Ehrhart positive. We prove Ehrhart positivity for panhandle matroid polytopes, thus confirming a conjecture of Hanely, Martin, McGinnis, Miyata, Nasr, Vindas-Meléndez, and Yin (2023). Another standing conjecture posed by Ferroni (2022) asserts that the coefficients of the Ehrhart polynomial of a connected matroid are bounded above by those of the corresponding uniform matroid. We prove Ferroni's conjecture for paving matroids -- a class conjectured to asymptotically contain all matroids. These results follow from purely enumerative statements, the main one being conjectured by Hanely et. al concerning the enumeration of a certain class of ordered chain forests.

This paper initiates the explicit study of face numbers of matroid polytopes and their computation. We prove that, for the large class of split matroid polytopes, their face numbers depend solely on the number of cyclic flats of each rank and size, together with information on the modular pairs of cyclic flats. We provide a formula which allows us to calculate $f$-vectors without the need of taking convex hulls or computing face lattices. We discuss the particular cases of sparse paving matroids and rank two matroids, which are of independent interest due to their appearances in other combinatorial and geometric settings.

We establish that matroids characterized by the Tutte polynomial $\sum_{i,j\ge 0}t_{i,j}x^iy^j$ with coefficients $t_{i,j}$ vanishing for $(i,j)\ge (k,l)$ precisely coincide with $(k,l)$-uniform matroids. This characterization implies that almost $(k,l)$-uniform matroids are exactly matroids with $t_{k,l}\le 1$ and $t_{i,j}=0$ if $(i,j)>(k,l)$. We also characterize excluded minors of almost $(k,l)$-uniform matroids in terms of Tutte polynomial coefficients. Finally, we construct an infinite family of excluded minors of almost $(k,l)$-uniform matroids which extend previously known cases of almost uniform and almost paving matroids.

A matroid M is cyclically orderable if there is a cyclic permutation of the elements of M such that any r consecutive elements form a basis in M. An old conjecture of Kajitani, Miyano, and Ueno states that a matroid M is cyclically orderable if and only if for all nonempty subsets X in E(M), |X|/r(M) is less than or equal to |E(M)|/r(M). In this paper, we verify this conjecture for all paving matroids.

We discuss several extension properties of matroids and polymatroids and their application as necessary conditions for the existence of different matroid representations, namely linear, folded linear, algebraic, and entropic representations. Iterations of those extension properties are checked for matroids on eight and nine elements by means of computer-aided explorations, finding in that way several new examples of non-linearly representable matroids. A special emphasis is made on sparse paving matroids on nine points containing the tic-tac-toe configuration. We present a new, more clear description of that family and we analyze extension properties on those matroids and their duals.

We consider the relationship between a matroidal analogue of the degree $a$ Cayley-Bacharach property (finite sets of points failing to impose independent conditions on degree $a$ hypersurfaces) and geometric properties of matroids. If the matroid polytopes in question are nestohedra, we show that the minimal degree matroidal Cayley-Bacharach property denoted $MCB(a)$ is determined by the structure of the building sets used to construct them. This analysis also applies for other degrees $a$. Also, it does not seem to affect the combinatorial equivalence class of the matroid polytope. However, there are close connections to minimal nontrivial degrees $a$ and the geometry of the matroids in question for paving matroids (which are conjecturally generic among matroids of a given rank) and matroids constructed out of supersolvable hyperplane arrangements. The case of paving matroids is still related to with properties of building sets since it is closely connected to (Hilbert series of) Chow rings of matroids, which are combinatorial models of the cohomology of wonderful compactifications. Finally, our analysis of supersolvable line and hyperplane arrangements give a family of matroids which are natrually related to independence conditions imposed by points one plane curves or can be analyzed recursively.

We consider the class of {\em separable} $k$-hypergraphs, which can be viewed as uniform analogs of threshold Boolean functions, and the class of {\em equatable} $k$-hypergraphs. We show that every $k$-hypergraph is either separable or equatable but not both. We raise several questions asking which classes of equatable (and separable) hypergraphs enjoy certain appealing characterizing properties, which can be viewed as uniform analogs of the $2$-summable and $2$-monotone Boolean function properties. In particular, we introduce the property of {\em exchangeability}, and show that all these questioned characterizations hold for graphs, multipartite $k$-hypergraphs for all $k$, paving $k$-matroids and binary $k$-matroids for all $k$, and $3$-matroids, which are all equatable if and only if they are exchangeable. We also discuss the complexity of deciding if a hypergraph is separable, and in particular, show that it requires exponential time for paving matroids presented by independence oracles, and can be done in polynomial time for binary matroids presented by such oracles.

The basis exchange axiom has been a driving force in the development of matroid theory. However, the axiom gives only a local characterization of the relation of bases, which is a major stumbling block to further progress, and providing a global understanding of the structure of matroid bases is a fundamental goal in matroid optimization. While studying the structure of symmetric exchanges, Gabow proposed the problem that any pair of bases admits a sequence of symmetric exchanges. A different extension of the exchange axiom was proposed by White, who investigated the equivalence of compatible basis sequences. These conjectures suggest that the family of bases of a matroid possesses much stronger structural properties than we are aware of. In the present paper, we study the distance of basis pairs of a matroid in terms of symmetric exchanges. In particular, we give a polynomial-time algorithm that determines a shortest possible exchange sequence that transforms a basis pair into another for split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. As a corollary, we verify the above mentioned long-standing conjectures for this large class. Being a subclass of split matroids, our result settles the conjectures for paving matroids as well.

We study the way in which equivariant Kazhdan-Lusztig polynomials, equivariant inverse Kazhdan-Lusztig polynomials, and equivariant Z-polynomials of matroids change under the operation of relaxation of a collection of stressed hyperplanes. This allows us to compute these polynomials for arbitrary paving matroids, which we do in a number of examples, including various matroids associated with Steiner systems that admit actions of Mathieu groups.

We provide a combinatorial study of split matroids, a class that was motivated by the study of matroid polytopes from a tropical geometry point of view. A nice feature of split matroids is that they generalize paving matroids, while being closed under duality and taking minors. Furthermore, these matroids proved to be useful in giving exact asymptotic bounds for the dimension of the Dressian, and also implied new results on the rays of the tropical Grassmannians. In the present paper, we introduce the notion of elementary split matroids, a subclass of split matroids that contains all connected split matroids. We give a hypergraph characterization of elementary split matroids in terms of independent sets, and show that the proposed class is closed not only under duality and taking minors but also truncation. We further show that, in contrast to split matroids, the proposed class can be characterized by a single forbidden minor. As an application, we provide a complete list of binary split matroids.

We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni's work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation of stressed-hyperplane relaxation introduced by Ferroni, Nasr, and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent.

In this article we make several contributions of independent interest. First, we introduce the notion of stressed hyperplane of a matroid, essentially a type of cyclic flat that permits to transition from a given matroid into another with more bases. Second, we prove that the framework provided by the stressed hyperplanes allows one to write very concise closed formulas for the Kazhdan--Lusztig, inverse Kazhdan--Lusztig and $Z$-polynomials of all paving matroids, a class which is conjectured to predominate among matroids. Third, noticing the palindromicity of the $Z$-polynomial, we address its $γ$-positivity, a midpoint between unimodality and real-rootedness. To this end, we introduce the \emph{$γ$-polynomial} associated to it, we study some of its basic properties and we find closed expressions for it in the case of paving matroids. Also, we prove that it has positive coefficients in many interesting cases, particularly in the large family of sparse paving matroids, and other smaller classes such as projective geometries, thagomizer matroids and other particular graphs. Our last contribution consists of providing explicit combinatorial interpretations for the coefficients of many of the polynomials addressed in this article by enumerating fillings in certain Young tableaux and skew Young tableaux.