arXiv++ Combinatorics

The number of alternating runs is a natural permutation statistic. We show it can be used to define some commutative subalgebras of the symmetric group algebra, and more precisely of the descent algebra. The Eulerian peak algebras naturally appear as subalgebras of our run algebras. We also calculate the orthogonal idempotents for run algebras in terms of noncommutative symmetric functions.

We provide a classification of multiplicity-free inner tensor products of irreducible characters of symmetric groups, thus confirming a conjecture of Bessenrodt. Concurrently, we classify all multiplicity-free inner tensor products of skew characters of the symmetric groups. We also provide formulae for calculating the decomposition of these tensor products.

The words separation problem, originally formulated by Goralcik and Koubek (1986), is stated as follows. Let $Sep(n)$ be the minimum number such that for any two words of length $\le n$ there is a deterministic finite automaton with $Sep(n)$ states, accepting exactly one of them. The problem is to find the asymptotics of the function $Sep$. This problem is inverse to finding the asymptotics of the length of the shortest identity in full transformation semigroups $T_k$. The known lower bound on $Sep$ stems from the unary identity in $T_k$. We find the first series of identities in $T_k$ which are shorter than the corresponding unary identity for infinitely many values of $k$, and thus slightly improve the lower bound on $Sep(n)$. Then we present some short positive identities in symmetric groups, improving the lower bound on separating words by permutational automata by a multiplicative constant. Finally, we present the results of computer search for short identities for small $k$.

Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.

Two well-known polytopes whose vertices are indexed by permutations in the symmetric group $\mathfrak{S}_n$ are the permutohedron $P_n$ and the Birkhoff polytope $B_n$. We consider polytopes $P_n(Π)$ and $B_n(Π)$, whose vertices correspond to the permutations in $\mathfrak{S}_n$ avoiding a set of patterns $Π$. For various choices of $Π$, we explore the Ehrhart polynomials and $h^*$-vectors of these polytopes as well as other aspects of their combinatorial structure. For $P_n(Π)$, we consider all subsets $Π\subseteq \mathfrak{S}_3$ and are able to provide results in most cases. To illustrate, $P_n(123,132)$ is a Pitman-Stanley polytope, the number of interior lattice points in $P_n(132,312)$ is a derangement number, and the normalized volume of $P_n(123,231,312)$ is the number of trees on $n$ vertices. The polytopes $B_n(Π)$ seem much more difficult to analyze, so we focus on four particular choices of $Π$. First we show that the $B_n(231,321)$ is exactly the Chan-Robbins-Yuen polytope. Next we prove that for any $Π$ containing $\{123,312\}$ we have $h^*(B_n(Π))=1$. Finally, we study $B_n(132,312)$ and $\widetilde{B}_n(123)$, where the tilde indicates that we choose vertices corresponding to alternating permutations avoiding the pattern $123$. In both cases we use order complexes of posets and techniques from toric algebra to construct regular, unimodular triangulations of the polytopes. The posets involved turn out to be isomorphic to the lattices of Young diagrams contained in a certain shape, and this permits us to give an exact expression for the normalized volumes of the corresponding polytopes via the hook formula. Finally, Stanley's theory of $(P,ω)$-partitions allows us to show that their $h^*$-vectors are symmetric and unimodal. Various questions and conjectures are presented throughout.

The $G$-graph $Γ(G,S)$ is a graph from the group $G$ generated by $S\subseteq G$, where the vertices are the right cosets of the cyclic subgroups $\langle s \rangle, s\in S$ with $k$-edges between two distinct cosets if there is an intersection of $k$ elements. In this thesis, after presenting some important properties of $G$-graphs, we show how the $G$-graph depends on the generating set of the group. We give the $G$-graphs of the symmetric group, alternating group and the semi-dihedral group with respect to various generating sets. We give a characterisation of finite $G$-graphs; in the general case and a bipartite case. Using these characterisations, we give several classes of graphs that are $G$-graphs. For instance, we consider the Turán graphs, the platonic graphs and biregular graphs such as the Levi graphs of geometric configurations. We emphasis the structural properties of $G$-graphs and their relations to the group $G$ and the generating set $S$. As preliminary results for further studies, we give the adjacency matrix and spectrum of various finite $G$-graphs. As an application, we compute the energy of these graphs. We also present some preliminary results on infinite $G$-graphs where we consider the $G$-graphs of the infinite group $SL_2(\mathbb{Z})$ and an infinite non-Abelian matrix group.

This paper proves a combinatorial rule giving all maximal and minimal partitions $λ$ such that the Schur function $s_λ$ appears in a plethysm of two arbitrary Schur functions. Determining the decomposition of these plethysms has been identified by Stanley as a key open problem in algebraic combinatorics. As corollaries we prove three conjectures of Agaoka on the partitions labelling the lexicographically greatest and least Schur functions appearing in an arbitrary plethysm. We also show that the multiplicity of the Schur function labelled by the lexicographically least constituent may be arbitrarily large. The proof is carried out in the symmetric group and gives an explicit non-zero homomorphism corresponding to each maximal or minimal partition.

We study colored generalizations of the symmetric algebra and its Koszul dual, the exterior algebra. The symmetric group $\mathfrak{S}_n$ acts on the multilinear components of these algebras. While $\mathfrak{S}_n$ acts trivially on the multilinear components of the colored symmetric algebra, we use poset topology techniques to understand the representation on its Koszul dual. We introduce an $\mathfrak{S}_n$-poset of weighted subsets that we call the weighted boolean algebra and we prove that the multilinear components of the colored exterior algebra are $\mathfrak{S}_n$-isomorphic to the top cohomology modules of its maximal intervals. We use a technique of Sundaram to compute group representations on Cohen-macaulay posets to give a generating formula for the Frobenius series of the colored exterior algebra. We exploit that formula to find an explicit expression for the expansion of the corresponding representations in terms of irreducible $\mathfrak{S}_n$-representations. We show that the two colored Koszul dual algebras are Koszul in the sense of Priddy.

This thesis deals with the enumerative study of combinatorial maps, and its application to the enumeration of other combinatorial objects. Combinatorial maps, or simply maps, form a rich combinatorial model. They have an intuitive and geometric definition, but are also related to some deep algebraic structures. For instance, a special type of maps called constellations provides a unifying framework for some enumeration problems concerning factorizations in the symmetric group. Standing on a position where many domains meet, maps can be studied using a large variety of methods, and their enumeration can also help us count other combinatorial objects. This thesis is a sampling from the rich results and connections in the enumeration of maps. This thesis is structured into four major parts. The first part, including Chapter 1 and 2, consist of an introduction to the enumerative study of maps. The second part, Chapter 3 and 4, contains my work in the enumeration of constellations, which are a special type of maps that can serve as a unifying model of some factorizations of the identity in the symmetric group. The third part, composed by Chapter 5 and 6, shows my research on the enumerative link from maps to other combinatorial objects, such as generalizations of the Tamari lattice and random graphs embeddable onto surfaces. The last part is the closing chapter, in which the thesis concludes with some perspectives and future directions in the enumerative study of maps.

It is shown that for the conjugation action of the symmetric group $S_n,$ when $n=6$ or $n\geq 8,$ all $S_n$-irreducibles appear as constituents of a single conjugacy class, namely, one indexed by a partition $λ$ of $n$ with at least two parts, whose parts are all distinct and taken from the set of odd primes and 1. The following simple characterisation of conjugacy classes containing all irreducibles is proved: If $n\neq 4,8,$ the partition $λ$ of $n$ indexes a global conjugacy class for $S_n$ if and only if it has at least two parts, and all its parts are odd and distinct.

The central object of study is a formal power series that we call the content series, a symmetric function involving an arbitrary underlying formal power series $f$ in the contents of the cells in a partition. In previous work we have shown that the content series satisfies the KP equations. The main result of this paper is a new partial differential equation for which the content series is the unique solution, subject to a simple initial condition. This equation is expressed in terms of families of operators that we call $\mathcal{U}$ and $\mathcal{D}$ operators, whose action on the Schur symmetric function $s_λ$ can be simply expressed in terms of powers of the contents of the cells in $λ$. Among our results, we construct the ${\mathcal{U}}$ and ${\mathcal{D}}$ operators explicitly as partial differential operators in the underlying power sum symmetric functions. We also give a combinatorial interpretation for the content series in terms of the Jucys-Murphy elements in the group algebra of the symmetric group. This leads to an interpretation for the content series as a generating series for branched covers of the sphere by a Riemann surface of arbitrary genus $g$. As particular cases, by suitable choice of the underlying series $f$, the content series specializes to the generating series for three known classes of branched covers: Hurwitz numbers, monotone Hurwitz numbers, and $m$-hypermap numbers. We apply our pde to give new proofs of the explicit formulas for these three classes of number in genus $0$. In the case of the $m$-hypermap numbers of Bousquet-Mélou and Schaeffer, this is the first algebraic proof of this result.

Amit and Linial showed that a random lift of a graph with minimum degree $δ\ge3$ is asymptotically almost surely $δ$-connected, and mentioned the problem of estimating this probability as a function of the degree of the lift. We relate a randomly generated subgroup of the symmetric group on $n$ elements to random $n$-lifts of a graph and use it to provide such an estimate along with related results. We also improve their later result showing a lower bound on the edge expansion on random lifts. Our proofs rely on new ideas from group theory which make several improvements possible. We exactly calculate the probability that a random lift of a connected graph with first Betti number $l$ is connected by showing that it is equal to the probability that a subgroup of the symmetric group generated by $l$ random elements is transitive. We also calculate the probability that a subgroup of a wreath product of symmetric groups generated by $l$ random generators is transitive. We show the existence of homotopy invariants in random covering graphs which reduces some of their properties to those of random regular multigraphs, and in particular makes it possible to compute the exact probability with which random regular multigraphs are connected. All our results about random lifts easily extend to iterated random lifts.

The involution walk is the random walk on $S_n$ generated by involutions with a binomially distributed with parameter $1-p$ number of $2$-cycles. This is a parallelization of the transposition walk. The involution walk is shown in this paper to mix for $\frac{1}{2} \leq p \leq 1$ fixed, $n$ sufficiently large in between $\log_{1/p}(n)$ steps and $\log_{2/(1+p)}(n)$ steps. The paper introduces a new technique for finding eigenvalues of random walks on the symmetric group generated by many conjugacy classes using the character polynomial for the characters of the representations of the symmetric group. Monotonicity relations used in the bound also give after sufficient time the likelihood order, the asymptotic order from most likely to least likely permutation. The walk was introduced to study a conjecture about a random walk on the unitary group from the information theory of black holes.

Many aspects of the asymptotics of Plancherel distributed partitions have been studied in the past fifty years, in particular the limit shape, the distribution of the longest rows, connections with random matrix theory and characters of the representation matrices of the symmetric group. Regarding the latter, we expand a celebrated result of Kerov on the asymptotic of Plancherel distributed characters by studying partial trace and partial sum of a representation matrix. We decompose these objects into a main term and a reminder, proving a central limit theorem for both main terms and a law of large numbers for the partial sum itself. Our main tool is the expansion of symmetric functions evaluated on Jucys-Murphy elements.

The symmetric group $\mathfrak{S}_n$ acts naturally on the poset of injective words over the alphabet $\{1, 2,\dots,n\}$. The induced representation on the homology of this poset has been computed by Reiner and Webb. We generalize their result by computing the representation of $\mathfrak{S}_n$ on the homology of all rank-selected subposets, in the sense of Stanley. A further generalization to the poset of $r$-colored injective words is given.

This paper investigates the critical group of a faithful representation of a finite group. It computes the order of the critical group in terms of the character values, and gives some restrictions on its subgroup structure. It also computes the precise structure of the critical group both for the regular representation of any finite group, and for the reflection representation of the symmetric group.

For each of the 14 classes of edge-transitive maps described by Graver and Watkins, necessary and sufficient conditions are given for a group to be the automorphism group of a map, or of an orientable map without boundary, in that class. Extending earlier results of Siran, Tucker and Watkins, these are used to determine which symmetric groups $S_n$ can arise in this way for each class. Similar results are obtained for all finite simple groups, building on work of Leemans and Liebeck, Nuzhin and others on generating sets for such groups. It is also shown that each edge-transitive class realises finite groups of every sufficiently large nilpotence class or derived length, and also realises uncountably many non-isomorphic infinite groups. Edge-transitive embeddings of complete graphs are classified, and there is a detailed discussion of edge-transitive maps with boundary.

Let $S_n$ and $A_n$ denote the symmetric group and alternating group of degree $n$ with $n\geq 3$, respectively. Let $S$ be the set of all $3$-cycles in $S_n$. The \emph{complete alternating group graph}, denoted by $CAG_n$, is defined as the Cayley graph $\mathrm{Cay}(A_n,S)$ on $A_n$ with respect to $S$. In this paper, we show that $CAG_n$ ($n\geq 4$) is not a normal Cayley graph. Furthermore, the automorphism group of $CAG_n$ for $n\geq 5$ is obtained, which equals to $\mathrm{Aut}(CAG_n)=(R(A_n)\rtimes \mathrm{Inn}(S_n))\rtimes \mathbb{Z}_2\cong (A_n\rtimes S_n)\rtimes \mathbb{Z}_2$, where $R(A_n)$ is the right regular representation of $A_n$, $\mathrm{Inn}(S_n)$ is the inner automorphism group of $S_n$, and $\mathbb{Z}_2=\langle h\rangle$, where $h$ is the map $α\mapstoα^{-1}$ ($\forall α\in A_n$).

We introduce a basis of the symmetric functions that evaluates to the (irreducible) characters of the symmetric group, just as the Schur functions evaluate to the irreducible characters of $GL_n$ modules. Our main result gives three different characterizations for this basis. One of the characterizations shows that the structure coefficients for the (outer) product of these functions are the stable Kronecker coefficients. The results in this paper focus on developing the fundamental properties of this basis.

The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$-fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$, so there is a surjection $\mathsf{P}_k(n) \to \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$. We prove a dimension formula for the irreducible modules of the centralizer algebra $\mathsf{Z}_k(n)$ in terms of Stirling numbers of the second kind. Via Schur-Weyl duality, these dimensions equal the multiplicities of the irreducible $\mathsf{S}_n$-modules in $\mathsf{M}_n^{\otimes k}$. Our dimension expressions hold for any $n \geq 1$ and $k\ge0$. Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on $\mathsf{M}_n^{\otimes k}$ and the quasi-partition algebra corresponding to tensor powers of the reflection representation of $\mathsf{S}_n$.