Abstract
We provide a formula for the Ehrhart polynomial of the connected matroid of size n and rank k with the least number of bases, also known as a minimal matroid. We prove that their polytopes are Ehrhart positive and \(h^*\)-real-rooted (and hence unimodal). We prove that the operation of circuit-hyperplane relaxation relates minimal matroids and matroid polytopes subdivisions, and also preserves Ehrhart positivity. We state two conjectures: that indeed all matroids are \(h^*\)-real-rooted, and that the coefficients of the Ehrhart polynomial of a connected matroid of fixed rank and cardinality are bounded by those of the corresponding minimal matroid and the corresponding uniform matroid.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the article [10] De Loera et al. posed the following conjecture:
Conjecture 1.1
The Ehrhart polynomial of every matroid polytope has positive coefficients and the \(h^*\)-vector is unimodal.
The main reason behind this hypothesis, according to the authors, was computational evidence provided by the software LattE [9]. Further evidence in favor of the first part of this conjecture was established recently in [13], where the following result is proven:
Theorem 1.2
The Ehrhart polynomial of the matroid polytopes of every uniform matroid has positive coefficients.
In [8] Castillo and Liu conjectured something stronger regarding Ehrhart positivity: that all generalized permutohedra are Ehrhart positive. The validity of that conjecture implies that all matroids are Ehrhart positive, since it is known that matroid polytopes are a subfamily of generalized permutohedra (see for example [1]).
In this article we are going to support Conjecture 1.1 by proving that a certain infinite family of matroids with nice properties does satisfy that assertion. Moreover, we prove that in this case such matroids have polytopes that are \(h^*\)-real-rooted. This fact motivated further computations on several matroids. We verified using LattE that the following matroids are \(h^*\)-real-rooted.
-
The matroid polytope of every matroid with up to 9 elements.
-
The matroid polytope of every uniform matroid (every hypersimplex) with up to 200 elements.
-
All matroids listed in [10].
-
All snake-matroids [17] of the form \(S(a_1,\ldots ,a_{\ell })\) for \(a_1+\cdots +a_{\ell }\le 22\).
-
All Lattice Path Matroids [4] with up to 12 elements.
Therefore, since in such a case real-rootedness implies log-concavity, and this in turn implies unimodality, we can state a more general conjecture:
Conjecture 1.3
The \(h^*\)-polynomial of every matroid polytope is real-rooted.
Since there are several results regarding real-rootedness of polynomials in combinatorics, see for instance Brändén’s articles [5, 6], and more recent work [7] joint with Solus, Jochemko’s [16], and [2] by Beck et al., it seems that approaching this conjecture from that point of view may allow to use much more machinery.
To begin our discussion, we recall that a matroid M is said to be connected if it cannot be decomposed as a direct sum of smaller matroids. It is known (see for instance [12]) that the dimension of the matroid polytope of a matroid M is \(|M|-c(M)\) where |M| is the cardinality of the ground set of the matroid and c(M) the number of connected components of the matroid (see [21] for undefined terminology).
Also, the following result is a straightforward consequence of the definitions.
Proposition 1.4
If \(M_1\) and \(M_2\) are matroids with matroid polytopes \({\mathscr {P}}_1\) and \({\mathscr {P}}_2\) respectively, then the matroid polytope of the direct sum of matroids \(M_1\oplus M_2\) is the product of polytopes \({\mathscr {P}}_1\times {\mathscr {P}}_2\). In particular, the Ehrhart polynomial of \(M_1\oplus M_2\) is the product of the Ehrhart polynomials of \(M_1\) and \(M_2\).
Therefore, if one proves that every connected matroid is Ehrhart positive, the first part of Conjecture 1.1 follows immediately. Subsequently, for every pair of integers n and k, we denote by \({\mathscr {C}}(k,n)\) the family of all classes of isomorphisms of connected matroids of size n and rank k.
Notice that for every \(M\in {\mathscr {C}}(k,n)\), the set of bases of M, denoted by \({\mathscr {B}}(M)\), has size at most \(\left( {\begin{array}{c}n\\ k\end{array}}\right) \), and equality is attained only when M is isomorphic to the uniform matroid \(U_{k,n}\). Hence, the basis polytope \({\mathscr {P}}(M)\) of a matroid in \({\mathscr {C}}(k,n)\) is contained (as a set) in the hypersimplex \(\Delta _{k,n}:={\mathscr {P}}(U_{k,n})\). In particular, the number of lattice points in every \(t{\mathscr {P}}(M)\) for \(t\ge 0\) is at most the number of lattice points in the dilated hypersimplex \(t\Delta _{k,n}\). This gives place to a natural question: is it true that the coefficients of the Ehrhart polynomial of the hypersimplex are always greater or equal than the corresponding coefficients of another matroid of the same rank and cardinality?
Turning things around, according to a result established independently by Dinolt [11] and Murty [20] in the 70s, there is exactly one element in \({\mathscr {C}}(k,n)\) having the least number of bases. Throughout this article we denote these matroids by \(T_{k,n}\) and following [11] we call them minimal matroids.
If we use the notation \(P(t)\preceq Q(t)\) on polynomials P and Q to denote that for every m the coefficient of degree m in P is less or equal than the coefficient of degree m in Q, we state our conjecture as follows:
Conjecture 1.5
Let us denote by i(M, t) the Ehrhart polynomial of a matroid M. Then if M is a connected matroid of rank k and cardinality n, the following inequality holds:
We were able to establish here the Ehrhart positivity (and the \(h^*\)-real-rootedness) of \(T_{k,n}\), and to provide a manifestly positive formula for the coefficients. Hence, the first inequality of Conjecture 1.5 implies the first assertion of Conjecture 1.1. The Ehrhart positivity of minimal matroids is a clue pointing to the truthfulness of De Loera’s et al. conjecture. So far the only known infinite family of Ehrhart positive matroids of all ranks and cardinalities were uniform matroids [13]. This also provides a new example. The validity of Conjecture 1.5 would provide then a severe restriction for the possible polynomials that may occur as the Ehrhart polynomial of a (connected) matroid.
As we mentioned before, the polytope \({\mathscr {P}}\) of a connected matroid of rank k and cardinality n is contained in the hypersimplex \(\Delta _{k,n}\). In spite of that, it is not true in general that \({\mathscr {P}}\) contains a copy of the matroid polytope of \(T_{k,n}\). Still, our inequalities have been verified for all the matroids on the list we gave above. We state our main results as follows:
Theorem 1.6
Let us denote by \(D_{k,n}(t)\) the Ehrhart polynomial of the matroid \(T_{k,n}\). Then
All coefficients of \(D_{k,n}(t-1)\) are positive, and hence so are the coefficients of \(D_{k,n}(t)\).
Corollary 1.7
The \(h^*\)-polynomial of \({\mathscr {P}}(T_{k,n})\) is given by the formula
Moreover, it is real-rooted and hence the \(h^*\)-vector is log-concave and unimodal.
In the course of our proofs, we give a graphical realization of \(T_{k,n}\) and an inequality characterization of its matroid polytope. Also, we briefly recall (see Sect. 5) that if a matroid has a hyperplane that is also a circuit, one may declare this subset to be a basis. This operation, called relaxation, changes the matroid by adding just one basis. Thus, if we think of the polytope, this operation consists of adding one more vertex. We prove that this construction is essentially gluing the polytope of a minimal matroid, and moreover:
Theorem 1.8
If \(M\in {\mathscr {C}}(k,n)\) is an Ehrhart positive matroid and \({\widetilde{M}}\) is a circuit-hyperplane relaxation of M, then \({{\widetilde{M}}}\) is Ehrhart positive too. Furthermore, the following equality holds:
As a consequence of the preceding theorem we present a way of constructing examples of non-dual and non-isomorphic connected matroids that have the same Ehrhart polynomial and also the same Tutte polynomial, and whose basis polytopes are not combinatorially equivalent.
2 The Matroid Polytope of Minimal Matroids
We start this section by recalling a result established independently in [11] and [20].
Theorem 2.1
If \(M\in {\mathscr {C}}(k,n)\), then \(|{\mathscr {B}}(M)|\ge k(n-k)+1\). Furthermore, there is a unique (up to isomorphism) connected matroid of size n and rank k for which equality is attained.
We proceed to a realization of these minimal matroids. They happen to be indeed graphical matroids.
Proposition 2.2
Let \(T_{k,n}\) be the graph given by a cycle of length \(k+1\) where one edge is replaced with \(n-k\) parallel copies. Then the cycle matroid of \(T_{k,n}\) is connected, has cardinality n, rank k, and exactly \(k(n-k)+1\) bases.
Proof
We will use the name red edges when we refer to the \(n-k\) parallel edges as in the statement. The remaining edges will be called black edges.
Observe that the cycle matroid of \(T_{k,n}\) does indeed trivially satisfy the cardinality and rank conditions: we have n elements in total and the maximal independent sets are of cardinality k. It is also straightforward to verify that this graph is biconnected and hence its cycle matroid is connected.
Finally, since a basis of the cycle matroid corresponds to a spanning tree on the graph, we notice that we have two kinds of spanning trees: those that contain just one red edge, and those that contain none. In the first case, we can choose one among the \(n-k\) red edges, and leave out one among the k black edges. In the second case, no red edges implies that the spanning tree must consist of all black edges. Thus, \((n-k) k+1\) is the total number of spanning trees. \(\square \)
Remark 2.3
It is clear from the minimality property of these matroids that the dual of the minimal matroid \(T_{k,n}\) is isomorphic to \(T_{n-k,n}\).
Let us prove now that \(T_{k,n}\) is a Lattice Path Matroid [4] with a nice structure. Using [17, 18] and all the terminology defined within those articles, we can see that \(T_{k,n}\) coincides with the snake \(S(n-k,k)\). This result is not used in the sequel but we include it here for the sake of completeness.
Proposition 2.4
The minimal matroid \(T_{k,n}\) is isomorphic to the snake matroid \(S(n-k,k)\).
Proof
Recall from [17, 18] that the snake matroid \(S(n-k,k)\) is defined as the lattice path matroid given by upper path \(U = (1,n-k+1, n-k+2, \ldots ,n-1)\) and lower path \(L = (n-k+1, n-k+2,\ldots , n)\). Following [18], one has that the rank of this matroid is exactly k and the cardinality is exactly n. It is a connected matroid by [4, Thm. 3.6]. If we prove that the number of bases of this matroid is \(k(n-k)+1\), then by the uniqueness established in Theorem 2.1 the proof would be complete. To this end, notice that the number of bases of such a matroid is equal to the number of paths P that do not go above the path
and do not go below the path
-
If \({\text {st}}P\) has all zeros among the first \(n-k\) entries, that means that \(P=L\).
-
If \({\text {st}}P\) has exactly one occurrence of a one among the first \(n-k\) entries (it cannot have more occurrences, since otherwise it would be above U), we have \(n-k\) possibilities of where to put that one. Among the remaining entries there has to be exactly one zero, which gives us k possibilities of where to put that. The total count is then \(k(n-k)\) for this case.
So we have exactly \(k(n-k)+1\) bases, as claimed. \(\square \)
Recall that a flat F of a matroid M is a subset such that \({\text {rk}}{(F\cup \{e\})}>{\text {rk}}F\) for all \(e\notin F\). We can use the family \({\mathscr {F}}(M)\) of all the flats of a matroid M to give an inequality description for the basis polytope of M.
Proposition 2.5
Let M be a matroid on the set \(\{1,\ldots ,n\}\). Then \({\mathscr {P}}(M)\) is given by
Proof
See for example [12, Prop. 2.3]. \(\square \)
In all what follows we will use the name \(T_{k,n}\) for the cycle matroid of the graph \(T_{k,n}\). This abuse of notation should not cause confusions.
Let us characterize all flats of the matroid \(T_{k,n}\). Using the notation of the proof of Proposition 2.2, we see that there are two types of flats in \(T_{k,n}\): those that contain a red edge (and hence all of them), and those that consist of only black edges. We label all black edges with the numbers \(\{1,2,\ldots ,k\}\) and the red ones with the numbers \(\{k+1,\ldots ,n\}\).
-
Those flats that contain all red edges, may contain any number \(m\ne k-1\) of black edges. They cannot contain exactly \(k-1\), since adding the remaining edge will not increase the rank, thus contradicting the definition of flat. Hence there are \(2^k - k\) such flats.
-
Those flats that do not contain red edges may contain any proper subset of black edges. Hence there are \(2^k-1\) such flats.
Using Proposition 2.5 we can formulate now a characterization of \({\mathscr {P}}(T_{k,n})\) using \(2^{k+1}-k-1\) inequalities. However, many of these inequalities are superfluous.
Proposition 2.6
The polytope \({\mathscr {P}}(T_{k,n})\) is characterized by
Proof
Recall that flats consisting only of black edges are exactly proper subsets \(F\subsetneq \{1,\ldots ,k\}\), and hence having \({\text {rk}}F=|F|\). According to Proposition 2.2, any of these flats gives an inequality of the form
However, these \(2^{k}-1\) inequalities are implied trivially by those of the form
Similarly, the flats containing all red edges are of the form \(F'\cup \{k+1,\ldots ,n\}\) where \(F'\) is a subset of \(\{1,\ldots ,k\}\) with \(|F'|\ne k-1\). Inequalities in this case are of the form
In particular, taking \(F'=\varnothing \), one has
and all of (2.1) are implied by the previous inequalities \(x_i\le 1\) for \(i=1,\ldots ,k\). \(\square \)
Remark 2.7
Since the matroid polytope is an intersection of several halfspaces that are in bijective correspondence with the flats of M, one may distinguish those flats whose removal changes the polytope and call them flacets (see for instance [12]). Hence, the preceding result gives a characterization of the flacets of \({\mathscr {P}}(T_{k,n})\).
Remark 2.8
As pointed out before, since \(T_{k,n}\) is isomorphic to the snake \(S(k,n-k)\), it is possible to find another characterization of the polytope \({\mathscr {P}}(T_{k,n})\) using the result [18, Thm. 4.7] stating that matroid polytopes of snakes coincide with the order polytopes of zig-zag posets. In this case, \({\mathscr {P}}(T_{k,n})\) coincides with the order polytope of the zig-zag poset \(Z(k,n-k)\) (see [18] for the definition of this poset).
Remark 2.9
As we mentioned in the introduction, it is not true that the polytope of every connected matroid of rank k and cardinality n contains a copy of \({\mathscr {P}}(T_{k,n})\). For example, let M be the cycle matroid of the following graph:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00454-021-00313-4/MediaObjects/454_2021_313_Figa_HTML.png)
This matroid M has eight bases, given that the graph has eight spanning trees. It is connected, has rank 2 and cardinality 5. Also, \(T_{2,5}\) has exactly seven bases. There is no way we can delete one basis from the set \({\mathscr {B}}(M)\) and obtain the set of bases of a matroid isomorphic to \(T_{2,5}\). At the level of polytopes, this means that no subset of seven vertices of \({\mathscr {P}}(M)\) induces a polytope that is a copy of \({\mathscr {P}}(T_{k,n})\).
3 The Ehrhart Polynomial of \(T_{k,n}\)
In this section we give a formula for the Ehrhart polynomial of \({\mathscr {P}}(T_{k,n})\). Our proofs are elementary and consist of several manipulations using combinatorial identities. In the appendix we include the proofs of some results that are used throughout our computations. We remark that alternative proofs are possible using the language of generalized hypergeometric functions and hypergeometric transformations [15].
We start with our first formula for \(D_{k,n}\). An equivalent version of this formula was found in [18, Thm. 3.8].
Theorem 3.1
Let \(D_{k,n}(t)\in {\mathbb {Q}}[t]\) be the Ehrhart polynomial of the matroid \(T_{k,n}\). Then the following equality holds:
Proof
Recall that \(D_{k,n}(t)\) is the number of lattice points inside the dilated polytope \(t{\mathscr {P}}(T_{k,n})\). Using Proposition 2.6, this is
To count the number of elements of this set, we proceed as follows. Let us fix a number \(0\le j \le t\) and set the sum \(\sum _{i=k+1}^n x_i\) to be exactly j. The number of ways to achieve this is exactly the number of ways of putting j indistinguishable balls into \(n-k\) distinguishable boxes, which is just \(\left( {\begin{array}{c}n-k-1+j\\ n-k-1\end{array}}\right) \).
Now we have to count the number of ways of putting \(tk-j\) indistinguishable balls into exactly k distinguishable boxes, each of them having a capacity of t. Using Proposition A.1 from the appendix one has then
Then, by Lemma A.3 from the appendix, one gets the result. \(\square \)
The formula presented in the preceding theorem, and the one of equation (3.1), are useful for computations, but do not show the positivity of the coefficients of \(D_{k,n}\). A first step towards that is to notice the following factorization.
Lemma 3.2
The following identity holds:
Proof
The proof consists only of sum manipulations starting with equation (3.1). Steps on numbered equations are justified below.
where in (3.2) we used Vandermonde’s Identity, in (3.3) the identity
in (3.4) the Hockey-Stick Identity (also known as the parallel summation formula [15]), and in (3.5) just factorial simplifications. \(\square \)
Observe that from this lemma we get that \(D_{k,n}(t)\) can be written as a product of a polynomial with positive coefficients: \(\left( {\begin{array}{c}t+n-k\\ n-k\end{array}}\right) \) and a remaining factor, which we will call \(R_{k,n}(t)\). It is
Hence, if we prove that \(R_{k,n}\) has positive coefficients, then we will be able to conclude the positivity of the coefficients of \(D_{k,n}\). This is done in the following lemma.
Lemma 3.3
Proof
We have the following chain of equalities:
where in (3.7) we used the identity (3.6). On the other hand,
where in (3.9) we used Vandermonde’s Identity, in (3.10) we used again (3.6), and in (3.11) we used the classic Hockey-Stick Identity. Observe that (3.8) and (3.11) are equal, so the result of the statement follows. \(\square \)
Corollary 3.4
The polynomial \(D_{k,n}(t)\) has positive coefficients. If we call \(d_{k,n,m} := [t^m] D_{k,n}(t)\), then it holds
Proof
Equation (3.12) is just a consequence of the preceding lemmas. From this equality, as we said above, the positivity of the coefficients is clear. The computation of \(d_{k,n,m}\) is a straightforward consequence of the fact that \([t^m] a!\left( {\begin{array}{c}t+a\\ a\end{array}}\right) \) is the Stirling number of the first kind \({a+1}\brack {j+1}\). \(\square \)
Remark 3.5
Notice that from our formula (3.12) for \(D_{k,n}\) it is evident that \(D_{k,n}(t-1)\) has nonnegative coefficients.
In [13] the author proved a combinatorial formula for the coefficients of the Ehrhart polynomial of the hypersimplex \(\Delta _{k,n}\), which is the basis polytope of the uniform matroid \(U_{k,n}\). Using that result, we can reformulate Conjecture 1.5 as follows:
Conjecture 3.6
Let M be a connected matroid of rank k and n elements. Let us call i(M, t) its Ehrhart polynomial. Then for every \(m\in \{0,\ldots ,n-1\}\) it holds
where
denoting by A the Eulerian numbers and by W the weighted Lah numbers (defined in [13]).
Remark 3.7
This conjecture may make one fall into the temptation of saying that a matroid with more bases has bigger Ehrhart coefficients. This is not true in general. There are two matroids \(M_1\) and \(M_2\) of rank 3 and cardinality 7 such that \(M_1\) has 29 bases and \(M_2\) has 30 bases, and yet the normalized volume of \(M_1\) is bigger than that of \(M_2\). Their sets of bases are given by
where [7] denotes the set \(\{1,2,3,4,5,6,7\}\) and the binomial coefficient notation stands for all the subsets of cardinality 3. Their Ehrhart polynomials are respectively
4 The \(h^*\)-Polynomial of \(T_{k,n}\)
As a consequence of Theorem 3.1 we have a formula for the \(h^*\)-polynomial of \(T_{k,n}\).
Corollary 4.1
The \(h^*\)-polynomial of the matroid polytope of \(T_{k,n}\) is given by the formula
This polynomial is real-rooted and thus the \(h^*\)-vector is log-concave and unimodal.
Proof
It is a routine computation working with Theorem 3.1, calculating the product \({(1-x)^n h^*(T_{k,n},x)}\), which by definition is the generating function of the Ehrhart polynomial [3]. The real-rootedness of this polynomial is a well-known fact, see for example the Concluding Remarks in [18]. The log-concavity and the unimodality of the \(h^*\)-vector are a consequence of this (see for example [6]). \(\square \)
Although the Ehrhart polynomial of \(T_{k,n}\) is a bit difficult to work with, the \(h^*\)-polynomial permits us to obtain some information of the polytope \({\mathscr {P}}(T_{k,n})\).
Corollary 4.2
The normalized volume of the matroid polytope \({\mathscr {P}}(T_{k,n})\) is given by
Proof
Since the volume is given by \(h^*(T_{n,k},1)\), it suffices to do the computation:
where in the last step we used Vandermonde’s Identity. \(\square \)
5 Relaxations of a Matroid
We will discuss a matroidal operation that behaves nicely with the Ehrhart polynomial of the basis polytope.
Recall that if M is a matroid on the ground set E of rank k and cardinality n, then a hyperplane of M is a coatom in the lattice of flats of M. Equivalently, a flat \(F\subseteq E\) is said to be a hyperplane if \({\text {rk}}F=k-1\). If \(H\subseteq M\) is a hyperplane and a circuit, then one can relax the matroid M, declaring that H is a basis. More precisely:
Proposition 5.1
Let M be a matroid with set of bases \({\mathscr {B}}\) that has a circuit-hyperplane H. Let \(\widetilde{{\mathscr {B}}}={\mathscr {B}}\cup \{H\}\). Then \(\widetilde{{\mathscr {B}}}\) is the set of bases of a matroid \({\widetilde{M}}\) on the same ground set as M.
Proof
See [21, Prop. 1.5.14]. \(\square \)
The operation of declaring a circuit-hyperplane to be a basis is known in the literature by the name of relaxation. Many famous matroids arise as the result of applying this operation to another matroid. For example the Non-Pappus matroid is the result of relaxing a circuit-hyperplane on the Pappus matroid, and analogously the Non-Fano matroid can be obtained by a relaxation of the Fano matroid (for some other examples see [21]). Of course, relaxing a circuit-hyperplane does not alter the rank of the matroid. It also preserves or increases its degree of connectivity (see [21, Prop. 8.4.2]).
Lemma 5.2
Let M be a matroid with set of bases \({\mathscr {B}}\) and a circuit-hyperplane H. Let \({\widetilde{M}}\) be the relaxed matroid. Then, the set of flats \(\widetilde{{\mathscr {F}}}\) of \({\widetilde{M}}\) is given by
where \({\mathscr {F}}\) is the set of flats of M.
Proof
Notice that the rank function \({\widetilde{\mathrm{rk}}}\) of \({\widetilde{M}}\) coincides with the rank function \(\mathrm{rk}\) of M with the only exception of \({\text {rk}}H+1={{\widetilde{\mathrm{rk}}}}H\).
Let F be a flat of \({\widetilde{M}}\) that is not a flat of M. Then \({{\widetilde{\mathrm{rk}}}}{(F\cup e)}>{{\widetilde{\mathrm{rk}}}}F\) for all \(e\notin F\). Since \(F\ne H\), we have that \({{\widetilde{\mathrm{rk}}}}F={\text {rk}}F\). Notice that there exists an e such that \({F\cup e}=H\), since otherwise our inequality holds for all e with \(\mathrm{rk}\) instead of \({\widetilde{\mathrm{rk}}}\) and thus contradicting that F is not a flat of M. Then \(F\subseteq H\) and \(|F|=|H|-1\), as claimed. The reverse inclusion follows from the fact that all those sets are flats of \({\widetilde{M}}\).
\(\square \)
This description of the flats of the relaxed matroid \({\widetilde{M}}\) helps us to characterize the matroid polytope by deleting just one inequality in the description of the polytope of M. Namely, the precise inequality corresponding to the flat H.
Proposition 5.3
Let M be a matroid of rank k and cardinality n with a circuit-hyperplane H. Then the matroid polytope of the relaxation \({\widetilde{M}}\) is given by
Proof
Using the notation of the preceding lemma, it suffices to see that the inequalities that come from flats of \({\widetilde{M}}\) of the form \(F=H\setminus h\) with \(h\in H\) are superfluous. Indeed, since in that case F is independent, the inequality \(\sum _{i\in F}x_i\le \mathrm{rk}F\) is trivially implied by the inequalities \(x_i\le 1\). \(\square \)
The following results state the exact relation between minimal matroids and the operation of circuit-hyperplane relaxation in the language of matroid subdivisions.
Theorem 5.4
Let M be a (connected) matroid of rank k and cardinality n with a circuit-hyperplane H and let \({\widetilde{M}}\) be the relaxed matroid. Then the polytope \(\widetilde{{\mathscr {P}}}\) of \({\widetilde{M}}\) is obtained by stacking the polytope of the minimal matroid \(T_{k,n}\) on a facet of \({\mathscr {P}}\).
Proof
Notice that \(\widetilde{{\mathscr {P}}}\) contains all the vertices of \({\mathscr {P}}\) and an extra vertex corresponding to H. If we use the characterization of the polytope of a matroid (see [14, Thm. 4.1]), we have that H has \(k(n-k)\) adjacent vertices, corresponding to the bases of \({\widetilde{M}}\) (and hence of M) that differ in exactly one element with H. To prove that there are indeed \(k(n-k)\) such bases, let us call \(H=\{h_1,\ldots ,h_k\}\). Since H is a circuit-hyperplane of M, if we call \(\{e_1,\ldots ,e_{n-k}\}\) the elements in the complement of H, we have that
is a basis of M for each \(1\le i\le k\) and each \(1\le j\le n-k\). These correspond to the \(k(n-k)\) vertices adjacent to H in \(\widetilde{{\mathscr {P}}}\). Also, for each i and j we have that \(B_{ij}\) is adjacent with all \(B_{i'j}\) and all \(B_{ij'}\) for \(i'\ne i\) and \(j'\ne j\). All this amounts to say that if we restrict ourselves to the polytope \({\mathscr {Q}}\) given by the \(k(n-k)+1\) vertices given by H and all \(B_{ij}\), it is in fact the polytope of a minimal matroid. \(\square \)
An immediate consequence of the above subdivision is that circuit-hyperplane relaxation behaves nicely with Ehrhart polynomials.
Corollary 5.5
Let M be a connected matroid of rank k and cardinality n with a circuit-hyperplane H. Let i(M, t) and \(i({\widetilde{M}},t)\) denote the Ehrhart polynomials of M and the corresponding relaxation. The following equality holds:
In particular, if M is Ehrhart positive so is \({\widetilde{M}}\).
Proof
Using the notation of the proof of the preceding theorem, we know that
and that \({\mathscr {P}}\cap {\mathscr {Q}}\) is a facet of \({\mathscr {P}}\) and \({\mathscr {Q}}\). So an inclusion-exclusion argument reveals now that
where S(t) is the Ehrhart polynomial of the facet of \({\mathscr {Q}}\) consisting of all the \(k(n-k)\) bases of \(T_{k,n}\) containing a red edge. It is evident from Proposition 2.6 that this facet of \({\mathscr {Q}}\) can be interpreted as
and then the number of integer points in a dilation by the factor t of this facet is given by
from which, using the same balls and boxes reasoning, exactly as in the proof of Theorem 3.1, we see that
and we have from (3.1) that \(D_{k,n}(t)-S(t)\) is equal to \(D_{k,n}(t-1)\). We conclude then the Ehrhart positivity of \({\widetilde{M}}\) given that i(M, t) is assumed to have positive coefficients, recalling Remark 3.5. \(\square \)
Remark 5.6
In this case we have that adding a vertex to our matroid polytope does increase Ehrhart coefficients, cf. Remark 3.7.
Remark 5.7
It is worth noting that the case of the presence of a circuit-hyperplane is the only scenario in which one can add just one basis and preserve the matroid structure [19]. To be precise, if \({\mathscr {B}}\) is the set of bases of a matroid M and H is a subset such that \({{\mathscr {B}}\sqcup \{H\}}\) is also the set of bases of a matroid, this means that H was originally a circuit-hyperplane of M. For a proof of this result one can also read [23, Lem. 6].
Of course, one has an equivalent version of the above result in the language of \(h^*\)-polynomials.
Corollary 5.8
If M is a matroid of rank k and cardinality n with a circuit-hyperplane H and \({\widetilde{M}}\) is the relaxed matroid, then
Proof
The result follows by using the definition of the \(h^*\)-polynomial as the numerator of the generating function of the Ehrhart polynomial. \(\square \)
It seems likely that if there is any hope of giving a combinatorial interpretation of the coefficients of the \(h^*\)-vector of a matroid, then the preceding corollary might help to build an intuition of what these elements are counting.
Remark 5.9
Now we can construct examples of non-isomorphic and non-dual connected matroids that have the same Ehrhart polynomial and the same Tutte polynomial. Notice that if M has a circuit-hyperplane H and \({\widetilde{M}}\) is the relaxation, then
where \(T_M\) and \(T_{{\widetilde{M}}}\) denote the Tutte polynomials (recall that the rank function coincides everywhere except in H, so using the definition directly yields (5.1)). Hence, picking two non-isomorphic matroids that can be relaxed to the same matroid, one may construct such examples.
For instance, consider the matroids \(M_1\) and \(M_2\) of rank 3 and cardinality 7 whose sets of bases consist of \({\mathscr {B}}_1\) and \({\mathscr {B}}_2\) given by
They can be seen to be indeed matroids that are not isomorphic, that can be relaxed twice to obtain the uniform matroid \(U_{3,7}\), and hence have the same Ehrhart and the same Tutte polynomials. Yet, their polytopes are not even combinatorially equivalent, since for instance their f-vectors are different:
References
Ardila, F., Benedetti, C., Doker, J.: Matroid polytopes and their volumes. Discrete Comput. Geom. 43(4), 841–854 (2010)
Beck, M., Jochemko, K., McCullough, E.: \(h^\ast \)-polynomials of zonotopes. Trans. Am. Math. Soc. 371(3), 2021–2042 (2019)
Beck, M., Robins, S.: Computing the Continuous Discretely. Integer-Point Enumeration in Polyhedra. Undergraduate Texts in Mathematics. Springer, New York (2015)
Bonin, J., de Mier, A., Noy, M.: Lattice path matroids: enumerative aspects and Tutte polynomials. J. Comb. Theory Ser. A 104(1), 63–94 (2003)
Brändén, P.: On operators on polynomials preserving real-rootedness and the Neggers–Stanley conjecture. J. Algebr. Comb. 20(2), 119–130 (2004)
Brändén, P.: Unimodality, log-concavity, real-rootedness and beyond. In: Handbook of Enumerative Combinatorics. Discrete Math. Appl. (Boca Raton), pp. 437–483. CRC Press, Boca Raton (2015)
Brändén, P., Solus, L.: Symmetric decompositions and real-rootedness. Int. Math. Res. Not. IMRN 2021(10), 7764–7798 (2021)
Castillo, F., Liu, F.: Berline –Vergne valuation and generalized permutohedra. Discrete Comput. Geom. 60(4), 885–908 (2018)
De Loera, J.A., Haws, D., Hemmecke, R., Huggins, P., Tauzer, J., Yoshida, R.: A user’s guide for LattE (2003). https://www.math.ucdavis.edu/~latte
De Loera, J.A., Haws, D.C., Köppe, M.: Ehrhart polynomials of matroid polytopes and polymatroids. Discrete Comput. Geom. 42(4), 670–702 (2009)
Dinolt, G.W.: An extremal problem for non-separable matroids. In: Théorie des Matroïdes (Brest 1970). Lecture Notes in Math., vol. 211, pp. 31–49. Springer, Berlin (1971)
Feichtner, E.M., Sturmfels, B.: Matroid polytopes, nested sets and Bergman fans. Port. Math. (N.S.) 62(4), 437–468 (2005)
Ferroni, L.: Hypersimplices are Ehrhart positive. J. Comb. Theory Ser. A 178, # 105365 (2021)
Gel’fand, I.M., Goresky, R.M., MacPherson, R.D., Serganova, V.V.: Combinatorial geometries, convex polyhedra, and Schubert cells. Adv. Math. 63(3), 301–316 (1987)
Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics. Addison-Wesley, Reading (1994)
Jochemko, K.: On the real-rootedness of the Veronese construction for rational formal power series. Int. Math. Res. Not. IMRN 2018(15), 4780–4798 (2018)
Knauer, K., Martínez-Sandoval, L., Ramírez Alfonsín, J.L.: A Tutte polynomial inequality for lattice path matroids. Adv. Appl. Math. 94, 23–38 (2018)
Knauer, K., Martínez-Sandoval, L., Ramírez Alfonsín, J.L.: On lattice path matroid polytopes: integer points and Ehrhart polynomial. Discrete Comput. Geom. 60(3), 698–719 (2018)
Mills, A.D.: On matroids with many common bases. Discrete Math. 203(1–3), 195–205 (1999)
Murty, U.S.R.: On the number of bases of a matroid. In: 2nd Louisiana Conference on Combinatorics, Graph Theory and Computing (Baton Rouge 1971), pp. 387–410. Louisiana State University, Baton Rouge (1971)
Oxley, J.G.: Matroid Theory. Oxford Science Publications, Oxford University Press, New York (1992)
Székely, L.A.: Common origin of cubic binomial identities; a generalization of Surányi’s proof on Le Jen Shoo’s formula. J. Comb. Theory Ser. A 40(1), 171–174 (1985)
Truemper, K.: Alpha-balanced graphs and matrices and \({\rm GF}(3)\)-representability of matroids. J. Comb. Theory Ser. B 32(2), 112–139 (1982)
Acknowledgements
The author wants to thank his Ph.D. supervisor, Prof. Luca Moci, for the careful reading and helpful comments to improve many aspects of this article, and Kolja Knauer for several useful comments regarding snake matroids.
Funding
Open access funding provided by Alma Mater Studiorum – Università di Bologna within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge Kenneth Clarkson
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author is supported by the Marie Sklodowska-Curie PhD fellowship as part of the program INdAM-DP-COFUND-2015, Grant Number 713485.
Appendix A
Appendix A
We have collected in this final section some combinatorial results that are used throughout the proofs of our formulas for \(D_{k,n}\).
Proposition A.1
Let n and \(c_1\ge \cdots \ge c_k\) be nonnegative integers such that \(n\ge \sum _{i=1}^{k-1} c_i\). The number of ways N of putting exactly n indistinguishable balls into k distinguishable boxes of capacities \(c_1,c_2,\ldots ,c_k\) is given by
Proof
Note that instead of thinking of putting balls into a box, we can think of leaving free space in a box. The sum of free spaces in any possible distribution will be exactly \(\sum _{i=1}^k c_i-n\). Thus we have to assign free spaces \(f_1,\ldots ,f_k\) to every box in such a way that their sum is
and we are given the constraint \(0\le f_i\le c_i\), of which the inequalities \(f_i\le c_i\) are superfluous since the constraints \(f_i\ge 0\) for all i (it is, all of them) already imply that
Hence we just have to count the number of ways to put \(\sum _{i=1}^k c_i - n\) indistinguishable balls into k distinguishable boxes, which gives the desired result. \(\square \)
Lemma A.2
(Surányi’s Identity)
Proof
See [22, Cor. 2]. \(\square \)
Lemma A.3
(Double Hockey-Stick Identity)
Proof
We proceed using Surányi’s Identity:
where in the last step we used the classic Hockey-Stick Identity. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ferroni, L. On the Ehrhart Polynomial of Minimal Matroids. Discrete Comput Geom 68, 255–273 (2022). https://doi.org/10.1007/s00454-021-00313-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-021-00313-4