arXiv++ Combinatorics

A conjugacy class $C$ of a finite group $G$ is a sign conjugacy class if every irreducible character of $G$ takes value 0, 1 or -1 on $C$. In this paper we classify the sign conjugacy classes of the symmetric groups and thereby verify a conjecture of Olsson.

In this note we describe a seemingly new approach to the complex representation theory of the wreath product $G\wr S_d$ where $G$ is a finite abelian group. The approach is motivated by an appropriate version of Schur-Weyl duality. We construct a combinatorially defined groupoid in which all endomorphism algebras are direct products of symmetric groups and prove that the groupoid algebra is isomorphic to the group algebra of $G\wr S_d$. This directly implies a classification of simple modules. As an application, we get a Gelfand model for $G\wr S_d$ from the classical involutive Gelfand model for the symmetric group. We describe the Schur-Weyl duality which motivates our approach and relate it to various Schur-Weyl dualities in the literature. Finally, we discuss an extension of these methods to all complex reflection groups of type $G(\ell,k,d)$.

In this thesis we studied the structure coefficients and especially their dependence on $n$ in the case of a sequence of double-class algebras. The first chapter is dedicated to the study of the structure coefficients in the general cases of centers of group algebras and double-class algebras. We recall in it the representation theory of finite groups and its link with structure coefficients. We show also that the study of the structure coefficients of double-class algebras is related to the theory of Gelfand pairs and zonal spherical functions by giving, in the case of Gelfand pairs, a theorem similar to that of Frobenius which writes the structure coefficients of the double-class algebra associated to a Gelfand pair in terms of zonal spherical functions. In the second chapter, we recall the Farahat and Higman's theorem about the polynomiality of the structure coefficients of the center of the symmetric group algebra as well as the Ivanov and Kerov's approach to prove this theorem. We give a combinatorial proof to the polynomiality property of the structure coefficients of the Hecke algebra of the pair $(S_{2n},B_n)$ in the third chapter. Our proof uses a universal algebra which projects on the Hecke algebra of $(S_{2n}, B_n)$ for each $n.$ We show that this universal algebra is isomorphic to the algebra of $2$-shifted symmetric functions. In the fourth and last chapter we build a general framework which gives us the form of the structure coefficients in the case of a sequence of double-class algebras. This framework implies the polynomiality property of the structure coefficients of both the center of the symmetric group algebra and the Hecke algebra of $(S_{2n},B_n).$ In addition, we give a polynomiality property for the structure coefficients of both the center of the hyperoctahedral group algebra and the double-class algebra of $diag(S_{n-1})$ in $S_n\times S_{n-1}^{opp}.$

Kronecker coefficients encode the tensor products of complex irreducible representations of symmetric groups. Their stability properties have been considered recently by several authors (Vallejo, Pak and Panova, Stembridge). In previous works we described a geometric method, based on Schur-Weyl duality, that allows to produce huge series of instances of this phenomenon. In this note we show how to go beyond these so-called additive triples. We show that the set of stable triples defines a union of faces of the moment polytope. Moreover these faces may have different dimensions, and many of them have codimension one.

This note gives an elementary proof that the symmetric groups possess only one exceptional symmetry. I am referring to the fact that the outer automorphism group of the symmetric group $S_n$ is trivial unless $n=6$ and the outer automorphism group of $S_6$ has a unique nontrivial element.

We investigate the strong Rayleigh property of matroids for which the basis enumerating polynomial is invariant under a Young subgroup of the symmetric group on the ground set. In general, the Grace-Walsh-Szegő theorem can be used to simplify the problem. When the Young subgroup has only two orbits, such a matroid is strongly Rayleigh if and only if an associated univariate polynomial has only real roots. When this polynomial is quadratic we get an explicit structural criterion for the strong Rayleigh property. Finally, if one of the orbits has rank two then the matroid is strongly Rayleigh if and only if the Rayleigh difference of any two points on this line is in fact a sum of squares.

We consider several generalizations of the classical $γ$-positivity of Eulerian polynomials (and their derangement analogues) using generating functions and combinatorial theory of continued fractions. For the symmetric group, we prove an expansion formula for inversions and excedances as well as a similar expansion for derangements. We also prove the $γ$-positivity for Eulerian polynomials for derangements of type $B$. More general expansion formulae are also given for Eulerian polynomials for $r$-colored derangements. Our results answer and generalize several recent open problems in the literature.

Kronecker coefficients encode the tensor products of complex irreducible representations of symmetric groups. Their stability properties have been considered recently by several authors (Vallejo, Pak and Panova, Stembridge). We describe a geometric method, based on Schur-Weyl duality, that allows to produce huge series of instances of this phenomenon. Moreover the method gives access to lots of extra information. Most notably, we can often compute the stable Kronecker coefficients, sometimes as number of points in very explicit polytopes. We can also describe explicitely the moment polytope in the neighbourhood of our stable triples. Finally, we explain an observation of Stembridge on the behaviour of certain rectangular Kronecker coefficients, by relating it to the affine Dynkin diagram of type $E\_6$.

We define a collection of functions $s_i$ on the set of plane trees (or standard Young tableaux). The functions are adapted from transpositions in the representation theory of the symmetric group and almost form a group action. They were motivated by $\textit{local moves}$ in combinatorial biology, which are maps that represent a certain unfolding and refolding of RNA strands. One main result of this study identifies a subset of local moves that we call $s_i$-local moves, and proves that $s_i$-local moves correspond to the maps $s_i$ acting on standard Young tableaux. We also prove that the graph of $s_i$-local moves is a connected, graded poset with unique minimal and maximal elements. We then extend this discussion to functions $s_i^C$ that mimic reflections in the Weyl group of type $C$. The corresponding graph is no longer connected, but we prove it has two connected components, one of symmetric and the other of asymmetric plane trees. We give open questions and possible biological interpretations.

We show that the order on probability measures, inherited from the dominance order on the Young diagrams, is preserved under natural maps reducing the number of boxes in a diagram by $1$. As a corollary we give a new proof of the Thoma theorem on the structure of characters of the infinite symmetric group. We present several conjectures generalizing our result. One of them (if it is true) would imply the Kerov's conjecture on the classification of all homomorphisms from the algebra of symmetric functions into $\mathbb R$ which are non-negative on Hall--Littlewood polynomials.

Using a new colored analogue of P-partitions, we prove the existence of a colored Eulerian descent algebra which is a subalgebra of the Mantaci-Reutenauer algebra. This algebra has a basis consisting of formal sums of colored permutations with the same number of descents (using Steingrímsson's definition of the descent set of a colored permutation). The colored Eulerian descent algebra extends familiar Eulerian descent algebras from the symmetric group algebra and the hyperoctahedral group algebra to colored permutation group algebras. We also describe a set of orthogonal idempotents that spans the colored Eulerian descent algebra and includes, as a special case, the familiar Eulerian idempotents in the group algebra of the symmetric group.

Let $n$ be a positive integer, $σ$ be an element of the symmetric group $\mathcal{S}_n$ and let $σ$ be a cycle of length $n$. The elements $α,β\in \mathcal{S}_n$ are $σ$-equivalent, if there are natural numbers $k$ and $l$, such that $σ^k α=βσ^l$, which is the same as the condition to exist natural numbers $k_1$ and $l_1$, such that $α= σ^{k_1} βσ^{l_1}$. In this work we examine some properties of the so defined equivalence relation. We build a finite oriented graph $Γ_n$ with the help of which is described an algorithm for solving the combinatorial problem for finding the number of equivalence classes according to this relation.

This paper deals with the Cayley graph $\Cay,$ where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. We prove that ${\rm{Aut}}(\Cay)$ is the product of the right translation group by $\textsf{N}\rtimes \textsf{D}_{n+1},$ where $\textsf{N}$ is the subgroup fixing $S_n$ element-wise and $\textsf{D}_{n+1}$ is a dihedral group of order $2(n+1)$. We conjecture that $\textsf{N}$ is trivial. We also prove that the subgraph $Γ$ with vertex-set $S_n$ is a $2(n-2)$-regular graph whose automorphism group is $\textsf{D}_{n+1}$. Furthermore, $Γ$ has as many as $n+1$ maximum cliques of size $2.$ Also, its subgraph $Γ(V)$ whose vertices are those in these cliques is a $3$-regular, Hamiltonian, and vertex-transitive graph.

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.

In 2012 Jan Saxl conjectured that all irreducible representations of the symmetric group occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. We make progress on this conjecture by proving the occurrence of all those irreducibles which correspond to partitions that are comparable to the staircase partition in the dominance order. Moreover, we use our result to show the occurrence of all irreducibles corresponding to hook partitions. This generalizes results by Pak, Panova, and Vallejo from 2013.

To each supersimple $2-(n,4,λ)$ design $\mathcal{D}$ one associates a `Conway groupoid,' which may be thought of as a natural generalisation of Conway's Mathieu groupoid associated to $M_{13}$ which is constructed from $\mathbb{P}_3$. We show that $\operatorname{Sp}_{2m}(2)$ and $2^{2m}.\operatorname{Sp}_{2m}(2)$ naturally occur as Conway groupoids associated to certain designs. It is shown that the incidence matrix associated to one of these designs generates a new family of completely transitive $\mathbb{F}_2$-linear codes with minimum distance 4 and covering radius 3, whereas the incidence matrix of the other design gives an alternative construction to a previously known family of completely transitive codes. We also give a new characterization of $M_{13}$ and prove that, for a fixed $λ> 0,$ there are finitely many Conway groupoids for which the set of morphisms does not contain all elements of the full alternating or symmetric group.

A recent paper of Church, Ellenberg, and Farb uses topology and representation theory of the symmetric group to prove enumerative results about square-free polynomials and F-stable maximal tori of the general linear group over the algebraic closure of F_q. In this note, we use generating functions to give elementary proofs of some of their results, and some extensions.

To each finite subset of $\mathbb{Z}^2$ (a diagram), one can associate a subvariety of a complex Grassmannian (a diagram variety), and a representation of a symmetric group (a Specht module). Liu has conjectured that the cohomology class of a diagram variety is represented by the Frobenius characteristic of the corresponding Specht module. We give a counterexample to this conjecture. However, we show that for the diagram variety of a permutation diagram, Liu's conjectured cohomology class $σ$ is at least an upper bound on the actual class $τ$, in the sense that $σ- τ$ is a nonnegative linear combination of Schubert classes. To do this, we exhibit the appropriate diagram variety as a component in a degeneration of one of Knutson's interval positroid varieties (up to Grassmann duality). A priori, the cohomology classes of these interval positroid varieties are represented by affine Stanley symmetric functions. We give a different formula for these classes as ordinary Stanley symmetric functions, one with the advantage of being Schur-positive and compatible with inclusions between Grassmannians.

We investigate the combinatorics of real double Hurwitz numbers with real positive branch points using the symmetric group. Our main focus is twofold. First, we prove correspondence theorems relating these numbers to counts of tropical real covers and study the structure of real double Hurwitz numbers with the help of the tropical count. Second, we express the numbers as counts of paths in a subgraph of the Cayley graph of the symmetric group. By restricting to real double Hurwitz numbers with real positive branch points, we obtain a concise translation of the counting problem in terms of tuples of elements of the symmetric group that enables us to uncover the beautiful combinatorics of these numbers both in tropical geometry and in the Cayley graph.

For a prime $p$, we say that a conjugacy class of a finite group $G$ is $p$-vanishing if every irreducible character of $G$ of degree divisible by $p$ takes value 0 on that conjugacy class. In this paper we completely classify 2-vanishing and 3-vanishing conjugacy classes for the symmetric group and do some work in the classification of $p$-vanishing conjugacy classes of the symmetric group for $p\geq 5$. This answers a question by Navarro for $p=2$ and $p=3$ and partly answers it for $p\geq 5$.