arXiv++ Combinatorics

We define and study two structures associated to permutation groups: Dirichlet characters on permutation groups, and the "cycle form," a bilinear form on the group algebras of permutation groups. We use Dirichlet characters and the cycle form to find a new upper bound on the number of unlabelled bicolored graphs with $p$ red vertices and $q$ blue vertices. We use this bound to calculate the asymptotic growth rate of the number of such graphs as $p,q\rightarrow\infty$, answering a 1973 question of Harrison in the case where $q-p$ is fixed. As an application, we show that, in an asymptotic sense, "most" elements of the power set $P(\{ 1, \dots ,p\} \times \{ 1, \dots ,q\})$ are in free $Σ_p\times Σ_q$-orbits.

Let $G$ be a finite permutation group on $Ω$. An ordered sequence $(ω_1\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. The minimal cardinality of a base is said to be the base size of $G$. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group. In this paper, we classify the finite almost simple primitive IBIS groups whose base size is at least $6$.

Over the past years, Polar codes have arisen as a highly effective class of linear codes, equipped with a decoding algorithm of low computational complexity. This family of codes share a common algebraic formalism with the well-known Reed-Muller codes, which involves monomial evaluations. As useful algebraic codes, more specifically known as decreasing monomial codes, a lot of decoding work has been done on Reed-Muller codes based on their rich code automorphisms. In 2021, a new permutation group decoder, referred to as the automorphism ensemble (AE) decoder, was introduced. This decoder can be applied to Polar codes and has been shown to produce similar decoding effects. However, identifying the right set of code automorphisms that enhance decoding performance for Polar codes remains a challenging task. This paper aims to characterize the full automorphism group of Polar codes. We will prove a reduction theorem that effectively reduces the problem of determining the full automorphism group of arbitrary random Polar codes to that of a specified class of Polar codes. Besides, we give exact classification of the full automorphism groups of families of Polar codes that are constructed using the Reed-Muller codes.

A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van Maldeghem, the full automorphism groups of these graphs (equivalently, the 2-closures of rank 3 groups) have not been explicitly described, though a lot of information on this subject is available. In the present note, we address this problem for the affine rank 3 graphs. We find the automorphism groups for finitely many relatively small graphs and show that modulo known results, this provides the full description of the automorphism groups of the affine rank 3 graphs, thus reducing the general problem to the case when the socle of the automorphism group is nonabelian simple.

Efficiency of routing on a regular digraph often involves finding opitmal properties of the graph. For example, the diameter of a digraph is the maximum distance between any two vertices. We show how we can study these problems algebraically in terms of quasigroups, 1-factors, and permutation groups. Our investigation originated from the study of graphs as the Cayley graphs of groupoids with $d$ generators, a left identity, and right cancellation; that is, a right quasigroup. This enables us to provide compact algebraic definitions for some important graphs that are either given as explicit edge lists or as the Cayley coset graphs of groups larger than the graph. One such example is a single expression for the Hoffman-Singleton graph. From there, we notice that the groupoids can be represented uniquely by a set of disjoint permutations and we explore the consequences of that observation.

The motion of a graph is the minimum number of vertices that are moved by a non-trivial automorphism. Equivalently, it can be defined as the minimal degree of its automorphism group (as a permutation group on the vertices). In this paper we develop some results on permutation groups (primitive and imprimitive) with small minimal degree. As a consequence of such results we classify vertex-transitive graphs whose motion is $4$ or a prime number.

A decreasing Cartesian code is defined by evaluating a monomial set closed under divisibility on a Cartesian set. Some well-known examples are the Reed-Solomon, Reed-Muller, and (some) toric codes. The affine permutations consist of the permutations of the code that depend on an affine transformation. In this work, we study the affine permutations of some decreasing Cartesian codes, including the case when the Cartesian set has copies of multiplicative or additive subgroups.

Let $G\leqslant\mathrm{Sym}(Ω)$ be a finite transitive permutation group with point stabiliser $H$. We say that a subgroup $K$ of $G$ is a fixer if every element of $K$ has fixed points, and we say that $K$ is large if $|K| \geqslant |H|$. There is a special interest in studying large fixers due to connections with Erdős-Ko-Rado type problems. In this paper, we classify up to conjugacy the large fixers of the almost simple primitive groups with socle $\mathrm{PSL}_2(q)$, and we use this result to verify a special case of a conjecture of Spiga on permutation characters. We also present some results on large fixers of almost simple primitive groups with socle an alternating or sporadic group.

Generalized inversions $X_{\mathrm{inv}}^{(d)}$ and generalized descents $X_{\mathrm{des}}^{(d)}$ are an interesting combinatorial extension of the common inversion and descent statistics. By means of the root poset, they can be defined on all classical Weyl groups. In this paper, we investigate the bivariate normality of $(X_{\mathrm{inv}}^{(d)}, X_{\mathrm{des}}^{(d)})^\top$ as well as the extreme value behavior of $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ and $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$. We show that bivariate normality holds in the regimes of $d_1 = o(n^{1/3})$ and $d_1 = ω(n^{1/2})$. For these situations, we also discuss the number of samples $k_n$ for which the Gumbel max-attraction applies to a triangular array based on $X_{\mathrm{inv}}^{(d_1)}$, $X_{\mathrm{des}}^{(d_2)}$ or $(X_{\mathrm{inv}}^{(d_1)}, X_{\mathrm{des}}^{(d_2)})^\top$.

For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of \emph{synchronising} and \emph{separating} are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of \emph{spreading} permutation groups is harder to describe, and it is the purpose of this paper to explore this property for finite classical groups. In particular, we show that for most finite classical groups, their natural action on the points of its polar space is non-spreading. We develop and use a result on tactical decompositions (an \emph{AB-Lemma}) that provides a useful technique for finding witnesses for non-spreading permutation groups. We also consider some of the other primitive actions of the classical groups.

Let $G\leqslant\mathrm{Sym}(Ω)$ be transitive, and let $S$ be an intersecting subset, namely, the ratio $xy^{-1}$ of any elements $x,y\in S$ fixes some point. An EKR-type problem is to characterize transitive groups $G\leqslant\mathrm{Sym}(Ω)$ such that any intersecting set is upper bounded by $|G_ω|$, where $ω\inΩ$. A nice result of Meagher-Spiga-Tiep (2016) tells us that if $G$ is 2-transitive, then indeed $|S|\leqslant|G_ω|$. A natural next step would be to explore intersecting subsets for primitive groups and quasiprimitive groups. Our study in this paper shows that for quasiprimitive permutation groups, the size $|S|$ can be arbitrarily larger than $|G_ω|$. We conjecture that for quasiprimitve groups, the upperbound for $|S|$ is $O(|G_ω||Ω|^{1\over2})$. As a starting point, we prove that ${|S|/(|G_ω||Ω|^{1\over2}})\leqslant{\sqrt2/2}$ for all quasiprimitive actions of the Suzuki groups $G=\mathrm{Sz}(q)$. To show that our conjectured upper bound is tight, we provide examples of groups for which ${|S|/(|G_ω||Ω|^{1\over2}})$ is arbitrarily close to ${\sqrt2/2}$. As far as general transitive groups concerned, infinity families of examples produced show that the ratio ${|S|/(|G_ω||Ω|^{1\over2}})$ can be arbitrarily large.

The polynomial of the major index ${\rm maj}_W (σ)$ over the subset $T$ of the Coxeter group $W$ is called the Mahonian polynomial over $T$, where ${\rm maj}_W (σ)$ is a Mahonian statistic of an element $σ\in T$, whereas the polynomial of the major index ${\rm maj}_W (σ)$ with the sign $(-1)^{\ell_W(σ)}$ over the subset $T$ is referred to as the signed Mahonian polynomial over $T$, where ${\ell_W(σ)}$ is the length of $σ\in T$. Gessel, Wachs, and Chow established the formulas for the Mahonian polynomials over the sets of derangements in the symmetric group $S_n$ and the hyperoctahedral group $B_n$. By extending Wachs' approach and employing a refinement of Stanley's shuffle theorem established in our recent paper, we derive the formula for the Mahonian polynomials over the set of derangements in the even-signed permutation group $D_n$. This completes a picture which is now known for all the classical Weyl groups. Gessel-Simion, Adin-Gessel-Roichman, and Biagioli previously established formulas for the signed Mahonian polynomials over the classical Weyl groups. Building upon their formulas, we derive the formulas for the signed Mahonian polynomials over the set of derangements in classical Weyl groups. As applications of the formulas for the (signed) Mahonian polynomials over the sets of derangements in the classical Weyl groups, we obtain enumerative formulas of the number of derangements in classical Weyl groups with even lengths.

Let ${\mathcal W}_n$ denote any of the three families of classical Weyl groups: the symmetric groups ${\mathcal S}_n$, the hyperoctahedral groups (signed permutation groups) ${\mathcal S}^B_n$, or the even-signed permutation groups ${\mathcal S}^D_n$. In this paper we give an uniform construction of a Hamilton cycle for the restriction to involutions on these three families of groups with respect to a inverse-closed connecting set of involutions. This Hamilton cycle is optimal with respect to the Hamming distance only for the symmetric group ${\mathcal S}_n$. We also recall an optimal algorithm for a Gray code for type $B$ involutions. A modification of this algorithm would provide a Gray Code for type $D$ involutions with Hamming distance two, which would be optimal. We give such a construction for ${\mathcal S}^D_4$ and ${\mathcal S}^D_5$.

Let $\mathbf{x}_{n \times n}$ be a matrix of $n \times n$ variables, and let $\mathbb{C}[\mathbf{x}_{n \times n}]$ be the polynomial ring on these variables. Let $\mathfrak{S}_{n,r}$ be the group of colored permutations, consisting of $n \times n$ complex matrices with exactly one nonzero entry in each row and column, where each nonzero entry is an $r$-th root of unity. We associate an ideal $I_{\mathfrak{S}_{n,r}} \subseteq \mathbb{C}[\mathbf{x}_{n \times n}]$ with the group $\mathfrak{S}_{n,r}$, and use orbit harmonics to give an ideal-theoretic extension of the Viennot shadow line construction to $\mathfrak{S}_{n,r}$. This extension gives a standard monomial basis of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$, and introduces an analogous definition of ``longest increasing subsequence'' to the group $\mathfrak{S}_{n,r}$. We examine the extension of Chen's conjecture to this analogy. We also study the structure of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$ as a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module, which subsequently induces a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module structure on the $\mathbb{C}$-algebra $\mathbb{C}[\mathfrak{S}_{n,r}]$.

We give a decomposition of the Laplace operator (in matrix form) of a covering simplicial complex as a direct sum of several matrices, one of which is the Laplace operator of the base complex. It follows that the spectrum of a covering simplicial complex is a multiset union of the spectrum of the base simplicial complex and the spectra of other relevant matrices, which implies the spectral inclusion property of Horak and Jost. In the case of a $2$-fold covering, we show that the spectrum is a multiset union of the spectrum of the base complex and that of an incidence-signed simplicial complex, thereby generalizing a result of Bilu and Linial from graphs to simplicial complexes. Additionally, we show that the dimension of the cohomology of a covering complex is greater than or equal to that of the base complex. Our arguments exploit the coverings of incidence graphs of simplicial complexes and the representation theory of permutation groups.

We study a class of nonlocal games, called transitive games, for which the set of perfect strategies forms a semigroup. We establish several interesting correspondences of bisynchronous transitive games with the theory of compact quantum groups. In particular, we associate a quantum permutation group with each bisynchronous transitive game and vice versa. We prove that the existence of a C*-strategy, the existence of a quantum commuting strategy, and the existence of a classical strategy are all equivalent for bisynchronous transitive games. We then use some of these correspondences to establish necessary and sufficient conditions for some classes of correlations, that arise as perfect strategies of transitive games, to be nonlocal.

We introduce coloring groups, which are permutation groups obtained from a proper edge coloring of a graph. These groups generalize the generalized toggle groups of Striker (which themselves generalize the toggle groups introduced by Cameron and Fon-der-Flaass). We present some general results connecting the structure of a coloring group to the structure of its graph coloring, providing graph-theoretic characterizations of the centralizer and primitivity of a coloring group. We apply these results particularly to generalized toggle groups arising from trees as well as coloring groups arising from the independence posets introduced by Thomas and Williams.

In this paper we extend the construction of Giudici, Morgan and Zhou [arXiv:2110.07896] to give the first known examples of nonregular, $2$-closed permutation groups of rank greater than $4$ that are not the automorphism group of any digraph. We also show that this construction only gives examples for four particular primes.

A Kirkman Triple System $Γ$ is called $m$-pyramidal if there exists a subgroup $G$ of the automorphism group of $Γ$ that fixes $m$ points and acts regularly on the other points. Such group $G$ admits a unique conjugacy class $C$ of involutions (elements of order $2$) and $|C|=m$. We call groups with this property $m$-pyramidal. We prove that, if $m$ is an odd prime power $p^k$, with $p \neq 7$, then every $m$-pyramidal group is solvable if and only if either $m=9$ or $k$ is odd. The primitive permutation groups play an important role in the proof. We also determine the orders of the $m$-pyramidal groups when $m$ is a prime number.

A subset $S$ of a transitive permutation group $G \leq \mathrm{Sym}(n)$ is said to be an intersecting set if, for every $g_{1},g_{2}\in S$, there is an $i \in [n]$ such that $g_{1}(i)=g_{2}(i)$. The stabilizer of a point in $[n]$ and its cosets are intersecting sets of size $|G|/n$. Such families are referred to as canonical intersecting sets. A result by Meagher, Spiga, and Tiep states that if $G$ is a $2$-transitive group, then $|G|/n$ is the size of an intersecting set of maximum size in $G$. In some $2$-transitive groups (for instance $\mathrm{Sym}(n)$, $\mathrm{Alt}(n)$), every intersecting set of maximum possible size is canonical. A permutation group, in which every intersecting family of maximum possible size is canonical, is said to satisfy the strict-EKR property. In this article, we investigate the structure of intersecting sets in $3$-transitive groups. A conjecture by Meagher and Spiga states that all $3$-transitive groups satisfy the strict-EKR property. Meagher and Spiga showed that this is true for the $3$-transitive group $\mathrm{PGL}(2,q)$. Using the classification of $3$-transitive groups and some results in literature, the conjecture reduces to showing that the $3$-transitive group $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property. We show that $\mathrm{AGL}(n,2)$ satisfies the strict-EKR property and as a consequence, we prove Meagher and Spiga's conjecture. We also prove a stronger result for $\mathrm{AGL}(n,2)$ by showing that "large" intersecting sets in $\mathrm{AGL}(n,2)$ must be a subset of a canonical intersecting set. This phenomenon is called stability.