arXiv++ Combinatorics

We will look at the Catalan numbers from the {\it Rigged Configurations} point of view originated \cite{Kir} from an combinatorial analysis of the Bethe Ansatz Equations associated with the higher spin anisotropic Heisenberg models . Our strategy is to take a combinatorial interpretation of Catalan numbers $C_n$ as the number of standard Young tableaux of rectangular shape $(n^2)$, or equivalently, as the Kostka number $K_{(n^2),1^{2n}}$, as the starting point of research. We observe that the rectangular (or multidimensional) Catalan numbers $ C(m,n)$ introduced and studied by P. MacMahon \cite{Mc}, \cite{Su1}, see also \cite{Su2}, can be identified with the Kostka number $K_{(n^m),1^{mn}}$, and therefore can be treated by Rigged Configurations technique. Based on this technique we study the stretched Kostka numbers and polynomials, and give a proof of `` a strong rationality `` of the stretched Kostka polynomials. This result implies a polynomiality property of the stretched Kostka and stretched Littlewood--Richardson coefficients \cite{KT}, \cite{Ras}, \cite{Ki1}. Another application of the Rigged Configuration technique presented, is a new family of counterexamples to Okounkov's log-concavity conjecture \cite{Ok}. Finally, we apply Rigged Configurations technique to give a combinatorial prove of the unimodality of the principal specialization of the internal product of Schur functions. In fact we prove a combinatorial formula for generalized $q$-Gaussian polynomials which is a far generalization of the so-called $KOH$-identity \cite{O}, as well as it manifests the unimodality property of the $q$-Gaussian polynomials.

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.

We observe that for a and b relatively prime, the "abacus construction" identifies the set of simultaneous (a,b)-core partitions with lattice points in a rational simplex. Furthermore, many statistics on (a,b)-cores are piecewise polynomial functions on this simplex. We apply these results to rational Catalan combinatorics. Using Ehrhart theory, we reprove Anderson's theorem that there are (a+b-1)!/a!b! simultaneous (a,b)-cores, and using Euler-Maclaurin theory we prove Armstrong's conjecture that the average size of an (a,b)-core is (a+b+1)(a-1)(b-1)/24. Our methods also give new derivations of analogous formulas for the number and average size of self-conjugate (a,b)-cores. We conjecture a unimodality result for q rational Catalan numbers, and make preliminary investigations in applying these methods to the (q,t)-symmetry and specialization conjectures. We prove these conjectures for low degree terms and when a=3, connecting them to the Catalan hyperplane arrangement and quadratic permutation statistics.

Although the Unimodality Conjecture holds for some certain classes of cubical polytopes (e.g. cubes, capped cubical polytopes, neighborly cubical polytopes), it fails for cubical polytopes in general. A 12-dimensional cubical polytope with non-unimodal face vector is constructed by using capping operations over a neighborly cubical polytope with 2 to the power 131 vertices. For cubical polytopes, the Unimodality Conjecture is proved for dimensions less than 11. The first one-third of the face vector of a cubical polytope is increasing and its last one-third is decreasing in any dimension.

There are natural polynomial invariants of polytopes and lattice polytopes coming from enumerative combinatorics and Ehrhart theory, namely the $h$- and $h^*$-polynomials, respectively. In this paper, we study their generalization to subdivisions and lattice subdivisions of polytopes. By abstracting constructions in mixed Hodge theory, we introduce multivariable polynomials which specialize to the $h$-, $h^*$- polynomials. These polynomials, the mixed $h$-polynomial and the (refined) limit mixed $h^*$-polynomial have rich symmetry, non-negativity, and unimodality properties, which both refine known properties of the classical polynomials, and reveal new structure. For example, we prove a lower bound theorem for a related invariant called the local $h^*$-polynomial. We introduce our polynomials by developing a very general formalism for studying subdivisions of Eulerian posets that extends the work of Stanley, Brenti and Athanasiadis on local $h$-vectors. In particular, we prove a conjecture of Nill and Schepers, and answer a question of Athanasiadis.

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.

We present a lower bound on the Kronecker coefficients for tensor squares of the symmetric group via the characters of~$S_n$, which we apply to obtain various explicit estimates. Notably, we extend Sylvester's unimodality of $q$-binomial coefficients $\binom{n}{k}_q$ as polynomials in~$q$ to derive sharp bounds on the differences of their consecutive coefficients. We then derive effective asymptotic lower bounds for a wider class of Kronecker coefficients.

This is a survey on recent developments on unimodality, log-concavity and real-rootedness in combinatorics. Stanley and Brenti have written extensive surveys of various techniques that can be used to prove real-rootedness, log-concavity or unimodality. After a brief introduction, we will complement these surveys with a survey over some new techniques that have been developed, as well as problems and conjectures that have been solved. This is a draft of a chapter to appear in Handbook of Enumerative Combinatorics, published by CRC Press.

Using T(m,n;k) to denote the number of ways to make a selection of k squares from an (m x n) rectangular grid with no two squares in the selection adjacent, we give a formula for T(2,n;k), prove some identities satisfied by these numbers, and show that T(2,n;k) is given by a degree k polynomial in n. We give simple formulas for the first few (most significant) coefficients of the polynomials. We give corresponding results for T(3,n;k) as well. Finally we prove a unimodality theorem which shows, in particular, how to choose k in order to maximize T(2,n;k).

We look at the rank generating function $G_λ$ of partitions inside the Ferrers diagram of some partition $λ$, investigated by Stanton in 1990, as well as a closely related problem investigated by Stanley and Zanello in 2013. We show that $G_λ$ is not unimodal for a larger class of 4-part partitions than previously known, and also that if the ratios of parts of $λ$ are close enough to 1 (depending on how many parts $λ$ has), or if the first part is at least half the size of $λ$, then $G_λ$ is unimodal.

For the Legendre-Stirling numbers of the second kind asymptotic formulae are derived in terms of a local central limit theorem. Thereby, supplements of the recently published asymptotic analysis of the Chebyshev-Stirling numbers are established. Moreover, we provide results on the asymptotic normality and unimodality for modified Legendre-Stirling numbers.

We present several upper and lower bounds on the Kronecker coefficients of the symmetric group. We prove $k$-stability of the Kronecker coefficients generalizing the (usual) stability, and giving a new upper bound. We prove a lower bound via the characters of $S_n$. We apply these and other results to generalize Sylvester's unimodality of the $q$-binomial coefficients $\binom{n}{k}_q$ as polynomials in $q$: we derive explicit sharp bounds on the differences of their consecutive coefficients.

In this paper we examine the sorting operator $T(LnR)=T(R)T(L)n$. Applying this operator to a permutation is equivalent to passing the permutation reversed through a stack. We prove theorems that characterise $t$-revstack sortability in terms of patterns in a permutation that we call $zigzag$ patterns. Using these theorems we characterise those permutations of length $n$ which are sorted by $t$ applications of $T$ for $t=0,1,2,n-3,n-2,n-1$. We derive expressions for the descent polynomials of these six classes of permutations and use this information to prove Steingrímsson's sorting conjecture for those six values of $t$. Symmetry and unimodality of the descent polynomials for general $t$-revstack sortable permutations is also proven and three conjectures are given.

Let $W$ be a finite Coxeter group and $X$ a subset of $W$. The length polynomial $L_{W,X}(t)$ is defined by $L_{W,X}(t) = \sum_{x \in X} t^{\ell(x)}$, where $\ell$ is the length function on $W$. In this article we derive expressions for the length polynomial where $X$ is any conjugacy class of involutions, or the set of all involutions, in any finite Coxeter group $W$. In particular, these results correct errors in the paper "Permutation statistics on involutions", W.M.B. Dukes., European J. Combin. 28 (2007), 186--198. for the involution length polynomials of Coxeter groups of type $B_n$ and $D_n$. Moreover, we give a counterexample to a unimodality conjecture of Dukes.

An interesting open problem in Ehrhart theory is to classify those lattice polytopes having a unimodal $h^*$-vector. Although various sufficient conditions have been found, necessary conditions remain a challenge. In this paper, we consider integrally closed reflexive simplices and discuss an operation that preserves reflexivity, integral closure, and unimodality of the $h^*$-vector, providing one explanation for why unimodality occurs in this setting. We also discuss the failure of proving unimodality in this setting using weak Lefschetz elements.

Pak and Panova recently proved that the $q$-binomial coefficient ${m+n \choose m}_q$ is a strictly unimodal polynomial in $q$ for $m,n \geq 8$, via the representation theory of the symmetric group. We give a direct combinatorial proof of their result by characterizing when a product of chains is strictly unimodal and then applying O'Hara's structure theorem for the partition lattice $L(m,n)$. In fact, we prove a stronger result: if $m, n \geq 8d$, and $2d \leq r \leq mn/2$, then the $r$-th rank of $L(m,n)$ has at least $d$ more elements that the next lower rank.

New criteria are shown that certain combinations of finite unimodal polynomials are unimodal. %Given unimodal polynomials with explicit expressions and dependent recursion relations, we propose an approach to determine their modes. As applications, unimodality of several polynomial sequences satisfying dependent recurrence relations and their modes are provided. Then unimodality of genus distributions for some ladders and crosses can be determined. As special cases, that of genus distributions for Closed-end ladders, circular ladders, Möbius ladders and Ringel ladders and their modes are given, which induces the known results for Closed-end ladders.

A recent nice result due to I. Pak and G. Panova is the strict unimodality of the $q$-binomial coefficients $\binom{a+b}{b}_q$ (see \cite{PP} and also \cite{PP2} for a slightly revised version of their theorem). Since their proof used representation theory and Kronecker coefficients, the authors also asked for an argument that would employ Zeilberger's KOH theorem. In this note, we give such a proof. Then, as a further application of our method, we also provide a short proof of their conjecture that the difference between consecutive coefficients of $\binom{a+b}{b}_q$ can get arbitrarily large, when we assume that $b$ is fixed and $a$ is large enough.

Given two graphs $G$ and $H$, assume that $\mathscr{C}=\{C_1,C_2,\ldots, C_q\}$ is a clique cover of $G$ and $U$ is a subset of $V(H)$. We introduce a new graph operation called the clique cover product, denoted by $G^{\mathscr{C}}\star H^U$, as follows: for each clique $C_i\in \mathscr{C}$, add a copy of the graph $H$ and join every vertex of $C_i$ to every vertex of $U$. We prove that the independence polynomial of $G^{\mathscr{C}}\star H^U$ $$I(G^{\mathscr{C}}\star H^U;x)=I^q(H;x)I(G;\frac{xI(H-U;x)}{I(H;x)}),$$ which generalizes some known results on independence polynomials of corona and rooted products of graphs obtained by Gutman and Rosenfeld, respectively. Based on this formula, we show that the clique cover product of some special graphs preserves symmetry, unimodality, log-concavity or reality of zeros of independence polynomials. As applications we derive several known facts in a unified manner and solve some unimodality conjectures and problems.

Recently, Hyatt introduced some colored Eulerian quasisymmetric function to study the joint distribution of excedance number and major index on colored permutation groups. We show how Hyatt's generating function formula for the fixed point colored Eulerian quasisymmetric functions can be deduced from the Decrease value theorem of Foata and Han. Using this generating function formula, we prove two symmetric function generalizations of the Chung-Graham-Knuth symmetrical Eulerian identity for some flag Eulerian quasisymmetric functions, which are specialized to the flag excedance numbers. Combinatorial proofs of those symmetrical identities are also constructed. We also study some other properties of the flag Eulerian quasisymmetric functions. In particular, we confirm a recent conjecture of Mongelli [Journal of Combinatorial Theory, Series A, 120 (2013) 1216--1234] about the unimodality of the generating function of the flag excedances over the type B derangements. Moreover, colored versions of the hook factorization and admissible inversions of permutations are found, as well as a new recurrence formula for the $(\maj-\exc,\fexc)$-$q$-Eulerian polynomials. We introduce a colored analog of Rawlings major index on colored permutations and obtain an interpretation of the colored Eulerian quasisymmetric functions as sums of some fundamental quasisymmetric functions related with them, by applying Stanley's $P$-partition theory and a decomposition of the Chromatic quasisymmetric functions due to Shareshian and Wachs.