arXiv++ Combinatorics

We determine when a permutation with cycle type $μ$ admits a non-zero invariant vector in the irreducible representation $V_λ$ of the symmetric group. We find that a majority of pairs $(λ,μ)$ have this property, with only a few simple exceptions.

Finding upper bounds for character ratios is a fundamental problem in asymptotic group theory. Previous bounds in the symmetric group have led to remarkable applications in unexpected domains. The existing approaches predominantly relied on algebraic methods, whereas our approach combines analytic and algebraic tools. Specifically, we make use of a tool called `hypercontractivity for global functions' from the theory of Boolean functions. By establishing sharp upper bounds on the $L^p$-norms of characters of the symmetric group, we improve existing results on character ratios from the work of Larsen and Shalev [Larsen M., Shalev A. Characters of the symmetric group: sharp bounds and applications. Invent. math. 174 645-687 (2008)]. We use our norm bounds to bound Kronecker coefficients, Fourier coefficients of class functions, product mixing of normal sets, and mixing time of normal Cayley graphs. Our approach bypasses the need for the $S_n$-specific Murnaghan--Nakayama rule. Instead we leverage more flexible representation theoretic tools, such as Young's branching rule, which potentially extend the applicability of our method to groups beyond $S_n$.

Through dualities on representations on tensor powers and symmetric powers respectively, the partition algebra and multiset partition algebra have been used to study long-standing questions in the representation theory of the symmetric group. In this paper we extend this story to exterior powers, introducing the mixed multiset partition algebra as well as a generalization of the Robinson-Schensted-Knuth algorithm to two-row arrays of multisets with elements from two alphabets. From this algorithm, we obtain enumerative results which reflect representation-theoretic decompositions of this algebra. Furthermore, we use the generalized RSK algorithm to describe the decomposition of a polynomial ring in sets of commuting and anti-commuting variables as a module over both the general linear group and the symmetric group.

Webs yield an especially important realization of certain Specht modules, irreducible representations of symmetric groups, as they provide a pictorial basis with a convenient diagrammatic calculus. In recent work, the last three authors associated polynomials to noncrossing partitions without singleton blocks, so that the corresponding polynomials form a web basis of the pennant Specht module $S^{(d,d,1^{n-2d})}$. These polynomials were interpreted as global sections of a line bundle on a 2-step partial flag variety. Here, we both simplify and extend this construction. On the one hand, we show that these polynomials can alternatively be situated in the homogeneous coordinate ring of a Grassmannian, instead of a 2-step partial flag variety, and can be realized as tensor invariants of classical (but highly nonplanar) tensor diagrams. On the other hand, we extend these ideas from the pennant Specht module $S^{(d,d,1^{n-2d})}$ to more general flamingo Specht modules $S^{(d^r,1^{n-rd})}$. In the hook case $r=1$, we obtain a spanning set that can be restricted to a basis in various ways. In the case $r>2$, we obtain a basis of a well-behaved subspace of $S^{(d^r,1^{n-rd})}$, but not of the entire module.

A base for a permutation group $G$ acting on a set $Ω$ is a subset $\mathcal{B}$ of $Ω$ such that the pointwise stabiliser $G_{(\mathcal{B})}$ is trivial. Let $n$ and $r$ be positive integers with $n>2r$. The symmetric and alternating groups $\mathrm{S}_n$ and $\mathrm{A}_n$ admit natural primitive actions on the set of $r$-element subsets of $\{1,2,\dots, n\}$. Building on work of Halasi [6], we provide explicit expressions for the base sizes of all of these actions, and hence determine the base size of all primitive actions of $\mathrm{S}_n$ and $\mathrm{A}_n$.

Given two positive integers $n$ and $k$, we obtain a formula for the base size of the symmetric group of degree $n$ in its action on $k$-subsets. Then, we use this formula to compute explicitly the base size for each $n$ and for each $k\le 14$.

The classical Capelli identity is an important determinantal identity of a matrix with noncommutative entries that determines the center of the enveloping algebra of the general linear Lie algebra, and was used by Weyl as a main tool to study irreducible representations in his famous book on classical groups. In 1996 Okounkov found higher Capelli identities involving immanants of the generating matrix of $U(gl(n))$ which correspond to arbitrary orthogonal idempotent of the symmetric group. It turns out that Williamson also discovered a general Capelli identity of immanants for $U(gl(n))$ in 1981. In this paper, we use a new method to derive a family of even more general Capelli identities that include the aforementioned Capelli identities as special cases as well as many other Capelli-type identities as corollaries. In particular, we obtain generalized Turnbull's identities for both symmetric and antisymmetric matrices, as well as the generalized Howe-Umeda-Kostant-Sahi identities for antisymmetric matrices which confirm the conjecture of Caracciolo, Sokal, and Sportiello.

A recently fertile strand of research in Group Theory is developing non-abelian analogues of classical combinatorial results for arithmetic Cayley graphs, describing properties such as growth, expansion, mixing, diameter, etc. We consider these problems for the symmetric and alternating groups. The case of normal Cayley graphs (those generated by unions of conjugacy classes) has seen significant progress via character theory (whereby Larsen and Shalev resolved several open problems), but the general case still remains poorly understood. In this paper we generalise the background assumption from being normal to being global (a pseudorandomness condition), replacing character bounds by spectral estimates for convolution operators of global functions, thus obtaining qualitative generalisations of several results on normal Cayley graphs. Furthermore, our theory in the pseudorandom setting can be applied (via density increment arguments) to several results for general sets that are not too sparse, including analogues of Polynomial Freiman-Ruzsa, Bogolyubov's lemma, Roth's theorem, the Waring problem and essentially sharp estimates for the diameter problem of Cayley graphs whose density is at least exponential in -n. Our main tool is a sharp new hypercontractive inequality for global functions on the symmetric group.

Inspired by the notion of equivariant log-concavity, we introduce the concept of induced log-concavity for a sequence of representations of a finite group. For an equivariant matroid equipped with a symmetric group action or a finite general linear group action, we transform the problem of proving the induced log-concavity of matroid invariants to that of proving the Schur positivity of symmetric functions. We prove the induced log-concavity of the equivariant Kazhdan-Lusztig polynomials of $q$-niform matroids equipped with the action of a finite general linear group, as well as that of the equivariant Kazhdan-Lusztig polynomials of uniform matroids equipped with the action of a symmetric group. As a consequence of the former, we obtain the log-concavity of Kazhdan-Lusztig polynomials of $q$-niform matroids, thus providing further positive evidence for Elias, Proudfoot and Wakefield's log-concavity conjecture on the matroid Kazhdan-Lusztig polynomials. From the latter we obtain the log-concavity of Kazhdan-Lusztig polynomials of uniform matroids, which was recently proved by Xie and Zhang by using a computer algebra approach. We also establish the induced log-concavity of the equivariant characteristic polynomials and the equivariant inverse Kazhdan-Lusztig polynomials for $q$-niform matroids and uniform matroids.

Permutation equivariant neural networks are typically used to learn from data that lives on a graph. However, for any graph $G$ that has $n$ vertices, using the symmetric group $S_n$ as its group of symmetries does not take into account the relations that exist between the vertices. Given that the actual group of symmetries is the automorphism group Aut$(G)$, we show how to construct neural networks that are equivariant to Aut$(G)$ by obtaining a full characterisation of the learnable, linear, Aut$(G)$-equivariant functions between layers that are some tensor power of $\mathbb{R}^{n}$. In particular, we find a spanning set of matrices for these layer functions in the standard basis of $\mathbb{R}^{n}$. This result has important consequences for learning from data whose group of symmetries is a finite group because a theorem by Frucht (1938) showed that any finite group is isomorphic to the automorphism group of a graph.

The inner plethysm of symmetric functions corresponds to the $λ$-ring operations of the representation ring $R({\mathfrak S}_n)$ of the symmetric group. It is known since the work of Littlewood that this operation possesses stability properties w.r.t. $n$. These properties have been explained in terms of vertex operators [Scharf and Thibon, Adv. Math. 104 (1994), 30-58]. Another approach [Orellana and Zabrocki, Adv. Math. 390 (2021), \# 107943], based on an expression of character values as symmetric functions of the eigenvalues of permutation matrices, has been proposed recently. This note develops the theory from scratch, discusses the link between both approaches and provides new proofs of some recent results.

This paper studies planar algebras of Jones' style associated with the Young graph. We first see that, given a positive real valued function on the Young graph, we may obtain a planar algebra whose structure is defined in terms of a state sum over the ways of filling planar tangles with Young diagrams. We delve into the case that the function is harmonic and related to the Plancherel measures on Young diagrams. Along with an element that is depicted as a cross of two strings, we see that the defining relations among morphisms for the Khovanov Heisenberg category are recovered in the planar algebra. We also identify certain elements in the planar algebra with particular functions of Young diagrams that include the moments, Boolean cumulants and normalized characters. This paper thereby bridges diagramatical categorification and asymptotic representation theory. In fact, the Khovanov Heisenberg category is one of the most fundamental examples of diagramatical categorification whereas the harmonic functions on the Young graph have been a central object in the asymptotic representation theory of symmetric groups.

We prove the Forking Path Conjecture for all but one element in the symmetric group $S_4$. Two specific paths in the rex graph of that element give a counterexample for the conjecture. We propose a refined conjecture for the longest element of any $S_n$.

Given the symmetric group $G = \operatorname{Sym}(n)$ and a multiplicity-free subgroup $H\leq G$, the orbitals of the action of $G$ on $G/H$ by left multiplication induce a commutative association scheme. The irreducible constituents of the permutation character of $G$ acting on $G/H$ are indexed by partitions of $n$ and if $λ\vdash n$ is the second largest partition in dominance ordering among these, then the Young subgroup $\operatorname{Sym}(λ)$ admits two orbits in its action on $G/H$, which are $\mathcal{S}_λ$ and its complement. In their monograph [Erdős-Ko-Rado theorems: Algebraic Approaches. {\it Cambridge University Press}, 2016] (Problem~16.13.1), Godsil and Meagher asked whether $\mathcal{S}_λ$ is a coclique of a graph in the commutative association scheme arising from the action of $G$ on $G/H$. If such a graph exists, then they also asked whether its smallest eigenvalue is afforded by the $λ$-module. In this paper, we initiate the study of this question by taking $λ= [n-1,1]$. We show that the answer to this question is affirmative for the pair of groups $\left(G,H\right)$, where $G = \operatorname{Sym}(2k+1)$ and $H = \operatorname{Sym}(2) \wr \operatorname{Sym}(k)$, or $G = \operatorname{Sym}(n)$ and $H$ is one of $\operatorname{Alt}(k) \times \operatorname{Sym}(n-k),\ \operatorname{Alt}(k) \times \operatorname{Alt}(n-k)$, or $\left(\operatorname{Alt}(k)\times \operatorname{Alt}(n-k)\right) \cap \operatorname{Alt}(n)$. For the pair $(G,H) = \left(\operatorname{Sym}(2k),\operatorname{Sym}(k)\wr \operatorname{Sym}(2)\right)$, we also prove that the answer to this question of Godsil and Meagher is negative.

We prove that the subposet induced by the fixed elements of any automorphism of a pircon is also a pircon. By a result of Abdallah, Hansson, and Hultman, the order complex of any open interval in a pircon is a PL ball or a PL sphere. We apply our main results to symmetric groups of the form $S_{2n}$. A consequence is that the fixed point free signed involutions form a pircon under the dual of the Bruhat order on the hyperoctahedral group. Finally, we prove that this poset is, in fact, EL-shellable, which is a type $B$ analogue of a result of Can, Cherniavsky, and Twelbeck.

We present a new combinatorial and conjectural algorithm for computing the Mullineux involution for the symmetric group and its Hecke algebra. This algorithm is built on a conjectural property of crystal isomorphisms which can be rephrased in a purely combinatorial way.

There is a classical connection between the representation theory of the symmetric group and the general linear group called Schur-Weyl duality. Variations on this principle yield analogous connections between the symmetric group and other objects such as the partition algebra and more recently the multiset partition algebra. The partition algebra has a well-known basis indexed by graph-theoretic diagrams which allows the multiplication in the algebra to be understood visually as combinations of these diagrams. We construct an analogous basis for the multiset partition algebra called the diagram-like basis and use this basis to construct its irreducible representations and give a generating set. We also provide a change-of-basis from the orbit basis of the multiset partition algebra to this diagram-like basis which exhibits similarities to the analogous change of basis for the partition algebra.

Algebraic Combinatorics originated in Algebra and Representation Theory, studying their discrete objects and integral quantities via combinatorial methods which have since developed independent and self-contained lives and brought us some beautiful formulas and combinatorial interpretations. The flagship hook-length formula counts the number of Standard Young Tableaux, which also gives the dimension of the irreducible Specht modules of the Symmetric group. The elegant Littlewood-Richardson rule gives the multiplicities of irreducible GL-modules in the tensor products of GL-modules. Such formulas and rules have inspired large areas of study and development beyond Algebra and Combinatorics, becoming applicable to Integrable Probability and Statistical Mechanics, and Computational Complexity Theory. We will see what lies beyond the reach of such nice product formulas and combinatorial interpretations and enter the realm of Computational Complexity Theory, that could formally explain the beauty we see and the difficulties we encounter in finding further formulas and ``combinatorial interpretations''. A 85-year-old such problem asks for a positive combinatorial formula for the Kronecker coefficients of the Symmetric group, another one pertains to the plethysm coefficients of the General Linear group. In the opposite direction, the study of Kronecker and plethysm coefficients leads to the disproof of the wishful approach of Geometric Complexity Theory (GCT) towards the resolution of the algebraic P vs NP Millennium problem, the VP vs VNP problem. In order to make GCT work and establish computational complexity lower bounds, we need to understand representation theoretic multiplicities in further detail, possibly asymptotically.

The quasi-partition algebras were introduced by Daugherty and the first author as centralizers of the symmetric group. In this article, we give a more general definition of these algebras and give a construction of their simple modules. In addition, we introduce two new algebras, we give linear bases and show that for specializations of their parameters, these new algebras are isomorphic to centralizer algebras. We provide a generalized Bratteli diagram that illustrates how the representation theory of the three algebras discussed in this paper are related. Moreover, we give combinatorial formulas for the dimensions of the simple modules of these algebras.

Let $\mathfrak{S}_n$ denote the symmetric group and let $W(\mathfrak{S}_n)$ denote the weak order of $\mathfrak{S}_n$. Through a surprising connection to a subset of parking functions, which we call unit Fubini rankings, we provide a complete characterization and enumeration for the total number of Boolean intervals in $W(\mathfrak{S}_n)$ and the total number of Boolean intervals of rank $k$ in $W(\mathfrak{S}_n)$. Furthermore, for any $π\in\mathfrak{S}_n$, we establish that the number of Boolean intervals in $W(\mathfrak{S}_n)$ with minimal element $π$ is a product of Fibonacci numbers. We conclude with some directions for further study.