arXiv++ Combinatorics

We compute the $cd$-index $Ψ_{cd}$ of matroid base polytopes $\mathscr{P}(M)$ for a large family of matroids $M$. The $cd$-index is a polynomial in two non-commutative variables that compactly encodes the count of face flags $\mathcal{F} = \{σ_1 \subset \dots \subset σ_s \}$ with prescribed $\dim σ_i = d_i$. This comprises the $f$-vector of $\mathscr{P}(M)$, which recently Ferroni and Schröter treated as an almost-valuative invariant; i.e. a valuative part plus an error term. We initiate a similar program for $Ψ_{cd}(\mathscr{P}(M))$ and show that for an elementary split matroid $M$ the error term in the computation of $Ψ_{cd}(\mathscr{P}(M))$ surprisingly depends only on modular pairs of cyclic flats. This allows us to implement computations requiring only the counts $λ(r,h)$ and $μ(α,β,a,b)$ of cyclic flats and modular pairs of cyclic flats, respectively, that fulfill some rank and cardinality conditions. We illustrate the methods with sparse paving matroids.

Rook matroids were recently introduced by the author and Alexandersson as matroids whose bases arise from certain restricted rook placements on a skew-shaped board. They were shown to be a subclass of transversal matroids and positroids. We further investigate the structural properties of rook matroids with an emphasis on the positroidal point of view. In particular, we characterize rook matroids in terms of Grassmann necklaces of positroids, answering a question of Lam (2024). Along the way, we give a new proof of the positroidal structure of rook matroids and determine an important subclass of their cyclic flats.

The configuration of a matroid $M$ is the abstract lattice of cyclic flats (flats that are unions of circuits) where we record the size and rank of each cyclic flat, but not the set. One can compute the Tutte polynomial of $M$, and stronger invariants (notably, the $\mathcal{G}$-invariant), from the configuration. Given a matroid $M$ in which certain pairs of cyclic flats are non-modular, we show how to produce a matroid that is not isomorphic to $M$ but has the same configuration as $M$. We show that this construction applies to a lattice path matroid if and only if it is not a fundamental transversal matroid, and we enumerate the connected lattice path matroids on $[n]$ that are fundamental; these results imply that, asymptotically, almost no lattice path matroids are Tutte unique. We give a sufficient condition for a matroid to be determined, up to isomorphism, by its configuration. We treat constructions that yield matroids with different configurations where each matroid is determined by its configuration and all have the same $\mathcal{G}$-invariant. We also show that for any lattice $L$ other than a chain, there are non-isomorphic transversal matroids that have the same configuration and where the lattices of cyclic flats are isomorphic to $L$.

A $q$-rank function is a real-valued function defined on the subspace lattice that is non-negative, upper bounded by the dimension function, non-drecreasing, and satisfies the submodularity law. Each such function corresponds to the rank function of a $q$-polymatroid. In this paper, we identify these functions with points in a polytope. We show that this polytope contains no interior lattice points, implying that the points corresponding to $q$-matroids are among its vertices. We investigate several properties of convex combinations of two lattice points in this polytope, particularly in terms of independence, flats, and cyclic flats. Special attention is given to the convex combinations of paving and uniform $q$-matroids.

We show that the Whitney function of a q-matroid can be determined from the cloud and flock polynomials associated to the cyclic flats. These polynomials capture information about the corank (resp., nullity) of certain spaces whose cyclic core (resp., closure) is the given cyclic flat. Going one step further, we prove that the Whitney function, and in fact the cloud-flock lattice, are determined by the configuration of the q-matroid, which is the abstract lattice of cyclic flats together with the corank-nullity data. Furthermore, we show that the configuration and cloud-flock lattice behave well under duality and direct sums, whereas the Whitney function does not contain enough information to behave well under taking direct sums. As an aside we show that every configuration of a matroid arises as a configuration of a q-matroid, whereas the converse is not true.

We introduce the notion of the free product of $q$-matroids, which is the $q$-analogue of the free product of matroids. We study the properties of this noncommutative binary operation, making an extensive use of the theory of cyclic flats. We show that the free product of two $q$-matroids $M_1$ and $M_2$ is maximal with respect to the weak order on $q$-matroids having $M_1$ as a restriction and $M_2$ as the complementary contraction. We characterise $q$-matroids that are irreducible with respect to the free product and we prove that the factorization of a $q$-matroid into a free product of irreducibles is unique up to isomorphism. We discuss the representability of the free product, with a particular focus on rank one uniform $q$-matroids and show that such a product is represented by clubs on the projective line.

There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable $q$-matroids is not necessarily representable. In this work, we focus on the direct sum of uniform $q$-matroids. Using algebraic and geometric tools, together with the notion of cyclic flats of $q$-matroids, we show that this is always representable, by providing a representation over a sufficiently large field.

We consider structural properties of $\mathcal{L}$-polymatroids, especially those defined on a finite complemented modular lattice $\mathcal{L}$. We introduce a set of cover-weight axioms and establish a cryptomorphism between these axioms and the rank axioms of an $\mathcal{L}$-polymatroid. We introduce the notion of a cyclic flat of an $\mathcal{L}$-polymatroid and study properties of its lattice of cyclic flats. We show that the weighted lattice of cyclic flats of an $\mathcal{L}$-polymatroid $\mathcal{P}$, along with the atomic weights of $\mathcal{P}$, is sufficient to define its rank function on $\mathcal{L}$. In our main result, we characterize those weighted lattices $(\mathcal{Z},λ)$ such that $\mathcal{Z}\subseteq\mathcal{L}$ is the collection of cyclic flats of an $\mathcal{L}$-polymatroid.

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 study the direct sum of q-matroids by way of their cyclic flats. Using that the rank function of a q-matroid is fully determined by the cyclic flats and their ranks, we show that the cyclic flats of the direct sum of two q-matroids are exactly all the direct sums of the cyclic flats of the two summands. This simplifies the rank function of the direct sum significantly. A q-matroid is called irreducible if it cannot be written as a (non-trivial) direct sum. We provide a characterization of irreducibility in terms of the cyclic flats and show that every q-matroid can be decomposed into a direct sum of irreducible q-matroids, which are unique up to equivalence.

The natural matroid of an integer polymatroid was introduced to show that a simple construction of integer polymatroids from matroids yields all integer polymatroids. As we illustrate, the natural matroid can shed much more light on integer polymatroids. We focus on characterizations of integer polymatroids using their bases, their circuits, and their cyclic flats along with the rank of each cyclic flat and each element; we offer some new characterizations and insights into known characterizations.

In 1999 Merino and Welsh conjectured that evaluations of the Tutte polynomial of a graph satisfy an inequality. In this short article we show that the conjecture generalized to matroids holds for the large class of all split matroids by exploiting the structure of their lattice of cyclic flats. This class of matroids strictly contains all paving and copaving matroids.

In this paper we develop the theory of cyclic flats of $q$-matroids. We show that the lattice of cyclic flats, together with their ranks, uniquely determines a $q$-matroid and hence derive a new $q$-cryptomorphism. We introduce the notion of $\mathbb{F}_{q^m}$-independence of an $\mathbb{F}_q$-subspace of $\mathbb{F}_q^n$ and we show that $q$-matroids generalize this concept, in the same way that matroids generalize the notion of linear independence of vectors over a given field.

We study the Hadamard product of the linear forms defining a hyperplane arrangement with those of its dual, which we view as generating an ideal in a certain polynomial ring. We use this ideal, which we call the ideal of pairs, to study logarithmic derivations and critical set varieties of arrangements in a way which is symmetric with respect to matroid duality. Our main result exhibits the variety of the ideal of pairs as a subspace arrangement whose components correspond to cyclic flats of the arrangement. As a corollary, we are able to give geometric explanations of some freeness and projective dimension results due to Ziegler and Kung--Schenck.

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.

From the configuration of a matroid (which records the size and rank of the cyclic flats and the containments among them, but not the sets), one can compute several much-studied matroid invariants, including the Tutte polynomial and a newer, stronger invariant, the $\mathcal{G}$-invariant. To gauge how much additional information the configuration contains compared to these invariants, it is of interest to have methods for constructing matroids with different configurations but the same $\mathcal{G}$-invariant. We offer several such constructions along with tools for developing more.

Polymatroids can be considered as "fractional matroid" where the rank function is not required to be integer valued. Many, but not every notion in matroid terminology translates naturally to polymatroids. Defining cyclic flats of a polymatroid carefully, the characterization by Bonin and de Mier of the ranked lattice of cyclic flats carries over to polymatroids. The main tool, which might be of independent interest, is a convolution-like method which creates a polymatroid from a ranked lattice and a discrete measure. Examples show the ease of using the convolution technique.

Motivated by the characterization of the lattice of cyclic flats of a matroid, the convolution of a ranked lattice and a discrete measure is defined, generalizing polymatroid convolution. Using the convolution technique we prove that if a matroid has a non-principal modular cut then it is not sticky. A similar statement for matroids has been proved in [8] using different technique.

In this paper, first steps are taken towards characterising lattices of cyclic flats $\mathcal{Z}(M)$ that belong to matroids $M$ that can be represented over a prescribed finite field $\mathbb{F}_q$. Two natural maps from $\mathcal{Z}(M)$ to the lattice of cyclic flats of a minor of $M$ are given. Binary matroids are characterised via their lattice of cyclic flats. It is shown that the lattice of cyclic flats of a simple binary matroid without isthmuses is atomic.

Recently, locally repairable codes has gained significant interest for their potential applications in distributed storage systems. However, most constructions in existence are over fields with size that grows with the number of servers, which makes the systems computationally expensive and difficult to maintain. Here, we study linear locally repairable codes over the binary field, tolerating multiple local erasures. We derive bounds on the minimum distance on such codes, and give examples of LRCs achieving these bounds. Our main technical tools come from matroid theory, and as a byproduct of our proofs, we show that the lattice of cyclic flats of a simple binary matroid is atomic.