arXiv++ Combinatorics

For every nontrivial finite group, we prove that its quasirandom degree gives a polynomial lower bound on its uniform twin-width, whereas its minimum faithful complex representation degree gives a linear upper bound. For nonabelian finite simple groups, these two parameters coincide, so uniform twin-width is polynomially equivalent to quasirandomness in that class, yielding a new definition of quasirandomness in the sense of Gowers. We use the lower bound to prove that uniform twin-width is unbounded over finite groups, which helps us construct finitely presented groups with finite twin-width but infinite uniform twin-width. This answers a question of Bonnet, Geniet, Tessera and Thomasse. Finally, we determine the uniform twin-width of all three Thompson groups.

Let $G$ be a two-orbit permutation group on $n > 2$ points. We show that $G$ contains either a derangement or an element of prime-power order with a unique fixed point. As a corollary, if the orbits of $G$ have length $n_1$ and $n_2$ and $\gcd(n_1, n_2-1) = \gcd(n_1-1, n_2) = 1$, then $G$ contains a derangement. The special case $n_1 = n_2$ was recently conjectured by Ellis and Harper and proved under various restrictive hypotheses. We prove our result by reducing to the case of simple groups and leveraging the classification of normal $2$-coverings of simple groups due to Bubboloni, Spiga, and Weigel.

Given a finite group $G$, we prove that there exist signs $\varepsilon\in\{\pm1\}^G$ such that $$\left\| \sum_{g\in G} \varepsilon_gρ(g) \right\|\leq C\, \sqrt{|G|},$$ where $ρ$ is the left regular representation of $G$, and $C$ is a universal constant. This special case of the Matrix Spencer conjecture was posed in [BKMZ24], where it was established for simple groups.

We introduce the \emph{intersection orbital graph} $Γ(G_1, G_2; Ω)$ associated with two permutation groups $G_1, G_2 \leq \mathrm{Sym}(Ω)$ on a finite set $Ω$.

Coset geometries are incidence geometries constructed from a group $G$ and a system of subgroups $(G_i)_{i \in I}$ of subgroups of $G$. For any algebraic group operation, it is then natural to wonder whether it can be extended to the framework of coset geometries. This has been achieved in the case of the halving (\cite{halving}) and in the case of free (amalgamated) products, HNN-extensions, and semi-direct products (\cite{piedade2025group}). In this article, we explore more deeply two operations related to semi-direct products: the twisting and the wreath product. We show that these operations extend to coset geometries in such a way that they preserve key properties, such as flag-transitivity, residual-connectedness and being thin. In particular, we can apply twistings and wreath products to polytopes and hypertopes. Doing so, we show that there exists regular polytopes and hypertopes for almost-simple group with socle a sporadic simple group.

Relying on the Classification of Finite Simple Groups it was shown by Feng and Xu (Discrete Math., 2005) that every quartic Cayley graph of a regular $p$-group, $p \neq 2,5$, is normal. In this paper a CFSG-free proof of Feng-Xu theorem is given. Along the way it is also proved that for an arbitrary $p$-group $G$ with a minimum set $\{a,b\}$ of two generators, in the corresponding Cayley graph $\mathrm{Cay}(G,\{a,a^{-1},b,b^{-1}\})$ the induced action of vertex stabilizer on the neighbors' set is contained in the dihedral group $D_8$.

The study of permutation automorphism groups of cyclic codes is a central topic in algebraic coding theory. A cyclic code over $\mathbb{F}_q$ is called irreducible if its check polynomial is irreducible over $\mathbb{F}_q$. Such a code is standard if its permutation automorphism group is equal to the group generated by the cyclic shift and the Frobenius automorphism, and non-standard otherwise. In this paper, we give a complete classification of all non-standard non-degenerate irreducible cyclic codes, using the classification of finite simple groups. Our result shows that, apart from a small number of explicit exceptional families and their descendants under certain secondary constructions, every non-degenerate irreducible cyclic code is standard, and up to four explicit exceptions, every degenerate cyclic code is non-standard. This classification has several consequences. First, it yields a general description of non-standard linear recurring sequence subgroups, extending the earlier work of Brison and Nogueira; secondly it establishes the Schmidt-White conjecture for all non-standard irreducible cyclic codes. Moreover, our results provide strong evidence in support of the conjecture of Berger and Charpin that almost all cyclic codes are standard.

Given a finite vector space $V=\mathbb{F}_q^n$, the $q$-analogue of a graph, called a $q$-graph, is a pair $Γ=(\mathcal{V},\mathcal{E})$, where $\mathcal{V}$ is the set of $1$-dimensional subspaces of $V$ and $\mathcal{E}$ is a subset of the $2$-dimensional subspaces of $V$. Elements of $\mathcal{V}$ and $\mathcal{E}$ are called vertices and edges, respectively. If the edges through a vertex $X$ consist of all $2$-spaces of a $(k+1)$-dimensional space which contain $X$, regardless of the choice of vertex, then $Γ$ is $k$-regular. Moreover, $Γ$ is flag-transitive if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all incident vertex-edge pairs; and symmetric if there is a subgroup of $Γ{\rm L}_n(q)$ preserving $\mathcal{E}$ and acting transitively on the set of all ordered pairs of adjacent vertices. This paper classifies all $k$-regular $q$-graphs that are either flag-transitive or symmetric. The $q$-graphs in the classification are constructed from familiar objects in finite geometry, including spreads, symplectic polar spaces, and generalised hexagons. The classification depends essentially on the classification of transitive linear groups, and thus ultimately on the classification of finite simple groups.

Let $G$ be a primitive permutation group acting on a finite set $X$. The orbital diameter $\mathrm{diam}(X,G)$ is defined to be the supremum of the diameters of the (connected) orbital graphs of $G$ after disregarding the directions of all edges in the graphs. This invariant is studied in the case when $G$ is an almost simple group in a standard action. A lower bound is given for $\mathrm{diam}(X,G)$ and we provide a partial classification of pairs $(X,G)$ for which the orbital diameter is at most $2$.

We characterize connected tetravalent graphs $Γ$ which admit groups $M<H$ of automorphisms such that $Γ$ is $M$-half-arc-transitive and $H$-arc-transitive. Examples for each case are constructed, including a counter-example to a question asked by A. R. Rivera and P. Šparl in 2019 as well as the first example of tetravalent normal-edge-transitive non-normal Cayley graph on a nonabelian simple group.

We extend the notion of an $H$-normal quotient digraph of an $H$-vertex-transitive digraph to that of an $H$-subnormal quotient digraph. Using these concepts, together with bipartite halves of bipartite digraphs, we show that, for each finite connected $H$-vertex-transitive, $(H,s)$-arc-transitive digraph with $s\geqslant6$, either some $H$-normal quotient is a directed cycle of length at least $3$, or there is an $(L,t)$-arc-transitive digraph with $t\geqslant (s-3)/2$, and $L$ a vertex-quasiprimitive almost simple group with socle a composition factor of $H$. This connection demonstrates that, to understand finite $s$-arc-transitive digraphs with large $s$, those admitting a vertex-quasiprimitive almost simple $s$-arc-transitive subgroup of automorphisms play a central role. We show that for each $s$ and each odd valency $k$, there are infinitely many $(H,s)$-arc-transitive digraphs of valency $k$ with $H$ a finite alternating group. In addition we discovered a novel construction which takes as input a connected non-bipartite $H$-vertex-transitive, $(H,s)$-arc-transitive digraph, and outputs a connected bipartite $G$-vertex-transitive, $(G,2s)$-arc-transitive digraph with $G=(H\times H).2$. This leads to construction of vertex-bi-quasiprimitive $s$-arc-transitive digraphs, for arbitrarily large $s$. Our investigations yield several new open problems.

We show that random walks on semisimple algebraic groups do not concentrate on proper algebraic subvarieties with uniform exponential rate of anti-concentration. This is achieved by proving a uniform spectral gap for quasi-regular representations of countable linear groups. The method makes key use of Diophantine heights and the Height Gap theorem. We also deduce a non-abelian version of the Littlewood--Offord inequalities and prove logarithmic bounds for escape from subvarieties. In a sequel to this paper, we will show how to transform this uniform gap into uniform expansion for Cayley graphs of finite simple groups of bounded rank $G(p)$ over almost all primes $p$.

Let $G$ be a finite group and let $\tilde{G}$ be a Schur cover of $G$. The deep commuting graph $Δ_D(G)$ of $G$ is a simple graph with vertex set $G$, where two distinct vertices are adjacent if their pre-images commute in $\tilde{G}$. The deep commuting graph of a finite group was first introduced in [P. J. Cameron and B. Kuzma, Between the enhanced power graph and the commuting graph, {\it J. Graph Theory} {\bf 102} (2023), no. 2, 295--303], where the authors have shown that $Δ_D(G)$ is fixed irrespective of the choice of the Schur cover $\tilde{G}$. In this paper, we first prove that $Δ_D(G)$ is complete if and only if $G$ is cyclic. Also, we classify finite simple groups, symmetric groups and alternating groups, for which $Δ_D(G)$ is perfect. In addition, explore several other properties of $Δ_D(G)$ like Eulerianess, universality and connectedness of reduced deep commuting graphs. Next, we classify the finite abelian groups for which deep commuting graphs coincide with enhance power graphs. We also characterize the dominant vertices for the deep commuting graphs of finite abelian groups and examine the connectedness of the associated reduced deep commuting graphs. These properties of the deep commuting graphs for the non abelian groups like symmetric groups, alternating groups, dihedral groups, generalized quaternion group and Heisenberg groups are also discussed.

The enhanced power graph, $\mathcal{E}(G)$, of a group $G$ has vertex set $G$ and two elements are adjacent if they generate a cyclic subgroup. In the case of finite groups, we identify some striking and unexpected properties of these graphs, as well as links between properties of $\mathcal{E}(G)$ and properties of the group $G$. We prove that if $\mathcal{E}(G)$ is a cograph then it is also a chordal graph. Making use of properties of simplicial vertices, we characterise the finite groups $G$ whose enhanced power graph is diamond-free or a block graph. We also characterise the finite groups having enhanced power graph a cograph or a quasi-threshold graph, and those with $C_4$-free enhanced power graph. We use these characterisations to classify the finite nonabelian simple groups whose enhanced power graph is a cograph and give information on the finite simple groups whose enhanced power graph is $C_4$-free. Some open problems are posed.

We prove strong and explicit diameter bounds for finite simple Lie algebras, which parallel Babai's conjecture for finite simple groups. Specifically, we show that any nonabelian finite simple Lie algebra $\mathfrak{g}$ over $\mathbf{F}_p$ has diameter $O((\log |\mathfrak{g}|)^D)$ for $D \approx 3.11$ with respect to any generating set. For absolutely simple classical Lie algebras over $\mathbf{F}_p$, we establish the sharper bound $O(\log |\mathfrak{g}|)$ when the Lie type is fixed and the generators are chosen uniformly at random.

We introduce a general framework to design and analyze algorithms for the problem of testing homomorphisms between finite groups in the low-soundness regime. In this regime, we give the first constant-query tests for various families of groups. These include tests for: (i) homomorphisms between arbitrary cyclic groups, (ii) homomorphisms between any finite group and $\mathbb{Z}_p$, (iii) automorphisms of dihedral and symmetric groups, (iv) inner automorphisms of non-abelian finite simple groups and extraspecial groups, and (v) testing linear characters of $\mathrm{GL}_n(\mathbb{F}_q)$, and finite-dimensional Lie algebras over $\mathbb{F}_q$. We also recover the result of Kiwi [TCS'03] for testing homomorphisms between $\mathbb{F}_q^n$ and $\mathbb{F}_q$. Prior to this work, such tests were only known for abelian groups with a constant maximal order (such as $\mathbb{F}_q^n$). No tests were known for non-abelian groups. As an additional corollary, our framework gives combinatorial list decoding bounds for cyclic groups with list size dependence of $O(\varepsilon^{-2})$ (for agreement parameter $\varepsilon$). This improves upon the currently best-known bound of $O(\varepsilon^{-105})$ due to Dinur, Grigorescu, Kopparty, and Sudan [STOC'08], and Guo and Sudan [RANDOM'14].

This paper is devoted to the classification of all flag-transitive point-primitive non-trivial $2$-$(v, k, λ)$ designs with the alternating group $A_n$($n \le 10$) as the socle of their automorphism groups, and 87 different designs are obtained up to isomorphism. The results of this study further improve the classification theory of designs under the action of almost simple groups, and provide reference for the follow-up study of similar problems.

We prove that the symmetric group of degree greater than three cannot be embedded into the Riordan group with coefficients in any commutative ring. We also prove the impossibility to embed finite non-abelian simple groups. As a closely related topic, we show why all truncated Riordan groups are solvable, in stark contrast to the unsolvability of the infinite-sized Riordan groups. Finally, we give an explicit embedding of the alternating group $A_4$ into the Lagrange subgroup with coefficients in a certain commutative ring, and prove that $A_4$ cannot be embedded into a substitution group, and hence, a Nottingham group.

The prime simplicial complex $Π(G)$ of a finite group $G$ is composed of all sets of primes $S$ where $G$ has an element of order the product of primes in $S$, with the subsets partially ordered by inclusion. This complex was introduced by Peter Cameron as the generalisation of the well-studied prime (or Gruenberg-Kegel) graphs. In this paper, we establish new results concerning two key properties of $Π(G)$: recognisability and purity. We demonstrate that recognisability by the prime simplicial complex is strictly stronger than recognisability by the prime graph. Notably, we present the first known example of a group that is recognisable by its prime simplicial complex and spectrum, but not by its prime graph, and is not a direct product of two isomorphic simple groups. Furthermore, we classify groups with pure prime simplicial complexes (i.e., all maximal simplices have the same size) across several infinite families of finite simple groups. We also provide a partial classification for non-abelian finite simple groups whose prime simplicial complex has maximal simplices of size at most 2.

For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path from $u_0$ to $u_{s}$. We say that $Γ$ is {\em $s$-geodesic transitive} if, for each $i\leq s$, $Γ$ has at least one $i$-geodesic, and its automorphism group is transitive on the set of $i$-geodesics. In 2021, Jin and Praeger [J. Combin. Theory Ser. A 178 (2021) 105349] have studied $3$-geodesic transitive graphs of girth $5$ or $6$, and they also proposed to the problem that to classify $s$-geodesic transitive graphs of girth $2s-1$ or $2s-2$ for $s=4, 5, 6, 7, 8$. The case of $s = 4$ was investigated in [J. Algebra Combin. 60 (2024) 949--963]. In this paper, we study such graphs with $s\geq5$. More precisely, it is shown that a connected $(G,s)$-geodesic transitive graph $Γ$ with a nontrivial intransitive normal subgroup $N$ of $G$ which has at least $3$ orbits, where $G$ is an automorphism group of $Γ$ and $s\geq 5$, either $Γ$ is the Foster graph and $Γ_N$ is the Tutte's $8$-cage, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,s)$-geodesic transitive. Moreover, it is proved that if $G$ acts quasiprimitively on its vertex set, then $G$ is an almost simple group, and if $G$ acts biquasiprimitively, the stabilizer of biparts of $Γ$ in $G$ is an almost simple quasiprimitive group on each of biparts. In addition, $G$ cannot be primitive or biprimitive.