arXiv++ Combinatorics

This work highlights the existence of partial symmetries in large families of iterated plethystic coefficients. The plethystic coefficients involved come from the expansion in the Schur basis of iterated plethysms of Schur functions indexed by one-row partitions. The partial symmetries are described in terms of an involution on partitions, the flip involution, that generalizes the ubiquitous $ω$ involution. Schur-positive symmetric functions possessing this partial symmetry are termed flip-symmetric. The operation of taking plethysm with $s_λ$ preserves flip-symmetry, provided that $λ$ is a partition of two. Explicit formulas for the iterated plethysms $s_2\circ s_b\circ s_a$ and $s_c\circ s_2\circ s_a$, with $a,$ $b,$ and $c$ $\ge$ $2$ allow us to show that these two families of iterated plethysms are flip-symmetric. The article concludes with some observations, remarks, and open questions on the unimodality and asymptotic normality of certain flip-symmetric sequences of iterated plethystic coefficients.

We study the representation theory of the uniform block permutation algebra in the context of the representation theory of factorizable inverse monoids. The uniform block permutation algebra is a subalgebra of the partition algebra and is also known as the party algebra. We compute its characters and provide a Frobenius characteristic map to symmetric functions. This reveals connections of the characters of the uniform block permutation algebra and plethysms of Schur functions.

We prove a recursive formula for plethysm coefficients of the form $a^μ_{λ,(m)}$, generalising results on plethysms due to Bruns--Conca--Varbaro and de Boeck--Paget--Wildon. From this we deduce a stability result and resolve two conjectures of de Boeck concerning plethysms, as well as obtain new results on Sylow branching coefficients for symmetric groups for the prime 2. Further, letting $P_n$ denote a Sylow 2-subgroup of $S_n$, we show that almost all Sylow branching coefficients of $S_n$ corresponding to the trivial character of $P_n$ are positive.

Plethysm is a fundamental operation in symmetric function theory, derived directly from its connection with representation theory. However, it does not admit a simple combinatorial interpretation, and finding coefficients of Schur function plethysms is a major open question. In this paper, we introduce a graph-theoretic interpretation for any plethysm based on the chromatic symmetric function. We use this interpretation to give simple proofs of new and previously known plethystic identities, as well as chromatic symmetric function identities.

Considering Schur positivity of differences of plethysms of homogeneous symmetric functions, we introduce a new relation on integer partitions. This relation is conjectured to be a partial order, with its restriction to one part partitions equivalent to the classical Foulkes conjecture. We establish some of the properties of this relation via the construction of explicit inclusion of modules whose characters correspond to the plethysms considered. We also prove some stability properties for the number of irreducible occurring in these modules as $n$ grows.

We describe a recurrence formula for the plethysm $h_3[h_n]$. The proof is based on the original formula by Thrall.

We introduce the $\mathcal{T}$-construction, an endofunctor on the category of generalized operads as a general mechanism by which various notions of plethystic substitution arise from more ordinary notions of substitution. In the special case of one-object unary operads, i.e. monoids, we recover the $T$-construction of Giraudo. We realize several kinds of plethysm as convolution products arising from the homotopy cardinality of the incidence bialgebra of the bar construction of various operads obtained from the $\mathcal{T}$-construction. The bar constructions are simplicial groupoids, and in the special case of the terminal reduced operad $\mathsf{Sym}$, we recover the simplicial groupoid of arXiv:1804.09462, a combinatorial model for ordinary plethysm in the sense of Pólya, given in the spirit of Waldhausen $S$ and Quillen $Q$ constructions. In some of the cases of the $\mathcal{T}$-construction, an analogous interpretation is possible.

We classify and construct all multiplicity-free plethystic products of Schur functions. We also compute many new (infinite) families of plethysm coefficients, with particular emphasis on those near maximal in the dominance ordering and those of small Durfee size.

Let $\nabla^λ$ denote the Schur functor labelled by the partition $λ$ and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{C})$. We make a systematic study of when there is an isomorphism $\nabla^λ\!\mathrm{Sym}^\ell \!E \cong \nabla^μ\!\mathrm{Sym}^m \! E$ of representations of $\mathrm{SL}_2(\mathbb{C})$. Generalizing earlier results of King and Manivel, we classify all such isomorphisms when $λ$ and $μ$ are conjugate partitions and when one of $λ$ or $μ$ is a rectangle. We give a complete classification when $λ$ and $μ$ each have at most two rows or columns or is a hook partition and a partial classification when $\ell = m$. As a corollary of a more general result on Schur functors labelled by skew partitions we also determine all cases when $\nabla^λ\!\mathrm{Sym}^\ell \!E$ is irreducible. The methods used are from representation theory and combinatorics; in particular, we make explicit the close connection with MacMahon's enumeration of plane partitions, and prove a new $q$-binomial identity in this setting.

Superspace of rank $n$ is a $\mathbb{Q}$-algebra with $n$ commuting generators $x_1, \dots, x_n$ and $n$ anticommuting generators $θ_1, \dots, θ_n$. We present an extension of the Vandermonde determinant to superspace which depends on a sequence $\mathbf{a} = (a_1, \dots, a_r)$ of nonnegative integers of length $r \leq n$. We use superspace Vandermondes to construct graded representations of the symmetric group. This construction recovers hook-shaped Tanisaki quotients, the coinvariant ring for the Delta Conjecture constructed by Haglund, Rhoades, and Shimozono, and a superspace quotient related to positroids and Chern plethysm constructed by Billey, Rhoades, and Tewari. We define a notion of partial differentiation with respect to anticommuting variables to construct doubly graded modules from superspace Vandermondes. These doubly graded modules carry a natural ring structure which satisfies a 2-dimensional version of Poincaré duality. The application of polarization operators gives rise to other bigraded modules which give a conjectural module for the symmetric function $Δ'_{e_{k-1}} e_n$ appearing in the Delta Conjecture of Haglund, Remmel, and Wilson.

We realize the $\mathrm{GL}_n(\mathbb{C})$-modules $S^k(S^m(\mathbb{C}^n))$ and $Λ^k(S^m(\mathbb{C}^n))$ as spaces of polynomial functions on $n\times k$ matrices. In the case $k=3$, we describe explicitly all the $\mathrm{GL}_n(\mathbb{C})$-highest weight vectors which occur in $S^3(S^m(\mathbb{C}^n))$ and in $Λ^3(S^m(\mathbb{C}^n))$ respectively.

We introduce the multiset partition algebra $\mathcal{MP}_k(ξ)$ over $F[ξ]$, where $F$ is a field of characteristic $0$ and $k$ is a positive integer. When $ξ$ is specialized to a positive integer $n$, we establish the Schur-Weyl duality between the actions of resulting algebra $\mathcal{MP}_k(n)$ and the symmetric group $S_n$ on $\text{Sym}^k(F^n)$. The construction of $\mathcal{MP}_k(ξ)$ generalizes to any vector $λ$ of non-negative integers yielding the algebra $\mathcal{MP}_λ(ξ)$ over $F[ξ]$ so that there is Schur-Weyl duality between the actions of $\mathcal{MP}_λ(n)$ and $S_n$ on $\text{Sym}^λ(F^n)$. We find the generating function for the multiplicity of each irreducible representation of $S_n$ in $\text{Sym}^λ(F^n)$, as $λ$ varies, in terms of a plethysm of Schur functions. As consequences we obtain an indexing set for the irreducible representations of $\mathcal{MP}_k(n)$, and the generating function for the multiplicity of an irreducible polynomial representation of $GL_n(F)$ when restricted to $S_n$. We show that $\mathcal{MP}_λ(ξ)$ embeds inside the partition algebra $\mathcal{P}_{|λ|}(ξ)$. Using this embedding, over $F$, we prove that $\mathcal{MP}_λ(ξ)$ is a cellular algebra, and $\mathcal{MP}_λ(ξ)$ is semisimple when $ξ$ is not an integer or $ξ$ is an integer such that $ξ\geq 2|λ|-1$. We give an insertion algorithm based on Robinson-Schensted-Knuth correspondence realizing the decomposition of $\mathcal{MP}_λ(n)$ as $\mathcal{MP}_λ(n)\times \mathcal{MP}_λ(n)$-module.

We prove that a plethysm product of two Schur functions can be factorised uniquely and classify homogeneous and indecomposable plethysm products.

Let $1\leq k \leq n$ and let $X_n = (x_1, \dots, x_n)$ be a list of $n$ variables. The {\em Boolean product polynomial} $B_{n,k}(X_n)$ is the product of the linear forms $\sum_{i \in S} x_i$ where $S$ ranges over all $k$-element subsets of $\{1, 2, \dots, n\}$. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles and a symmetric function operation we call {\em Chern plethysm}. This gives a geometric method for producing a vast array of Schur positive polynomials whose Schur positivity lacks (at present) a combinatorial or representation theoretic proof. We relate the polynomials $B_{n,k}(X_n)$ for certain $k$ to other combinatorial objects including derangements, positroids, alternating sign matrices, and reverse flagged fillings of a partition shape. We also relate $B_{n,n-1}(X_n)$ to a bigraded action of the symmetric group $\mathfrak{S}_n$ on a divergence free quotient of superspace.

Let $s_ν\circ s_μ$ denote the plethystic product of the Schur functions $s_ν$ and $s_μ$. In this article we define an explicit polynomial representation corresponding to $s_ν\circ s_μ$ with basis indexed by certain `plethystic' semistandard tableaux. Using these representations we prove generalizations of four results on plethysms due to Bruns--Conca--Varbaro, Brion, Ikenmeyer and the authors. In particular, we give a sufficient condition for the multiplicity $\langle s_ν\circ s_μ, s_λ\rangle$ to be stable under insertion of new parts into $μ$ and $λ$. We also characterize all maximal and minimal partitions $λ$ in the dominance order such that $s_λ$ appears in $s_ν\circ s_μ$ and determine the corresponding multiplicities using plethystic semistandard tableaux.

Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.

We propose a new approach to study plethysm coefficients by using the Schur-Weyl duality between the symmetric group and the partition algebra. This allows us to explain the stability properties of plethysm and Kronecker coefficients in a simple and uniform fashion for the first time. We prove the strengthened Foulkes' conjecture for stable plethysm coefficients in an elementary fashion.

Permutations and associated algebras allow the construction of half and quarter BPS operators in maximally supersymmetric Yang Mills theory with $U(N)$, $SO(N)$ and $Sp(N) $ gauge groups. The construction leads to bases for the operators, labelled by Young diagrams and associated group theory data, which have been shown to be orthogonal under the inner product defined by the free field two-point functions. In this paper, we study in detail the orientifold projection map between the Young diagram basis for $U(N)$ theories and the Young diagram basis for $ SO(N)$ (and $ Sp(N)$) half-BPS operators. We find a simple connection between this map and the plethystic refinement of the Littlewood Richardson coefficients which couple triples of Young diagrams where two of them are identical. This plethystic refinement is known to be computable using an algorithm based on domino tilings of Young diagrams. We discuss the domino combinatorics of the orientifold projection map in terms of giant graviton branes. The permutation construction of $SO(N)$ operators is used to find large N generating functions. The structure of these generating functions is elucidated using the combinatorics of words, organised according to their periodicity. Aperiodic words in the $U(N)$ theory are Lyndon words and an $SO(N)$ analogue of Lyndon words is defined using a minimal periodicity condition. We calculate the normalization factor for the orthogonal basis of Young diagram operators in the baryonic sector of $SO(N)$.

We give a simple combinatorial model for plethysm. Precisely, the bialgebra dual to plethystic substitution is realised as the homotopy cardinality of the incidence bialgebra of an explicit simplicial groupoid, obtained from surjections by a construction reminiscent of the Waldhausen S and the Quillen Q-construction.

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.