arXiv++ Combinatorics

Character polynomials are used to study the restriction of a polynomial representation of a general linear group to its subgroup of permutation matrices. A simple formula is obtained for computing inner products of class functions given by character polynomials. Character polynomials for symmetric and alternating tensors are computed using generating functions with Eulerian factorizations. These are used to compute character polynomials for Weyl modules, which exhibit a duality. By taking inner products of character polynomials for Weyl modules and character polynomials for Specht modules, stable restriction coefficients are easily computed. Generating functions of dimensions of symmetric group invariants in Weyl modules are obtained. Partitions with two rows, two columns, and hook partitions whose Weyl modules have non-zero vectors invariant under the symmetric group are characterized. A reformulation of the restriction problem in terms of a restriction functor from the category of strict polynomial functors to the category of finitely generated FI-modules is obtained.

Which combinatorial sequences correspond to moments of probability measures on the real line? We present a generating function, in the form of a continued fraction, for a fourteen-parameter family of such sequences and interpret these in terms of combinatorial statistics on the symmetric groups. Special cases include several classical and noncommutative probability laws, along with a substantial subset of the orthogonalizing measures in the q-Askey scheme, now given a new combinatorial interpretation in terms of elementary permutation statistics. This framework further captures a variety of interesting combinatorial sequences including, notably, the moment sequences associated to distributions of the numbers of occurrences of (classical and vincular) permutation patterns of length three. This connection between pattern avoidance and broader ideas in classical and noncommutative probability is among several intriguing new corollaries, which generalize and unify results previously appearing in the literature, while opening up new lines of inquiry. The fourteen combinatorial statistics further generalize to signed and colored permutations, and, as an infinite family of statistics, to the k-arrangements: permutations with k-colored fixed points, introduced here along with several related results and conjectures.

For impartial games $Γ$ and $Γ'$, the Sprague-Grundy function of the disjunctive sum $Γ+ Γ'$ is equal to the Nim-sum of their Sprague-Grundy functions. In this paper, we introduce $p$-calm subtraction games, and show that for $p$-calm subtraction games $Γ$ and $Γ'$, the Sprague-Grundy function of a $p$-saturation of $Γ+ Γ'$ is equal to the $p$-Nim-sum of the Sprague-Grundy functions of their $p$-saturations. Here a $p$-Nim-sum is the result of addition without carrying in base $p$ and a $p$-saturation of $Γ$ is an impartial game obtained from $Γ$ by adding some moves. It will turn out that Nim and Welter's game are $p$-calm. Further, using the $p$-calmness of Welter's game, we generalize a relation between Welter's game and representations of symmetric groups to disjunctive sums of Welter's games and representations of generalized symmetric groups; this result is described combinatorially in terms of Young diagrams.

A family of permutations $\mathcal{F} \subset S_{n}$ is said to be $t$-intersecting if any two permutations in $\mathcal{F}$ agree on at least $t$ points. It is said to be $(t-1)$-intersection-free if no two permutations in $\mathcal{F}$ agree on exactly $t-1$ points. If $S,T \subset \{1,2,\ldots,n\}$ with $|S|=|T|$, and $π: S \to T$ is a bijection, the $π$-star in $S_n$ is the family of all permutations in $S_n$ that agree with $π$ on all of $S$. An $s$-star is a $π$-star such that $π$ is a bijection between sets of size $s$. Friedgut and Pilpel, and independently the first author, showed that if $\mathcal{F} \subset S_n$ is $t$-intersecting, and $n$ is sufficiently large depending on $t$, then $|\mathcal{F}| \leq (n-t)!$; this proved a conjecture of Deza and Frankl from 1977. Equality holds only if $\mathcal{F}$ is a $t$-star. In this paper, we give a more `robust' proof of a strengthening of the Deza-Frankl conjecture, namely that if $n$ is sufficiently large depending on $t$, and $\mathcal{F} \subset S_n$ is $(t-1)$-intersection-free, then $|\mathcal{F} \leq (n-t)!$, with equality only if $\mathcal{F}$ is a $t$-star. The main ingredient of our proof is a `junta approximation' result, namely, that any $(t-1)$-intersection-free family of permutations is essentially contained in a $t$-intersecting {\em junta} (a `junta' being a union of a bounded number of $O(1)$-stars). The proof of our junta approximation result relies, in turn, on a weak regularity lemma for families of permutations, a combinatorial argument that `bootstraps' a weak notion of pseudorandomness into a stronger one, and finally a spectral argument for pairs of highly-pseudorandom fractional families. Our proof employs four different notions of pseudorandomness, three being combinatorial in nature, and one being algebraic.

The set $X$ of $k$-subsets of an $n$-set has a natural graph structure where two $k$-subsets are connected if and only if the size of their intersection is $k-1$. This is known as the Johnson graph. The symmetric group $S_n$ acts on the space of complex functions on $X$ and this space has a multiplicity-free decomposition as sum of irreducible representations of $S_n$, so it has a well-defined Gelfand-Tsetlin basis up to scalars. The Fourier transform on the Johnson graph is defined as the change of basis matrix from the delta function basis to the Gelfand-Tsetlin basis. The direct application of this matrix to a generic vector requires $\binom{n}{k}^2$ arithmetic operations. We show that this matrix can be factorized as a product of $n-1$ orthogonal matrices, each one with at most two nonzero elements in each column. The factorization is based on the construction of $n-1$ intermediate bases which are parametrized via the Robinson-Schensted insertion algorithm. This factorization shows that the number of arithmetic operations required to apply this matrix to a generic vector is bounded above by $2(n-1) \binom{n}{k}$. We show that each one of these sparse matrices can be constructed using $O(\binom{n}{k})$ arithmetic operations. Our construction does not depend on numerical methods. Instead, they are obtained by solving small linear systems with integer coefficients derived from the Jucys-Murphy operators. Then both the construction and the succesive application of all these $n-1$ matrices can be performed using $O(n \binom{n}{k})$ operations. As a consequence, we show that the problem of computing all the weights of the isotypic components of a given function can be solved in $O(n \binom{n}{k})$ operations, improving the previous bound $O(k^2 \binom{n}{k})$ when $k$ asymptotically dominates $\sqrt{n}$.

English title: Eigenvalues of Symmetrized Shuffling Operators The random-to-random shuffling operator explains, for example, the evolution of a deck of cards subject to the following random process: draw a card randomly from the deck and reinsert it at a random position. If one instead draws more than one card at a time before reinserting, then the resulting operator is an example of a family of symmetrized shuffling operators studied by Victor Reiner, Franco Saliola and Volkmar Welker. This thesis describes a way to obtain the eigenvalues of these operators. We build on the work of Anton Dieker and Franco Saliola, who computed the eigenvalues of the random-to-random shuffle. Here, we compute the eigenvalues for all the operators of the family. We proceed with the help of the representation theory of the symmetric group. We decompose the vector space on which the shuffles act into simple modules for the symmetric group. These modules correspond to standard Young tableaux, and the algorithm to compute the eigenvalues is combinatorial because it computes the eigenvalues directly from the standard Young tableaux. As a corollary of our main result, we solve several conjectures of Reiner, Saliola and Welker, including showing that the eigenvalues are all nonnegative integers. Furthermore, the techniques used here allow us to give a new proof of their result that these symmetrized shuffling operators commute. Knowing the eigenvalues is the key step in one method of computing the number of shuffles one needs to execute to get a perfectly shuffled deck, which is briefly explored. We also study a second family of shuffles introduced by Reiner, Saliola and Welker. We present many conjectures about their eigenvalues.

Drinfeld orbifold algebras deform skew group algebras in polynomial degree at most one and hence encompass graded Hecke algebras, and in particular symplectic reflection algebras and rational Cherednik algebras. We introduce parametrized families of Drinfeld orbifold algebras for symmetric groups acting on doubled representations that generalize rational Cherednik algebras by deforming in degree one. We characterize rich families of maps recording commutator relations with their linear parts supported only on and only off the identity when the symmetric group acts on the natural permutation representation plus its dual. This produces degree-one versions of $\mathfrak{gl}_n$-type rational Cherednik algebras. When the symmetric group acts on the standard irreducible reflection representation plus its dual there are no degree-one Lie orbifold algebra maps, but there is a three-parameter family of Drinfeld orbifold algebras arising from maps supported only off the identity. These provide degree-one generalizations of the $\mathfrak{sl}_n$-type rational Cherednik algebras $H_{0,c}$.

Nestohedra are a family of convex polytopes that includes permutohedra, associahedra, and graph associahedra. In this paper, we study an extension of such polytopes, called extended nestohedra. We show that these objects are indeed the boundaries of simple polytopes, answering a question of Lam and Pylyavskyy. We also study the duals of (extended) nestohedra, giving a complete characterization of isomorphisms (as simplicial complexes) between the duals of extended nestohedra and a partial characterization of isomorphisms between the duals of nestohedra and extended nestohedra. In addition, we give formulas for their $f$-, $h$-, and $γ$-vectors. This includes showing that the $f$-vectors of the extended nestohedron corresponding to a forest $F$ and the nestohedron corresponding to the line graph of $F$ are the same, as well as showing that all flag extended nestohedra have nonnegative $γ$-vectors, thus proving Gal's conjecture for a large class of flag simple polytopes. We also relate the $f$- and $h$-vectors of the nestohedra and extended nestohedra, as well as give explicit formulas for the $h$- and $γ$-vectors in terms of descent statistics for a certain class of flag extended nestohedra. Finally, we define a partial ordering on partial permutations that is a join semilattice quotient of the weak Bruhar order on the symmetric group, and such that any linear extension of the partial order provides a shelling of the dual of the stellohedron.

This paper deals with lattice congruences of the weak order on the symmetric group, and initiates the investigation of the cover graphs of the corresponding lattice quotients. These graphs also arise as the skeleta of the so-called quotientopes, a family of polytopes recently introduced by Pilaud and Santos [Bull. Lond. Math. Soc., 51:406-420, 2019], which generalize permutahedra, associahedra, hypercubes and several other polytopes. We prove that all of these graphs have a Hamilton path, which can be computed by a simple greedy algorithm. This is an application of our framework for exhaustively generating various classes of combinatorial objects by encoding them as permutations. We also characterize which of these graphs are vertex-transitive or regular via their arc diagrams, give corresponding precise and asymptotic counting results, and we determine their minimum and maximum degrees. Moreover, we investigate the relation between lattice congruences of the weak order and pattern-avoiding permutations.

The Frobenius symbol was first introduced in 1900 by Frobenius as a way to encode an integer partition. In 1941, motivated by the modular representation theory of the symmetric group, Nakayama introduced the idea of a p-core partition, for p prime, using hook removals. In the following decade, Robinson, Littlewood, Staal and Farahat codified the $p$-quotient of such a partition, using variations of the star diagram. Since the 1970s, the convention has been to build up the theory of both core and quotients with the abacus construction, first introduced by G. James. In this paper we return to the earlier point of view. First we show that, for any positive integer t, the t-core and t-quotient of an integer partition can be directly obtained from its Frobenius symbol. The argument also works in the opposite direction: that is, given the Frobenius symbol of a t-core and a $t$-tuple of Frobenius symbols, one can recover the Frobenius symbol of the corresponding partition. One immediate application is the calculation of the Durfee number of the associated partition from the Frobenius symbols of the core and quotient. In 1991, J. Scopes gathered together the $p$-core partitions into families to prove that Donovan's conjecture holds for the symmetric groups at the prime p. We describe, using our methods, the action of the affine Weyl group W_p of type $A$ on Frobenius symbols, and use this to parametrize and compute the explicit number of Scopes families. In particular we enumerate both the infinite and finite Scopes families. Core partitions have also attracted recent interest in number theory. By constructing explicit and combinatorial bijections, we revisit some well-known identities originally obtained using sophisticated methods. We end with a close study of the relationship between certain hooks in the quotient and certain hooks in the associated partition.

In $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, the multiplicity of half-BPS states with fixed dimension can be labelled by Young diagrams and can be distinguished using conserved charges corresponding to Casimirs of $U(N)$. The information theoretic study of LLM geometries and superstars in the dual $AdS_5 \times S^5$ background has raised a number of questions about the distinguishability of Young diagrams when a finite set of Casimirs are known. Using Schur-Weyl duality relations between unitary groups and symmetric groups, these questions translate into structural questions about the centres of symmetric group algebras. We obtain analytic and computational results about these structural properties and related Shannon entropies, and generate associated number sequences. A characterization of Young diagrams in terms of content distribution functions relates these number sequences to diophantine equations. These content distribution functions can be visualized as connected, segmented, open strings in content space.

We continue the study of separable elements in finite Weyl groups. These elements generalize the well-studied class of separable permutations. We show that the multiplication map $W/U \times U \to W$ is a length-additive bijection, or splitting, of the Weyl group $W$ when $U$ is an order ideal in right weak order generated by a separable element; this generalizes a result for the symmetric group, answering an open problem of Wei. For a generalized quotient of the symmetric group, we show that this multiplication map is a bijection if and only if $U$ is an order ideal in right weak order generated by a separable element, thereby classifying those generalized quotients which induce splittings of the symmetric group, resolving a problem of Björner and Wachs from 1988. We also prove that this map is always surjective when $U$ is an order ideal in right weak order. Interpreting these sets of permutations as linear extensions of 2-dimensional posets gives the first direct combinatorial proof of an inequality due originally to Sidorenko in 1991, answering an open problem Morales, Pak, and Panova. We also prove a new $q$-analog of Sidorenko's formula. All of these results are conjectured to extend to arbitrary finite Weyl groups. Finally, we show that separable elements in $W$ are in bijection with the faces of all dimensions of several copies of the graph associahedron of the Dynkin diagram of $W$. This correspondence associates to each separable element $w$ a certain nested set; we give product formulas for the rank generating functions of the principal upper and lower order ideals generated by $w$ in terms of these nested sets, generalizing several known formulas.

In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.

The $F$-signature is a numerical invariant defined by the number of free direct summands in the Frobenius push-forward, and it measures singularities in positive characteristic. It can be generalized by focussing on the number of non-free direct summands. In this paper, we provide several methods to compute the (generalized) $F$-signature of a Hibi ring which is a special class of toric rings. In particular, we show that it can be computed by counting the elements in the symmetric group satisfying certain conditions. As an application, we also give the formula of the (generalized) $F$-signature for some Segre products of polynomial rings.

We introduce a type $A$ crystal structure on decreasing factorizations of fully-commutative elements in the 0-Hecke monoid which we call $\star$-crystal. This crystal is a $K$-theoretic generalization of the crystal on decreasing factorizations in the symmetric group of the first and last author. We prove that under the residue map the $\star$-crystal intertwines with the crystal on set-valued tableaux recently introduced by Monical, Pechenik and Scrimshaw. We also define a new insertion from decreasing factorization to pairs of semistandard Young tableaux and prove several properties, such as its relation to the Hecke insertion and the uncrowding algorithm. The new insertion also intertwines with the crystal operators.

In this paper, we pursue our study of asymptotic properties of families of random matrices that have a tensor structure. In previous work, the first- and second-named authors provided conditions under which tensor products of unitary random matrices are asymptotically free with respect to the normalized trace. Here, we extend this result by proving that asymptotic freeness of tensor products of Haar unitary matrices holds with respect to a significantly larger class of states. Our result relies on invariance under the symmetric group, and therefore on traffic probability. As a byproduct, we explore two additional generalisations: (i) we state results of freeness in a context of general sequences of representations of the unitary group -- the fundamental representation being a particular case that corresponds to the classical asymptotic freeness result for Haar unitary matrices, and (ii) we consider actions of the symmetric group and the free group simultaneously and obtain a result of asymptotic freeness in this context as well.

The Mullineux involution is a relevant map that appears in the study of the modular representations of the symmetric group and the alternating group. The fixed points of this map are certain partitions of particular interest. It is known that the cardinality of the set of these self-Mullineux partitions is equal to the cardinality of a distinguished subset of self-conjugate partitions. In this work, we give an explicit bijection between the two families of partitions in terms of the Mullineux symbol.

We introduce and study affine analogues of the fixed-point-free (FPF) involution Stanley symmetric functions of Hamaker, Marberg, and Pawlowski. Our methods use the theory of quasiparabolic sets introduced by Rains and Vazirani, and we prove that the subset of FPF-involutions is a quasiparabolic set for the affine symmetric group under conjugation. Using properties of quasiparabolic sets, we prove a transition formula for the affine FPF involution Stanley symmetric functions, analogous to Lascoux and Schützenberger's transition formula for Schubert polynomials. Our results suggest several conjectures and open problems.

We construct bijections to show that two pairs of sextuple set-valued statistics of permutations are equidistributed on symmetric groups. This extends a recent result of Sokal and the second author valid for integer-valued statistics as well as a previous result of Foata and Han for bivariable set-valued statistics.

Let $G$ be a finite group. For each $m>1$ we define the symmetric canonical subset $S=S(m)$ of the Cartesian power $G^m$ and we consider the family of Cayley graphs $\mathscr{G}_m(G)=Cay(G^m,S)$. We describe properties of these graphs and show that for a fixed $m>1$ and groups $G$ and $H$ the graphs $\mathscr{G}_m(G)$ and $\mathscr{G}_m(H)$ are isomorphic if and only if the groups $G$ and $H$ are isomorphic. We describe also the groups of automorphisms $\mathbf{Aut}(\mathscr{G}_m(G))$. It is shown that if $G$ is a non-abelian group, then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq \big(G^m \rtimes \mathbf{Aut}(G)\big)\rtimes D_{m+1}$, where $D_{m+1}$ is the dihedral group of order $2m+2$. If $G$ is an abelian group (with some exceptions for $m=3$), then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq G^m\rtimes \big(\mathbf{Aut}(G)\times S_{m+1}\big)$, where $S_{m+1}$ is the symmetric group of degree $m+1$. As an example of application we discuss relations between Cayley graphs $\mathscr{G}_m(G)$ and Bergman-Isaacs Theorem on rings with fixed-point-free group actions.