arXiv++ Combinatorics

Let u and v be permutations on n letters, with u <= v in Bruhat order. A Bruhat interval polytope Q_{u,v} is the convex hull of all permutation vectors z = (z(1), z(2),...,z(n)) with u <= z <= v. Note that when u=e and v=w_0 are the shortest and longest elements of the symmetric group, Q_{e,w_0} is the classical permutohedron. Bruhat interval polytopes were studied recently by Kodama and the second author, in the context of the Toda lattice and the moment map on the flag variety. In this paper we study combinatorial aspects of Bruhat interval polytopes. For example, we give an inequality description and a dimension formula for Bruhat interval polytopes, and prove that every face of a Bruhat interval polytope is a Bruhat interval polytope. A key tool in the proof of the latter statement is a generalization of the well-known lifting property for Coxeter groups. Motivated by the relationship between the lifting property and R-polynomials, we also give a generalization of the standard recurrence for R-polynomials. Finally, we define a more general class of polytopes called Bruhat interval polytopes for G/P, which are moment map images of (closures of) totally positive cells in the non-negative part of G/P, and are a special class of Coxeter matroid polytopes. Using tools from total positivity and the Gelfand-Serganova stratification, we show that the face of any Bruhat interval polytope for G/P is again a Bruhat interval polytope for G/P.

Starting from an ancient observation of Tits concerning the interpretation of symmetric groups as Chevalley groups over a (non-existing) field having only one element, we describe combinatorial geometry over this field, as well as Linear Algebra. We arrive at an "absolute mantra" which is one of the basic principles of the present book.

For any finite path $v$ on the square grid consisting of north and east unit steps, starting at (0,0), we construct a poset Tam$(v)$ that consists of all the paths weakly above $v$ with the same number of north and east steps as $v$. For particular choices of $v$, we recover the traditional Tamari lattice and the $m$-Tamari lattice. Let $\overleftarrow{v}$ be the path obtained from $v$ by reading the unit steps of $v$ in reverse order, replacing the east steps by north steps and vice versa. We show that the poset Tam$(v)$ is isomorphic to the dual of the poset Tam$(\overleftarrow{v})$. We do so by showing bijectively that the poset Tam$(v)$ is isomorphic to the poset based on rotation of full binary trees with the fixed canopy $v$, from which the duality follows easily. This also shows that Tam$(v)$ is a lattice for any path $v$. We also obtain as a corollary of this bijection that the usual Tamari lattice, based on Dyck paths of height $n$, is a partition of the (smaller) lattices Tam$(v)$, where the $v$ are all the paths on the square grid that consist of $n-1$ unit steps. We explain possible connections between the poset Tam$(v)$ and (the combinatorics of) the generalized diagonal coinvariant spaces of the symmetric group.

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.

The aim of the present paper is to generalize the notion of the group determinants for finite groups. For a finite group $G$ of order $kn$ and its subgroup $H$ of order $n$, one may define an $n$ by $kn$ matrix $X=(x_{hg^{-1}})_{h\in H,g\in G}$, where $x_g$ ($g\in G$) are indeterminates indexed by the elements in $G$. Then, we define an invariant $Θ(G,H)$ for a given pair $(G,H)$ by the $k$-wreath determinant of the matrix $X$, where $k$ is the index of $H$ in $G$. The $k$-wreath determinant of $n$ by $kn$ matrix is a relative invariant of the left action by the general linear group of order $k$ and right action by the wreath product of two symmetric groups of order $k$ and $n$. Since the definition of $Θ(G,H)$ is ordering-sensitive, representation theory of symmetric groups are naturally involved. In this paper, we treat abelian groups with a special choice of indeterminates and give various examples of non-abelian group-subgroup pairs.

Hooks are prominent in representation theory (of symmetric groups) and they play a role in number theory (via cranks associated to Ramanujan's congruences). A partition of a positive integer $n$ has a Young diagram representation. To each cell in the diagram there is an associated statistic called hook length, and if a number $t$ is absent from the diagram then the partition is called a $t$-core. A partition is an $(s,t)$-core if it is both an $s$- and a $t$-core. Since the work of Anderson on $(s,t)$-cores, the topic has received a growing attention. This paper expands the discussion to multiple-cores. More precisely, we explore $(s,s+1,\dots,s+k)$-core partitions much in the spirit of a recent paper by Stanley and Zanello. In fact, our results exploit connections between three combinatorial objects: multi-cores, posets and lattice paths (with a novel generalization of Dyck paths). Additional results and conjectures are scattered throughout the paper. For example, one of these statements implies a curious symmetry for twin-prime $(s,s+2)$-core partitions.

We consider sequences of degrees of ordinary irreducible $S_n$-characters. We assume that the corresponding Young diagrams have rows and columns bounded by some linear function of $n$ with leading coefficient less than one. We show that any such sequence has at least exponential growth and we compute an explicit bound.

The De Concini-Procesi wonderful models of the braid arrangement of type $A_{n-1}$ are equipped with a natural $S_n$ action, but only the minimal model admits an `hidden' symmetry, i.e. an action of $S_{n+1}$ that comes from its moduli space interpretation. In this paper we explain why the non minimal models don't admit this extended action: they are `too small'. In particular we construct a {\em supermaximal} model which is the smallest model that can be projected onto the maximal model and again admits an extended $S_{n+1}$ action. We give an explicit description of a basis for the integer cohomology of this supermaximal model. Furthermore, we deal with another hidden extended action of the symmetric group: we observe that the symmetric group $S_{n+k}$ acts by permutation on the set of $k$-codimensionl strata of the minimal model. Even if this happens at a purely combinatorial level, it gives rise to an interesting permutation action on the elements of a basis of the integer cohomology.

Richard Stanley played a crucial role, through his work and his students, in the development of the relatively new area known as combinatorial representation theory. In the early stages, he has the merit to have pointed out to combinatorialists the potential that representation theory has for applications of combinatorial methods. Throughout his distinguished career, he wrote significant articles which touch upon various combinatorial aspects related to representation theory (of Lie algebras, the symmetric group, etc.). I describe some of Richard's contributions involving Lie algebras, as well as recent developments inspired by them (including some open problems), which attest the lasting impact of his work.

We consider two problems that appear at first sight to be unrelated. The first problem is to count certain diagrams consisting of noncrossing arcs in the plane. The second problem concerns the weak order on the symmetric group. Each permutation $x$ has a canonical join representation: a unique lowest set of permutations joining to $x$. The second problem is to determine which sets of permutations appear as canonical join representations. The two problems turn out to be closely related because the noncrossing arc diagrams provide a combinatorial model for canonical join representations. The same considerations apply to more generally to lattice quotients of the weak order. Considering quotients produces, for example, a new combinatorial object counted by the Baxter numbers and an analogous new object in bijection with generic rectangulations.

Let $\mathcal{S}_{n}$ be the symmetric group on $[n]=\{1, \ldots, n\}$. The $k$-point fixing graph $\mathcal{F}(n,k)$ is defined to be the graph with vertex set $\mathcal{S}_{n}$ and two vertices $g$, $h$ of $\mathcal{F}(n,k)$ are joined if and only if $gh^{-1}$ fixes exactly $k$ points. In this paper, we derive a recurrence formula for the eigenvalues of $\mathcal{F}(n,k)$. Then we apply our result to determine the sign of the eigenvalues of $\mathcal{F}(n,1)$.

Two methods of constructing 2D Toda $τ$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_λ\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $τ$-functions of hypergeometric type. The second method is the standard construction of $τ$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions.

We use the fact that certain cosets of the stabilizer of points are pairwise conjugate in a symmetric group $S_n$ in order to construct recurrence relations for enumerating certain subsets of $S_n$. Occasionally one can find `closed form' solutions to such recurrence relations. For example, the probability that a random element of $S_n$ has no cycle of length divisible by $q$ is $\prod_{d=1}^{\lfloor n/q\rfloor} (1-\frac{1}{dq})$.

We introduce a quasisymmetric refinement of Stanley's chromatic symmetric function. We derive refinements of both Gasharov's Schur-basis expansion of the chromatic symmetric function and Chow's expansion in Gessel's basis of fundamental quasisymmetric functions. We present a conjectural refinement of Stanley's power sum basis expansion, which we prove in special cases. We describe connections between the chromatic quasisymmetric function and both the $q$-Eulerian polynomials introduced in our earlier work and, conjecturally, representations of symmetric groups on cohomology of regular semisimple Hessenberg varieties, which have been studied by Tymoczko and others. We discuss an approach, using the results and conjectures herein, to the $e$-positivity conjecture of Stanley and Stembridge for incomparability graphs of $(3+1)$-free posets.

We review Stanley's seminal work on the number of reduced words of the longest element of the symmetric group and his Stanley symmetric functions. We shed new light on this by giving a crystal theoretic interpretation in terms of decreasing factorizations of permutations. Whereas crystal operators on tableaux are coplactic operators, the crystal operators on decreasing factorization intertwine with the Edelman-Greene insertion. We also view this from a random perspective and study a Markov chain on reduced words of the longest element in a finite Coxeter group, in particular the symmetric group, and mention a generalization to a poset setting.

We study the Hecke algebra $\H(\bq)$ over an arbitrary field $\FF$ of a Coxeter system $(W,S)$ with independent parameters $\bq=(q_s\in\FF:s\in S)$ for all generators. This algebra is always linearly spanned by elements indexed by the Coxeter group $W$. This spanning set is indeed a basis if and only if every pair of generators joined by an odd edge in the Coxeter diagram receive the same parameter. In general, the dimension of $\H(\bq)$ could be as small as $1$. We construct a basis for $\H(\bq)$ when $(W,S)$ is simply laced. We also characterize when $\H(\bq)$ is commutative, which happens only if the Coxeter diagram of $(W,S)$ is simply laced and bipartite. In particular, for type A we obtain a tower of semisimple commutative algebras whose dimensions are the Fibonacci numbers. We show that the representation theory of these algebras has some features in analogy/connection with the representation theory of the symmetric groups and the 0-Hecke algebras.

Consider a uniformly chosen random reduced decomposition of the longest element in the symmetric group. It is known that the location of the first transposition in this decomposition converges to the semicircle distribution. In this note we provide a sharp error term for this result, using the "comparison of generators" approach to Stein's method.

The complete transposition graph is defined to be the graph whose vertices are the elements of the symmetric group $S_n$, and two vertices $α$ and $β$ are adjacent in this graph iff there is some transposition $(i,j)$ such that $α=(i,j) β$. Thus, the complete transposition graph is the Cayley graph $\Cay(S_n,S)$ of the symmetric group generated by the set $S$ of all transpositions. An open problem in the literature is to determine which Cayley graphs are normal. It was shown recently that the Cayley graph generated by 4 cyclically adjacent transpositions is not normal. In the present paper, it is proved that the complete transposition graph is not a normal Cayley graph, for all $n \ge 3$. Furthermore, the automorphism group of the complete transposition graph is shown to equal \[ \Aut(\Cay(S_n,S)) = (R(S_n) \rtimes \Inn(S_n)) \rtimes \mathbb{Z}_2, \] where $R(S_n)$ is the right regular representation of $S_n$, $\Inn(S_n)$ is the group of inner automorphisms of $S_n$, and $\mathbb{Z}_2 = \langle h \rangle$, where $h$ is the map $α\mapsto α^{-1}$.

Cycle prefix digraphs have been proposed as an efficient model of symmetric interconnection networks for parallel architecture. It has been discovered that the cycle prefix networks have many attractive communication properties. In this paper, we determine the automorphism group of the cycle prefix digraphs. We show that the automorphism group of a cycle prefix digraph is isomorphic to the symmetric group on its underlying alphabet. Our method can be applied to other classes of graphs built on alphabets including the hypercube, the Kautz graph,and the de Bruijn graph.

We call an irreducible character $p$-singular if $p$ divides its degree. We prove a number of equivalent conditions for a character of the symmetric group $S_n$ to be $p$-singular, involving a certain family of conjugacy classes. This answers in part a question by Navarro.