arXiv++ Combinatorics

We characterize a rich class of valuated matroids, called R-minor valuated matroids that includes the indicator functions of matroids, and is closed under operations such as taking minors, duality, and induction by network. We exhibit a family of valuated matroids that are not R-minor based on sparse paving matroids. Valuated matroids are inherently related to gross substitute valuations in mathematical economics. By the same token we refute the Matroid Based Valuation Conjecture by Ostrovsky and Paes Leme (Theoretical Economics 2015) asserting that every gross substitute valuation arises from weighted matroid rank functions by repeated applications of merge and endowment operations. Our result also has implications in the context of Lorentzian polynomials: it reveals the limitations of known construction operations.

Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.

In this article we disprove the conjectures asserting the positivity of the coefficients of the Ehrhart polynomial of matroid polytopes by De Loera, Haws and Köppe (2007) and of generalized permutohedra by Castillo and Liu (2015). We prove constructively that for every $n\geq 19$ there exist connected matroids on $n$ elements that are not Ehrhart positive. Also, we prove that for every $k\geq 3$ there exist connected matroids of rank $k$ that are not Ehrhart positive. Our proofs rely on our previous results on the geometric interpretation of the operation of circuit-hyperplane relaxation and our formulas for the Ehrhart polynomials of hypersimplices and minimal matroids. This allows us to give a precise expression for the Ehrhart polynomials of all sparse paving matroids, a class of matroids which is conjectured to be predominant and which contains the counterexamples arising from our construction.

In this paper we study the interplay between the operation of circuit-hyperplane relaxation and the Kazhdan--Lusztig theory of matroids. We obtain a family of polynomials, not depending on the matroids but only on their ranks, that relate the Kazhdan--Lusztig, the inverse Kazhdan--Lusztig and the $Z$-polynomial of each matroid with those of its relaxations. As an application of our main theorem, we prove that all matroids having a free basis are non-degenerate. Additionally, we obtain bounds and explicit formulas for all the coefficients of the Kazhdan--Lusztig, inverse Kazhdan--Lusztig and $Z$-polynomial of all sparse paving matroids.

It is well known that linear rank-metric codes give rise to q-polymatroids. Analogously to matroid theory one may ask whether a given q-polymatroid is representable by a rank-metric code. We provide an answer by presenting an example of a q-matroid that is not representable by any linear rank-metric code and, via a relation to paving matroids, provide examples of various q-matroids that are not representable by F_{q^m}-linear rank-metric codes. We then go on and introduce deletion and contraction for q-polymatroids and show that they are mutually dual and correspond to puncturing and shortening of rank-metric codes. Finally, we introduce a closure operator along with the notion of flats and show that the generalized rank weights of a rank-metric code are fully determined by the flats of the associated q-polymatroid.

Tropical ideals are a class of ideals in the tropical polynomial semiring that combinatorially abstracts the possible collections of supports of all polynomials in an ideal over a field. We study zero-dimensional tropical ideals I with Boolean coefficients in which all underlying matroids are paving matroids, or equivalently, in which all polynomials of minimal support have support of size deg(I) or deg(I)+1 -- we call them paving tropical ideals. We show that paving tropical ideals of degree d+1 are in bijection with $\mathbb Z^n$-invariant d-partitions of $\mathbb Z^n$. This implies that zero-dimensional tropical ideals of degree 3 with Boolean coefficients are in bijection with $\mathbb Z^n$-invariant 2-partitions of quotient groups of the form $\mathbb Z^n/L$. We provide several applications of these techniques, including a construction of uncountably many zero-dimensional degree-3 tropical ideals in one variable with Boolean coefficients, and new examples of non-realizable zero-dimensional tropical ideals.

In 1993, Csima and Sawyer proved that in a non-pencil arrangement of n pseudolines, there are at least $\frac{6}{13}n$ simple points of intersection. Since pseudoline arrangements are the topological representations of reorientation classes of oriented matroids of rank $3$, in this paper, we will use this result to prove by induction that an oriented paving matroid of rank $r \ge 3$ on $n$ elements, where $n \geq 5+ r$, has at least $\frac{12}{13(r-1)} \binom{n}{r-2}$ independent hyperplanes, yielding a new necessary condition for a paving matroid to be orientable.

We prove the positivity of Kazhdan-Lusztig polynomials for sparse paving matroids, which are known to be logarithmically almost all matroids, but are conjectured to be almost all matroids. The positivity follows from a remarkably simple combinatorial formula we discovered for these polynomials using skew young tableaux. This supports the conjecture that Kazhdan-Lusztig polynomials for all matroids have non-negative coeffiecients. In special cases, such as uniform matroids, our formula has a nice combinatorial interpretation.

In the list coloring problem for two matroids, we are given matroids $M_1=(S,{\cal I}_1)$ and $M_2=(S,{\cal I}_2)$ on the same ground set $S$, and the goal is to determine the smallest number $k$ such that given arbitrary lists $L_s$ of $k$ colors for $s\in S$, it is possible to choose a color from each list so that every monochromatic set is independent in both $M_1$ and $M_2$. When both $M_1$ and $M_2$ are partition matroids, Galvin's list coloring theorem for bipartite graphs gives the answer. One of the main open questions is to decide if there exists a constant $c$ such that if the coloring number is $k$ (i.e., the ground set can be partitioned into $k$ common independent sets), then the list coloring number is at most $c\cdot k$. We consider matroid classes that appear naturally in combinatorial optimization problems, namely graphic matroids, paving matroids and gammoids. We show that if both matroids are from these fundamental classes, then the list coloring number is at most twice the coloring number. The proof is based on a new approach that reduces a matroid to a partition matroid without increasing its coloring number too much, and might be of independent combinatorial interest. In particular, we show that if $M=(S,{\cal I})$ is a matroid in which $S$ can be partitioned into $k$ independent sets, then there exists a partition matroid $N=(S,{\cal J})$ with ${\cal J}\subseteq{\cal I}$ in which $S$ can be partitioned into (A) $k$ independent sets if $M$ is a transversal matroid, (B) $2k-1$ independent sets if $M$ is a graphic matroid, (C) $\lceil kr/(r-1)\rceil$ independent sets if $M$ is a paving matroid of rank $r$, and (D) $2k-2$ independent sets if $M$ is a gammoid. We extend our results by showing that the existence of a matroid $N$ with $χ(N)\leq 2χ(M)$ implies the existence of a matroid $N'$ with $χ(N')\leq 2χ(M')$ for every truncation $M'$ of $M$.

A minor-closed class of matroids is (strongly) fractal if the number of n-element matroids in the class is dominated by the number of n-element excluded minors. We conjecture that when K is an infinite field, the class of K-representable matroids is strongly fractal. We prove that the class of sparse paving matroids with at most k circuit-hyperplanes is a strongly fractal class when k is at least three. The minor-closure of the class of spikes with at most k circuit-hyperplanes (with k>4) satisfies a strictly weaker condition: the number of 2t-element matroids in the class is dominated by the number of 2t-element excluded minors. However, there are only finitely many excluded minors with ground sets of odd size.

We give a characterization of a matroid to be paving, through its set of hyperplanes and give an algorithm to construct all of them.

We present a new algorithm for computing the volume of an arbitrary matroid base polytope. We provide two applications of this approach: a relation between the volume of the base polytope of a matroid $\M$ and its relaxation $\M'$, and a formula for the volume of an arbitrary sparse paving matroid base polytope.

We prove asymptotic upper bounds on the number of $d$-partitions (paving matroids of fixed rank) and partial Steiner systems (sparse paving matroids of fixed rank), using a mixture of entropy counting, sparse encoding, and the probabilistic method.

The anti-Ramsey number of Erdös, Simonovits and Sós from 1973 has become a classic invariant in Graph Theory. To study this invariant in Matroid Theory, we use a related invariant introduce by Arocha, Bracho and Neumann-Lara. The heterochromatic number $hc(H)$ of a non-empty hypergraph $H$ is the smallest integer $k$ such that for every colouring of the vertices of $H$ with exactly $k$ colours, there is a totally multicoloured hyperedge of $H$. Given a rank-$r$ matroid $M$, there are several hypergraphs associated to the matroid that we can consider. One is $C(M) $, the hypergraph where the points are the elements of the matroid and the hyperedges are the circuits of $M$. The other one is $B(M)$, where here the points are the elements and the hyperedges are the bases of the matroid. We prove that $hc(C(M))$ equals $r+1$ when $M$ is not the free matroid $U_{n,n}$, and that if $M$ is a paving matroid, then $hc(B(M))$ equals $r$. Then we explore the case when the hypergraph has the Hamiltonian circuits of the matroid as hyperedges, if any, for a class of paving matroids. We also extend the trivial observation of Erdös, Simonovits and Sós for the anti-Ramsey number for 3-cycles to 3-circuits in projective geometries over finite fields.

We prove that asymptotically almost all matroids have a trivial automorphism group, or an automorphism group generated by a single transposition. Additionally, we show that asymptotically almost all sparse paving matroids have a trivial automorphism group.

A class of matroids is introduced which is very large as it strictly contains all paving matroids as special cases. As their key feature these split matroids can be studied via techniques from polyhedral geometry. It turns out that the structural properties of the split matroids can be exploited to obtain new results in tropical geometry, especially on the rays of the tropical Grassmannians.

We use counting arguments to show that asymptotically almost all sparse paving matroids contain an $H$-minor, where $H$ falls into one of several simple classes of matroids. Furthermore the result holds for all $H$ in a larger class of matroids, if we restrict to asymptotically almost all sparse paving matroids of fixed rank $r$ (where $r$ is necessarily no smaller than the rank of $H$).

For a matroid $M$ of rank $r$ on $n$ elements, let $b(M)$ denote the fraction of bases of $M$ among the subsets of the ground set with cardinality $r$. We show that $$Ω(1/n)\leq 1-b(M)\leq O(\log(n)^3/n)\text{ as }n\rightarrow \infty$$ for asymptotically almost all matroids $M$ on $n$ elements. We derive that asymptotically almost all matroids on $n$ elements (1) have a $U_{k,2k}$-minor, whenever $k\leq O(\log(n))$, (2) have girth $\geq Ω(\log(n))$, (3) have Tutte connectivity $\geq Ω(\sqrt{\log(n)})$, and (4) do not arise as the truncation of another matroid. Our argument is based on a refined method for writing compressed descriptions of any given matroid, which allows bounding the number of matroids in a class relative to the number of sparse paving matroids.

It has been conjectured that asymptotically almost all matroids are sparse paving, i.e. that $s(n) \sim m(n)$, where $m(n)$ denotes the number of matroids on a fixed groundset of size $n$, and $s(n)$ the number of sparse paving matroids. In an earlier paper, we showed that $\log s(n) \sim \log m(n)$. The bounds that we used for that result were dominated by matroids of rank $r\approx n/2$. In this paper we consider the relation between the number of sparse paving matroids $s(n,r)$ and the number of matroids $m(n,r)$ on a fixed groundset of size $n$ of fixed rank $r$. In particular, we show that $\log s(n,r) \sim \log m(n,r)$ whenever $r\ge 3$, by giving asymptotically matching upper and lower bounds. Our upper bound on $m(n,r)$ relies heavily on the theory of matroid erections as developed by Crapo and Knuth, which we use to encode any matroid as a stack of paving matroids. Our best result is obtained by relating to this stack of paving matroids an antichain that completely determines the matroid. We also obtain that the collection of essential flats and their ranks gives a concise description of matroids.

We discuss a conjecture of Ingleton on excluded minors for base-orderability, and, extending a result he stated, we prove that infinitely many of the matroids that he identified are excluded minors for base-orderability, as well as for the class of gammoids. We prove that a paving matroid is base-orderable if and only if it has no minor that is isomorphic to the cycle matroid of the complete graph on four vertices. For each k that is at least 2, we define the property of k-base-orderability, which lies strictly between base-orderability and strong base-orderability, and we show that k-base-orderable matroids form what Ingleton called a complete class. By generalizing an example of Ingleton, we construct a set of matroids, each of which is an excluded minor for k-base-orderability, but is (k-1)-base-orderable; the union of these sets, over all k, is an infinite set of base-orderable excluded minors for strong base-orderability.