Elena Maini | Searcharxiv

arXiv2026

Diameter bounds for arbitrary finite groups and applications

We prove a strong general-purpose bound for the diameter of a finite group depending only on the diameters of its composition factors and the maximal exponent of a normal abelian section. There are a number of notable applications: (1) if $G$ is a finite soluble group of exponent $e$, $\mathrm{diam}(G) \ll e (\log |G|)^8$, (2) anabelian groups with bounded-rank composition factors have polylogarithmic diameter, (3) transitive soluble subgroups of $S_n$ have diameter $\ll n^5$, and (4) Grigorchuk's gap conjecture holds for any finitely generated group acting faithfully on a bounded-degree rooted tree. Additionally, conditional on Babai's conjecture, (5) any transitive permutation group of degree $n$ has diameter bounded by a polynomial in $n$ (a folkloric conjecture), and (6) Grigorchuk's gap conjecture holds for residually finite groups, and thus the conjecture reduces to the simple case.

math.GR↗

arXiv2025

The growth of residually soluble groups

Building on work of Wilson, we show that if $G$ is a finitely generated residually soluble group whose growth function $\gamma$ satisfies $(\log \gamma(n))/ n^{1/4} \to 0$ as $n \to \infty$ then $G$ is virtually nilpotent. This shows that Grigorchuk's Gap Conjecture holds for all exponents $\beta < 1/4$ within the class of residually soluble groups (improving Wilson's exponent $1/6$). We also discuss stronger versions of the Gap Conjecture.

math.GR↗

arXiv2024

Multi-EGS-groups: exponent of congruence quotients

Given a multi-EGS-group $K$ acting on the $p$-adic rooted tree, where $p$ is any prime number, we compute the exponent of the congruence quotient $K_n= K/ \St_K(n)$ for all $n\ge 1$. The formula that we obtain for $\exp(K_n)$ only depends on $p$, $n$ and the periodicity of $K$.

math.GR↗