arXiv++ Combinatorics

We construct a new family of permutation group polynomials over finite fields of arbitrary characteristic, which are special types of bivariate local permutation polynomials. For this family, we explicitly construct their companion. We also determine the total number of permutation group polynomials of this form. Moreover, we resolve the problem of enumerating $e$-Klenian polynomials over finite fields for $e\geq 1$, a problem previously noted as nontrivial by Gutierrez and Urroz (2023). In addition, we provide the exact number of permutation group polynomials equivalent to our proposed permutation group polynomials, as well as the exact number of those permutation group polynomials equivalent to $e$-Klenian polynomials.

In this paper we introduce a new way of measuring the robustness of Erdős--Ko--Rado (EKR) Theorems on permutation groups. EKR-type results can be viewed as results about the independence numbers of certain corresponding graphs, namely the derangement graphs, and random subgraphs of these graphs have been used to measure the robustness of these extremal results. In the context of permutation groups, the derangement graphs are Cayley graphs on the permutation group in question. We propose studying extremal properties of subgraphs of derangement graphs, that are themselves Cayley graphs of the group, to measure robustness. We present a variety of results about the robustness of the EKR property of various permutation groups using this new measure.

Given a permutation group $G$, the derangement graph of $G$ is defined with vertex set $G$, where two elements $x$ and $y$ are adjacent if and only if $xy^{-1}$ is a derangement. We establish that, if $G$ is transitive with degree exceeding 30, then the derangement graph of $G$ contains a complete subgraph with four vertices. As a consequence, if $G$ is a normal subgroup of $A$ such that $|A : G| = 3$, and if $U$ is a subgroup of $G$ satisfying $G = \bigcup_{a \in A} U^a$, then $|G : U| \leq 10$. This result provides support for a conjecture by Neumann and Praeger concerning Kronecker classes.

The paper is devoted to the study of abelian (in the sense defined by Godsil and Hensel) distance-regular $r$-covers of the complete graphs $K_n$. According to the construction by Coutinho, Godsil, Shirazi, and Zhan (2016), each such cover yields an equiangular set of lines of size $n$ that attains the relative bound. Moreover, there are four families of abelian covers that, through this construction, yield sets of lines attaining the absolute bound. All known representatives of these families -- the hexagon, the icosahedron graph, Taylor extensions of the Schläfli and McLaughlin graphs together with their distance-$2$ graphs, and three other examples arising from generalized quadrangles -- have a vertex-transitive automorphism group with at most two orbits on the arc set of the cover. We aim to classify the covers from these families under the condition that the automorphism group of the cover is vertex-transitive and has at most two orbits on its arc set, which holds precisely when this group induces a transitive permutation group of rank at most $3$ on the set of cover fibres. We apply several fundamental classification results on permutation groups of rank at most $3$ to describe the family of covers for which $r$ is odd and the smallest eigenvalue is extremal, equaling $-\sqrt{\sqrt{n}+1}$, which corresponds to lines in a complex Hilbert space. The results obtained encompass cases where the automorphism group of the cover induces a primitive or imprimitive group of rank at most $3$ on the set of fibres.

Permutation clones generalise permutation groups and clone theory. We investigate permutation clones defined by relations, or equivalently, the automorphism groups of powers of relations. We find many structural results on the lattice of all relationally defined permutation clones on a finite set. We find all relationally defined permutation clones on two element set. We show that all maximal borrow closed permutation clones are either relationally defined or cancellatively defined. Permutation clones generalise clones to permutations of $A^n$. Emil Jeřábek found the dual structure to be weight mappings $A^k\rightarrow M$ to a commutative monoid, generalising relations. We investigate the case when the dual object is precisely a relation, equivalently, that $M={\mathbb B}$, calling these relationally defined permutation clones. We determine the number of relationally defined permutation clones on two elements (13). We note that many infinite classes of clones collapse when looked at as permutation clones.

Let $G$ be a permutation group on the finite set $Ω$. We prove various results about partitions of $Ω$ whose stabilizers have good properties. In particular, in every solvable permutation group there is a set-stabilizer whose orbits have length at most $6$, which is best possible and answers two questions of Babai. Every solvable maximal subgroup of any almost simple group has derived length at most $10$, which is best possible. In every primitive group with solvable stabilizer, there are two points whose stabilizer has derived length bounded by an absolute constant.

There is strong evidence for the belief that `almost all' finite semigroups, whether we consider multiplication operations on a fixed set or their isomorphism classes, are nilpotent of index 3 (3-nilpotent for short). The only known method for counting all semigroups of given order is exhaustive testing, but formulae exist for the numbers of 3-nilpotent ones, and it is also known that `almost all' of these are rigid (have only trivial automorphism). Here we express the number of distinct 3-nilpotent semigroup operations on a fixed set of cardinality $n$ as a sum of Stirling numbers, and provide a new expression for the number of isomorphism classes of 3-nilpotent semigroups of cardinality $n$. We introduce a notion of semirigidity for semigroups (as a generalization of rigidity) and find computationally tractable formulae giving an upper bound for the number of pairwise non-isomorphic semirigid 3-nilpotent semigroups, and thus an improved lower bound for the number of all 3-nilpotent semigroups up to isomorphism. Analogous formulae are also developed for isomorphism classes such as commutative and self-dual semigroups, and for equivalence classes (isomorphic or anti-isomorphic). The method relies on an application of the theory of orbit counting in permutation group actions. Our main results are accompanied by tables containing values of these numbers and bounds up to $n=10$ with computations carried out in GAP (but perfectly feasible well beyond this value of $n$).

It is well known that descents and excedances are equidistributed in the symmetric group. We show that the descent and excedance enumerators, summed over permutations with a fixed first letter are identical when we perform a simple change of the first letter. We generalize this to type B and other colored permutation groups. We are led to defining descents and excedances through linear orders. With respect to a particular order, when the number of colors is even, we get a result that generalizes the type B results. Lastly, we get a type B counterpart of Conger's result which refines the well known Carlitz identity.

We explore two constructions of oligomorphic Jordan permutation groups preserving a `limit of betweenness relations' and a `limit of $D$-relations', from \cite{bhattmacph2006jordan} and \cite{almazaydeh2021jordan} respectively. Several issues left open in \cite{almazaydeh2021jordan} are resolved. In particular it is shown that the `limit of $D$-relations' is not homogeneous in the given language, but is `homogenizable', that is, there is a homogeneous structure over a finite relational language with the same universe and the same automorphism group. The structure is NIP, but not monadically NIP, its age is not well-quasi-ordered under embeddability, and the growth rate of the sequence enumerating orbits on $k$-sets grows faster than exponentially. The automorphism group is maximal-closed in the symmetric group. Similar results are shown for the construction in \cite{bhattmacph2006jordan}.

It is known that the notion of a transitive subgroup of a permutation group $P$ extends naturally to the subsets of $P$. We study transitive subsets of the wreath product $G \wr S_n$, where $G$ is a finite abelian group. This includes the hyperoctahedral group for $G=C_2$. We give structural characterisations of transitive subsets using the character theory of $G \wr S_n$ and interpret such subsets as designs in the conjugacy class association scheme of $G \wr S_n$. In particular, we prove a generalisation of the Livingstone-Wagner theorem and give explicit constructions of transitive sets. Moreover, we establish connections to orthogonal polynomials, namely the Charlier polynomials, and use them to study codes and designs in $C_r \wr S_n$. Many of our results extend results about the symmetric group $S_n$.

Motivated by a problem in population genetics, we examine the combinatorics of dissimilarity for pairs of random unordered draws of multiple objects, with replacement, from a collection of distinct objects. Consider two draws of size $K$ taken with replacement from a set of $I$ objects, where the two draws represent samples from potentially distinct probability distributions over the set of $I$ objects. We define the set of \emph{identity states} for pairs of draws via a series of actions by permutation groups, describing the enumeration of all such states for a given $K \geq 2$ and $I \geq 2$. Given two probability vectors for the $I$ objects, we compute the probability of each identity state. From the set of all such probabilities, we obtain the expectation for a dissimilarity measure, finding that it has a simple form that generalizes a result previously obtained for the case of $K=2$. We determine when the expected dissimilarity between two draws from the same probability distribution exceeds that of two draws taken from different probability distributions. We interpret the results in the setting of the genetics of polyploid organisms, those whose genetic material contains many copies of the genome ($K > 2$).

A base for a permutation group $G$ acting on a set $Ω$ is a sequence $\mathcal{B}$ of points of $Ω$ such that the pointwise stabiliser $G_{\mathcal{B}}$ is trivial. The base size of $G$ is the size of a smallest base for $G$. We derive a character theoretic formula for the base size of a class of groups admitting a certain kind of irreducible character. Moreover, we prove a formula for enumerating the non-equivalent bases for $G$ of size $l\in\mathbb{N}$. As a consequence of our results, we present a very short, entirely algebraic proof of the formula of Mecenero and Spiga~\cite{MeSp} for the base size of the symmetric group $\mathrm{S}_n$ acting on the $k$-element subsets of $\{1,2,3,\dots,n\}$. Our methods also provide a formula for the base size of many product-type permutation groups.

Centraliser algebras of monomial representations of finite groups may be constructed and studied using methods similar to those employed in the study of permutation groups. Guided by results of D. G. Higman and others, we give an explicit construction for a basis of the centraliser algebra of a monomial representation. The character table of this algebra is then constructed via character sums over double cosets. We locate the theory of group-developed and cocyclic-developed Hadamard matrices within this framework. We apply Gröbner bases to produce a new classification of highly symmetric complex Hadamard matrices.

Let $G$ be a transitive permutation group on $Ω$. The $G$-invariant partitions form a sublattice of the lattice of all partitions of $Ω$, having the further property that all its elements are uniform (that is, have all parts of the same size). If, in addition, all the equivalence relations defining the partitions commute, then the relations form an \emph{orthogonal block structure}, a concept from statistics; in this case the lattice is modular. If it is distributive, then we have a \emph{poset block structure}, whose automorphism group is a \emph{generalised wreath product}. We examine permutation groups with these properties, which we call the \emph{OB property} and \emph{PB property} respectively, and in particular investigate when direct and wreath products of groups with these properties also have these properties. A famous theorem on permutation groups asserts that a transitive imprimitive group $G$ is embeddable in the wreath product of two factors obtained from the group (the group induced on a block by its setwise stabiliser, and the group induced on the set of blocks by~$G$). We extend this theorem to groups with the PB property, embeddng them into generalised wreath products. We show that the map from posets to generalised wreath products preserves intersections and inclusions. We have included background and historical material on these concepts.

In this paper, we present a method for constructing point primitive block transitive $t$-designs invariant under finite groups. Furthermore, we demonstrate that every point and block primitive $G$-invariant design can be generated using this method. Additionally, we establish the theoretical possibility of identifying all block transitive $G$-invariant designs. However, in practice, the feasibility of enumerating all designs for larger groups may be limited by the computational complexity involved.

Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is intransitive, then $G$ may fail to have a derangement, and this can happen even if $G$ has only two orbits, both of which have size $(1/2+o(1))n$. However, we conjecture that if $G$ has two orbits of size exactly $n/2$ then $G$ does have a derangement, and we prove this conjecture when $G$ acts primitively on at least one of the orbits. Equivalently, we conjecture that a finite group is never the union of conjugates of two proper subgroups of the same order, and we prove this conjecture when at least one of the subgroups is maximal. (Feldman also implicitly raised this conjecture on StackExchange.) We also prove the conjecture for soluble groups, almost simple groups and groups of order at most 50000, and we reduce the conjecture to perfect groups. Along the way, we prove a linear variant on Isbell's conjecture regarding derangements of prime-power order, and we highlight connections with intersecting families of permutations and roots of polynomials modulo primes.

Let $G_{k,n}$ be a group of permutations of $kn$ objects which permutes things independently in disjoint blocks of size $k$ and then permutes the blocks. We investigate the probabilistic and/or enumerative aspects of random elements of $G_{k,n}$. This includes novel limit theorems for fixed points, cycles of various lengths, number of cycles and inversions. The limits are compound Poisson distributions with interesting dependence structure.

Let $G$ be a finite permutation group acting on a set $Ω$. An ordered sequence $(ω_1,\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer of the sequence is trivial and no point is fixed by the stabilizer of its predecessors. We show that any interval of natural numbers can be realized as the set of cardinalities of irredundant bases for some finite primitive group.

This is a chapter in a forthcoming book on completely regular codes in distance regular graphs. The chapter provides an overview, and some original results, on codes in distance regular graphs which admit symmetries via a permutation group acting on the vertices of the graph. The strongest notion of completely transitive codes is developed, as well as the more general notion of neighbour-transitive codes. The graphs considered are the Hamming, Johnson, and Kneser graphs and their q-analogues, as well as some graphs related to incidence structures.

We describe the spreading property for finite transitive permutation groups in terms of properties of their associated coherent configurations, in much the same way that separating and synchronising groups can be described via properties of their orbital graphs. We also show how the other properties in the synchronisation hierarchy naturally fit inside this framework. This combinatorial description allows for more efficient computational tools, and we deduce that every spreading permutation group of degree at most $8191$ is a $\mathbb{Q}$I-group. We also consider design-orthogonality more generally for noncommutative homogeneous coherent configurations.