arXiv++ Combinatorics

We generalize a formula due to Macdonald that relates the singular Betti numbers of $X^{n}/G$ to those of $X$, where $X$ is a compact manifold and $G$ is any subgroup of the symmetric group $S_{n}$ acting on $X^{n}$ by permuting coordinates. Our result is completely axiomatic: in a general setting, given an endomorphism on the cohomology $H^{\bullet}(X)$, it explains how we can explicitly relate the Lefschetz series of the induced endomorphism on $H^{\bullet}(X^{n})^{G}$ to that of the given endomorphism on $H^{\bullet}(X)$ in the presence of the Künneth formula with respect to a cup product. For example, when $X$ is a compact manifold, we take the Lefschetz series given by the singular cohomology with rational coefficients. On the other hand, when $X$ is a projective variety over a finite field $\mathbb{F}_{q}$, we use the $l$-adic étale cohomology with a suitable choice of prime number $l$. We also explain how our formula generalizes the Pólya enumeration theorem, a classical theorem in combinatorics that counts colorings of a graph up to given symmetries, where $X$ is taken to be a finite set of colors. When $X$ is a smooth projective variety over $\mathbb{C}$, our formula also generalizes a result of Cheah that relates the Hodge numbers of $X^{n}/G$ to those of $X$. We will also see that our result generalizes the following facts: 1. the generating function of the Poincaré polynomials of symmetric powers of a compact manifold $X$ is rational; 2. the generating function of the Hodge-Deligne polynomials of symmetric powers of a smooth projective variety $X$ over $\mathbb{C}$ is rational; 3. the zeta series of a projective variety $X$ over $\mathbb{F}_{q}$ is rational. We also prove analogous rationality results when we replace $S_{n}$ with $A_{n}$, alternating groups.

In the intersection of the theories of nonsymmetric Jack polynomials in $N$ variables and representations of the symmetric groups $\mathcal{S}_{N}$ one finds the singular polynomials. For certain values of the parameter $κ$ there are Jack polynomials which span an irreducible $\mathcal{S}_{N}$-module and are annihilated by the Dunkl operators. The $\mathcal{S}_{N}$-module is labeled by a partition of $N$, called the isotype of the polynomials. In this paper the Jack polynomials are of the vector-valued type, that is, elements of the tensor product of the scalar polynomials with the span of reverse standard Young tableaux of the shape of a fixed partition of $N$. In particular this partition is of shape $\left( m,m,\ldots,m\right) $ with $2k$ components and the constructed singular polynomials are of isotype $\left( mk,mk\right) $ for the parameter $κ=$ $1/\left( m+2\right) $. The paper contains the necessary background on nonsymmetric Jack polynomials and representation theory and explains the role of Jucys-Murphy elements in the construction. The main ingredient is the proof of uniqueness of certain spectral vectors, namely, the list of eigenvalues of the Jack polynomials for the Cherednik-Dunkl operators, when specialized to $κ=1/\left( m+2\right) $. The paper finishes with a discussion of associated maps of modules of the rational Cherednik algebra and an example illustrating the difficulty of finding singular polynomials for arbitrary partitions.

A permutation $π$ over alphabet $Σ= {1,2,3,\ldots,n}$, is a sequence where every element $x$ in $Σ$ occurs exactly once. $S_n$ is the symmetric group consisting of all permutations of length $n$ defined over $Σ$. $I_n$ = $(1, 2, 3,\ldots, n)$ and $R_n =(n, n-1, n-2,\ldots, 2, 1)$ are identity (i.e. sorted) and reverse permutations respectively. An operation, that we call as an $LRE$ operation, has been defined in OEIS with identity A186752. This operation is constituted by three generators: left-rotation, right-rotation and transposition(1,2). We call transposition(1,2) that swaps the two leftmost elements as $Exchange$. The minimum number of moves required to transform $R_n$ into $I_n$ with $LRE$ operation are known for $n \leq 11$ as listed in OEIS with sequence number A186752. For this problem no upper bound is known. OEIS sequence A186783 gives the conjectured diameter of the symmetric group $S_n$ when generated by $LRE$ operations \cite{oeis}. The contributions of this article are: (a) The first non-trivial upper bound for the number of moves required to sort $R_n$ with $LRE$; (b) a tighter upper bound for the number of moves required to sort $R_n$ with $LRE$; and (c) the minimum number of moves required to sort $R_{10}$ and $R_{11}$ have been computed. Here we are computing an upper bound of the diameter of Cayley graph generated by $LRE$ operation. Cayley graphs are employed in computer interconnection networks to model efficient parallel architectures. The diameter of the network corresponds to the maximum delay in the network.

Let $\mathrm{G}$ be a subgroup of the symmetric group $\mathfrak S(U)$ of all permutations of a countable set $U$. Let $\overline{\mathrm{G}}$ be the topological closure of $\mathrm{G}$ in the function topology on $U^U$. We initiate the study of the poset $\overline{\mathrm{G}}[U]:=\{f[U]\mid f\in \overline{\mathrm{G}}\}$ of images of the functions in $\overline{\mathrm{G}}$, being ordered under inclusion. This set $\overline{\mathrm{G}}[U]$ of subsets of the set $U$ will be called the \emph{poset of copies for} the group $\mathrm{G}$. A denomination being justified by the fact that for every subgroup $\mathrm{G}$ of the symmetric group $\mathfrak S(U)$ there exists a homogeneous relational structure $R$ on $U$ such that $\overline G$ is the set of embeddings of the homogeneous structure $R$ into itself and $\overline{\mathrm{G}}[U]$ is the set of copies of $R$ in $R$ and that the set of bijections $\overline G\cap \mathfrak S(U)$ of $U$ to $U$ forms the group of automorphisms of $\mathrm{R}$.

Recent work by Huang, Lewis, Morales, Reiner, and Stanton suggests that the regular elliptic elements of $\mathrm{GL}_n \mathbb{F}_q$ are somehow analogous to the $n$-cycles of the symmetric group. In 1981, Stanley enumerated the factorizations of permutations into products of $n$-cycles. We study the analogous problem in $\mathrm{GL}_n \mathbb{F}_q$ of enumerating factorizations into products of regular elliptic elements. More precisely, we define a notion of cycle type for $\mathrm{GL}_n \mathbb{F}_q$ and seek to enumerate the tuples of a fixed number of regular elliptic elements whose product has a given cycle type. In some special cases, we provide explicit formulas, using a standard character-theoretic technique due to Frobenius by introducing simplified formulas for the necessary character values. We also address, for large $q$, the problem of computing the probability that the product of a random tuple of regular elliptic elements has a given cycle type. We conclude with some results about the polynomiality of our enumerative formulas and some open problems.

We give a type-independent construction of an explicit basis for the semi-invariant harmonic differential forms of an arbitrary pseudo-reflection group in characteristic zero. Our "top-down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik--Solomon, and Shepler describing (semi-)invariant differential forms. We apply our results to a recent conjecture of Zabrocki which provides a representation theoretic-model for the Delta conjecture of Haglund--Remmel--Wilson in terms of a certain non-commutative coinvariant algebra for the symmetric group. In particular, we verify the alternating component of a specialization of Zabrocki's conjecture.

We study the appearance of notable interval structures -- lattices, modular lattices, distributive lattices, and boolean lattices -- in both the Bruhat and weak orders of Coxeter groups. We collect and expand upon known results for principal order ideals, including pattern characterizations and enumerations for the symmetric group. This segues naturally into a similar analysis for arbitrary intervals, although the results are less characterizing for the Bruhat order at this generality. In counterpoint, however, we obtain a full characterization for intervals starting at rank one in the symmetric group, for each of the four structure types, in each of the two posets. Each category can be enumerated, with intriguing connections to Fibonacci and Catalan numbers. We conclude with suggestions for further directions and questions, including an interesting analysis of the intervals formed between a permutation and each generator in its support.

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.