Access the full text.
Sign up today, get DeepDyve free for 14 days.
LUIS FERRONI Abstract. We consider the Ehrhart polynomial of hypersimplices. It is proved that these polynomials have positive coeﬃcients and we give a combinatorial for- mula for each of them. This settles a problem posed by Stanley and also proves that uniform matroids are Ehrhart positive, an important and yet unsolved particular case of a conjecture posed by De Loera et al. To this end, we introduce a new fam- ily of numbers that we call weighted Lah numbers and study some of their properties. Keywords. Hypersimplices, Ehrhart polynomials, Polytopes, Uniform Matroids. 1. Introduction Let us ﬁx two positive integers n and k with k ≤ n. The (k, n)-hypersimplex, denoted by ∆ is deﬁned by: k,n ( ) ∆ := x ∈ [0, 1] : x = k . k,n i i=1 This polytope appears naturally in several contexts within geometric and algebraic combinatorics. For example, it can be seen as a weight polytope of the fundamental representation of the general linear groups GL(n) or as the basis polytope of the uniform matroid U . k,n The basis polytope (also known as the matroid polytope ) of a matroid is deﬁned as the convex hull of the indicator functions of its bases [12], [26]. It encodes all the infor- mation about the matroid, hence providing a geometric point of view on matroidal no- tions and problems. These polytopes are relevant objects in algebraic combinatorics, toric geometry, combinatorial optimization, and as of today a matter of extensive re- search [1], [7], [10], [6], [17]. The uniform matroid U is in particular deﬁned as the k,n matroid on the set {1, 2, . . . , n} having set of bases B := {B ⊆ {1, . . . , n} : |B| = k} and, as we said above, its basis polytope coincides with the hypersimplex ∆ . k,n An important invariant of a polytope P whose vertices lie in Z , is the so-called Ehrhart polynomial [9], [2]. It is deﬁned as the polynomial p ∈ Q[t] such that p(t) = |Z ∩ tP| for t ∈ Z , being tP the dilation of P with respect to the ori- ≥0 gin by the factor t. In particular, since the basis polytope of a matroid has vertices with 0/1 coordinates, we can consider its Ehrhart polynomial, which we will some- times refer as the Ehrhart Polynomial of the matroid itself. In the paper [6, Conjecture 2(B)], the authors posed the following conjecture: 2010 Mathematics Subject Classiﬁcation. 05B35, 52B20, 11B73. The author is supported by the Marie Sklo dowska-Curie PhD fellowship as part of the program INdAM-DP-COFUND-2015. arXiv:1911.10146v2 [math.CO] 12 Nov 2020 2 L. FERRONI Conjecture 1.1 (De Loera et al). Let P(M ) be the basis polytope of a matroid M . Then the coeﬃcients of the Ehrhart polynomial of P(M ) are positive. Also in [6, Lemma 29] the authors proved that hypersimplices ∆ have an Ehrhart 2,n polynomial with positive coeﬃcients. Their proof is based on inequalities, using a result of Katzman [15] regarding a formula for the Ehrhart polynomial of hypersim- plices, found in the context of algebras of Veronese type. Also, as a corollary of a result in [20] regarding the complex roots of the Ehrhart polynomial of ∆ one can 3,n also conclude the positivity of the Ehrhart coeﬃcients for this particular case. We will restate Katzman’s formula in the following section, prove it using generat- ing functions and exploit it to prove the main result of this article. Theorem 1.2. The coeﬃcients of the Ehrhart polynomial of all hypersimplices ∆ k,n are positive. Moreover, we are going to introduce the notion of weighted Lah number and to provide a combinatorial formula for each coeﬃcient in terms of them. We thus settle an open problem posed in Richard Stanley’s book [24, Ch. 4, Problem 62e]. It is worth noting that according to [22] the calculation of the principal coeﬃcient of these polynomials (it is, the normalized volume of the hypersimplex) dates back to Laplace, though apparently he did not do it explicitly. The principal coeﬃcients are what in the literature are called Eulerian numbers and several combinatorial interpre- tations exist for them [24, 13]. Thanks to some properties of the Ehrhart polynomials and the fact that the facets of a hypersimplex are also hypersimplices, there was also a combinatorial interpretation of the second highest coeﬃcient in terms of Eulerian numbers. However the rest of them remained elusive. More recently, independent proofs of the positivity of the linear coeﬃcient of the Ehrhart polynomial of all hy- persimplices were found in [5] and [14]. In the paper [4] the Conjecture 1.1 has been strengthened and reformulated in a more general setting, asserting that indeed all generalized permutohedra [21] are Ehrhart positive. Since it is known [1] that this family contains all matroid polytopes, this conjecture is indeed stronger. Also, in [19] there is a survey on the families of polytopes that are known to be Ehrhart positive, and those that are conjectured to also have this property. The Ehrhart h -polynomial [2, 23] of hypersimplices is itself a rich object of study. For example, the unimodality of its coeﬃcients is still an open problem [3]. Recently the author conjectured that the h -polynomial of all matroid polytopes (in particular of hypersimplices) are real-rooted [11]. Some combinatorial interpretations for the coeﬃcients of the h -polynomials of hypersimplices were found in [18], [8] and [16]. 2. The Ehrhart Polynomial of Hypersimplices We will base our computations on a formula found by Katzman in [15, Corollary 2.2] for E . We will provide a generating-function based proof. k,n Theorem 2.1. The Ehrhart Polynomial E (t) of the hypersimplex ∆ is given by: k,n k,n k−1 n (k − j)t + n − 1 − j (2.1) E (t) = (−1) . k,n j n − 1 j=0 HYPERSIMPLICES ARE EHRHART POSITIVE 3 It is not at all apparent from this formula that the coeﬃcients of the polynomial E are positive. Indeed the alternating factor (−1) and the fact that the variable k,n t appears inside a binomial coeﬃcient which in turn for j > 1 is a polynomial with some negative coeﬃcients do not permit us to see this fact directly. Before proving Theorem 2.1 we establish a useful Lemma. kt Lemma 2.2. If 1 ≤ k ≤ n− 1 and t ≥ 0, then the coeﬃcient of x in the polynomial 2 t n (1 + x + x + . . . + x ) is exactly E (t). k,n Proof. By deﬁnition, the polynomial E (t) counts the number of elements in the set k,n t∆ ∩ Z . This set can be rewritten as: k,n ( ) y ∈ {0, 1, . . ., t} : y = kt . i=1 kt But notice that the coeﬃcient of x in the product 2 t n 2 t 2 t (1 + x + x + . . . + x ) = (1 + x + x + . . . + x ) · . . . · (1 + x + x + . . . + x ) | {z } n times is exactly the number of ways of choosing a sequence of n elements in the set {0, 1, . . . , t} in such a way that their sum is exactly kt. That is exactly the car- dinality of our set. Recall that if one has a (formal) power series f (x) := a x , it is customary j=0 to use the notation [x ]f (x) := a . Proof of Theorem 2.1. We will use generating functions to compute the coeﬃcient of kt t n x in (1 + x + . . . + x ) and then we will use the preceding Lemma. Notice that: t+1 1 − x kt t kt [x ] 1 + x + . . . + x = [x ] 1 − x kt t+1 n = [x ] (1 − x ) · (1 − x) P P n ∞ n 1 n−1+j t+1 n j (t+1)j j So writing (1 − x ) = (−1) x and = x , the j=0 j=0 j (1−x) n−1 kt coeﬃcient of x in this product can be computed as a convolution: k−1 n n − 1 + (k − j)t − j (−1) , j n − 1 j=0 (t+1)j where the sum ends in k − 1 since in the ﬁrst of our two formal series we have x kt and we are computing the coeﬃcient of x . Also, the second binomial coeﬃcient in our expression comes from the fact that (t + 1)j + ((k − j)t − j) = kt. 3. Weighted Lah Numbers In this section we develop some useful tools to prove Theorem 1.2. We recall the deﬁnition of Lah numbers (also known as Stirling Numbers of the 3rd kind ). Deﬁnition 3.1. The Lah number L(n, m) is deﬁned as the number of ways of parti- tioning the set {1, 2, . . . , n} in exactly m linearly ordered blocks. We will denote the set of all such partitions by L(n, m). 4 L. FERRONI Example 3.2. L(3, 2) = 6 because we have the following possible partitions: {(1, 2), (3)}, {(2, 1), (3)}, {(1, 3), (2)}, {(3, 1), (2)}, {(2, 3), (1)}, {(3, 2), (1)}. If π is a partition of {1, . . . , n} in m linearly ordered blocks, for any of these blocks b, we will write b ∈ π. So, for example (2, 3) ∈ {(2, 3), (1)}. Also, we will use the notation |b| to denote the number of elements in b. n! n−1 Remark 3.3. We have the equality L(n, m) = . This can be proven easily by m! m−1 a combinatorial argument as follows. Order the n numbers on the set in any fashion. To get the partition we can put m − 1 divisions in any of the n − 1 spaces between two consecutive numbers. Then divide by m!, the number of ways of ordering all the blocks. There already exist some generalizations of these numbers [25]. We will introduce a new one that we will call weighted Lah numbers. Deﬁnition 3.4. Let π be a partition of the set {1, . . . , n} into m linearly ordered blocks. We deﬁne the weight of π by the following formula: w(π) := w(b), b∈π where w(b) is the number of elements in b that are smaller (as positive integers) than the ﬁrst element in b. Example 3.5. Among the 6 partitions that we have seen that exist of {1, 2, 3} into 2 blocks, we have: w({(1, 2), (3)}) = 0 + 0 = 0, w({(2, 1), (3)}) = 1 + 0 = 1, w({(1, 3), (2)}) = 0 + 0 = 0, w({(3, 1), (2)}) = 1 + 0 = 1, w({(2, 3), (1)}) = 0 + 0 = 0, w({(3, 2), (1)}) = 1 + 0 = 1. Note that there are exactly 3 of these partitions of weight 0 and exactly 3 of weight Deﬁnition 3.6. We deﬁne the weighted Lah Numbers W (ℓ, n, m) as the number of partitions of weight ℓ of {1, . . . , n} into exactly m linearly ordered blocks. Example 3.7. Rephrasing the conclusion of the Example 3.5, we have that W (0, 3, 2) = 3 and W (1, 3, 2) = 3. The set of all partitions of {1, . . . , n} into m linearly ordered blocks and weight ℓ will be denoted by W(ℓ, n, m). Remark 3.8. Observe that W (ℓ, n, m) 6= 0 only for 0 ≤ ℓ ≤ n − m. This is because the maximum weight can be obtained by ordering every block in such a way that its maximum element is on the ﬁrst position. Also, we have the following: W (0, n, m) = where the brackets denote the (unsigned) Stirling numbers of the ﬁrst kind [13]. This can be proven combinatorially by noticing that for every permutation with exactly m cycles, we can present it in a unique way as a partition of {1, . . . , n} into m linearly ordered blocks having every block its minimum element in the ﬁrst position. HYPERSIMPLICES ARE EHRHART POSITIVE 5 1 120 120 120 120 120 120 1 24 24 24 24 24 2 274 404 444 404 274 2 50 70 70 50 3 225 375 375 225 3 35 50 35 4 85 130 85 4 10 10 5 15 15 5 1 6 1 0 1 2 3 4 0 1 2 3 4 5 Table 1. W (ℓ, 5, m) Table 2. W (ℓ, 6, m) Remark 3.9. We have symmetry, namely: W (ℓ, n, m) = W (n − m − ℓ, n, m). This equality is a consequence of the fact that for π ∈ W(ℓ, n, m) we can associate bijectively an element π ∈ W(n − m − ℓ, n, m) as follows. In π interchange the positions of 1 and n, of 2 and n − 1, and so on. What one gets is exactly a partition of weight n − m − ℓ. It is possible to obtain many recurrences to compute W (ℓ, n, m) recursively. For instance we include the following: Proposition 3.10. The following recurrence holds for n, m ≥ 2: n−1 n − 1 W (ℓ, n, m) = (n − 1)W (ℓ − 1, n − 1, m) + j!W (ℓ, n − 1 − j, m − 1). j=0 Proof. Every π ∈ W(ℓ, n, m) has the number 1 inside a block. If this number is not the ﬁrst element of its block, this means that if we remove it from π we end up getting an element of W(ℓ− 1, n− 1, m) (with every element shifted by one). Analogously, we can pick an element of W(ℓ − 1, n− 1, m) (which we think of as having every element shifted by one) and reconstruct an element of W(ℓ, n, m) by adjoining the element 1 in such a way that it is not the ﬁrst element of a block. There are n − 1 possibilities of where to put the number 1 to get an element of W(ℓ, n, m). So we get the ﬁrst summand. The remaining cases to consider are those on which 1 is the ﬁrst element of its block. In this case we choose j elements to be in this block, and in every possible order of these elements, the block will always have weight 0. So the remaining n−j−1 elements will have to be arranged in m − 1 blocks of total weight ℓ. Remark 3.11. The last proposition tells us that if we make the subtraction W (ℓ, n, m)− (n − 1)W (ℓ, n − 1, m) we end up getting an expression for which the sum cancels out to give just the recurrence: W (ℓ, n, m) = (n − 1)W (ℓ − 1, n − 1, m) + (n − 1)W (ℓ, n − 1, m) + W (ℓ, n − 1, m − 1) − (n − 1)(n − 2)W (ℓ − 1, n − 2, m). We establish now a bivariate generating function for W (ℓ, n, m) for a ﬁxed m. Theorem 3.12. We have the equality: n! n ℓ 1 1 1 W (ℓ, n, m) = [x s ] log − log (1−s) 1−x 1−sx m! 6 L. FERRONI Proof. Notice that it suﬃces to prove that: n! x n ℓ k−1 (3.1) W (ℓ, n, m) = [x s ] (1 + s + . . . + s ) . m! k k=1 This is because using the formula for the geometric series, the sum in the parentheses P P k ∞ ∞ (sx) 1 x can be rewritten as − which in turn is just k=1 k=1 1−s k k 1 1 1 log − log 1 − s 1 − x 1 − sx which gives the desired result. Now, to prove (3.1) we proceed as follows. First notice that: X X Y (3.2) m!W (ℓ, n, m) = (|b | − 1)! i=1 πe (j ,...,j )∈Z 1 m j +...+j =ℓ 0≤j <|b | i i where the ﬁrst sum runs over all the orderings πe = (b , . . . , b ) of all elements π = 1 m {b , . . . , b } ∈ L(n, m). This comes from the fact that for every such πe, if we choose 1 m how much weight to assign to each of the blocks, each block has its ﬁrst element determined, and the remaining elements can be reordered in any fashion. Of course, this way we count every element of W(ℓ, n, m) exactly m! times. Taking out the product out of the second sum above, we get: ! ( ) m m X Y X m!W (ℓ, n, m) = (|b | − 1)! (j , . . . , j ) ∈ Z : j = ℓ, 0 ≤ j < |b | i 1 m i i i πe i=1 i=1 |b |−1 m m i X Y Y X ℓ j = (|b | − 1)! [s ] s i=1 i=1 j=0 πe |b |−1 m i X Y X ℓ j = [s ] (|b | − 1)! s πe i=1 j=0 Notice that the term inside the last sum does not take into account the whole element πe = (b , . . . , b ), but only the size |b | of each block. Thus, if we ﬁx the sizes 1 m i |b |, . . . , |b | of the blocks, we can recover exactly how many elements πe have blocks 1 m of such sizes. Using multinomial coeﬃcients, and abusing notation to write b = |b |: i i m b −1 X Y X ℓ j m!W (ℓ, n, m) = [s ] (b − 1)! s b , . . . , b 1 m i=1 j=0 (b ,...,b )∈Z 1 m b +...+b =n b ≥0 m b −1 X Y X = [s ] n! s i=1 j=0 (b ,...,b )∈Z 1 m b +...+b =n 1 m b ≥0 ℓ n k−1 = [s x ]n! (1 + s + . . . + s ) , k=1 which proves (3.1). HYPERSIMPLICES ARE EHRHART POSITIVE 7 Corollary 3.13. For all ℓ, n, m one has: ℓ n−m X X n m + ℓ − j − 1 j n − j i+j W (ℓ, n, m) = (−1) . j m − 1 j − i m + i − j j=0 i=0 Proof. From the exponential generating function of the Stirling numbers of the ﬁrst kind [13, pg. 351] one has: α α! α 1 = [x ] log . 1−x β β! Now, using Theorem 3.12, we have the chain of equalities: n! n ℓ 1 1 1 W (ℓ, n, m) = [x s ] log − log (1−s) 1−x 1−sx m! n! 1 m m−k k n ℓ k 1 1 = [x s ] (−1) log log 1−x 1−sx m! (1 − s) k k=0 m−k k 1 1 log log 1−x 1−sx n ℓ k = n![x s ] (−1) (1 − s) (m − k)! k! k=0 ! !! m−k k m n 1 1 X X log log 1−x 1−sx ℓ k n−j j = n![s ] (−1) [x ] [x ] (1 − s) (m − k)! k! k=0 j=0 ! !! m−k k m n−m+k 1 1 X X log log 1−x 1−sx ℓ k n−j j = n![s ] (−1) [x ] [x ] (1 − s) (m − k)! k! k=0 j=k m n−m+k X X 1 1 n − j 1 j ℓ k j = n![s ] (−1) s (1 − s) (n − j)! m − k j! k k=0 j=k m n−m+k X X 1 n n − j j ℓ k j = [s ] (−1) s (1 − s) j m − k k k=0 j=k n j X X 1 n n − j j ℓ k j = [s ] (−1) s (1 − s) j m − k k j=0 k=j−m+n n n−m X X 1 n n − j j ℓ j−i j = [s ] (−1) s (1 − s) j m + i − j j − i j=0 i=0 ℓ n−m X X n m − 1 + ℓ − j n − j j j−i = (−1) j m − 1 m + i − j j − i j=0 i=0 where in the ﬁfth equation we changed the limits from 0 ≤ j ≤ n to k ≤ j ≤ n−m+k given that the coeﬃcients of the ﬁrst factor inside the sum are zero for degree n−j < m − k and the coeﬃcients of the second factor are zero for j < k. 4. The Proof of Theorem 1.2 For 0 ≤ m ≤ n− 1, we will call e the coeﬃcient of t in the polynomial E (t). k,n,m k,n Our aim is to show that all these e are positive. k,n,m 8 L. FERRONI For a, b, u integer numbers such that u ≥ 0, we will denote P the sum of all a,b possible products of u diﬀerent integer numbers chosen in the interval of integers [a, b]. This is: P := x · . . . · x . 1 u a,b a≤x <...<x ≤b 1 u It is easy to see that for a = 1 one gets: b + 1 (4.1) P = , 1,b b + 1 − u where the brackets denote the (unsigned) Stirling numbers of the ﬁrst kind [24]. Lemma 4.1. The following formula holds: k−1 n−m−1 X X 1 n n − j j i+j m e = (−1) (k − j) . k,n,m (n − 1)! j m + 1 + i − j j − i j=0 i=0 Proof. We will work with the formula (2.1). Observe that: (k − j)t + n − 1 − j 1 m m [t ] = [t ] (((k − j)t + n − 1 − j) · . . . · ((k − j)t + 1 − j)) n − 1 (n − 1)! m n−1−m = (k − j) P , 1−j,n−1−j (n − 1)! Observe that one has the following equality: n−m−1 n−1−m i n−1−m−i P = P P 1−j,n−1−j 1−j,−1 1,n−1−j i=0 n−m−1 i i n−1−m−i = (−1) P P . 1,j−1 1,n−1−j i=0 Therefore, using (4.1) we have that n−m−1 j n − j n−m−1 i P = (−1) , 1−j,n−1−j j − i m + 1 + i − j i=0 so, in particular, n−m−1 (k − j)t + n − 1 − j 1 j n − j m i m [t ] = (−1) (k − j) . n − 1 (n − 1)! j − i m + 1 + i − j i=0 The result follows easily from (2.1) and this last identity. Remark 4.2. If we use the shorter name n−m−1 j n − j f := (−1) , j,n,m j − i m + 1 + i − j i=0 we can rewrite the formula of Lemma 4.1 as follows: 1 n j m (4.2) e = (−1) (k − j) f , k,n,m j,n,m (n − 1)! j j=0 where we changed the upper limit of the sum since, when j = k, we are adding 0. HYPERSIMPLICES ARE EHRHART POSITIVE 9 Now we are ready to state and prove the result from which our main theorem follows. Theorem 4.3. For all k, n, m as above, we have that: k−1 e = W (ℓ, n, m + 1)A(m, k − ℓ − 1), k,n,m (n − 1)! ℓ=0 where A(m, k − ℓ − 1) stands for the Eulerian numbers [13, 24]. In particular e k,n,m is positive. Proof. From equation (4.2) we can see that: e = [x ]F (x) · G (x), k,n,m n,m m (n − 1)! P P n ∞ j j m j where F (x) := (−1) f x and G (x) := j x . It is a well known n,m j,n,m m j=0 j j=0 consequence of the Worpitzky Identity [13] that: j+1 G (x) = A(m, j)x , m+1 (1 − x) j=0 where A(m, j) is an Eulerian number (the number of permutations of m elements with exactly j descents). So we have that the product F (x) · G (x) is equal to: n,m m j+1 F (x) A(m, j)x . n,m m+1 (1 − x) j=0 We compute the product of the ﬁrst two factors. Let: C (x) := F (x), n,m n,m m+1 (1 − x) and observe that: ℓ ℓ [x ]C (x) = [x ] F (x) n,m n,m m+1 (1 − x) n m + ℓ − j = (−1) f j,n,m j m j=0 ℓ n−m−1 X X n m + ℓ − j j n − j i+j = (−1) j m j − i m + 1 + i − j j=0 i=0 = W (ℓ, n, m + 1). where in the last step we used Corollary 3.13. In particular C (x) is a polynomial, n,m j+1 and the result now follows computing the product C (x) · A(m, j)x to get n,m j=0 the identity of the statement. Remark 4.4. For small values of n and m, the author at ﬁrst observed that the series C as deﬁned in the above proof always happened to be a polynomial with n,m positive coeﬃcients, and that C (1) = L(n, m + 1). Then he tried to see how to n,m deﬁne a statistic on the set L(n, m) in such a way that all these coeﬃcients were captured, and it turned out that experimenting numerically the statistic deﬁned as 10 L. FERRONI the weight of a linearly ordered partition did work for all small cases. The general proof was then carried out. 5. Acknowledgments The author wants to thank Davide Bolognini, Luca Moci and Matthias Beck for the useful suggestions and careful reading of the ﬁrst draft, and Mat´ ıas Hunicken for writing a part of the program that the author used to come up with the idea of deﬁning the numbers W (ℓ, n, m). Also he wants to thank the reviewers of the article for the remarks and suggestions made to improve it. The author is supported by the Marie Sklo dowska-Curie PhD fellowship as part of the program INdAM-DP- COFUND-2015. References [1] Federico Ardila, Carolina Benedetti, and Jeﬀrey Doker. Matroid polytopes and their volumes. Discrete Comput. Geom., 43(4):841–854, 2010. [2] Matthias Beck and Sinai Robins. Computing the Continuous Discretely: Integer-Point Enumer- ation in Polyhedra. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 2015. [3] Benjamin Braun and Liam Solus. r-Stable hypersimplices. Journal of Combinatorial Theory, Series A, 157:349 – 388, 2018. [4] Federico Castillo and Fu Liu. Berline-Vergne valuation and generalized permutohedra. Discrete Comput. Geom., 60(4):885–908, 2018. [5] Federico Castillo and Fu Liu. On the Todd class of the permutohedral variety. Algebraic Com- binatorics (to appear), 2020. [6] Jesu ´s A. De Loera, David C. Haws, and Matthias K¨ oppe. Ehrhart polynomials of matroid polytopes and polymatroids. Discrete Comput. Geom., 42(4):670–702, 2009. [7] Harm Derksen and Alex Fink. Valuative invariants for polymatroids. Adv. Math., 225(4):1840– 1892, 2010. [8] Nick Early. Conjectures for Ehrhart h -vectors of hypersimplices and dilated simplices, 2017. [9] Eug` ene Ehrhart. Sur les poly` edres rationnels homoth´ etiques ` a n dimensions. C. R. Acad. Sci. Paris, 254:616–618, 1962. [10] Eva Maria Feichtner and Bernd Sturmfels. Matroid polytopes, nested sets and Bergman fans. Port. Math. (N.S.), 62(4):437–468, 2005. [11] Luis Ferroni. On the Ehrhart polynomial of minimal matroids, 2020. [12] I. M. Gelfand, R. M. Goresky, R. D. MacPherson, and V. V. Serganova. Combinatorial geome- tries, convex polyhedra, and Schubert cells. Adv. in Math., 63(3):301–316, 1987. [13] Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Concrete mathematics. Addison- Wesley Publishing Company, Reading, MA, Second edition, 1994. A foundation for computer science. [14] Katharina Jochemko and Mohan Ravichandran. Generalized permutahedra: Minkowski linear functionals and Ehrhart positivity, 2019. [15] Mordechai Katzman. The Hilbert series of algebras of the Veronese type. Comm. Algebra, 33(4):1141–1146, 2005. [16] Donghyun Kim. A combinatorial formula for the Ehrhart h -vector of the hypersimplex. Journal of Combinatorial Theory, Series A, 173:105213, 2020. [17] Kolja Knauer, Leonardo Mart´ ınez-Sandoval, and Jorge Luis Ram´ ırez Alfons´ ın. On Lattice Path Matroids Polytopes: Integer Points and Ehrhart Polynomial. Discrete Comput. Geom., 60:698– 719, 2018. [18] Nan Li. Ehrhart h -vectors of hypersimplices. Discrete Comput. Geom., 48(4):847–878, 2012. [19] Fu Liu. On positivity of Ehrhart polynomials. In Recent trends in algebraic combinatorics, volume 16 of Assoc. Women Math. Ser., pages 189–237. Springer, Cham, 2019. [20] H. Ohsugi and K. Shibata. Roots of the Ehrhart polynomial of hypersimplices. Comm. Math. Univ. St. Pauli., 62(2):91–108, 2013. [21] Alexander Postnikov. Permutohedra, Associahedra, and Beyond. International Mathematics Research Notices, 2009(6):1026–1106, 01 2009. HYPERSIMPLICES ARE EHRHART POSITIVE 11 [22] Richard P. Stanley. Eulerian partitions of a unit hypercube. Higher Combinatorics (M. Aigner, ed), page 49, 1977. [23] Richard P. Stanley. A monotonicity property of h-vectors and h -vectors. European J. Combin., 14(3):251–258, 1993. [24] Richard P. Stanley. Enumerative combinatorics. Volume 1, volume 49 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, Second edition, 2012. [25] Carl G. Wagner. Generalized Stirling and Lah numbers. Discrete Math., 160(1-3):199–218, 1996. [26] D.J.A. Welsh. Matroid Theory. Dover books on mathematics. Dover Publications, 2010. Universita di Bologna, Dipartimento di Matematica, Piazza di Porta San Donato, 5, 40126 Bologna BO - Italia Email address : ferroniluis@gmail.com, luis.ferronirivetti2@unibo.it
Mathematics – arXiv (Cornell University)
Published: Nov 22, 2019
You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.