arXiv++ Combinatorics

We define a new family of symmetric functions which are affine analogues of Stanley symmetric functions. We establish basic properties of these functions including symmetry, dominance and conjugation. We conjecture certain positivity properties in terms of a subfamily of symmetric functions called affine Schur functions. As applications, we show how affine Stanley symmetric functions generalise the (dual of the) $k$-Schur functions of Lapointe, Lascoux and Morse as well as the cylindric Schur functions of Postnikov. Conjecturally, affine Stanley symmetric functions should be related to the cohomology of the affine flag variety.

We give new proofs of three theorems of Stanley on generating functions for the integer points in rational cones. The first, Stanley's reciprocity theorem, relates the rational generating functions for the integer points in a cone K and for those in its interior. The second, Stanley's Positivity theorem asserts that the generating function of the Ehrhart quasipolynomial of a rational polytope P can be written as a rational function with nonnegative numerator. The third, Stanley's Monotonicity Theorem, asserts that if a polytope Q contains P, then each coefficient in the numerator for Q is at least as large as the corresponding coefficient in the numerator for P. Our proofs are based on elementary (primary school) counting afforded by irrational decompositions of rational polyhedra.

The aim of this paper is to study alcoved polytopes, which are polytopes arising from affine Coxeter arrangements. This class of convex polytopes includes many classical polytopes, for example, the hypersimplices. We compare two constructions of triangulations of hypersimplices due to Stanley and Sturmfels and explain them in terms of alcoved polytopes. We study triangulations of alcoved polytopes, the adjacency graphs of these triangulations, and give a combinatorial formula for volumes of these polytopes. In particular, we study a class of matroid polytopes, which we call the multi-hypersimplices.

We give a short, self-contained proof of Stanley's reciprocity theorem for a rational cone K \subset R^d. Namely, let sigma_K (x) = sum_{m \in K \cap Z^d} x^m. Then sigma_K (x) and sigma_int(K) (x) are rational functions which satisfy the identity sigma_K (1/x) = (-1)^d sigma_int(K) (x). A corollary of Stanley's theorem is the Ehrhart-Macdonald reciprocity theorem for the lattice-point enumerator of rational polytopes. A distinguishing feature of our proof is that it uses neither the shelling of a polyhedron nor the concept of finite additive measures. The proof follows from elementary techniques in contour integration.

Let p(n) denote the number of unrestricted partitions of n. For i=0, 2, let p[i](n) denote the number of partitions pi of n such that O(pi) - O(pi') = i mod 4. Here O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. R. Stanley [13], [14] derived an infinite product representation for the generating function of p[0](n)-p[2](n). Recently, Holly Swisher[15] employed the circle method to show that limit[n->oo] p[0](n)/p(n) = 1/2 (i) and that for sufficiently large n 2 p[0](n) > p(n), if n=0,1 mod 4, 2 p[0](n) < p(n), otherwise. (ii) In this paper we study even/odd dissection of the Stanley product, and show how to use it to prove (i) and (ii) with no restriction on n. Moreover, we establish the following new result |p[0](2n) - p[2](2n)| > |p[0](2n+1) - p[2](2n+1)|, n>0. Two proofs of this surprising inequality are given. The first one uses the Gollnitz-Gordon partition theorem. The second one is an immediate corollary of a new partition inequality, which we prove in a combinatorial manner. Our methods are elementary. We use only Jacobi's triple product identity and some naive upper bound estimates.

In the open problem session of the FPSAC'03, R.P.Stanley gave an open problem. The purpose of this paper is to give a proof of this open problem. At the end of this paper we present certain corollaries involving the Big Schur functions and some polynomials arising from the Macdonald polynomials, which generalize Stanley's open problem.

We extend a reciprocity theorem of Stanley about enumeration of integer points in polyhedral cones when one exchanges strict and weak inequalities. The proof highlights the roles played by Cohen-Macaulayness and canonical modules. The extension raises the issue of whether a Cohen-Macaulay complex of dimension d embedded piecewise-linearly in d-space is necessarily a d-ball. This is observed to be true for d at most 3, but false for d=4.

We prove Stanley's plethysm conjecture for the $2 \times n$ case, which composed with the work of Black and List provides another proof of Foulkes conjecture for the $2 \times n$ case. We also show that the way Stanley formulated his conjecture, it is false in general, and suggest an alternative formulation.

In 1981, Stanley applied the Aleksandrov-Fenchel inequalities to prove a logarithmic concavity theorem for regular matroids. Using ideas from electrical network theory we prove a generalization of this for the wider class of matroids with the ``half-plane property''. Then we explore a nest of inequalities for weighted basis-generating polynomials that are related to these ideas. As a first result from this investigation we find that every matroid of rank three or corank three satisfies a condition only slightly weaker than the conclusion of Stanley's theorem.

Louis Solomon showed that the group algebra of the symmetric group $\mathfrak{S}_{n}$ has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon's descent algebra generated by sums of permutations with the same number of descents: an "Eulerian" descent algebra. For any Coxeter group that is also a Weyl group, Paola Cellini proved the existence of a different Eulerian subalgebra based on a modified definition of descent. We derive the existence of Cellini's subalgebra for the case of the symmetric group and of the hyperoctahedral group using a variation on Richard Stanley's theory of $P$-partitions.

Magic labelings of graphs are studied in great detail by Stanley and Stewart. In this article, we construct and enumerate magic labelings of graphs using Hilbert bases of polyhedral cones and Ehrhart quasi-polynomials of polytopes. We define polytopes of magic labelings of graphs and digraphs. We give a description of the faces of the Birkhoff polytope as polytopes of magic labelings of digraphs.

In a recent study of sign-balanced, labelled posets Stanley, introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0; 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enumerated by p[i](5n + 4) (i = 0, 2) into five equinumerous classes. In this paper we discuss three such statistics: the St-crank, the 2-quotient-rank and the 5-core-crank. The first one, while new, is intimately related to the Andrews-Garvan crank. The second one is in terms of the 2-quotient of a partition. The third one was introduced by Garvan, Kim and Stanton. We use it in our combinatorial proof of the Andrews refinement. Remarkably, the Andrews result is a simple consequence of a stronger refinement of Ramanujan's congruence mod 5. This more general refinement uses a new partition statistic which we term the BG-rank. We employ the BG-rank to prove new partition congruences modulo 5. Finally, we discuss some new formulas for partitions that are 5-cores and discuss an intriguing relation between 3-cores and the Andrews-Garvan crank.

We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extend Stanley and Reisner's face ring for abstract simplicial complexes and Stanley's face ring for rational fans. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisions of the toric complex generalizing a theorem of Sturmfels. We apply our results to study edgewise subdivisions of abstract simplicial complexes.

In a recent study of sign-balanced, labelled posets Stanley [13], introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' the conjugate of pi. In [1] Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0, 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enumerated by p[i](5n + 4) (i = 0, 2) into five equinumerous classes. In this paper we discuss two such statistics. The first one, while new, is intimately related to the Andrews-Garvan [2] crank. The second one is in terms of the 5-core crank, introduced by Garvan, Kim and Stanton [9]. Finally, we discuss some new formulas for partitions that are 5-cores.

We use the theory of hyperplane arrangements to construct natural bases for the homology of partition lattices of types A, B and D. This extends and explains the "splitting basis" for the homology of the partition lattice given in [Wa96], thus answering a question asked by R. Stanley. More explicitly, the following general technique is presented and utilized. Let A be a central and essential hyperplane arrangement in R^d. Let R_1,...,R_k be the bounded regions of a generic hyperplane section of A. We show that there are induced polytopal cycles ρ_{R_i} in the homology of the proper part \bar{L_A} of the intersection lattice such that {ρ_{R_i}}_{i=1,...,k} is a basis for \tilde H_{d-2}(\bar{L_A}). This geometric method for constructing combinatorial homology bases is applied to the Coxeter arrangements of types A, B and D, and to some interpolating arrangements.

In this paper, we study non-Cohen--Macaulay Buchsbaum Stanley--Reisner rings with linear free resolution. In particular, for given integers $c$, $d$, $q$ with $c \ge 1$, $2 \le q \le d$, we give an upper bound $h_{c,d,q}$ on the dimension of the unique non-vanishing homology $\widetilde{H}_{q-2}(Δ;k)$ of a $d$-dimensional Buchsbaum ring $k[Δ]$ with $q$-linear resolution and codimension $c$. Also, we discuss about existence for such Buchsbaum rings with $\dim_k \widetilde{H}_{q-2}(Δ;k) = h$ for any $h$ with $0 \le h \le h_{c,d,q}$, and prove an existence theorem in the case of $q=d=3$ using the notion of Cohen--Macaulay linear cover. On the other hand, we introduce the notion of Buchsbaum Stanley--Reisner rings with minimal multiplicity of type $q$, which extends the notion of Buchsbaum rings with minimal multiplicity defined by Goto. As an application, we give many examples of Buchsbaum Stanley--Reisner rings with $q$-linear resolution.

It is proved that a certain symmetric sequence of nonnegative integers arising in the enumeration of magic squares of given size n by row sums or, equivalently, in the generating function of the Ehrhart polynomial of the polytope of doubly stochastic n by n matrices, is equal to the h-vector of a simplicial polytope and hence that it satisfies the conditions of the g-theorem. The unimodality of this sequance, which follows, was conjectured by Stanley (1983). Several generalizations are given.

Motivated by Stanley's results in \cite{St02}, we generalize the rank of a partition $λ$ to the rank of a shifted partition $S(λ)$. We show that the number of bars required in a minimal bar tableau of $S(λ)$ is max$(o, e + (\ell(λ) \mathrm{mod} 2))$, where $o$ and $e$ are the number of odd and even rows of $λ$. As a consequence we show that the irreducible projective characters of $S_n$ vanish on certain conjugacy classes. Another corollary is a lower bound on the degree of the terms in the expansion of Schur's $Q_λ$ symmetric functions in terms of the power sum symmetric functions.

We introduce a notion of lexicographic shellability for pure, balanced boolean cell complexes, modelled after the $CL$-shellability criterion of Björner and Wachs for posets and its generalization by Kozlov called $CC$-shellability. We give a lexicographic shelling for the quotient of the order complex of a Boolean algebra of rank $2n$ by the action of the wreath product $S_2\wr S_n$ of symmetric groups, and we provide a partitioning for the quotient complex $Δ(Π_n)/S_n $. Stanley asked for a description of the symmetric group representation $β_S $ on the homology of the rank-selected partition lattice $Π_n^S $ in [St2], and in particular he asked when the multiplicity $b_S(n)$ of the trivial representation in $β_S$ is 0. One consequence of the partitioning for $\dps $ is a (fairly complicated) combinatorial interpretation for $b_S(n) $; another is a simple proof of Hanlon's result that $b_{1,..., i}(n)=0$. Using a result of Garsia and Stanton, we deduce from our shelling for $Δ(B_{2n})/S_2 \wr S_n$ that the ring of invariants $k[x_1,..., x_{2n}]^{S_2\wr S_n}$ is Cohen-Macaulay over any field $k$.

Let G_n denote the set of lattice paths from (0,0) to (n,n) with steps of the form (i,j) where i and j are nonnegative integers, not both 0. Let D_n denote the set of paths in G_n with steps restricted to (1,0), (0,1), (1,1), so-called Delannoy paths. Stanley has shown that | G_n | = 2^(n-1) | D_n | and Sulanke has given a bijective proof. Here we give a simple parameter on G_n that is uniformly distributed over the 2^(n-1) subsets of [n-1] = {1,2,...,n-1} and takes the value [n-1] precisely on the Delannoy paths.