arXiv++ Combinatorics

We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset. This gives rise to a strongly connected graph on L. In earlier work (arXiv:1205.7074), we studied promotion-based Markov chains on these linear extensions which generalizes results on the Tsetlin library. We used the theory of R-trivial monoids in an essential way to obtain explicitly the eigenvalues of the transition matrix in general when the poset is a rooted forest. We first survey these results and then present explicit bounds on the mixing time and conjecture eigenvalue formulas for more general posets. We also present a generalization of promotion to arbitrary subsets of the symmetric group.

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to $[n,n,n]$: the {\em reduced web} basis associated to Kuperberg's combinatorial description of the spider category; and the {\em left cell basis} for the left cell construction of Kazhdan and Lusztig. In the case of $[n,n]$, the spider category is the Temperley-Lieb category; reduced webs correspond to planar matchings, which are equivalent to left cell bases. This paper compares the images of these bases under classical maps: the {\em Robinson-Schensted algorithm} between permutations and Young tableaux and {\em Khovanov-Kuperberg's bijection} between Young tableaux and reduced webs. One main result uses Vogan's generalized $τ$-invariant to uncover a close structural relationship between the web basis and the left cell basis. Intuitively, generalized $τ$-invariants refine the data of the inversion set of a permutation. We define generalized $τ$-invariants intrinsically for Kazhdan-Lusztig left cell basis elements and for webs. We then show that the generalized $τ$-invariant is preserved by these classical maps. Thus, our result allows one to interpret Khovanov-Kuperberg's bijection as an analogue of the Robinson-Schensted correspondence. Despite all of this, our second main result proves that the reduced web and left cell bases are inequivalent; that is, these bijections are not $S_{3n}$-equivariant maps.

The {\sf Shi hyperplane arrangement} Shi(n) was introduced by Shi to study the Kazhdan-Lusztig cellular structure of the affine symmetric group. The {\sf Ish hyperplane arrangement} Ish(n) was introduced by Armstrong in the study of diagonal harmonics. Armstrong and Rhoades discovered a deep combinatorial similarity between the Shi and Ish arrangements. We solve a collection of problems posed by Armstrong and Armstrong-Rhoades by giving bijections between regions of Shi(n) and Ish(n) which preserve certain statistics. Our bijections generalize to the `deleted arrangements' Shi(G) and Ish(G) which depend on a subgraph G of the complete graph K_n on n vertices. The key tools in our bijections are the introduction of an Ish analog of parking functions called {\sf rook words} and a new instance of the cycle lemma of enumerative combinatorics.

We investigate Robinson-Schensted-Knuth algorithm (RSK) and Schützenberger's jeu de taquin in the infinite setup. We show that the recording tableau in RSK defines an isomorphism of the following two dynamical systems: (i) a sequence of i.i.d. random letters equipped with Bernoulli shift, and (ii) a random infinite Young tableau (with the distribution given by Vershik-Kerov measure, corresponding to some Thoma character of the infinite symmetric group) equipped with jeu de taquin transformation. As a special case we recover the results on non-colliding random walks and multidimensional Pitman transform.

Let $G$ be a finite group, $S\subseteq G\setminus\{1\}$ be a set such that if $a\in S$, then $a^{-1}\in S$, where $1$ denotes the identity element of $G$. The undirected Cayley graph $Cay(G,S)$ of $G$ over the set $S$ is the graph whose vertex set is $G$ and two vertices $a$ and $b$ are adjacent whenever $ab^{-1}\in S$. The adjacency spectrum of a graph is the multiset of all eigenvalues of the adjacency matrix of the graph. A graph is called integral whenever all adjacency spectrum elements are integers. Following Klotz and Sander, we call a group $G$ Cayley integral whenever all undirected Cayley graphs over $G$ are integral. Finite abelian Cayley integral groups are classified by Klotz and Sander as finite abelian groups of exponent dividing $4$ or $6$. Klotz and Sander have proposed the determination of all non-abelian Cayley integral groups. In this paper we complete the classification of finite Cayley integral groups by proving that finite non-abelian Cayley integral groups are the symmetric group $S_{3}$ of degree $3$, $C_{3} \rtimes C_{4}$ and $Q_{8}\times C_{2}^{n}$ for some integer $n\geq 0$, where $Q_8$ is the quaternion group of order $8$.

In this paper, we establish an explicit isomorphism between the symmetric group algebra and the path algebra of the Young graph. Specifically, we construct a family of matrix units in the group algebra. As a main application of this construction, we obtain new formulas, alternative to Weingarten calculus, for the integral of a polynomial over the unitary group with respect to the Haar measure. In particular, we obtain a closed formula for the law of moments of the first k rows of the unitary group.

An associahedron is a polytope whose vertices correspond to triangulations of a convex polygon and whose edges correspond to flips between them. Using labeled polygons, C. Hohlweg and C. Lange constructed various realizations of the associahedron with relevant properties related to the symmetric group and the classical permutahedron. We introduce the spine of a triangulation as its dual tree together with a labeling and an orientation. This notion extends the classical understanding of the associahedron via binary trees, introduces a new perspective on C. Hohlweg and C. Lange's construction closer to J.-L. Loday's original approach, and sheds light upon the combinatorial and geometric properties of the resulting realizations of the associahedron. It also leads to noteworthy proofs which shorten and simplify previous approaches.

The symmetric group is generated by σ = (1 2 ... n) and τ = (1 2). We answer an open problem of Nijenhuis and Wilf by constructing a Hamilton path in the directed Cayley graph for all n, and a Hamilton cycle for odd n.

Consideration of a classification of the number of partitions of a natural number according to the members of sub-partitions differing from unity leads to a non-recursive formula for the number of irreducible representations of the symmetric group Sn. This article was published, long ago, under the title A non-recursive expression for the number of irreducible representations of the Symmetric Group Sn, Physica 114A, 1982, 361-364, North-Holland Publishing Co. The Introduction has been, somewhat, improved, however, the handmade result remains unproved.

Several cycle lexicographical orders are found to describe the relative likelihood of elements of the random walks on the symmetric group generated by the conjugacy classes of transpositions, 3-cycles, and n-cycles. Spectral analysis finds sufficient time for the orders to hold. This partially answers a conjecture that the n-cycles are the least likely elements of the transposition walk on the symmetric group. A likelihood order contributes to understanding the total variation distance and separation distance for a random walk.

Let $\mathscr{P}_{m}$ be the graph on the set of perfect matchings in the complete graph $K_{2m}$, where two perfect matchings are connected by an edge if their symmetric difference is a cycle of length four. This paper studies geodesics in $\mathscr{P}_{m}$. The diameter of $\mathscr{P}_{m}$, as well as the eccentricity of each vertex, are shown to be $m-1$. Two proof are given to show that the number of geodesics between any two antipodes is $m^{m-2}$. The first is a direct proof via a recursive formula, and the second is via reduction to the number of minimal factorizations of a given $m$-cycle in the symmetric group $S_m$. An explicit formula for the number of geodesics between any two matchings in $\mathscr{P}_{m}$ is also given. Let $\mathscr{M}_m$ be the graph on the set of non-crossing perfect matchings of $2m$ labeled points on a circle with the same adjacency condition as in $\mathscr{P}_m$. $\mathscr{M}_m$ is an induced subgraph of $\mathscr{P}_m$, and it is shown that $\mathscr{M}_m$ has exactly one pair of antipodes having the maximal number ($m^{m-2}$) of geodesics between them.

We obtain an estimate on the average cardinality of the value set of any family of monic polynomials of Fq[T] of degree d for which s consecutive coefficients a_{d-1},..., a_{d-s} are fixed. Our estimate holds without restrictions on the characteristic of Fq and asserts that V(d,s,\bfs{a})=μ_d.q+\mathcal{O}(1), where V(d,s,\bfs{a}) is such an average cardinality, μ_d:=\sum_{r=1}^d{(-1)^{r-1}}/{r!} and \bfs{a}:=(a_{d-1},.., d_{d-s}). We provide an explicit upper bound for the constant underlying the \mathcal{O}--notation in terms of d and s with "good" behavior. Our approach reduces the question to estimate the number of Fq--rational points with pairwise--distinct coordinates of a certain family of complete intersections defined over Fq. We show that the polynomials defining such complete intersections are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning the singular locus of the varieties under consideration, from which a suitable estimate on the number of Fq--rational points is established.

We consider random character values X(g) of the symmetric group on n symbols, where X is chosen at random from the set of irreducible characters and g is chosen at random from the group, and we show that X(g)=0 with probability tending to one as n tends to infinity.

In this paper, we derive a relation of new kind between certain character values of symmetric groups in terms of so-called maya diagrams. We also investigate a relation between our result and Bernstein's creation operators for Schur functions, and consider analogous relations for projective characters of symmetric groups through creation operators for Schur $Q$-functions. We also consider analogous relations for characters of Brauer algebras and walled Brauer algebras.

Kazhdan--Lusztig polynomials arise in the context of Hecke algebras associated to Coxeter groups. The computation of these polynomials is very difficult for examples of even moderate rank. In type $A$ it is known that the leading coefficient, $μ(x,w)$ of a Kazhdan--Lusztig polynomial $P_{x,w}$ is either 0 or 1 when $x$ is fully commutative and $w$ is arbitrary. In type $D$ Coxeter groups there are certain "bad" elements that make $μ$-value computation difficult. The Robinson--Schensted correspondence between the symmetric group and pairs of standard Young tableaux gives rise to a way to compute cells of Coxeter groups of type $A$. A lesser known correspondence exists for signed permutations and pairs of so-called domino tableaux, which allows us to compute cells in Coxeter groups of types $B$ and $D$. I will use this correspondence in type $D$ to compute $μ$-values involving bad elements. I will conclude by showing that $μ(x,w)$ is 0 or 1 when $x$ is fully commutative in type $D$.

We construct different classes of lumpings for a family of Markov chain products which reflect the structure of a given finite poset. We use essentially combinatorial methods. We prove that, for such a product, every lumping can be obtained from the action of a suitable subgroup of the generalized wreath product of symmetric groups, acting on the underlying poset block structure, if and only if the poset defining the Markov process is totally ordered, and one takes the uniform Markov operator in each factor state space. Finally we show that, when the state space is a homogeneous space associated with a Gelfand pair, the spectral analysis of the corresponding lumped Markov chain is completely determined by the decomposition of the group action into irreducible submodules.

We consider the problem of counting commuting r-tuples of elements of the symmetric group S_n, i.e. computing |Hom(Z^r,S_n)|. The cases r=1,2 are well-known; a product formula for the case r=3 was conjectured by Adams-Watters and later proved by Britnell. In this note we solve the problem for arbitrary r.

In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone. The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.

It is known that Euler numbers, defined as the Taylor coefficients of the tangent and secant functions, count alternating permutations in the symmetric group. Springer defined a generalization of these numbers for each finite Coxeter group by considering the largest descent class, and computed the value in each case of the classification. We consider here another generalization of Euler numbers for finite Coxeter groups, building on Stanley's result about the number of orbits of maximal chains of set partitions. We present a method to compute these integers and obtain the value in each case of the classification.

We study the remarkable Saxl conjecture which states that tensor squares of certain irreducible representations of the symmetric groups S_n contain all irreducibles as their constituents. Our main result is that they contain representations corresponding to hooks and two row Young diagrams. For that, we develop a new sufficient condition for the positivity of Kronecker coefficients in terms of characters, and use combinatorics of rim hook tableaux combined with known results on unimodality of certain partition functions. We also present connections and speculations on random characters of S_n.