Source author record

Henry Bradford

Henry Bradford appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR math.CO

Catalog footprint

What is connected

5works

2topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2026arXiv

Non-solutions to mixed equations in acylindrically hyperbolic groups coming from random walks

A mixed equation in a group $G$ is given by a non-trivial element $w (x)$ of the free product $G \ast \mathbb{Z}$, and a solution is some $g\in G$ such that $w(g)$ is the identity. For $G$ acylindrically hyperbolic with trivial finite radical (e.g. torsion-free) we show that any mixed equation of length $n$ has a non-solution of length comparable to $\log(n)$, which is the best possible bound. Similarly, we show that there is a common non-solution of length $O(n)$ to all mixed equations of length $n$, again the best possible bound. In fact, in both cases we show that a random walk of appropriate length yields a non-solution with positive probability.

preprint2022arXiv

Controlling LEF growth in some group extensions

We study the LEF growth function of a finitely generated LEF group $Γ$, which measures the orders of finite groups admitting local embeddings of balls in a word metric on $Γ$. We prove that any sufficiently smooth increasing function between $n!$ and $\exp(\exp(n))$ is close to the LEF growth function of some finitely generated group. This is achieved by estimating the LEF growth of some semidirect products of the form $FSym (Ω) \rtimes Γ$, where $Γ\curvearrowright Ω$ is an appropriate transitive action, and $FSym (Ω)$ is the group of finitely supported permutations of $Ω$. A key tool in the proof is to identify sequences of finitely presented subgroups with short "relative" presentations. In a similar vein we also obtain estimates on the LEF growth of some groups of the form $E_Ω (R) \rtimes Γ$, for $R$ an appropriate unital ring and $E_Ω (R)$ the subgroup of $Aut_R (R[Ω])$ generated by all transvections with respect to basis $Ω$.

preprint2022arXiv

Quantifying lawlessness in finitely generated groups

We introduce a quantitative notion of lawlessness for finitely generated groups, encoded by the "lawlessness growth function" $\mathcal{A}_Γ : \mathbb{N} \rightarrow \mathbb{N}$. We show that $\mathcal{A}_Γ$ is bounded iff $Γ$ has a nonabelian free subgroup. By contrast we construct, for any nondecreasing unbounded function $f: \mathbb{N} \rightarrow \mathbb{N}$, an elementary amenable lawless groups for which $\mathcal{A}_Γ$ grows more slowly that $f$. We produce torsion lawless groups for which $\mathcal{A}_Γ$ is at least linear using Golod-Shafarevich theory, and give some upper bounds on $\mathcal{A}_Γ$ for Grigorchuk's group and Thompson's group $\mathbf{F}$. We note some connections between $\mathcal{A}_Γ$ and quantitative versions of residual finiteness. Finally, we also describe a function $\mathcal{M}_Γ$ quantifying the property of $Γ$ having no mixed identities, and give bounds for nonabelian free groups. By contrast with $\mathcal{A}_Γ$, there are no groups for which $\mathcal{M}_Γ$ is bounded: we prove a universal lower bound on $\mathcal{M}_Γ(n)$ of the order of $\log (n)$.

preprint2015arXiv

Expansion, Random Walks and Sieving in $SL_2 (\mathbb{F}_p [t])$

We construct new examples of expander Cayley graphs of finite groups, arising as congruence quotients of non-elementary subgroups of $SL_2 (\mathbb{F}_p [t])$ modulo certain square-free ideals. We describe some applications of our results to simple random walks on such subgroups, specifically giving bounds on the rate of escape of such walks from algebraic subvarieties, the set of squares and the set of elements with reducible characteristic polynomial in $SL_2 (\mathbb{F}_p [t])$.

preprint2014arXiv

New Uniform Diameter Bounds in Pro-$p$ Groups

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 from quantum computation. We obtain polylogarithmic upper bounds for the diameters of finite quotients of: groups with an analytic structure over a pro-$p$ domain (with exponent depending on the dimension); Chevalley groups over a pro-$p$ domain (with exponent independent of the dimension) and the Nottingham group of a finite field. We also discuss some consequences of our results for random walks on groups.