arXiv++ Combinatorics

The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries. In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes.

Given any finite simplicial complex Δ, we show how to construct a new simplicial complex Δ_χ that is balanced and vertex decomposable. Moreover, we show that the h-vector of the simplicial complex Δ_χ is precisely the f-vector, denoted f(Δ), of the original complex Δ. We deduce this result by relating f(Δ) with the graded Betti numbers of the Alexander dual of Δ_χ. Our construction generalizes the "whiskering" construction of Villarreal, and Cook and Nagel. As a corollary of our work, we add a new equivalent statement to a theorem of Björner, Frankl, and Stanley that classifies the f-vectors of simplicial complexes. We also prove a special case of a conjecture of Cook and Nagel, and Constantinescu and Varbaro on the h-vectors of flag complexes.

We investigate the diagonal generating function of the Jacobi-Stirling numbers of the second kind $ \JS(n+k,n;z)$ by generalizing the analogous results for the Stirling and Legendre-Stirling numbers. More precisely, letting $\JS(n+k,n;z)=p_{k,0}(n)+p_{k,1}(n)z+...+p_{k,k}(n)z^k$, we show that $(1-t)^{3k-i+1}\sum_{n\geq0}p_{k,i}(n)t^n$ is a polynomial in $t$ with nonnegative integral coefficients and provide combinatorial interpretations of the coefficients by using Stanley's theory of $P$-partitions.

Richard Stanely proposed, in a recent Amer. Math. Monthly Problem, to prove a nice explicit formula for the generating function for the number of n-letter words in {H,T} that have as many occurrences of HT as HH. In this article, we show how to prove this problem automatically, and ANY problem of that type, regardless of the size of the alphabet and the length of the two chosen strings

Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$ generated by monomials $u_1,u_2,..., u_t$. We show that $S/I$ is pretty clean if either: 1) $u_1,u_2,..., u_t$ is a filter-regular sequence, 2) $u_1,u_2,..., u_t$ is a $d$-sequence; or 3) $I$ is almost complete intersection. In particular, in each of these cases, $S/I$ is sequentially Cohen-Macaulay and both Stanley's and $h$-regularity conjectures, on Stanley decompositions, hold for $S/I$. Also, we prove that if $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.

Let $η_i, i=1,..., n$ be iid Bernoulli random variables, taking values $\pm 1$ with probability 1/2. Given a multiset $V$ of $n$ elements $v_1, ..., v_n$ of an additive group $G$, we define the \emph{concentration probability} of $V$ as $$ρ(V) := \sup_{v\in G} P(η_1 v_1 + ... η_n v_n =v). $$ An old result of Erdos and Moser asserts that if $v_i $ are distinct real numbers then $ρ(V)$ is $O(n^{-3/2}\log n)$. This bound was then refined by Sarkozy and Szemeredi to $O(n^{-3/2})$, which is sharp up to a constant factor. The ultimate result dues to Stanley who used tools from algebraic geometry to give a complete description for sets having optimal concentration probability; the result now becomes classic in algebraic combinatorics. In this paper, we will prove that the optimal sets from Stanley's work are stable. More importantly, our result gives an almost complete description for sets having large concentration probability.

We characterize the toric face rings that are normal (respectively seminormal). Extending results about local cohomology of Brun, Bruns, Ichim, Li and Römer of seminormal monoid rings and Stanley toric face rings, we prove the vanishing of certain graded parts of local cohomology of seminormal toric face rings. The combinatorial formula we obtain generalizes Hochster's formula. We also characterize all (necessarily seminormal) toric face rings that are $F$-pure or $F$-split over a field of characteristic $p>0$. An example is given to show that $F$-injectivity does not behave well with respect to face projections of toric face rings. Finally, it is shown that weakly $F$-regular toric face rings are normal affine monoid rings.

This paper is devoted to the explicit computation of generating series for the connection coefficients of two commutative subalgebras of the group algebra of the symmetric group, the class algebra and the double coset algebra. As shown by Hanlon, Stanley and Stembridge (1992), these series gives the spectral distribution of some random matrices that are of interest to statisticians. Morales and Vassilieva (2009, 2011) found explicit formulas for these generating series in terms of monomial symmetric functions by introducing a bijection between partitioned hypermaps on (locally) orientable surfaces and some decorated forests and trees. Thanks to purely algebraic means, we recover the formula for the class algebra and provide a new simpler formula for the double coset algebra. As a salient ingredient, we derive a new explicit expression for zonal polynomials indexed by partitions of type [a,b,1^(n-a-b)].

While the intersection of the Grassmannian Bruhat decompositions for all coordinate flags is an intractable mess, the intersection of only the cyclic shifts of one Bruhat decomposition turns out to have many of the good properties of the Bruhat and Richardson decompositions. This decomposition coincides with the projection of the Richardson stratification of the flag manifold, studied by Lusztig, Rietsch, Brown-Goodearl-Yakimov and the present authors. However, its cyclic-invariance is hidden in this description. Postnikov gave many cyclic-invariant ways to index the strata, and we give a new one, by a subset of the affine Weyl group we call bounded juggling patterns. We call the strata positroid varieties. Applying results from the authors' previous work, we show that positroid varieties are normal, Cohen-Macaulay, have rational singularities, and are defined as schemes by the vanishing of Plucker coordinates. We prove that their associated cohomology classes are represented by affine Stanley functions. This last fact lets us connect Postnikov's and Buch-Kresch-Tamvakis' approaches to quantum Schubert calculus.

We introduce affine Stanley symmetric functions for the special orthogonal groups, a class of symmetric functions that model the cohomology of the affine Grassmannian, continuing the work of Lam and Lam, Schilling, and Shimozono on the special linear and symplectic groups, respectively. For the odd orthogonal groups, a Hopf-algebra isomorphism is given, identifying (co)homology Schubert classes with symmetric functions. For the even orthogonal groups, we conjecture an approximate model of (co)homology via symmetric functions. In the process, we develop type B and type D non-commutative k-Schur functions as elements of the nilCoxeter algebra that model homology of the affine Grassmannian. Additionally, Pieri rules for multiplication by special Schubert classes in homology are given in both cases. Finally, we present a type-free interpretation of Pieri factors, used in the definition of noncommutative k-Schur functions or affine Stanley symmetric functions for any classical type.

Young's partition lattice $L(m,n)$ consists of unordered partitions having $m$ parts where each part is at most $n$. Using methods from complex algebraic geometry, R. Stanley proved that $L(m,n)$ is rank-symmetric, unimodal, and strongly Sperner. Moreover, he conjectured that $L(m,n)$ has a stronger property called symmetric chain decomposition. Despite many efforts, this conjecture has only been proved for $\min(m,n)\leq 4$. In this paper, we decompose $L(m,n)$ into level sets for certain tropical polynomials derived from the secant varieties of the rational normal curve in projective space, and we find that the resulting subposets have an elementary raising and lowering algorithm. As a corollary, we obtain a symmetric chain decomposition for the subposet of $L(m,n)$ consisting of "sufficiently generic" partitions.

In this paper, we generalize a few important results in Integer Partitions; namely the results known as Stanley's theorem and Elder's theorem, and the congruence results proposed by Ramanujan for the partition function. We generalize the results of Stanley and Elder from a fixed integer to an array of subsequent integers, and propose an analogue of Ramanujan's congruence relations for the `number of parts' function instead of the partition function. We also deduce the generating function for the `number of parts', and relate the technical results with their graphical interpretations through a novel use of the Ferrer's diagrams.

A \emph{Golomb ruler} is a sequence of distinct integers (the \emph{markings} of the ruler) whose pairwise differences are distinct. Golomb rulers can be traced back to additive number theory in the 1930s and have attracted recent research activities on existence problems, such as the search for \emph{optimal} Golomb rulers (those of minimal length given a fixed number of markings). Our goal is to enumerate Golomb rulers in a systematic way: we study [g_m(t) := # {\x \in \Z^{m+1} : \, 0 = x_0 < x_1 < ... < x_{m-1} < x_m = t, \text{all} x_j - x_k \text{distinct}},] the number of Golomb rulers with $m+1$ markings and length $t$. Our main result is that $g_m(t)$ is a quasipolynomial in $t$ which satisfies a combinatorial reciprocity theorem: $(-1)^{m-1} g_m(-t)$ equals the number of rulers $\x$ of length $t$ with $m+1$ markings, each counted with its \emph{Golomb multiplicity}, which measures how many combinatorially different Golomb rulers are in a small neighborhood of $\x$. Our reciprocity theorem can be interpreted in terms of certain mixed graphs associated to Golomb rulers; in this language, it is reminiscent of Stanley's reciprocity theorem for chromatic polynomials. Thus in the second part of the paper we develop an analogue of Stanley's theorem to mixed graphs, which connects their chromatic polynomials to acyclic orientations.

Let G be a group of automorphisms of a ranked poset Q and let N_{k} denote the number of orbits on the elements of rank k in Q. What can be said about the N_{k} for standard posets, such as finite projective spaces or the Boolean lattice? We discuss the connection of this question to the representation theory of the group, and in particular to the inequalities of Livingstone-Wagner and Stanley. We show that these are special cases of more general inequalities which depend on the prime divisors of the group order. The new inequalities often yield stronger bounds depending on the order of the group.

Let $I\subset S=\KK[x_1,...,x_n]$ be an ideal generated by squarefree monomials of degree $\ge d$. If the number of degree $d$ minimal generating monomials $μ_d(I)\le \min(\binom{n}{d+1},\sum_{j=1}^{n-d}\binom{2j-1}{j})$, then the Stanley depth $\sdepth_S(I)\ge d+1$.

We construct many nonpolytopal nonsimplicial Gorenstein* meet semi-lattices with nonnegative toric g-vector, supporting a conjecture of Stanley. These are formed as Bier spheres over the face posets of multiplexes, polytopes constructed by Bisztriczky as generalizations of simplices.

We use the Pieri and Giambelli formulas of arXiv:0809.4966 and arXiv:1109.6669 and the calculus of raising operators developed in arXiv:0811.2781 and arXiv:0812.0639 to prove a tableau formula for eta polynomials of arXiv:1109.6669 and the Stanley symmetric functions which correspond to Grassmannian elements of the Weyl group $W_n$ of type $D_n$. We define the skew elements of $W_n$ and exhibit a bijection between the set of reduced words for any skew element $w$ in $W_n$ and a set of certain standard typed tableaux on a skew shape $λ/μ$ associated to $w$.

We give a direct combinatorial proof of the known fact that the 3-cube has 384 spanning trees, using an "edge slide" operation on spanning trees. This gives an answer in the case n=3 to a question implicitly raised by Stanley. Our argument also gives a bijective proof of the n=3 case of a weighted count of the spanning trees of the n-cube due to Martin and Reiner.

An artinian graded algebra, $A$, is said to have the Weak Lefschetz property (WLP) if multiplication by a general linear form has maximal rank in every degree. A vast quantity of work has been done studying and applying this property, touching on numerous and diverse areas of algebraic geometry, commutative algebra, and combinatorics. Amazingly, though, much of this work has a "common ancestor" in a theorem originally due to Stanley, although subsequently reproved by others. In this expository paper we describe the different directions in which research has moved starting with this theorem, and we discuss some of the open questions that continue to motivate current research.

The question of shellability of complexes of directed trees was asked by R. Stanley. D. Kozlov showed that the existence of a complete source in a directed graph provides a shelling of its complex of directed trees. We will show that this property gives a shelling that is straightforward in some sense. Among the simplicial polytopes, only the crosspolytopes allow such a shelling. Furthermore, we show that the complex of directed trees of a complete double directed graph is a union of suitable spheres. We also investigate shellability of the maximal pure skeleton of a complex of directed trees. Also, we prove that is vertex-decomposable. For these complexes we describe the set of generating facets.