arXiv++ Combinatorics

Let $N(\leq m,n)$ denote the number of partitions of $n$ with rank not greater than $m$, and let $M(\leq m,n)$ denote the number of partitions of $n$ with crank not greater than $m$. Bringmann and Mahlburg observed that $N(\leq m,n)\leq M(\leq m,n)\leq N(\leq m+1,n)$ for $m<0$ and $1\leq n\leq 100$. They also pointed out that these inequalities can be restated as the existence of a re-ordering $τ_n$ on the set of partitions of $n$ such that $|\text{crank}(λ)|-|\text{rank}(τ_n(λ))|=0$ or $1$ for all partitions $λ$ of $n$, that is, the rank and the crank are nearly equal distributions over partitions of $n$. In the study of the spt-function, Andrews, Dyson and Rhoades proposed a conjecture on the unimodality of the spt-crank, and they showed that this conjecture is equivalent to the inequality $N(\leq m,n)\leq M(\leq m,n)$ for $m<0$ and $n\geq 1$. We proved this conjecture by combiantorial arguments. In this paper, we prove the inequality $N(\leq m,n)\leq M(\leq m,n)$ for $m<0$ and $n\geq 1$. Furthermore, we define a re-ordering $τ_n$ of the partitions $λ$ of $n$ and show that this re-ordering $τ_n$ leads to the nearly equal distribution of the rank and the crank. Using the re-ordering $τ_n$, we give a new combinatorial interpretation of the function ospt$(n)$ defined by Andrews, Chan and Kim, which immediately leads to an upper bound for $ospt(n)$ due to Chan and Mao.

We introduce Lipschitz functions on a finite partially ordered set $P$ and study the associated Lipschitz polytope $L(P)$. The geometry of $L(P)$ can be described in terms of descent-compatible permutations and permutation statistics that generalize descents and big ascents. For ranked posets, Lipschitz polytopes are centrally-symmetric and Gorenstein, which implies symmetry and unimodality of the statistics. Finally, we define $(P,k)$-hypersimplices as generalizations of classical hypersimplices and give combinatorial interpretations of their volumes and $h^*$-vectors.

In a previous paper, we studied an overpartition analogue of Gaussian polynomials as the generating function for overpartitions fitting inside an $m \times n$ rectangle. Here, we add one more parameter counting the number of overlined parts, obtaining a two-parameter generalization $\overline{m+n \brack n}_{q,t}$ of Gaussian polynomials, which is also a $(q,t)$-analogue of Delannoy numbers. First we obtain finite versions of classical $q$-series identities such as the $q$-binomial theorem and the Lebesgue identity, as well as two-variable generalizations of classical identities involving Gaussian polynomials. Then, by constructing involutions, we obtain an identity involving a finite theta function and prove the $(q,t)$-log concavity of $\overline{m+n \brack n}_{q,t}$. We particularly emphasize the role of combinatorial proofs and the consequences of our results on Delannoy numbers. We conclude with some conjectures about the unimodality of $\overline{m+n \brack n}_{q,t}$.

We provide simple necessary and sufficient conditions for the existence of a standard Young tableau of a given shape and major index $r$ mod $n$, for all $r$. Our result generalizes the $r=1$ case due essentially to (1974) and proves a recent conjecture due to Sundaram (2016) for the $r=0$ case. A byproduct of the proof is an asymptotic equidistribution result for "almost all" shapes. The proof uses a representation-theoretic formula involving Ramanujan sums and normalized symmetric group character estimates. Further estimates involving "opposite" hook lengths are given which are well-adapted to classifying which partitions $λ\vdash n$ have $f^λ\leq n^d$ for fixed $d$. We also give a new proof of a generalization of the hook length formula due to Fomin-Lulov (1995) for symmetric group characters at rectangles. We conclude with some remarks on unimodality of symmetric group characters.

For a tree $T$, let $i_T(t)$ be the number of independent sets of size $t$ in $T$. It is an open question, raised by Alavi, Malde, Schwenk and Erdős, whether the sequence $(i_T(t))_{t \geq 0}$ is always unimodal. Here we answer the question in the affirmative for some recursively defined families of trees, specifically paths with auxiliary trees dropped from the vertices in a periodic manner. In particular, extending a result of Wang and B.-X. Zhu, we show unimodality of the independent set sequence of a path on $2n$ vertices with $\ell_1$ and $\ell_2$ pendant edges dropped alternately from the vertices of the path, $\ell_1, \ell_2$ arbitrary. We also show that the independent set sequence of any tree becomes unimodal if sufficiently many pendant edges are dropped from any single vertex, or if $k$ pendant edges are dropped from every vertex, for sufficiently large $k$. This in particular implies the unimodality of the independent set sequence of some non-periodic caterpillars.

Inversion sequences of length $n$, $\mathbf{I}_n$, are integer sequences $(e_1, \ldots, e_n)$ with $0 \leq e_i < n$ for each $i$. The study of patterns in inversion sequences was initiated recently by Mansour-Shattuck and Corteel-Martinez-Savage-Weselcouch through a systematic study of inversion sequences avoiding words of length 3. We continue this investigation by generalizing the notion of a pattern to a fixed triple of binary relations $(ρ_1,ρ_2,ρ_3)$ and consider the set $\mathbf{I}_n(ρ_1,ρ_2,ρ_3)$ consisting of those $e \in \mathbf{I}_n$ with no $i < j < k$ such that $e_i ρ_1 e_j$, $e_j ρ_2 e_k$, and $e_i ρ_3 e_k$. We show that "avoiding a triple of relations" can characterize inversion sequences with a variety of monotonicity or unimodality conditions, or with multiplicity constraints on the elements. We uncover several interesting enumeration results and relate pattern avoiding inversion sequences to familiar combinatorial families. We highlight open questions about the relationship between pattern avoiding inversion sequences and families such as plane permutations and Baxter permutations. For several combinatorial sequences, pattern avoiding inversion sequences provide a simpler interpretation than otherwise known.

We introduce and study s-lecture hall P-partitions which is a generalization of s-lecture hall partitions to labeled (weighted) posets. We provide generating function identities for s-lecture hall P-partitions that generalize identities obtained by Savage and Schuster for s-lecture hall partitions, and by Stanley for P-partitions. We also prove that the corresponding (P,s)-Eulerian polynomials are real-rooted for certain pairs (P,s), and speculate on unimodality properties of these polynomials.

A lattice polytope is called spanning if its lattice points affinely span the ambient lattice. We show as a corollary to a general result in the Ehrhart theory of lattice polytopes that the $h^*$-vector of a spanning lattice polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral consequence of the Eisenbud-Goto conjecture. We also discuss how this relates to unimodality questions of lattice polytopes and previously achieved decomposition results on lattice polytopes of given degree.

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 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 $Δ$ be a triangulated homology ball whose boundary complex is $\partialΔ$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Δ$, $\mathbb F[Δ]$, is isomorphic to the Stanley--Reisner module of the pair $(Δ, \partialΔ)$, $\mathbb F[Δ,\partial Δ]$. This result implies that an Artinian reduction of $\mathbb F[Δ,\partial Δ]$ is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of $\mathbb F[Δ]$. We establish a generalization of this duality to all triangulations of connected orientable homology manifolds with boundary. We also provide an explicit algebraic interpretation of the $h"$-numbers of Buchsbaum complexes and use it to prove the monotonicity of $h"$-numbers for pairs of Buchsbaum complexes as well as the unimodality of $h"$-vectors of barycentric subdivisions of Buchsbaum polyhedral complexes. We close with applications to the algebraic manifold $g$-conjecture.

In the study of Kostka numbers and Catalan numbers, Kirillov posed a unimodality conjecture for the rectangular Narayana polynomials. We prove that the rectangular Narayana polynomials have only real zeros, and thereby confirm Kirillov's unimodality conjecture with the help of Newton's inequality. By using an equidistribution property between descent numbers and ascent numbers on ballot paths due to Sulanke and a bijection between lattice words and standard Young tableaux, we show that the rectangular Narayana polynomial is equal to the descent generating function on standard Young tableaux of certain rectangular shape, up to a power of the indeterminate. Then we obtain the real-rootedness of the rectangular Narayana polynomial based on Brenti's result that the descent generating function of standard Young tableaux has only real zeros.

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.

Let $W$ be an irreducible finite complex reflection group acting on a complex vector space $V$. For a positive integer $k$, we consider a class function $\varphi_k$ given by $\varphi_k(w) = k^{\dim V^w}$ for $w \in W$, where $V^w$ is the fixed-point subspace of $w$. If $W$ is the symmetric group of $n$ letters and $k=n+1$, then $\varphi_{n+1}$ is the permutation character on (classical) parking functions. In this paper, we give a complete answer to the question when $\varphi_k$ (resp. its $q$-analogue) is the character of a representation (resp. the graded character of a graded representation) of $W$. As a key to the proof in the symmetric group case, we find the greatest common divisors of specialized Schur functions. And we propose a unimodality conjecture of the coefficients of certain quotients of principally specialized Schur functions.

We introduce the strong alliance polynomial of a graph. The strong alliance polynomial of a graph $G$ with order n and strong defensive alliance number $a(G)$ is the polynomial $a(G;x):=\sum_{i=a(G)}^{n}\, a_i(G)\ x^i$, where $a_{k}(G)$ is the number of strong defensive alliances with cardinality $k$ in $G$. We obtain some properties of $a(G; x)$ and its coefficients. In particular, we compute strong alliance polynomial for path, cycle, complete, start, complete bipartite and double star graphs; some of them verify unimodality.

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.

Ehrhart theory is the study of sequences recording the number of integer points in non-negative integral dilates of rational polytopes. For a given lattice polytope, this sequence is encoded in a finite vector called the Ehrhart $h^*$-vector. Ehrhart $h^*$-vectors have connections to many areas of mathematics, including commutative algebra and enumerative combinatorics. In this survey we discuss what is known about unimodality for Ehrhart $h^*$-vectors and highlight open questions and problems.