arXiv++ Combinatorics

In 1997 Clarke et al. studied a $q$-analogue of Euler's difference table for $n!$ using a key bijection $Ψ$ on symmetric groups. In this paper we extend their results to the wreath product of a cyclic group with the symmetric group. In particular we obtain a new mahonian statistic \emph{fmaf} on wreath products. We also show that Foata and Han's two recent transformations on the symmetric groups provide indeed a factorization of $Ψ$.

We investigate a certain linear combination $K(\vec{x})=K(a;b,c,d;e,f,g)$ of two Saalschutzian hypergeometric series of type ${_4}F_3(1)$. We first show that $K(a;b,c,d;e,f,g)$ is invariant under the action of a certain matrix group $G_K$, isomorphic to the symmetric group $S_6$, acting on the affine hyperplane $V=\{(a,b,c,d,e,f,g)\in\Bbb C^7\colon e+f+g-a-b-c-d=1\}$. We further develop an algebra of three-term relations for $K(a;b,c,d;e,f,g)$. We show that, for any three elements $μ_1,μ_2,μ_3$ of a certain matrix group $M_K$, isomorphic to the Coxeter group $W(D_6)$ (of order 23040), and containing the above group $G_K$, there is a relation among $K(μ_1\vec{x})$, $K(μ_2\vec{x})$, and $K(μ_3\vec{x})$, provided no two of the $μ_j$'s are in the same right coset of $G_K$ in $M_K$. The coefficients in these three-term relations are seen to be rational combinations of gamma and sine functions in $a,b,c,d,e,f,g$. The set of $({|M_K|/|G_K|\atop 3})=({32\atop 3})=4960$ resulting three-term relations may further be partitioned into five subsets, according to the Hamming type of the triple $(μ_1,μ_2,μ_3) $ in question. This Hamming type is defined in terms of Hamming distance between the $μ_j$'s, which in turn is defined in terms of the expression of the $μ_j$'s as words in the Coxeter group generators. Each three-term relation of a given Hamming type may be transformed into any other of the same type by a change of variable. An explicit example of each of the five types of three-term relations is provided.

Let $X=(V,E)$ be a finite simple connected graph with $n$ vertices and $m$ edges. A configuration is an assignment of one of two colors, black or white, to each edge of $X.$ A move applied to a configuration is to select a black edge $ε\in E$ and change the colors of all adjacent edges of $ε.$ Given an initial configuration and a final configuration, try to find a sequence of moves that transforms the initial configuration into the final configuration. This is the edge-flipping puzzle on $X,$ and it corresponds to a group action. This group is called the edge-flipping group $\mathbf{W}_E(X)$ of $X.$ This paper shows that if $X$ has at least three vertices, $\mathbf{W}_E(X)$ is isomorphic to a semidirect product of $(\mathbb{Z}/2\mathbb{Z})^k$ and the symmetric group $S_n$ of degree $n,$ where $k=(n-1)(m-n+1)$ if $n$ is odd, $k=(n-2)(m-n+1)$ if $n$ is even, and $\mathbb{Z}$ is the additive group of integers.

We introduce several associative algebras and series of vector spaces associated to these algebras. Using lattice vertex operators, we obtain dimension and character formulae for these spaces. In particular, we a series of representations of symmetric groups which turn out to be isomorphic to parking function modules. We also construct series of vector spaces whose dimensions are Catalan numbers and Fuss--Catalan numbers respectively. Conjecturally, these spaces are related to spaces of global sections of vector bundles on (zero fibres of) Hilbert schemes and representations of rational Cherednik algebras.

We systematically study wreath product Schur functions and give a combinatorial construction using colored partitions and tableaux. The Pieri rule and the Littlewood-Richardson rule are studied. We also discuss the connection with representations of generalized symmetric groups.

Let $\bm{i}=1+q+...+q^{i-1}$. For certain sequences $(r_1,...,r_l)$ of positive integers, we show that in the Hecke algebra $\mathscr{H}_n(q)$ of the symmetric group $\mathfrak{S}_n$, the product $(1+\bm{r_1}T_{r_1})... (1+\bm{r_l}T_{r_l})$ has a simple explicit expansion in terms of the standard basis $\{T_w\}$. An interpretation is given in terms of random walks on $\mathfrak{S}_n$.

We investigate the representation of a symmetric group $S_n$ on the homology of its Quillen complex at a prime $p$. For homology groups in small codimension, we derive an explicit formula for this representation in terms of the representations of symmetric groups on homology groups of $p$-uniform hypergraph matching complexes. We conjecture an explicit formula for the representation of $S_n$ on the top homology group of the corresponding hypergraph matching complex when $n \equiv 1 \bmod p$. Our conjecture follows from work of Bouc when $p=2$, and we prove the conjecture when $p=3$.

We test the umbral methods introduced by Rota and Taylor within the theory of representation of symmetric group. We define a simple bijection between the set of all parking functions of length $n$ and the set of all noncrossing partitions of $\{1,2,...,n\}$. Then we give an umbral expression of the Frobenius characteristic of the parking function module introduced by Haiman that allows an explicit relation between this symmetric function and the volume polynomial of Pitman and Stanley.

M.-P. Schützenberger asked to determine the support of the free Lie algebra ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ on a finite alphabet $A$ over the ring ${\mathbb Z}_{m}$ of integers $\bmod m$ and all the corresponding pairs of twin and anti-twin words, i.e., words that appear with equal (resp. opposite) coefficients in each Lie polynomial. We study these problems using the adjoint endomorphism $l^{*}$ of the left normed Lie bracketing $l$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. Calculating $l^{*}(w)$ via all factors of a given word $w$ of fixed length and the shuffle product, we recover the result of Duchamp and Thibon $(1989)$ for the support of the free Lie ring in a much more natural way. We rephrase these problems, for words of length $n$, in terms of the action of the left normed multi-linear Lie bracketing $l_{n}$ of ${\mathcal L}_{{\mathbb Z}_{m}}(A)$ - viewed as an element of the group ring of the symmetric group ${\mathcal S}_{n}$ - on $λ$-tabloids, where $λ$ is a partition of $n$. For words $w$ in two letters, represented by a subset $I$ of $[n] = \{1, 2, ..., n \}$, this leads us to the {\em Pascal descent polynomial} $p_{n}(I)$, a particular commutative multi-linear polynomial which equals to a signed binomial coefficient when $|I| = 1$ and allows us to obtain a sufficient condition on $n$ and $I$ in order that $w$ lies in ${\mathcal L}_{{\mathbb Z}_{m}}(A)$. We also have a particular conjecture for twin and anti-twin words for the free Lie ring and show that it is enough to be checked for $|A| = 2$.

Chalykh, Veselov and Feigin introduced the notions of quasiinvariants for Coxeter groups, which is a generalization of invariants. In [2], Bandlow and Musiker showed that for the symmetric group $S_n$ of order $n$, the space of quasiinvariants has a decomposition indexed by standard tableaux. They gave a description of basis for the components indexed by standard tableaux of shape $(n-1,1)$. In this paper, we generalize their results to a description of basis for the components indexed by standard tableaux of arbitrary hook shape.

In type A, the q,t-Fuss -Catalan numbers can be defined as a bigraded Hilbert series of a module associated to the symmetric group S_n. We generalize this construction to (finite) complex reflection groups and exhibit some nice conjectured algebraic and combinatorial properties of these polynomials in q and t. Finally, we present an idea how these polynomials could be related to some graded Hilbert series of modules arising in the context of rational Cherednik algebras. This is work in progress.

We give a short new proof of a version of the Kruskal-Katona theorem due to Lovász. Our method can be extended to a stability result, describing the approximate structure of configurations that are close to being extremal, which answers a question of Mubayi. This in turn leads to another combinatorial proof of a stability theorem for intersecting families, which was originally obtained by Friedgut using spectral techniques and then sharpened by Keevash and Mubayi by means of a purely combinatorial result of Frankl. We also give an algebraic perspective on these problems, giving yet another proof of intersection stability that relies on expansion of a certain Cayley graph of the symmetric group, and an algebraic generalisation of Lovász's theorem that answers a question of Frankl and Tokushige.

We give compact extended formulations for the packing and partitioning orbitopes (with respect to the full symmetric group) described and analyzed in (Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all 0/1-matrices with lexicographically sorted columns and at most, resp. exactly, one 1-entry per row. They are important objects for symmetry reduction in certain integer programs. Using the extended formulations, we also derive a rather simple proof of the fact that basically shifted-column inequalities suffice in order to describe those orbitopes linearly.

Combinatorial aspects of multivariate diagonal invariants of the symmetric group are studied. As a consequence it is proved the existence of a multivariate extension of the classical Robinson-Schensted correspondence. Further byproduct are a pure combinatorial algorithm to describe the irreducible decomposition of the tensor product of two irreducible representations of the symmetric group, and new symmetry results on permutation enumeration with respect to descent sets.

Let $\ell,k$ be fixed positive integers. In an earlier work, the first and third authors established a bijection between $\ell$-cores with first part equal to $k$ and $(\ell-1)$-cores with first part less than or equal to $k$. This paper gives several new interpretations of that bijection. The $\ell$-cores index minimal length coset representatives for $\widetilde{S_{\ell}} / S_{\ell}$ where $\widetilde{S_{\ell}}$ denotes the affine symmetric group and $S_{\ell}$ denotes the finite symmetric group. In this setting, the bijection has a beautiful geometric interpretation in terms of the root lattice of type $A_{\ell-1}$. We also show that the bijection has a natural description in terms of another correspondence due to Lapointe and Morse.

We study the asymptotic behavior of two statistics defined on the symmetric group S_n when n tends to infinity: the number of elements of S_n having k records, and the number of elements of S_n for which the sum of the positions of their records is k. We use a probabilistic argument to show that the scaled asymptotic behavior of these statistics can be described by remarkably simple functions.

The rising algebra is a subalgebra of the group algebra of the symmetric group S_n, gotten by lumping together permutations having the same number of rising sequences. This well-known algebra arises naturally when studying riffle shuffles. Here we introduce a number of other subalgebras that arise naturally when studying `ruffles', which are like riffles except that after cutting the deck you turn over the bunch of cards that were on the bottom. This orphaned draft offers no context or motivation, and uses idiosyncratic notation and terminology that `seemed like a good idea at the time'. We're making it available because it has been cited in this form.

The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.

We consider the Cayley graph on the symmetric group Sn generated by derangements. It is well known that the eigenvalues of this grpah are indexed by partitions of n. We investigate how these eigenvalues are determined by the shape of their corresponding partitions. In particular, we show that the sign of an eigenvalue is the parity of the number of cells below the first row of the corresponding Ferrers diagram. We also provide some lower and upper bounds for the absolute values of these eigenvalues.

We define an analogue of signed Eulerian numbers $f_{n,k}$ for involutions of the symmetric group and derive some combinatorial properties of this sequence. In particular, we exhibit both an explicit formula and a recurrence for $f_{n,k}$ arising from the properties of its generating function.