arXiv++ Combinatorics

Given a permutation $π$ chosen uniformly from $S_n$, we explore the joint distribution of $π(1)$ and the number of descents in $π$. We obtain a formula for the number of permutations with $\des(π)=d$ and $π(1)=k$, and use it to show that if $\des(π)$ is fixed at $d$, then the expected value of $π(1)$ is $d+1$. We go on to derive generating functions for the joint distribution, show that it is unimodal if viewed correctly, and show that when $d$ is small the distribution of $π(1)$ among the permutations with $d$ descents is approximately geometric. Applications to Stein's method and the Neggers-Stanley problem are presented.

Let I_{n,k} (resp. J_{n,k}) be the number of involutions (resp. fixed-point free involutions) of {1,...,n} with k descents. Motivated by Brenti's conjecture which states that the sequence I_{n,0}, I_{n,1},..., I_{n,n-1} is log-concave, we prove that the two sequences I_{n,k} and J_{2n,k} are unimodal in k, for all n. Furthermore, we conjecture that there are nonnegative integers a_{n,k} such that $$ \sum_{k=0}^{n-1}I_{n,k}t^k=\sum_{k=0}^{\lfloor (n-1)/2\rfloor}a_{n,k}t^{k}(1+t)^{n-2k-1}. $$ This statement is stronger than the unimodality of I_{n,k} but is also interesting in its own right.

Christos Athanasiadis studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal $h$-vectors arising from finite graphs.

In this paper we look at polynomials arising from statistics on the classes of involutions, $I_n$, and involutions with no fixed points, $J_n$, in the symmetric group. Our results are motivated by F. Brenti's conjecture which states that the Eulerian distribution of $I_n$ is log-concave. Symmetry of the generating functions is shown for the statistics $des,maj$ and the joint distribution $(des,maj)$. We show that $exc$ is log-concave on $I_n$, $inv$ is log-concave on $J_n$ and $des$ is partially unimodal on both $I_n$ and $J_n$. We also give recurrences and explicit forms for the generating functions of the inversions statistic on involutions in Coxeter groups of types $B_n$ and $D_n$. Symmetry and unimodality of $inv$ is shown on the subclass of signed permutations in $D_n$ with no fixed points. In light of these new results, we present further conjectures at the end of the paper.

It is shown that the numbers $c_i$ of chains of length $i$ in the proper part $L\setminus\{0,1\}$ of a distributive lattice $L$ of length $\ell +2$ satisfy the inequalities $$c_0<...<c_{\lfloor{\ell /2}\rfloor} \quad{and}\quad c_{\lfloor{3 \ell /4}\rfloor}>...>c_{\ell}.$$ This proves 75 % of the inequalities implied by the Neggers unimodality conjecture.

If for any $k$ the $k$-th coefficient of a polynomial $I(G;x)$ is equal to the number of stable sets of cardinality $k$ in the graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). Alavi, Malde, Schwenk and Erdos (1987) conjectured that $I(G;x)$ is unimodal, whenever $G$ is a forest, while Brown, Dilcher and Nowakowski (2000) conjectured that $I(G;x)$ is unimodal for any well-covered graph G. Michael and Traves (2003) showed that the assertion is false for well-covered graphs with $a(G)$ > 3 ($a(G)$ is the size of a maximum stable set of the graph $G$), while for very well-covered graphs the conjecture is still open. In this paper we give support to both conjectures by demonstrating that if $a(G)$ < 4, or $G$ belongs to ${K_{1,n}, P_{n}: n > 0}$, then $I(G*;x)$ is log-concave, and, hence, unimodal (where $G*$ is the very well-covered graph obtained from $G$ by appending a single pendant edge to each vertex).

If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in the graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). Let $a$ be the size of a maximum stable set. Alavi, Malde, Schwenk and Erdos (1987)conjectured that I(T,x) is unimodal for any tree T, while, in general, they proved that for any permutation $p$ of {1,2,...,a} there is a graph such that s_{p(1)}<s_{p(2)}<...<s_{p(a)}. Brown, Dilcher and Nowakowski (2000) conjectured that I(G;x) is unimodal for any well-covered graph. Michael and Traves (2002) provided examples of well-covered graphs with non-unimodal independence polynomials. They proposed the "roller-coaster" conjecture: for a well-covered graph, the subsequence (s_{a/2},s_{a/2+1},...,s_{a}) is unconstrained in the sense of Alavi et al. The conjecture of Brown et al. is still open for very well-covered graphs. In this paper we prove that s_{(2a-1)/3}>=...>=s_{a-1}>=s_{a} are valid for any (a) bipartite graph $G$; (b) quasi-regularizable graph $G$ on $2a$ vertices. In particular, we infer that this is true for (a) trees, thus doing a step in an attempt to prove Alavi et al.' conjecture; (b) very well-covered graphs. Consequently, for this case, the unconstrained subsequence appearing in the roller-coaster conjecture can be shorten to (s_{a/2},s_{a/2+1},...,s_{(2a-1)/3}). We also show that the independence polynomial of a very well-covered graph $G$ is unimodal for a<10, and is log-concave whenever a<6.

We generalize the notion of graded posets to what we call sign-graded (labeled) posets. We prove that the $W$-polynomial of a sign-graded poset is symmetric and unimodal. This extends a recent result of Reiner and Welker who proved it for graded posets by associating a simplicial polytopal sphere to each graded poset $P$. By proving that the $W$-polynomials of sign-graded posets has the right sign at -1, we are able to prove the Charney-Davis Conjecture for these spheres (whenever they are flag).

A graph $G$ is well-covered if all its maximal stable sets have the same size, denoted by alpha(G) (M. D. Plummer, 1970). If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that I(G;x) is unimodal (that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing) for any well-covered graph $G$. T. S. Michael and W. N. Traves (2002) proved that this assertion is true for alpha(G) < 4, while for alpha(G) from the set {4,5,6,7} they provided counterexamples. In this paper we show that for any integer $alpha$ > 7, there exists a (dis)connected well-covered graph $G$ with $alpha$ = alpha(G), whose independence polynomial is not unimodal. In addition, we present a number of sufficient conditions for a graph $G$ with alpha(G) < 7 to have unimodal independence polynomial.

If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that the independence polynomial of a well-covered graph $G$ (i.e., a graph whose all maximal independent sets are of the same size) is unimodal, that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing. T. S. Michael and N. Traves (2002) provided examples of well-covered graphs whose independence polynomials are not unimodal. A. Finbow, B. Hartnell and R. J. Nowakowski (1993) proved that under certain conditions, any well-covered graph equals G* for some $G$, where G* is the graph obtained from $G$ by appending a single pendant edge to each vertex of $G$. Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees the independence polynomial is unimodal. V. E. Levit and E. Mandrescu (2002) validated the unimodality of the independence polynomials of some well-covered trees (e.g., $P_{n}^{*},K_{1,n}^{*}$, where $P_{n}$ is the path on $n$ vertices and $K_{1,n}$ is the $n$-star graph). In this paper we show that for any graph $G$ with the stability number alpha(G) < 5, the independence polynomial of G* is unimodal.

The number of stable sets of cardinality $k$ in graph $G$ is the $k$-th coefficient of the independence polynomial of $G$ (I. Gutman and F. Harary, 1983). In 1990, Y. O. Hamidoune proved that for any claw-free graph, its independence polynomial is unimodal, i.e., there exists a coefficient $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the second part of coefficients is non-increasing. Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees (or perhaps forests) the independence polynomial is unimodal. J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that it is true for any well-covered graph (a graph whose all maximal independent sets have the same size). V. E. Levit and E. Mandrescu (1999) demonstrated that every well-covered tree can be obtained as a join of a number of well-covered spiders, where a spider is a tree having at most one vertex of degree at least three. In this paper we show that the independence polynomial of any well-covered spider is unimodal. In addition, we introduce some graph transformations respecting independence polynomials. They allow us to reduce several types of well-covered trees to claw-free graphs, and, consequently, to prove that their independence polynomials are unimodal.

Using symmetric function theory, we study the cycle structure and increasing subsequence structure of permutations after various shuffling methods, emphasizing the role of Cauchy type identities and the Robinson-Schensted-Knuth correspondence. One consequence is a cycle index for riffle shuffles when one deals from the bottom of the deck; conclusions are drawn concerning the distribution of fixed points and the asymptotic distribution of cycle structure. In studying cycle structure of unimodal permutations and their generalizations we are led to an interesting variation of the RSK correspondence. This yields a probabilistic interpretation of a Schur-type function.

By algebraic group theory, there is a map from the semisimple conjugacy classes of a finite group of Lie type to the conjugacy classes of the Weyl group. Picking a semisimple class uniformly at random yields a probability measure on conjugacy classes of the Weyl group. Using the Brauer complex, it is proved that this measure agrees with a second measure on conjugacy classes of the Weyl group induced by a construction of Cellini using the affine Weyl group. Formulas for Cellini's measure in type $A$ are found. This leads to new models of card shuffling and has interesting combinatorial and number theoretic consequences. An analysis of type C gives another solution to a problem of Rogers in dynamical systems: the enumeration of unimodal permutations by cycle structure. The proof uses the factorization theory of palindromic polynomials over finite fields. Contact is made with symmetric function theory.

We give a generating function for the number of unimodal permutations with a given cycle structure.

Let Y denote a symmetric association scheme which is Q-polynomial with respect to an ordering E_0,...,E_D of the primitive idempotents. Bannai and Ito conjectured that the associated sequence of multiplicities m_0,...,m_D is unimodal. We prove that if Y is dual-thin in the sense of Terwilliger, then the sequence of multiplicities satisfies m_i <= m_{i+1} and m_i <= m_{D-i} for i < D/2.

The Wiener index is a graphical invariant that has found extensive application in chemistry. We define a generating function, which we call the Wiener polynomial, whose derivative is a q-analog of the Wiener index. We study some of the elementary properties of this polynomial and compute it for some common graphs. We then find a formula for the Wiener polynomial of a dendrimer, a certain highly regular tree of interest to chemists, and show that it is unimodal. Finally, we point out a connection with the Poincare polynomial of a finite Coxeter group.