arXiv++ Combinatorics

In Ramanujan's final letter to Hardy, he listed examples of a strange new class of infinite series he called "mock theta functions". It turns out all of these examples are essentially specializations of a so-called universal mock theta function $g_3(z,q)$ of Gordon-McIntosh. Here we show that $g_3$ arises naturally from the reciprocal of the classical Jacobi triple product -- and is intimately tied to rank generating functions for unimodal sequences, which are connected to mock modular and quantum modular forms -- under the action of an operator related to statistical physics and partition theory, the $q$-bracket of Bloch-Okounkov. Secondly, we find $g_3(z,q)$ to extend in $q$ to the entire complex plane minus the unit circle, and give a finite formula for this universal mock theta function at roots of unity, that is simple by comparison to other such formulas in the literature; we also indicate similar formulas for other $q$-hypergeometric series. Finally, we look at interesting "quantum" behaviors of mock theta functions inside, outside, and on the unit circle.

A long-standing open conjecture in combinatorics asserts that a Gorenstein lattice polytope with the integer decomposition property (IDP) has a unimodal (Ehrhart) $h^\ast$-polynomial. This conjecture can be viewed as a strengthening of a previously disproved conjecture which stated that any Gorenstein lattice polytope has a unimodal $h^\ast$-polynomial. The first counterexamples to unimodality for Gorenstein lattice polytopes were given in even dimensions greater than five by Musta{ţ}{ǎ} and Payne, and this was extended to all dimensions greater than five by Payne. While there exist numerous examples in support of the conjecture that IDP reflexives are $h^\ast$-unimodal, its validity has not yet been considered for families of reflexive lattice simplices that closely generalize Payne's counterexamples. The main purpose of this work is to prove that the former conjecture does indeed hold for a natural generalization of Payne's examples. The second purpose of this work is to extend this investigation to a broader class of lattice simplices, for which we present new results and open problems.

We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions with certain properties. We also define and investigate an analog of Wilf-equivalence for forests.

The fractional stable set polytope ${\rm FRAC}(G)$ of a simple graph $G$ with $d$ vertices is a rational polytope that is the set of nonnegative vectors $(x_1,\ldots,x_d)$ satisfying $x_i+x_j\le 1$ for every edge $(i,j)$ of $G$. In this paper we show that (i) The $δ$-vector of a lattice polytope $2 {\rm FRAC}(G)$ is alternatingly increasing; (ii) The Ehrhart ring of ${\rm FRAC}(G)$ is Gorenstein; (iii) The coefficients of the numerator of the Ehrhart series of ${\rm FRAC}(G)$ are symmetric, unimodal and computed by the $δ$-vector of $2 {\rm FRAC}(G)$.

We prove the unimodality of the Ehrhart $δ$-polynomial of the chain polytope of the zig-zag poset, which was conjectured by Kirillov. First, based on a result due to Stanley, we show that this polynomial coincides with the $W$-polynomial for the zig-zag poset with some natural labeling. Then, its unimodality immediately follows from a result of Gasharov, which states that the $W$-polynomials of naturally labeled graded posets of rank $1$ or $2$ are unimodal.

Let $f(q)=a_rq^r+\cdots+a_sq^s$, with $a_r\neq 0$ and $a_s\neq 0$, be a real polynomial. It is a palindromic polynomial of darga $n$ if $r+s=n$ and $a_{r+i}=a_{s-i}$ for all $i$. Polynomials of darga $n$ form a linear subspace $\mathcal{P}_n(q)$ of $\mathbb{R}(q)_{n+1}$ of dimension $\lfloor{n/2}\rfloor+1$. We give transition matrices between two bases $\left\{q^j(1+q+\cdots+q^{n-2j})\right\}, \left\{q^j(1+q)^{n-2j}\right\}$ and the standard basis $\left\{q^j(1+q^{n-2j})\right\}$ of $\mathcal{P}_n(q)$. We present some characterizations and sufficient conditions for palindromic polynomials that can be expressed in terms of these two bases with nonnegative coefficients. We also point out the link between such polynomials and rank-generating functions of posets.

For a polynomial with palindromic coefficients, unimodality is equivalent to having a nonnegative $g$-vector. A sufficient condition for unimodality is having a nonnegative $γ$-vector, though one can have negative entries in the $γ$-vector and still have a nonnegative $g$-vector. In this paper we provide combinatorial models for three families of $γ$-vectors that alternate in sign. In each case, the $γ$-vectors come from unimodal polynomials with straightforward combinatorial descriptions, but for which there is no straightforward combinatorial proof of unimodality. By using the transformation from $γ$-vector to $g$-vector, we express the entries of the $g$-vector combinatorially, but as an alternating sum. In the case of the $q$-analogue of $n!$, we use a sign-reversing involution to interpret the alternating sum, resulting in a manifestly positive formula for the $g$-vector. In other words, we give a combinatorial proof of unimodality. We consider this a "proof of concept" result that we hope can inspire a similar result for the other two cases, $\prod_{j=1}^n (1+q^j)$ and the $q$-binomial coefficients.

We classify rooted trees which have strictly unimodal q-polynomials (plucking polynomial). We also give criteria for a trapezoidal shape of a plucking polynomial. We generalize results of Pak and Panova on strict unimodality of q-binomial coefficients. We discuss which polynomials can be realized as plucking polynomials and whether or not different rooted trees can have the same plucking polynomial.

We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $γ$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.

In previous work, Currie and Rampersad showed that the growth of the number of binary words avoiding the pattern xxx^R was intermediate between polynomial and exponential. We now show that the same holds for the growth of the number of binary words avoiding the pattern xx^Rx. Curiously, the analysis for xx^Rx is much simpler than that for xxx^R. We derive our results by giving a bijection between the set of binary words avoiding xx^Rx and a class of sequences closely related to the class of "strongly unimodal sequences."

Let $I(G;x)$ denote the independence polynomial of a graph $G$. In this paper we study the unimodality properties of $I(G;x)$ for some composite graphs $G$. Given two graphs $G_1$ and $G_2$, let $G_1[G_2]$ denote the lexicographic product of $G_1$ and $G_2$. Assume $I(G_1;x)=\sum_{i\geq0}a_ix^i$ and $I(G_2;x)=\sum_{i\geq0}b_ix^i$, where $I(G_2;x)$ is log-concave. Then we prove (i) if $I(G_1;x)$ is log-concave and $(a^2_i-a_{i-1}a_{i+1})b^2_1\geq a_ia_{i-1}b_2$ for all $1\leq i \leq α(G_1)$, then $I(G_1[G_2];x)$ is log-concave; (ii) if $a_{i-1}\leq b_1a_i$ for $1\leq i\leq α(G_1)$, then $I(G_1[G_2];x)$ is unimodal. In particular, if $a_i$ is increasing in $i$, then $I(G_1[G_2];x)$ is unimodal. We also give two sufficient conditions when the independence polynomial of a complete multipartite graph is unimodal or log-concave. Finally, for every odd positive integer $α> 3$, we find a connected graph $G$ not a tree, such that $α(G) =α$, and $I(G; x)$ is symmetric and has only real zeros. This answers a problem of Mandrescu and Mirică.

The descent polynomials of separable permutations and derangements are both demonstrated to be unimodal. Moreover, we prove that the $γ$-coefficients of the first are positive with an interpretation parallel to the classical Eulerian polynomial, while the second is spiral, a property stronger than unimodality. Furthermore, we conjecture that they are both real-rooted.

We establish a conjecture of Graham and Lovász that the (normalized) coefficients of the distance characteristic polynomial of a tree are unimodal; we also prove they are log-concave.

It follows from work of Chung and Graham that for a certain family of polynomials $T_{n}(x)$, derived from the descent statistic on permutations, the coefficient sequence of $T_{n-1}(x)$ coincides with that of the polynomial $T_{n}(x)/\left(1+x+\cdots+x^{n-1}\right)$. We observed computationally that the inflated $\mathbf{s}$-Eulerian polynomial $Q_{n}^{(\mathbf{s})}(x)$, which satisfies $Q_{n}^{(\mathbf{s})}(x) = T_{n}(x)$ when $\mathbf{s}=(1,2,\ldots,n)$, also satisfies this property for many sequences $\mathbf{s}$. In this work we characterize those sequences $\mathbf{s}$ for which the coefficient sequence of $Q_{n-1}^{(\mathbf{s})}(x)$ coincides with that of the polynomial $Q_{n}^{(\mathbf{s})}(x)/\left(1+x+\cdots+x^{s_{n}-1}\right)$. In particular, we show that all nondecreasing sequences satisfy this property. We also settle a conjecture of Pensyl and Savage by showing that the inflated $\mathbf{s}$-Eulerian polynomials are unimodal for all choices of positive integer sequences ${\bf s}$. In addition, we determine when these polynomials are palindromic and show our characterization is equivalent to another of Beck, Braun, Köppe, Savage, and Zafeirakopoulos.

A remarkable and important property of face numbers of simplicial polytopes is the generalized lower bound inequality, which says that the $h$-numbers of any simplicial polytope are unimodal. Recently, for balanced simplicial $d$-polytopes, that is simplicial $d$-polytopes whose underlying graphs are $d$-colorable, Klee and Novik proposed a balanced analogue of this inequality, that is stronger than just unimodality. The aim of this article is to prove this conjecture of Klee and Novik. For this, we also show a Lefschetz property for rank-selected subcomplexes of balanced simplicial polytopes and thereby obtain new inequalities for their $h$-numbers.

In a recent paper, J. Lovejoy and the second author conjectured that ranks for four types of unimodal like sequences satisfy certain inequalities. In this paper, we prove these conjectures asymptotically. For this, we extend Wright's Circle Method and analyze the asymptotic behavior of certain general partial theta functions.

A graph $G$ is {\em well-covered} if every maximal independent set has the same cardinality $q$. Let $i_k(G)$ denote the number of independent sets of cardinality $k$ in $G$. Brown, Dilcher, and Nowakowski conjectured that the independence sequence $(i_0(G), i_1(G), \ldots, i_q(G))$ was unimodal for any well-ordered graph $G$ with independence number $q$. Michael and Traves disproved this conjecture. Instead they posited the so-called ``Roller Coaster" Conjecture: that the terms \[ i_{\left\lceil\frac{q}2\right\rceil}(G), i_{\left\lceil\frac{q}2\right\rceil+1}(G), \ldots, i_q(G) \] could be in any specified order for some well-covered graph $G$ with independence number $q$. Michael and Traves proved the conjecture for $q<8$ and Matchett extended this to $q<12$. In this paper, we prove the Roller Coaster Conjecture using a construction of graphs with a property related to that of having a maximal-clique partition. In particular, we show, for all pairs of integers $1\le k<q$ and positive integers $m$, that there is a well-covered graph $G$ with independence number $q$ for which every independent set of size $k+1$ is contained in a unique maximal independent set, but each independent set of size $k$ is contained in at least $m$ distinct independent sets.

We consider several generalizations of the classical $γ$-positivity of Eulerian polynomials (and their derangement analogues) using generating functions and combinatorial theory of continued fractions. For the symmetric group, we prove an expansion formula for inversions and excedances as well as a similar expansion for derangements. We also prove the $γ$-positivity for Eulerian polynomials for derangements of type $B$. More general expansion formulae are also given for Eulerian polynomials for $r$-colored derangements. Our results answer and generalize several recent open problems in the literature.

In this paper, we investigate two properties concerning the unimodality of the $δ$-vectors of lattice polytopes, which are log-concavity and alternatingly increasingness. For lattice polytopes $\mathcal{P}$ of dimension $d$, we prove that the dilated lattice polytopes $n\mathcal{P}$ have strictly log-concave and strictly alternatingly increasing $δ$-vectors if $n > \max\{s,d+1-s\}$, where $s$ is the degree of the $δ$-polynomial of $\mathcal{P}$. The bound $\max\{s,d+1-s\}$ for $n$ is reasonable. We also provide several kinds of unimodal (or non-unimodal) $δ$-vectors. Concretely, we give examples of lattice polytoeps whose $δ$-vectors are not unimodal, unimodal but neither log-concave nor alternatingly increasing, alternatingly increasing but not log-concave, and log-concave but not alternatingly increasing, respectively.

In Ehrhart theory, the $h^*$-vector of a rational polytope often provide insights into properties of the polytope that may be otherwise obscured. As an example, the Birkhoff polytope, also known as the polytope of real doubly-stochastic matrices, has a unimodal $h^*$-vector, but when even small modifications are made to the polytope, the same property can be very difficult to prove. In this paper, we examine the $h^*$-vectors of a class of polytopes containing real doubly-stochastic symmetric matrices.