Abstract: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.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the improvement of property description and computational tools in the synchronisation hierarchy of permutation groups. Specifically, the author describes the spreading property of finite transitive permutation groups through coherent configurations and shows how other properties in the synchronisation hierarchy naturally fit into this framework. This not only provides a combinatorial description but also allows for the development of more efficient computational tools. ### Core problems of the paper 1. **Describe the spreading property**: The main objective of the paper is to use coherent configurations to describe the spreading property of finite transitive permutation groups. The spreading property refers to the ability of a permutation group to evenly distribute elements on its action set under certain conditions. 2. **Synchronisation hierarchy**: The synchronisation hierarchy is a way of classifying permutation groups according to their symmetry and strength of action. The hierarchy includes categories such as primitive, synchronising, separating, spreading, and QI (quasi - invariant). The paper shows how these levels can be described through the properties of coherent configurations. 3. **Design orthogonality**: To deal with different levels in the synchronisation hierarchy, the author introduces the concept of design - orthogonality. Design orthogonality provides a framework in which the spreading and QI properties can be considered simultaneously and is applicable to non - commutative homogeneous coherent configurations. 4. **Computational tools**: Through the combinatorial description of coherent configurations, the author is able to develop more efficient computational tools for verifying and analyzing the properties of permutation groups. For example, they prove that all spreading permutation groups with degrees not exceeding 8191 are QI groups. ### Main contributions - Proposed a method of using coherent configurations to describe the spreading property. - Showed how other properties in the synchronisation hierarchy naturally fit into this framework. - Introduced the concept of design orthogonality, providing a new tool for dealing with the synchronisation hierarchy. - Developed more efficient computational tools for verifying and analyzing the properties of permutation groups. ### Formula representation Some of the formulas involved in the paper are as follows: - Let $A_i$ be the adjacency matrix of the coherent configuration, then: \[ D(u)=\sum_{i = 0}^d\frac{1}{k_i}(uA_i^{\top}u^*)A_i \] where $k_i=\langle A_i,A_i\rangle$. - For vectors $u, v\in\mathbb{C}^{\Omega}$, we have: \[ vD(u)v^*=\frac{1}{n^2}(uJ u^*)(vJ v^*) \] where $J$ is the all - one matrix. These formulas help the author describe and analyze the synchronisation hierarchy of permutation groups through the properties of coherent configurations. ### Conclusion By introducing the concepts of coherent configurations and design orthogonality, the author provides a new method for describing and analyzing the synchronisation hierarchy of permutation groups. This method not only improves theoretical understanding but also provides more efficient tools for practical calculations.

The synchronisation hierarchy via coherent configurations

Spreading primitive groups of diagonal type do not exist

Permutation groups, partition lattices and block structures

Tactical decompositions in finite polar spaces and non-spreading classical group actions

Harmonious sequences in groups with a unique involution

Transitivity in wreath products with symmetric groups

Moments of the neutron charge form factor and the N->Delta quadrupole transition

The Spread of Almost Simple Classical Groups

Orbits of permutation groups with no derangements

Bounding the order of complex linear groups and permutation groups with selected composition factors

High-dimensional expansion and soficity of groups

Fixers and derangements of finite permutation groups

Topological quantum synchronization of fractionalized spins

Exotic Fusion Systems Related to Sporadic Simple Groups (Version With Code)

Congruence subgroups and crystallographic quotients of small Coxeter groups

Scaling of symmetry-restricted quantum circuits

Quotients of the braid group that are extensions of the symmetric group

Permutation-invariant quantum circuits

On derangements in simple permutation groups