Source author record

Henry Bradford

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.CO

Catalog footprint

Research overview

5works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

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.

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.

Henry Bradford

Research overview

Is this your work?

5 publications

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

Controlling LEF growth in some group extensions

Quantifying lawlessness in finitely generated groups

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

New Uniform Diameter Bounds in Pro- $p$ Groups

See the researcher in context

Building this map preview

Henry Bradford

Research overview

Is this your work?

5 publications

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

Controlling LEF growth in some group extensions

Quantifying lawlessness in finitely generated groups

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

New Uniform Diameter Bounds in Pro-ppp Groups

See the researcher in context

Building this map preview

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

New Uniform Diameter Bounds in Pro- $p$ Groups