Regular Suborbits in Permutation Groups

• Regular suborbits are defined as suborbits where the point-stabilizer acts semiregularly, crucial for forming bases of size two in primitive permutation groups.
• Their classification involves detailed case analyses in groups like PSL(2,q), linking combinatorial enumeration with geometric applications.
• Probabilistic techniques and fixed-point methods, such as the Q-bound, underpin the verification of the Burness–Giudici conjecture in these frameworks.

A regular suborbit is a fundamental notion in permutation group theory and algebraic combinatorics, formalizing “bases of size two” and their interaction in primitive actions of finite groups. Research over the last decade has developed the theory of regular suborbits extensively, especially in the context of the Burness–Giudici conjecture. This article synthesizes their precise definitions, characterization in various group actions, structural properties, methods of enumeration, and their combinatorial and geometric ramifications.

1. Definition and Basic Properties

Let $G$ be a finite transitive permutation group acting on the set $\Omega$, and fix a point $\alpha \in \Omega$. The suborbits of $G$ relative to $\alpha$ are the orbits of the point-stabilizer $G_\alpha$ on $\Omega$. For any $\beta\in\Omega$, the suborbit containing $\beta$ is given by

$\Delta(\beta)=\{\beta^h\mid h\in G_\alpha\}.$

A suborbit $\Omega$0 is called regular if $\Omega$1 acts regularly (semiregularly) on $\Omega$2, i.e.,

$\Omega$3

The union of all regular suborbits relative to $\Omega$4 is denoted

$\Omega$5

These regular suborbits have tight connections to bases of size two for primitive actions: every pair $\Omega$6 with $\Omega$7 for some regular suborbit $\Omega$8 forms a base of size two since $\Omega$9 (Chen et al., 2020).

2. Role in the Burness–Giudici Conjecture

The pivotal conjecture formulated by Burness and Giudici asserts a robust intersection property for regular suborbits in the context of primitive permutation groups with minimal base size two (i.e., $\alpha \in \Omega$0). Precisely,

$\alpha \in \Omega$1

where $\alpha \in \Omega$2 is the union of regular suborbits relative to $\alpha \in \Omega$3 (Chen et al., 2020, Chen et al., 27 Dec 2025, Chen et al., 27 Dec 2025, Chen et al., 27 Dec 2025). This combinatorial property is equivalent, in the Saxl graph $\alpha \in \Omega$4 (whose vertices are $\alpha \in \Omega$5 and edges correspond to bases of size 2), to the statement that any two vertices have a common neighbor, i.e., $\alpha \in \Omega$6 is strongly connected with diameter at most two (except for Frobenius groups, where the diameter is one).

3. Classification and Computation of Regular Suborbits

In classical group actions, the classification and enumeration of regular suborbits is highly nontrivial, demanding case analysis on maximal subgroups and leveraging structural group theory. For example, in $\alpha \in \Omega$7, the primitive actions on coset spaces $\alpha \in \Omega$8 are classified according to the maximal subgroups $\alpha \in \Omega$9:

• Parabolic: $G$0 yields $G$1-transitive actions, regular suborbits being all non-fixed points.
• Dihedral: $G$2, regular suborbits correspond to cosets whose point-stabilizer is not contained in $G$3.
• Subfield: $G$4 or $G$5, regular suborbit counts are derived via combinatorial fixed-point formulas.
• Exceptional: $G$6, $G$7, $G$8; structure determined by explicit calculation and probabilistic bounds (Chen et al., 2020).

In rank-one Lie type groups, the case-by-case analysis (see Table) is central:

Socle Type	Maximal Subgroup $G$9	Regular Suborbit Existence
$\alpha$0	Parabolic, dihedral, subfield, exceptional	See above; explicit casework required
$\alpha$1	$\alpha$2, subfield, exceptional	Case-dependent, geometric and Q-bound
$\alpha$3	Borel, Hall, automorphism types	Counting via Manning’s formula
$\alpha$4	Product types, maximal Ree subgroups	Probabilistic and fixed-point analysis

The formal enumeration of regular suborbit sizes can be expressed via stabilizer orders and double coset decomposition; see, for instance,

$\alpha$5

for each suborbit representative (Li et al., 2011).

4. Structural and Combinatorial Properties

Regular suborbits encapsulate rich combinatorial structure, often manifesting as neighborhoods in the Saxl graph. In particular, for groups $\alpha$6 where $\alpha$7, the existence of regular suborbits implies that pairs form bases, and the union $\alpha$8 achieves maximal intersection properties per the Burness–Giudici conjecture.

Moreover, in association schemes arising from group actions, each relation class corresponds to a suborbit, and regular suborbits play a special role: their stabilizer is trivial, contributing maximum connectivity to the resultant graphs. For instance, the subconstituent graph $\alpha$9 of $G_\alpha$0, though having no nontrivial regular suborbits for $G_\alpha$1, exhibits quasi-strongly regular parameters $G_\alpha$2 computed explicitly in (Li et al., 2011).

Further, in some exceptional Lie type cases (e.g., Suzuki and Ree groups), regular suborbit counts are bounded below by $G_\alpha$3, enabling intersection properties needed for the BG conjecture via elementary set-theoretic arguments (Chen et al., 27 Dec 2025).

5. Enumerative and Probabilistic Techniques

The verification of regular suborbit properties, especially in the context of the Burness–Giudici conjecture, leverages mass formulas, fixed-point ratios, and probabilistic criteria. The core technical tool is the “Q-bound,” which asserts: if

$G_\alpha$4

then every two vertices in the Saxl graph have a common neighbor, and thus the BG-conjecture holds for the action. This method can be applied to various cases by explicit enumeration of prime-order subgroups and their fixed-point contributions (Chen et al., 27 Dec 2025, Chen et al., 27 Dec 2025).

In geometric settings, counting intersection points between special subplanes (Baer subplanes in unitary geometry for $G_\alpha$5, for example) and exploiting Weil’s bound for point counts on irreducible curves advances similar intersection conclusions (Chen et al., 27 Dec 2025).

6. Illustrative Cases and Limitations

Explicit examples underscore the ramifications:

• For $G_\alpha$6 with dihedral point-stabilizer $G_\alpha$7, the set $G_\alpha$8 of regular suborbits comprises precisely all involutions outside $G_\alpha$9, and any pair of such involutions lies in a common dihedral subgroup, yielding a base (Chen et al., 2020).
• For $\Omega$0, two regular suborbits each of size $\Omega$1 exist in the action on $\Omega$2 points, representing cosets corresponding to Baer subplanes in projective geometry (Chen et al., 27 Dec 2025).
• In orthogonal dual polar graphs ($\Omega$3 acting on the last subconstituent), closed-form orbit size formulas are available, yet—crucially—no nontrivial suborbit is regular for $\Omega$4 and odd $\Omega$5 (Li et al., 2011). This demonstrates that not all actions of classical groups admit regular suborbits.

7. Extensions and Open Problems

The theory of regular suborbits is central not only for rank-one Lie-type groups but also motivates analogous investigations in higher rank and sporadic simple groups. Except for small finite families, the BG-conjecture is now fully resolved for all primitive permutation groups with socle a rank-one Lie-type group and $\Omega$6 (Chen et al., 27 Dec 2025). Open research directions include the extension to classical groups of higher rank, affine groups with exotic stabilizers, and further exploration of association-scheme structure arising from group actions.

A plausible implication is that geometric techniques—such as those exploiting configurations of subspaces in unitary or symplectic settings—will continue to provide both conceptual and computational leverage for the detection and enumeration of regular suborbit structure in settings beyond rank-one. The probabilistic approach and Q-bound methods appear adaptable to broader classes of primitive actions. Regular suborbit theory is thus positioned as a linchpin for combinatorial and geometric advances across finite permutation group theory.