arXiv++ Combinatorics

For a finite group $G,$ we define the concept of $G$-partial permutation and use it to show that the structure coefficients of the center of the wreath product $G\wr \mathcal{S}_n$ algebra are polynomials in $n$ with non-negative integer coefficients. Our main tool is a combinatorial algebra which projects onto the center of the group $G\wr \mathcal{S}_n$ algebra for every $n.$ This generalizes the Ivanov and Kerov method to prove the polynomiality property for the structure coefficients of the center of the symmetric group algebra.

The Hamilton-Waterloo problem is a problem of graph factorization. The Hamilton-Waterloo problem HWP$(H;m,n;α,β)$ asks for a $2$-factorization of $H$ containing $α$ $C_m$-factors and $β$ $C_n$-factors. In this paper, we almost completely solve the Hamilton-Waterloo problem on wreath product graph $C_m \wr K_{16}$ with $C_{16}$-factors and $C_m$-factors for an odd integer $m$.

According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a much larger class than those occurring in this theorem. For any positive integer $m$ and group $G$ (finite or infinite), there is a diagonal semilattice, a sub-semilattice of the lattice of partitions of a set $Ω$, whose automorphism group is the corresponding diagonal group. Moreover, there is a graph (the diagonal graph), bearing much the same relation to the diagonal semilattice and group as the Hamming graph does to the Cartesian lattice and the wreath product of symmetric groups. Our purpose here, after a brief introduction to this semilattice and graph, is to establish some properties of this graph. The diagonal graph $Γ_D(G,m)$ is a Cayley graph for the group~$G^m$, and so is vertex-transitive. We establish its clique number in general and its chromatic number in most cases, with a conjecture about the chromatic number in the remaining cases. We compute the spectrum of the adjacency matrix of the graph, using a calculation of the Möbius function of the diagonal semilattice. We also compute some other graph parameters and symmetry properties of the graph. We believe that this family of graphs will play a significant role in algebraic graph theory.

We derive a formula for the entries in the change-of-basis matrix between Young's seminormal and natural representations of the symmetric group. These entries are determined as sums over weighted paths in the weak Bruhat graph on standard tableaux, and we show that they can be computed recursively as the weighted sum of at most two previously-computed entries in the matrix. We generalize our results to work for affine Hecke algebras, Ariki-Koike algebras, Iwahori-Hecke algebras, and complex reflection groups given by the wreath product of a finite cyclic group with the symmetric group.

We explore some connections between moments of rescaled little q-Jacobi polynomials, q-analogues of values at negative integers for some Dirichlet series, and the q-Eulerian polynomials of wreath products of symmetric groups.

In this paper we compute powers in the wreath product $G\wr S_n$, for any finite group $G$. For $r\geq 2$, a prime, consider $ω_r: G\wr S_n\to G\wr S_n$ defined by $g \mapsto g^r$. Let $P_{r}(G\wr S_n)=\frac{|ω_r(G\wr S_n)|}{|G|^n n!}$, be the probability that a randomly chosen element in $G\wr S_n$ is a $r^{th}$ power. We prove, $P_r(G\wr S_{n+1})=P_r(G\wr S_n)$ for all $n\not \equiv -1(\text{mod } r)$ if, order of $G$ is coprime to $r$. We also give a formula for the number of conjugacy classes that are $r^{th}$ powers in $G\wr S_n$.

We study the generating polynomial of the flag major index with each one-dimensional character, called signed Mahonian polynomial, over the colored permutation group, the wreath product of a cyclic group with the symmetric group. Using the insertion lemma of Han and Haglund-Loehr-Remmel and a signed extension established by Eu et al., we derive the signed Mahonian polynomial over the quotients of parabolic subgroups of the colored permutation group, for a variety of systems of coset representatives in terms of subsequence restrictions. This generalizes the related work over parabolic quotients of the symmetric group due to Caselli as well as to Eu et al. As a byproduct, we derive a product formula that generalizes Biagioli's result about the signed Mahonian on the even signed permutation groups.

Let $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ denote the wreath product of the cyclic group $\mathbb Z/d\mathbb Z$ with the symmetric group $\mathfrak S_n$. We define generating functions for monomial (induced one-dimensional) characters of $\mathbb Z/d\mathbb Z \wr \mathfrak S_n$ and express these in terms of determinants and permanents. This extends work of Littlewood ({\em The Theory of Group Characters and Representations of Groups}, 1940) and Merris and Watkins ({\em Linear Algebra Appl.}, {\bf 64}, 1985) on generating functions for the monomial characters of $\mathfrak S_n$.

We classify $\mathcal{R}$- and $\mathcal{L}$-cross-sections of partial wreath product of inverse semigroups. As a corollary, we get the description of $\mathcal{R}$- and $\mathcal{L}$-cross-sections of the semigroupof partial automorphisms of finite regular rooted tree and compute also the number of different $\mathcal{R}$- ($\mathcal{L}$-) cross-sections in this semigroup.

Weighted simplicial complexes (WSCs) are powerful tools for describing weighted cloud data or networks with weighted nodes. In this paper, we propose a novel approach to study WSCs via the concept of polarization. Polarization of a WSC allows one to construct a new (unweighted) simplicial complex which coincides with an object called the mixed wreath product. This new construction preserves several properties and invariants of the underlying simplicial complex of a WSC. Our main focus is to analyze WSCs through their underlying simplicial complexes and mixed wreath products. Combinatorially, we investigate properties such as vertex-decomposability, shellability, constructibility; algebraically, we study Betti numbers, associated primes and primary decompositions of ideals associated to WSCs.

The multiplicity-free subgroups (strong Gelfand subgroups) of wreath products are investigated. Various useful reduction arguments are presented. In particular, we show that for every finite group $F$, the wreath product $F\wr S_λ$, where $S_λ$ is a Young subgroup, is multiplicity-free if and only if $λ$ is a partition with at most two parts, the second part being 0,1, or 2. Furthermore, we classify all multiplicity-free subgroups of hyperoctahedral groups. Along the way, we derive various decomposition formulas for the induced representations from some special subgroups of hyperoctahedral groups.

We say that a finite group G is "DRR-detecting" if, for every subset S of G, either the Cayley digraph Cay(G,S) is a digraphical regular representation (that is, its automorphism group acts regularly on its vertex set) or there is a nontrivial group automorphism phi of G such that phi(S) = S. We show that every nilpotent DRR-detecting group is a p-group, but that the wreath product of two cyclic groups of order p is not DRR-detecting, for every odd prime p. We also show that if G and H are nontrivial groups that admit a digraphical regular representation and either gcd(|G|,|H|) = 1, or H is not DRR-detecting, then the direct product G x H is not DRR-detecting. Some of these results also have analogues for graphical regular representations.

It is well known that the pair $(\mathcal{S}_n,\mathcal{S}_{n-1})$ is a Gelfand pair where $\mathcal{S}_n$ is the symmetric group on $n$ elements. In this paper, we prove that if $G$ is a finite group then $(G\wr \mathcal{S}_n, G\wr \mathcal{S}_{n-1}),$ where $G\wr \mathcal{S}_n$ is the wreath product of $G$ by $\mathcal{S}_n,$ is a Gelfand pair if and only if $G$ is abelian.

We construct Hopf algebras whose elements are representations of combinatorial automorphism groups, by generalising a theorem of Zelevinsky on Hopf algebras of representations of wreath products. As an application we attach symmetric functions to representations of graph automorphism groups, generalising and refining Stanley's chromatic symmetric function.

The automorphism group of the composition of graphs $G \circ H$ contains the wreath product $Aut(H) \wr Aut(G)$ of the automorphism groups of the corresponding graphs. The classical problem considered by Sabidussi and Hemminger was under what conditions $G \circ H$ has no other automorphisms. In this paper we deal with the converse. If the automorphism group of a graph (or a colored graph or digraph) is the wreath product $A \wr B$ of permutation groups, then the graph must be the result of the corresponding construction. The question we consider is whether $A$ and $B$ must be the automorphism groups of graphs involved in the construction. We solve this problem, generally in positive, for the wreath product in its natural imprimitive action (which refers to the results by Sabidussi and Hemminger). Yet, we consider also the same problems for the wreath product in its product action, which turns out to be more complicated and leads to interesting open questions involving other combinatorial structures.

The Hecke algebras $\mathcal{H}_{n,k}$ of the group pairs $(S_{kn}, S_k\wr S_n)$ can be endowed with a filtration with respect to the orbit structures of the elements of $S_{kn}$ relative to the action of $S_{kn}$ on the set of $k$-partitions of $\{1,\dots,kn\}$. We prove that the structure constants of the associated filtered algebra $\mathcal{F}_{n,k} $ is independent of $n$. The stability property enables the construction of a universal algebra $\mathcal{F}$ to govern the algebras $\mathcal{F}_{n,k}$. We also prove that the structure constants of the algebras $\mathcal{H}_{n,k}$ are polynomials in $n$. For $k=2$, when the algebras $(\mathcal{F}_{n,2})_{n\in \mathbb{N}}$ are commutative, these results were obtained by Aker and Can, by Can and Ozden, and by Tout.

Two Schubert problems on possibly different Grassmannians may be composed to obtain a Schubert problem on a larger Grassmannian whose number of solutions is the product of the numbers of the original problems. This generalizes a construction discovered while classifying Schubert problems on the Grassmannian of 4-planes in C^9 with imprimitive Galois groups. We give an algebraic proof of the product formula. In a number of cases, we show that the Galois group of the composed Schubert problem is a subgroup of a wreath product of the Galois groups of the original problems, and is therefore imprimitive. We also present evidence for a conjecture that all composed Schubert problems have imprimitive Galois groups.

A paratopism is an action on a Latin hypercube of dimension d and order n which is an element of the wreath product $S_n \wr S_{d+1}$. A paratopism is said to be an autoparatopism if there is at least one Latin hypercube which is mapped to itself under the action of the paratopism. In this paper we classify autoparatopisms of Latin cubes given d = 3 and $n \in \mathbb{Z^+}$, upto the conjugacy in $S_n \wr S_4$. In order to achieve this objective, we prove that given an autoparatopism $σ \in S_n \wr S_{d+1}$, all the conjugates of $σ$ are autoparatpisms. Also, an important condition is presented, which states that the cycle structure of the $δ$ in the element $σ= (α_1,α_2,α_3,α_4;δ)$ of $S_n \wr S_4$ determines the conjugacy.

Given a chain of groups $G_0 \le G_1 \le G_2 ... $, we may form the corresponding chain of their representation rings, together with induction and restriction operators. We may let $\textrm{Res}^l$ denote the operator which restricts down $l$ steps, and similarly for $\textrm{Ind}^l$. Observe then that $\textrm{Ind}^l \textrm{Res}^l$ is an operator from any particular representation ring to itself. The central question that this paper addresses is: "What happens if the $\textrm{Ind}^l \textrm{Res}^l$ operator is a polynomial in the $\textrm{Ind} \textrm{Res}$ operator?". We show that chains of wreath products $\{H^n \rtimes S_n\}_{n \in \mathbb{N}}$ have this property, and in particular, the polynomials that appear in the case of symmetric groups are the falling factorial polynomials. An application of this fact gives a remarkable new way to compute characters of wreath products (in particular symmetric groups) using matrix multiplication. We then consider arbitrary chains of groups, and find very rigid constraints that such a chain must satisfy in order for $\textrm{Ind}^l \textrm{Res}^l$ to be a polynomial in $\textrm{Ind} \textrm{Res}$. Our rigid constraints justify the intuition that this property is indeed a very rare and special property.

We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group.