Related papers: Growth estimates and diameter bounds for untwisted…
Let $G_{m,n,k} = \mathbb{Z}_m \ltimes_k \mathbb{Z}_n$ be the split metacyclic group, where $k$ is a unit modulo $n$. We derive an upper bound for the diameter of $G_{m,n,k}$ using an arithmetic parameter called the \textit{weight}, which…
In this article we improve the known uniform bound for subgroup growth of Chevalley groups over $\mathbf{G}(\mathbb{F}_p[[t]])$. We introduce a new parameter, the ridgeline number $v(\mathbf{G})$, and give new bounds for the subgroup growth…
Let \(G\) be a finite group, and let \(\Delta(G)\) denote the \emph{prime graph} built on the set of degrees of the irreducible complex characters of \(G\). It is well known that, whenever \(\Delta(G)\) is connected, the diameter of…
We give new upper bounds for the diameters of finite groups which do not depend on a choice of generating set. Our method exploits the commutator structure of certain profinite groups, in a fashion analogous to the Solovay-Kitaev procedure…
Let $G$ be a group such that $G/Z(G)$ is finite and simple. The non-commuting, non-generating graph $\Xi(G)$ of $G$ has vertex set $G \setminus Z(G)$, with edges corresponding to pairs of elements that do not commute and do not generate…
Let $f(x)$ be a non-zero polynomial with integer coefficients. An automorphism $\varphi$ of a group $G$ is said to satisfy the elementary abelian identity $f(x)$ if the linear transformation induced by $\varphi$ on every characteristic…
A generating set for a finite group $G$ is said to be minimal if no proper subset generates $G$, and $m(G)$ denotes the maximal size of a minimal generating set for $G$. We prove a conjecture of Lucchini, Moscatiello and Spiga by showing…
It has been recently proved (by Croot, Lev and Pach and the subsequent work by Ellenberg and Gijswijt) that for a group $G=G_0^n$, where $G_0\ne \{1,-1\}^m$ is a fixed finite Abelian group and $n$ is large, any subset $A$ without…
For a non-cyclic finite group $G$, let $\gamma(G)$ denote the smallest number of conjugacy classes of proper subgroups of $G$ needed to cover $G$. Bubboloni, Praeger and Spiga, motivated by questions in number theory, have recently…
Let $X = G/\Gamma$, where $G$ is a Lie group and $\Gamma$ is a lattice in $G$, and let $U$ be a subset of $X$ whose complement is compact. We use the exponential mixing results for diagonalizable flows on $X$ to give upper estimates for the…
A group $G$ is called residually finite if for every non-trivial element $g \in G$, there exists a finite quotient $Q$ of $G$ such that the element $g$ is non-trivial in the quotient as well. Instead of just investigating whether a group…
Let $G$ be a finite group of Lie type defined in characteristic $p$, and let $k$ be an algebraically closed field of characteristic $r>0$. We will assume that $r \neq p$ (so, we are in the non-defining characteristic case). Let $V$ be a…
We provide a new quantitative version of Helly's theorem: there exists an absolute constant $\alpha >1$ with the following property: if $\{P_i: i\in I\}$ is a finite family of convex bodies in ${\mathbb R}^n$ with ${\rm int}\left…
In this work we prove general bounds for the diameter of random graphs generated by a preferential attachment model whose parameter is a function $f:\mathbb{N}\to[0,1]$ that drives the asymptotic proportion between the numbers of vertices…
We prove that the product of a subset and a normal subset inside any finite simple non-abelian group $G$ grows rapidly. More precisely, if $A$ and $B$ are two subsets with $B$ normal and neither of them is too large inside $G$, then $|AB|…
Let $G$ be a finite group, and let $r_{3}(G)$ represent the size of the largest subset of $G$ without non-trivial three-term progressions. In a recent breakthrough, Croot, Lev and Pach proved that $r_{3}(C_{4}^{n}) \leqslant (3.61)^{n}$,…
We study the fundamental group of an open $n$-manifold $M$ of nonnegative Ricci curvature with additional stability condition on $\widetilde{M}$, the Riemannian universal cover of $M$. We prove that if any tangent cone of $\widetilde{M}$ at…
Let $E$ be an elliptic curve defined over the rationals without complex multiplication. The field $F$ generated by all torsion points of $E$ is an infinite, non-abelian Galois extension of the rationals which has unbounded, wild…
Fixing a subgroup $\Gamma$ in a group $G$, the full commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $\Delta$ of $G$ with $[\Gamma: \Gamma \cap \Delta][\Delta : \Gamma \cap \Delta] \leq n$. For…
We say that a finite subset of the unit sphere in $\mathbf{R}^d$ is transitive if there is a group of isometries which acts transitively on it. We show that the width of any transitive set is bounded above by a constant times $(\log…