arXiv++ Combinatorics

We show how certain suitably modified N-modular diagrams of integer partitions provide a nice combinatorial interpretation for the general term of Zeilberger's KOH identity. This identity is the reformulation of O'Hara's famous proof of the unimodality of the Gaussian polynomial as a combinatorial identity. In particular, we determine, using different bijections, two main natural classes of modular diagrams of partitions with bounded parts and length, having the KOH terms as their generating functions. One of our results greatly extends recent theorems of J. Quinn et al., which presented striking applications to quantum physics.

Wang and Yeh proved that if $P(x)$ is a polynomial with nonnegative and nondecreasing coefficients, then $P(x+d)$ is unimodal for any $d>0$. A mode of a unimodal polynomial $f(x)=a_0+a_1x+\cdots + a_mx^m$ is an index $k$ such that $a_k$ is the maximum coefficient. Suppose that $M_*(P,d)$ is the smallest mode of $P(x+d)$, and $M^*(P,d)$ the greatest mode. Wang and Yeh conjectured that if $d_2>d_1>0$, then $M_*(P,d_1)\geq M_*(P,d_2)$ and $M^*(P,d_1)\geq M^*(P,d_2)$. We give a proof of this conjecture.

This paper was motivated by a conjecture of Brändén (European J. Combin. \textbf{29} (2008), no.~2, 514--531) about the divisibility of the coefficients in an expansion of generalized Eulerian polynomials, which implies the symmetric and unimodal property of the Eulerian numbers. We show that such a formula with the conjectured property can be derived from the combinatorial theory of continued fractions. We also discuss an analogous expansion for the corresponding formula for derangements and prove a $(p,q)$-analogue of the fact that the (-1)-evaluation of the enumerator polynomials of permutations (resp. derangements) by the number of excedances gives rise to tangent numbers (resp. secant numbers). The $(p,q)$-analogue unifies and generalizes our recent results (European J. Combin. \textbf{31} (2010), no.~7, 1689--1705.) and that of Josuat-Vergès (European J. Combin. \textbf{31} (2010), no.~7, 1892--1906).

An order ideal is a finite poset X of (monic) monomials such that, whenever M is in X and N divides M, then N is in X. If all, say t, maximal monomials of X have the same degree, then X is pure (of type t). A pure O-sequence is the vector, h=(1,h_1,...,h_e), counting the monomials of X in each degree. Equivalently, in the language of commutative algebra, pure O-sequences are the h-vectors of monomial Artinian level algebras. Pure O-sequences had their origin in one of Richard Stanley's early works in this area, and have since played a significant role in at least three disciplines: the study of simplicial complexes and their f-vectors, level algebras, and matroids. This monograph is intended to be the first systematic study of the theory of pure O-sequences. Our work, making an extensive use of algebraic and combinatorial techniques, includes: (i) A characterization of the first half of a pure O-sequence, which gives the exact converse to an algebraic g-theorem of Hausel; (ii) A study of (the failing of) the unimodality property; (iii) The problem of enumerating pure O-sequences, including a proof that almost all O-sequences are pure, and the asymptotic enumeration of socle degree 3 pure O-sequences of type t; (iv) The Interval Conjecture for Pure O-sequences (ICP), which represents perhaps the strongest possible structural result short of an (impossible?) characterization; (v) A pithy connection of the ICP with Stanley's matroid h-vector conjecture; (vi) A specific study of pure O-sequences of type 2, including a proof of the Weak Lefschetz Property in codimension 3 in characteristic zero. As a corollary, pure O-sequences of codimension 3 and type 2 are unimodal (over any field); (vii) An analysis of the extent to which the Weak and Strong Lefschetz Properties can fail for monomial algebras; (viii) Some observations about pure f-vectors, an important special case of pure O-sequences.

A 2-coloring of the n-cube in the n-dimensional Euclidean space can be considered as an assignment of weights of 1 or 0 to the vertices. Such a colored n-cube is said to be balanced if its center of mass coincides with its geometric center. Let $B_{n,2k}$ be the number of balanced 2-colorings of the n-cube with 2k vertices having weight 1. Palmer, Read and Robinson conjectured that for $n\geq 1$, the sequence $\{B_{n,2k}\}_{k=0, 1 ... 2^{n-1}}$ is symmetric and unimodal. We give a proof of this conjecture. We also propose a conjecture on the log-concavity of $B_{n,2k}$ for fixed k, and by probabilistic method we show that it holds when n is sufficiently large.

We study the weak Lefschetz property and the Hilbert function of level Artinian monomial almost complete intersections in three variables. Several such families are shown to have the weak Lefschetz property if the characteristic of the base field is zero or greater than the maximal degree of any minimal generator of the ideal. Two of the families have an interesting relation to tilings of hexagons by lozenges. This lends further evidence to a conjecture by Migliore, Miro-Roig, and the second author. Finally, using our results about the weak Lefschetz property, we show that the Hilbert function of each level Artinian monomial almost complete intersection in three variables is peaked strictly unimodal.

Many sequences of binomial coefficients share various unimodality properties. In this paper we consider the unimodality problem of a sequence of binomial coefficients located in a ray or a transversal of the Pascal triangle. Our results give in particular an affirmative answer to a conjecture of Belbachir et al which asserts that such a sequence of binomial coefficients must be unimodal. We also propose two more general conjectures.

Let $P(x)$ be a polynomial of degree $m$, with nonnegative and non-decreasing coefficients. We settle the conjecture that for any positive real number $d$, the coefficients of $P(x+d)$ form a unimodal sequence, of which the special case $d$ being a positive integer has already been asserted in a previous work. Further, we explore the location of modes of $P(x+d)$ and present some sufficient conditions on $m$ and $d$ for which $P(x+d)$ has the unique mode $\lceil{m-d\over d+1}\rceil$.

For every positive integer $n$, consider the linear operator $\U_{n}$ on polynomials of degree at most $d$ with integer coefficients defined as follows: if we write $\frac{h(t)}{(1 - t)^{d + 1}} = \sum_{m \geq 0} g(m) t^{m}$, for some polynomial $g(m)$ with rational coefficients, then $\frac{\U_{n}h(t)}{(1- t)^{d + 1}} = \sum_{m \geq 0} g(nm) t^{m}$. We show that there exists a positive integer $n_{d}$, depending only on $d$, such that if $h(t)$ is a polynomial of degree at most $d$ with nonnegative integer coefficients and $h(0) \geq 1$, then for $n \geq n_{d}$, $\U_{n}h(t)$ has simple, real, strictly negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart $δ$-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen--MacCauley graded rings.

The interlace polynomial q was introduced by Arratia, Bollobas, and Sorkin. It encodes many properties of the orbit of a graph under edge local complementation (ELC). The interlace polynomial Q, introduced by Aigner and van der Holst, similarly contains information about the orbit of a graph under local complementation (LC). We have previously classified LC and ELC orbits, and now give an enumeration of the corresponding interlace polynomials of all graphs of order up to 12. An enumeration of all circle graphs of order up to 12 is also given. We show that there exist graphs of all orders greater than 9 with interlace polynomials q whose coefficient sequences are non-unimodal, thereby disproving a conjecture by Arratia et al. We have verified that for graphs of order up to 12, all polynomials Q have unimodal coefficients. It has been shown that LC and ELC orbits of graphs correspond to equivalence classes of certain error-correcting codes and quantum states. We show that the properties of these codes and quantum states are related to properties of the associated interlace polynomials.

We show that an 'almost strong Lefschetz' property holds for the barycentric subdivision of a shellable complex. From this we conclude that for the barycentric subdivision of a Cohen-Macaulay complex, the $h$-vector is unimodal, peaks in its middle degree (one of them if the dimension of the complex is even), and that its $g$-vector is an $M$-sequence. In particular, the (combinatorial) $g$-conjecture is verified for barycentric subdivisions of homology spheres. In addition, using the above algebraic result, we derive new inequalities on a refinement of the Eulerian statistics on permutations, where permutations are grouped by the number of descents and the image of 1.

Let $W\ltimes L$ be an irreducible affine Weyl group with Coxeter complex $Σ$, where $W$ denotes the associated finite Weyl group and $L$ the translation subgroup. The Steinberg torus is the Boolean cell complex obtained by taking the quotient of $Σ$ by the lattice $L$. We show that the ordinary and flag $h$-polynomials of the Steinberg torus (with the empty face deleted) are generating functions over $W$ for a descent-like statistic first studied by Cellini. We also show that the ordinary $h$-polynomial has a nonnegative $γ$-vector, and hence, symmetric and unimodal coefficients. In the classical cases, we also provide expansions, identities, and generating functions for the $h$-polynomials of Steinberg tori.

We show that the limiting distributions of the coefficients of the $q$-Catalan numbers and the generalized $q$-Catalan numbers are normal. Despite the fact that these coefficients are not unimodal for small $n$, we conjecture that for sufficiently large $n$, the coefficients are unimodal and even log-concave except for a few terms of the head and tail.

Let c^{k,l}(n) be the number of compositions (ordered partitions) of the integer n whose Ferrers diagram fits inside a k-by-l rectangle. The purpose of this note is to give a simple, algebraic proof of a conjecture of Vatter that the sequence c^{k,l}(0), c^{k,l}(1), ..., c^{k,l}(kl) is unimodal. The problem of giving a combinatorial proof of this fact is discussed, but is still open.

We study the properties of a logconcavity operator on a symmetric, unimodal subset of finite sequences. In doing so we are able to prove that there is a large unbounded region in this subset that is $\infty$-logconcave. This problem was motivated by the conjecture of Moll and Boros in that the binomial coefficients are $\infty$-logconcave.

We show that the probability mass function of the riff-shuffle distribution, also known as the minimum negative binomial distribution, is unimodal, but in general not log-concave.

We compare two sets of (infinite) binary sequences whose suffixes satisfy extremal conditions: one occurs when studying iterations of a unimodal continuous map from the unit interval into itself, but it also characterizes univoque real numbers; the other is an equivalent definition of characteristic Sturmian sequences. As a corollary to our study we obtain that a real number $β$ in $(1,2)$ is univoque and self-Sturmian if and only if the $β$-expansion of 1 is of the form $1v$, where $v$ is a characteristic Sturmian sequence beginning itself in 1.

We consider unimodality and related properties of f-vectors of polytopes in various dimensions. By a result of Kalai (1988), f-vectors of 5-polytopes are unimodal. In higher dimensions much less can be said; we give an overview on current results and present a potentially interesting construction as well as a conjecture arising from this.

We survey the theory of increasing and decreasing subsequences of permutations. Enumeration problems in this area are closely related to the RSK algorithm. The asymptotic behavior of the expected value of the length is(w) of the longest increasing subsequence of a permutation w of 1,2,...,n was obtained by Vershik-Kerov and (almost) by Logan-Shepp. The entire limiting distribution of is(w) was then determined by Baik, Deift, and Johansson. These techniques can be applied to other classes of permutations, such as involutions, and are related to the distribution of eigenvalues of elements of the classical groups. A number of generalizations and variations of increasing/decreasing subsequences are discussed, including the theory of pattern avoidance, unimodal and alternating subsequences, and crossings and nestings of matchings and set partitions.

We show that the Ehrhart h-vector of an integer Gorenstein polytope with a regular unimodular triangulation satisfies McMullen's g-theorem; in particular, it is unimodal. This result generalizes a recent theorem of Athanasiadis (conjectured by Stanley) for compressed polytopes. It is derived from a more general theorem on Gorenstein affine normal monoids M: one can factor K[M] (K a field) by a "long" regular sequence in such a way that the quotient is still a normal affine monoid algebra. This technique reduces all questions about the Ehrhart h-vector of P to the Ehrhart h-vector of a Gorenstein polytope Q with exactly one interior lattice point, provided each lattice point in a multiple cP, c in N, can be written as the sum of n lattice points in P. (Up to a translation, the polytope Q belongs to the class of reflexive polytopes considered in connection with mirror symmetry.) If P has a regular unimodular triangulation, then it follows readily that the Ehrhart h-vector of P coincides with the combinatorial h-vector of the boundary complex of a simplicial polytope, and the g-theorem applies.