arXiv++ Combinatorics

For an arbitrary finite permutation group $G$, subgroup of the symmetric group $S_\ell$, we determine the permutations involving only members of $G$ as $\ell$-patterns, i.e., avoiding all patterns in the set $S_\ell \setminus G$. The set of all $n$-permutations with this property constitutes again a permutation group. We consequently refine and strengthen the classification of sets of permutations closed under pattern involvement and composition that is due to Atkinson and Beals.

There is a connection between permutation groups and permutation patterns: for any subgroup $G$ of the symmetric group $S_\ell$ and for any $n \geq \ell$, the set of $n$-permutations involving only members of $G$ as $\ell$-patterns is a subgroup of $S_n$. Making use of the monotone Galois connection induced by the pattern avoidance relation, we characterize the permutation groups that arise via pattern avoidance as automorphism groups of relations of a certain special form. We also investigate a related monotone Galois connection for permutation groups and describe its closed sets and kernels as automorphism groups of relations.

Let $A_2(n,d)$ be the maximum size of a binary code of length $n$ and minimum distance $d$. In this paper we present the following new lower bounds: $A_2(18,4) \ge 5632$, $A_2(21,4) \ge 40960$, $A_2(22,4) \ge 81920$, $A_2(23,4) \ge 163840$, $A_2(24,4) \ge 327680$, $A_2(24,10) \ge 136$, and $A_2(25,6) \ge 17920$. The new lower bounds are a result of a systematic computer search over transitive permutation groups.

Let $G$ be a transitive permutation group of degree $n$. We say that $G$ is $2'$-elusive if $n$ is divisible by an odd prime, but $G$ does not contain a derangement of odd prime order. In this paper we study the structure of quasiprimitive and biquasiprimitive $2'$-elusive permutation groups, extending earlier work of Giudici and Xu on elusive groups. As an application, we use our results to investigate automorphisms of finite arc-transitive graphs of prime valency.

This paper analyses the construction of the kernel graph of a non-synchronizing transformation semigroup and introduces the inverse synchronization problem. Given a transformation semigroup $S\leq T_n$, we construct the kernel graph $\text{Gr}(S)$ by saying $v$ and $w$ are adjacent, if there is no $f\in S$ with $vf=wf$. The kernel graph is trivial or complete if the semigroup is a synchronizing semigroup or a permutation group, respectively. The connection between graphs and synchronizing (semi-) groups was established by Cameron and Kazanidis, and it has led to many results regarding the classification of synchronizing permutation groups, and the description of singular endomorphims of graphs. This paper, firstly, emphasises the importance of this construction mainly by proving its superior structure, secondly, analyses the construction and discusses minimal generating sets and their combinatorial properties, and thirdly, introduces the inverse synchronization problem. The third part also includes an additional characterization of primitive groups.

We show that the Graph Isomorphism (GI) problem and the related problems of String Isomorphism (under group action) (SI) and Coset Intersection (CI) can be solved in quasipolynomial ($\exp((\log n)^{O(1)})$) time. The best previous bound for GI was $\exp(O(\sqrt{n\log n}))$, where $n$ is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, $\exp(\tilde{O}(\sqrt{n}))$, where $n$ is the size of the permutation domain (Babai, 1983). The algorithm builds on Luks's SI framework and attacks the barrier configurations for Luks's algorithm by group theoretic "local certificates" and combinatorial canonical partitioning techniques. We show that in a well-defined sense, Johnson graphs are the only obstructions to effective canonical partitioning. Luks's barrier situation is characterized by a homomorphism φ that maps a given permutation group $G$ onto $S_k$ or $A_k$, the symmetric or alternating group of degree $k$, where $k$ is not too small. We say that an element $x$ in the permutation domain on which $G$ acts is affected by φ if the φ-image of the stabilizer of $x$ does not contain $A_k$. The affected/unaffected dichotomy underlies the core "local certificates" routine and is the central divide-and-conquer tool of the algorithm.

An automaton is said to be synchronizing if there is a word in the transitions which sends all states of the automaton to a single state. Research on this topic has been driven by the Černý conjecture, one of the oldest and most famous problems in automata theory, according to which a synchronizing $n$-state automaton has a reset word of length at most $(n-1)^2$. The transitions of an automaton generate a transformation monoid on the set of states, and so an automaton can be regarded as a transformation monoid with a prescribed set of generators. In this setting, an automaton is synchronizing if the transitions generate a constant map. A permutation group $G$ on a set $Ω$ is said to synchronize a map $f$ if the monoid $\langle G,f\rangle$ generated by $G$ and $f$ is synchronizing in the above sense; we say $G$ is synchronizing if it synchronizes every non-permutation. The classes of synchronizing groups and friends form an hierarchy of natural and elegant classes of groups lying strictly between the classes of primitive and $2$-homogeneous groups. These classes have been floating around for some years and it is now time to provide a unified reference on them. The study of all these classes has been prompted by the Černý conjecture, but it is of independent interest since it involves a rich mix of group theory, combinatorics, graph endomorphisms, semigroup theory, finite geometry, and representation theory, and has interesting computational aspects as well. So as to make the paper self-contained, we have provided background material on these topics. Our purpose here is to present results that show the connections between the various areas of mathematics mentioned above, we include a new result on the Černý conjecture, some challenges to finite geometers, some thoughts about infinite analogues, and a long list of open problems.

Using the theory of representations of the symmetric group, we propose an algorithm to compute the invariant ring of a permutation group. Our approach have the goal to reduce the amount of linear algebra computations and exploit a thinner combinatorial description of the invariant ring.

Coherent configurations (CCs) are highly regular colorings of the set of ordered pairs of a "vertex set"; each color represents a "constituent digraph." CCs arise in the study of permutation groups, combinatorial structures such as partially balanced designs, and the analysis of algorithms; their history goes back to Schur in the 1930s. A CC is primitive (PCC) if all its constituent digraphs are connected. We address the problem of classifying PCCs with large automorphism groups. This project was started in Babai's 1981 paper in which he showed that only the trivial PCC admits more than $\exp(\tilde{O}(n^{1/2}))$ automorphisms. (Here, $n$ is the number of vertices and the $\tilde{O}$ hides polylogarithmic factors.) In the present paper we classify all PCCs with more than $\exp(\tilde{O}(n^{1/3}))$ automorphisms, making the first progress on Babai's conjectured classification of all PCCs with more than $\exp(n^ε)$ automorphisms. A corollary to Babai's 1981 result solved a then 100-year-old problem on primitive but not doubly transitive permutation groups, giving an $\exp(\tilde{O}(n^{1/2}))$ bound on their order. In a similar vein, our result implies an $\exp(\tilde{O}(n^{1/3}))$ upper bound on the order of such groups, with known exceptions. This improvement of Babai's result was previously known only through the Classification of Finite Simple Groups (Cameron, 1981), while our proof, like Babai's, is elementary and almost purely combinatorial. Our analysis relies on a new combinatorial structure theory we develop for PCCs. In particular, we demonstrate the presence of "asymptotically uniform clique geometries" on PCCs in a certain range of the parameters.

Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. The graph $Γ$ is said to be $G$-\emph{locally primitive} if $G_v^{Γ(v)}$ is primitive. Richard Weiss conjectured in $1978$ that, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that, if $Γ$ is a connected $G$-vertex-transitive locally primitive graph of valency $d$ and $v$ is a vertex of $Γ$ with $|G_v|$ finite, then $|G_v|\leq f(d)$. As an application of the Local $C(G,T)$ Theorem, we prove this conjecture when $G_v^{Γ(v)}$ contains an abelian regular subgroup. In fact, we show that the point-wise stabiliser in $G$ of a ball of $Γ$ of radius $4$ is the identity subgroup.

Up to isomorphism and duality, there are exactly two non-degenerate abstract regular polytopes of rank greater than $n-3$, one of rank $n-1$ and one of rank $n-2$, with automorphism groups that are transitive permutation groups of degree $n\geq 7$. In this paper we extend this classification of high rank regular polytopes to include the ranks $n-3$ and $n-4$. The result is, up to a isomorphism and duality, seven abstract regular polytopes of rank $n-3$ for each $n\geq 9$, and nine abstract regular polytopes of rank $n-4$ for each $n \geq 11$. Moreover we show that if a transitive permutation group $Γ$ of degree $n \geq 11$ is the automorphism group of an abstract regular polytope of rank at least $n-4$, then $Γ\cong S_n$.

We consider the group action of the automorphism group $\I_n=\aut(\Zz_n)$ on the set $\Zz_n$, that is the set of residue classes modulo $n$. Clearly, this group action provides a representation of $\I_n$ as a permutation group acting on $n$ points. One problem to be solved regarding this group action is to find its cycle index. Once it is found, there appears a vast class of related enumerative and computational problems with interesting applications. We provided the cycle index of specified group action in two ways. One of them is more abstract and hence compact, while another one is basically procedure of composing the cycle index from some \textit{building blocks}. However, those \textit{building blocks} are also well explained and finally presented in very detailed fashion.

A major problem in the study of combinatorial aspects of permutation groups is to determine the distances in the symmetric group $\Sym_n$ with respect to a generator set. One well-known such a case is when the generator set $S_n$ consists of block transpositions. It should be noted that "the block transposition distance of a permutation" is the distance of the permutation from the identity permutation in the Cayley graph $\Cay$, and "sorting a permutation by block transpositions" is equivalent to finding shortest paths in $\Cay$. The original results in our thesis concern the lower and upper bounds on the block transpositions diameter of $\Sym_n$ with respect to $S_n$ and the automorphism group $\Aut(\Cay)$. A significant contribution is to show how from the toric equivalence can be obtained bijective maps on $\Sym_n$ that we call \emph{toric maps}. Using the properties of the toric maps, we discuss the role of the invariance principle of the block transposition distance within toric classes in the proof of the Eriksson bound. Furthermore, we prove that $\Aut(\Cay)$ is the product of the right translation group by $\textsf{N}\rtimes\textsf{D}_{n+1}$, where $\textsf{N}$ is the subgroup fixing $S_n$ elementwise, and $\textsf{D}_{n+1}$ is a dihedral group whose maximal cyclic subgroup is generated by the toric maps. Computer aided computation supports our conjecture that $\textsf{N}$ is trivial. Also, we prove that the subgraph $Γ$ with vertex-set $S_n$ is a $2(n-2)$-regular graph whose automorphism group is $\textsf{D}_{n+1}$. We show some aspects of $\Cay$, notably $Γ$ has as many as $n+1$ maximal cliques of size $2$, its subgraph $Γ(V)$ whose vertices are those in these cliques is a $3$-regular Hamiltonian graph, and $\textsf{D}_{n+1}$ acts faithfully on $V$ as a vertex regular automorphism group.

In this paper we study the characters of sequences of representations of any of the three families of classical Weyl groups W_n: the symmetric groups, the signed permutation groups (hyperoctahedral groups), or the even-signed permutation groups. Our results extend work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups. We use the concept of an FI_W-module, an algebraic object that encodes the data of a sequence of W_n-representations with maps between them, defined in the author's recent work ArXiv:1309.3817. We show that if a sequence {V_n} of W_n-representations has the structure of a finitely generated FI_W-module, then there are substantial constraints on the growth of the sequence and the structure of the characters: for n large, the dimension of V_n is equal to a polynomial in n, and the characters of V_n are given by a character polynomial in signed-cycle-counting class functions, independent of n. We determine bounds the degrees of these polynomials. We continue to develop the theory of FI_W-modules, and we apply this theory to obtain new results about a number of sequences associated to the classical Weyl groups: the cohomology of complements of classical Coxeter hyperplane arrangements, and the cohomology of the pure string motion groups (the groups of symmetric automorphisms of the free group).

The number of inversions is a statistic on permutation groups measuring the degree to which the entries of a permutation are out of order. We provide a generalization of that statistic by introducing the statistic number of pseudoinversions on the colored permutation groups. The main motivation to investigate that statistic is the possibility to use it to define a number system and a numeral system on the colored permutation groups. By means of the statistic number of $i$-pseudoinversions, we construct our number system, and a bijection between the set of positive integers and the colored permutation groups.

In [Baumeister, H., Nill, Paffenholz, On permutation polytopes, Adv. Math. 222 (2009), 431-452 / arXiv:0709.1615] we conjectured a characterization of subgroups H of a permutation group G so that, on the level of permutation polytopes, P(H) is a face of P(G). Here we present the embarrassingly simple proof of this conjecture.

In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusion controlled permutation group. We make use of the proper quotient power graph $\widetilde{\mathcal{P}}_0(G)$, the proper order graph $\mathcal{O}_0(G)$ and the proper type graph $\mathcal{T}_0(G)$. We show that all those graphs are quotient of $\mathcal{P}_0(G)$ and demonstrate a strong link between them dealing with $G=S_n$. We find simultaneously $c(\mathcal{P}_0(S_n))$ as well as the number of components of $\widetilde{\mathcal{P}}_0(S_n)$, $\mathcal{O}_0(S_n)$ and $\mathcal{T}_0(S_n)$.

Let $G$ be a finite group. If $Γ$ is a permutation group with $G_{right}\leqΓ\leq Sym(G)$ and $\mathcal{S}$ is the set of orbits of the stabilizer of the identity $e=e_{G}$ in $Γ$, then the $\mathbb{Z}$-submodule $\mathcal{A}(Γ,G)=Span_{\mathbb{Z}}\{\underline{X}:\ X\in\mathcal{S}\}$ of the group ring $\mathbb{Z} G$ is an $S$-ring as it was observed by Schur. Following Pöschel an $S$-ring $\mathcal{A}$ over $G$ is said to be schurian if there exists a suitable permutation group $Γ$ such that $\mathcal{A}=\mathcal{A}(Γ,G)$. A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian. We prove that the groups $M_{3^n}=\langle a,b\;|\:a^{3^{n-1}}=b^3=e,a^b=a^{3^{n-2}+1}\rangle$, where $n\geq3$, are not Schur. Modulo previously obtained results, it follows that every Schur $p$-group is abelian whenever $p$ is an odd prime.

Using a new colored analogue of P-partitions, we prove the existence of a colored Eulerian descent algebra which is a subalgebra of the Mantaci-Reutenauer algebra. This algebra has a basis consisting of formal sums of colored permutations with the same number of descents (using Steingrímsson's definition of the descent set of a colored permutation). The colored Eulerian descent algebra extends familiar Eulerian descent algebras from the symmetric group algebra and the hyperoctahedral group algebra to colored permutation group algebras. We also describe a set of orthogonal idempotents that spans the colored Eulerian descent algebra and includes, as a special case, the familiar Eulerian idempotents in the group algebra of the symmetric group.

We prove a conjecture raised by the work of Diaconis and Shahshahani (1981) about the mixing time of random walks on the permutation group induced by a given conjugacy class. To do this we exploit a connection with coalescence and fragmentation processes and control the Kantorovitch distance by using a variant of a coupling due to Oded Schramm. Recasting our proof in the language of Ricci curvature, our proof establishes the occurrence of a phase transition, which takes the following form in the case of random transpositions: at time $cn/2$, the curvature is asymptotically zero for $c\le 1$ and is strictly positive for $c>1$.