Source author record

Tom Hutchcroft

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

ResearcherUnclaimed source record

math.PR math-ph math.MP math.GR math.DS cond-mat.stat-mech math.CO

Catalog footprint

Research overview

18works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

The number of ends in the uniform spanning tree for recurrent unimodular random graphs

We prove that if a unimodular random rooted graph is recurrent, the number of ends of its uniform spanning tree is almost surely equal to the number of ends of the graph. Together with previous results in the transient case, this completely resolves the problem of the number of ends of wired uniform spanning forest components in unimodular random rooted graphs and confirms a conjecture of Aldous and Lyons (2006).

preprint2022arXiv

On the boundary at infinity for branching random walk

We prove that supercritical branching random walk on a transient graph converges almost surely under rescaling to a random measure on the Martin boundary of the graph. Several open problems and conjectures about this limiting measure are presented.

preprint2022arXiv

On the derivation of mean-field percolation critical exponents from the triangle condition

We give a new derivation of mean-field percolation critical behaviour from the triangle condition that is quantitatively much better than previous proofs when the triangle diagram $\nabla_{p_c}$ is large. In contrast to earlier methods, our approach continues to yield bounds of reasonable order when the triangle diagram $\nabla_p$ is unbounded but diverges slowly as $p \uparrow p_c$ , as is expected to occur in percolation on $\mathbb{Z}^d$ at the upper-critical dimension $d=6$ . Indeed, we show in particular that if the triangle diagram diverges polylogarithmically as $p \uparrow p_c$ then mean-field critical behaviour holds to within a polylogarithmic factor. We apply the methods we develop to deduce that for long-range percolation on the hierarchical lattice, mean-field critical behaviour holds to within polylogarithmic factors at the upper-critical dimension. As part of the proof, we introduce a new method for comparing diagrammatic sums on general transitive graphs that may be of independent interest.

preprint2022arXiv

Slightly supercritical percolation on nonamenable graphs I: The distribution of finite clusters

We study the distribution of finite clusters in slightly supercritical ( $p \downarrow p_c$ ) Bernoulli bond percolation on transitive nonamenable graphs, proving in particular that if $G$ is a transitive nonamenable graph satisfying the $L^2$ boundedness condition ( $p_c<p_{2\to 2}$ ) and $K$ denotes the cluster of the origin then there exists $δ>0$ such that $\mathbf{P}_p(n \leq |K| < \infty) \asymp n^{-1/2} \exp\left[ -Θ\Bigl( |p-p_c|^2 n\Bigr) \right]$ and $\mathbf{P}_p(r \leq \operatorname{Rad}(K) < \infty) \asymp r^{-1} \exp\left[ -Θ\Bigl( |p-p_c| r\Bigr) \right]$ for every $p\in (p_c-δ,p_c+δ)$ and $n,r\geq 1$ , where all implicit constants depend only on $G$ . We deduce in particular that the critical exponents $γ'$ and $Δ'$ describing the rate of growth of the moments of a finite cluster as $p \downarrow p_c$ take their mean-field values of $1$ and $2$ respectively. These results apply in particular to Cayley graphs of nonelementary hyperbolic groups, to products with trees, and to transitive graphs of spectral radius $ρ<1/2$ . In particular, every finitely generated nonamenable group has a Cayley graph to which these results apply. They are new for graphs that are not trees. The corresponding facts are yet to be understood on $\mathbb{Z}^d$ even for $d$ very large. In a second paper in this series, we will apply these results to study the geometric and spectral properties of infinite slightly supercritical clusters in the same setting.

preprint2022arXiv

Slightly supercritical percolation on nonamenable graphs II: Growth and isoperimetry of infinite clusters

We study the growth and isoperimetry of infinite clusters in slightly supercritical Bernoulli bond percolation on transitive nonamenable graphs under the $L^2$ boundedness condition ( $p_c<p_{2\to 2}$ ). Surprisingly, we find that the volume growth of infinite clusters is always purely exponential (that is, the subexponential corrections to growth are bounded) in the regime $p_c<p<p_{2\to 2}$ , even when the ambient graph has unbounded corrections to exponential growth. For $p$ slightly larger than $p_c$ , we establish the precise estimates \begin{align*} \mathbf{E}_p \left[ \# B_\mathrm{int}(v,r) \right] &\asymp \left(r \wedge \frac{1}{p-p_c} \right)^{\phantom{2}} e^{γ_\mathrm{int}(p) r} \\ \mathbf{E}_p \left[ \# B_\mathrm{int}(v,r) \mid v \leftrightarrow \infty \right] &\asymp \left(r \wedge \frac{1}{p-p_c} \right)^2 e^{γ_\mathrm{int}(p) r} \end{align*} for every $v\in V$ , $r \geq 0$ , and $p_c < p \leq p_c+δ$ , where the growth rate $γ_\mathrm{int}(p) = \lim \frac{1}{r} \log \mathbf{E}_p\#B(v,r)$ satisfies $γ_\mathrm{int}(p) \asymp p-p_c$ . We also prove a percolation analogue of the Kesten-Stigum theorem that holds in the entire supercritical regime and states that the quenched and annealed exponential growth rates of an infinite cluster always coincide. We apply these results together with those of the first paper in this series to prove that the anchored Cheeger constant of every infinite cluster $K$ satisfies $\frac{(p-p_c)^2}{\log[1/(p-p_c)]} \preceq Φ^*(K) \preceq (p-p_c)^2$ almost surely for every $p_c<p\leq1$ .

preprint2022arXiv

Transience and anchored isoperimetric dimension of supercritical percolation clusters

We establish several equivalent characterisations of the anchored isoperimetric dimension of supercritical clusters in Bernoulli bond percolation on transitive graphs. We deduce from these characterisations together with a theorem of Duminil-Copin, Goswami, Raoufi, Severo, and Yadin that if $G$ is a transient transitive graph then the infinite clusters of Bernoulli percolation on $G$ are transient for $p$ sufficiently close to $1$ . It remains open to extend this result down to the critical probability. Along the way we establish two new cluster repulsion inequalities that are of independent interest.

preprint2021arXiv

Power-law bounds for critical long-range percolation below the upper-critical dimension

We study long-range Bernoulli percolation on $\mathbb{Z}^d$ in which each two vertices $x$ and $y$ are connected by an edge with probability $1-\exp(-β\|x-y\|^{-d-α})$ . It is a theorem of Noam Berger (CMP, 2002) that if $0<α<d$ then there is no infinite cluster at the critical parameter $β_c$ . We give a new, quantitative proof of this theorem establishing the power-law upper bound $\mathbf{P}_{β_c}\bigl(|K|\geq n\bigr) \leq C n^{-(d-α)/(2d+α)}$ for every $n\geq 1$ , where $K$ is the cluster of the origin. We believe that this is the first rigorous power-law upper bound for a Bernoulli percolation model that is neither planar nor expected to exhibit mean-field critical behaviour. As part of the proof, we establish a universal inequality implying that the maximum size of a cluster in percolation on any finite graph is of the same order as its mean with high probability. We apply this inequality to derive a new rigorous hyperscaling inequality $(2-η)(δ+1)\leq d(δ-1)$ relating the cluster-volume exponent $δ$ and two-point function exponent $η$ .

preprint2021arXiv

What are the limits of universality?

It is a central prediction of renormalisation group theory that the critical behaviours of many statistical mechanics models on Euclidean lattices depend only on the dimension and not on the specific choice of lattice. We investigate the extent to which this universality continues to hold beyond the Euclidean setting, taking as case studies Bernoulli bond percolation and lattice trees. We present strong numerical evidence that the critical exponents governing these models on transitive graphs of polynomial volume growth depend only on the volume-growth dimension of the graph and not on any other large-scale features of the geometry. For example, our results strongly suggest that percolation, which has upper-critical dimension six, has the same critical exponents on the four-dimensional hypercubic lattice $\mathbb{Z}^4$ and the Heisenberg group despite the distinct large-scale geometries of these two lattices preventing the relevant percolation models from sharing a common scaling limit. On the other hand, we also show that no such universality should be expected to hold on fractals, even if one allows the exponents to depend on a large number of standard fractal dimensions. Indeed, we give natural examples of two fractals which share Hausdorff, spectral, topological, and topological Hausdorff dimensions but exhibit distinct numerical values of the percolation Fisher exponent $τ$ . This gives strong evidence against a conjecture of Balankin et al. [Phys. Lett. A 2018].

preprint2020arXiv

Anomalous diffusion of random walk on random planar maps

We prove that the simple random walk on the uniform infinite planar triangulation (UIPT) typically travels graph distance at most $n^{1/4 + o_n(1)}$ in $n$ units of time. Together with the complementary lower bound proven by Gwynne and Miller (2017) this shows that the typical graph distance displacement of the walk after $n$ steps is $n^{1/4 + o_n(1)}$ , as conjectured by Benjamini and Curien (2013). More generally, we show that the simple random walks on a certain family of random planar maps in the $γ$ -Liouville quantum gravity (LQG) universality class for $γ\in (0,2)$ ---including spanning tree-weighted maps, bipolar-oriented maps, and mated-CRT maps---typically travels graph distance $n^{1/d_γ+ o_n(1)}$ in $n$ units of time, where $d_γ$ is the growth exponent for the volume of a metric ball on the map, which was shown to exist and depend only on $γ$ by Ding and Gwynne (2018). Since $d_γ> 2$ , this shows that the simple random walk on each of these maps is subdiffusive. Our proofs are based on an embedding of the random planar maps under consideration into $\mathbb C$ wherein graph distance balls can be compared to Euclidean balls modulo subpolynomial errors. This embedding arises from a coupling of the given random planar map with a mated-CRT map together with the relationship of the latter map to SLE-decorated LQG.

preprint2020arXiv

Continuity of the Ising phase transition on nonamenable groups

We prove rigorously that the ferromagnetic Ising model on any nonamenable Cayley graph undergoes a continuous (second-order) phase transition in the sense that there is a unique Gibbs measure at the critical temperature. The proof of this theorem is quantitative and also yields power-law bounds on the magnetization at and near criticality. Indeed, we prove more generally that the magnetization $\langle σ_o \rangle_{β,h}^+$ is a locally Hölder-continuous function of the inverse temperature $β$ and external field $h$ throughout the non-negative quadrant $(β,h)\in [0,\infty)^2$ . As a second application of the methods we develop, we also prove that the free energy of Bernoulli percolation is twice differentiable at $p_c$ on any transitive nonamenable graph.

preprint2020arXiv

Kazhdan groups have cost 1

We prove that every countably infinite group with Kazhdan's property (T) has cost 1, answering a well-known question of Gaboriau. It remains open if they have fixed price 1.

preprint2020arXiv

Non-intersection of transient branching random walks

Let $G$ be a Cayley graph of a nonamenable group with spectral radius $ρ< 1$ . It is known that branching random walk on $G$ with offspring distribution $μ$ is transient, i.e., visits the origin at most finitely often almost surely, if and only if the expected number of offspring $\bar μ$ satisfies $\bar μ\leq ρ^{-1}$ . Benjamini and Müller (2010) conjectured that throughout the transient supercritical phase $1<\barμ \leq ρ^{-1}$ , and in particular at the recurrence threshold $\bar μ= ρ^{-1}$ , the trace of the branching random walk is tree-like in the sense that it is infinitely-ended almost surely on the event that the walk survives forever. This is essentially equivalent to the assertion that two independent copies of the branching random walk intersect at most finitely often almost surely. We prove this conjecture, along with several other related conjectures made by the same authors. A central contribution of this work is the introduction of the notion of local unimodularity, which we expect to have several further applications in the future.

preprint2020arXiv

Non-uniqueness and mean-field criticality for percolation on nonunimodular transitive graphs

We study Bernoulli bond percolation on nonunimodular quasi-transitive graphs, and more generally graphs whose automorphism group has a nonunimodular quasi-transitive subgroup. We prove that percolation on any such graph has a non-empty phase in which there are infinite light clusters, which implies the existence of a non-empty phase in which there are infinitely many infinite clusters. That is, we show that $p_c<p_h \leq p_u$ for any such graph. This answers a question of Haggstrom, Peres, and Schonmann (1999), and verifies the nonunimodular case of a well-known conjecture of Benjamini and Schramm (1996). We also prove that the triangle condition holds at criticality on any such graph, which implies that various critical exponents exist and take their mean-field values. All our results apply, for example, to the product $T_k\times \mathbb{Z}^d$ of a $k$ -regular tree with $\mathbb{Z}^d$ for $k\geq 3$ and $d \geq 1$ , for which these results were previously known only for large $k$ . Furthermore, our methods also enable us to establish the basic topological features of the phase diagram for anisotropic percolation on such products, in which tree edges and $\mathbb{Z}^d$ edges are given different retention probabilities. These features had only previously been established for $d=1$ , $k$ large.

preprint2020arXiv

On the tail of the branching random walk local time

Consider a critical branching random walk on $\mathbb{Z}^d$ , $d\geq 1$ , started with a single particle at the origin, and let $L(x)$ be the total number of particles that ever visit a vertex $x$ . We study the tail of $L(x)$ under suitable conditions on the offspring distribution. In particular, our results hold if the offspring distribution has an exponential moment.

preprint2017arXiv

Finitely dependent cycle coloring

We construct stationary finitely dependent colorings of the cycle which are analogous to the colorings of the integers recently constructed by Holroyd and Liggett. These colorings can be described by a simple necklace insertion procedure, and also in terms of an Eden growth model on a tree. Using these descriptions we obtain simpler and more direct proofs of the characterizations of the 1- and 2-color marginals.

preprint2017arXiv

Mallows Permutations and Finite Dependence

We use the Mallows permutation model to construct a new family of stationary finitely dependent proper colorings of the integers. We prove that these colorings can be expressed as finitary factors of i.i.d. processes with finite mean coding radii. They are the first colorings known to have these properties. Moreover, we prove that the coding radii have exponential tails, and that the colorings can also be expressed as functions of countable-state Markov chains. We deduce analogous existence statements concerning shifts of finite type and higher-dimensional colorings.

preprint2016arXiv

Critical percolation on any quasi-transitive graph of exponential growth has no infinite clusters

We prove that critical percolation on any quasi-transitive graph of exponential volume growth does not have a unique infinite cluster. This allows us to deduce from earlier results that critical percolation on any graph in this class does not have any infinite clusters. The result is new when the graph in question is either amenable or nonunimodular.

preprint2016arXiv

Unimodular Hyperbolic Triangulations: Circle Packing and Random Walk

We show that the circle packing type of a unimodular random plane triangulation is parabolic if and only if the expected degree of the root is six, if and only if the triangulation is amenable in the sense of Aldous and Lyons. As a part of this, we obtain an alternative proof of the Benjamini-Schramm Recurrence Theorem. Secondly, in the hyperbolic case, we prove that the random walk almost surely converges to a point in the unit circle, that the law of this limiting point has full support and no atoms, and that the unit circle is a realisation of the Poisson boundary. Finally, we show that the simple random walk has positive speed in the hyperbolic metric.

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.

Tom Hutchcroft

Research overview

Is this your work?

18 publications

The number of ends in the uniform spanning tree for recurrent unimodular random graphs

On the boundary at infinity for branching random walk

On the derivation of mean-field percolation critical exponents from the triangle condition

Slightly supercritical percolation on nonamenable graphs I: The distribution of finite clusters

Slightly supercritical percolation on nonamenable graphs II: Growth and isoperimetry of infinite clusters

Transience and anchored isoperimetric dimension of supercritical percolation clusters

Power-law bounds for critical long-range percolation below the upper-critical dimension

What are the limits of universality?

Anomalous diffusion of random walk on random planar maps

Continuity of the Ising phase transition on nonamenable groups

Kazhdan groups have cost 1

Non-intersection of transient branching random walks

Non-uniqueness and mean-field criticality for percolation on nonunimodular transitive graphs

On the tail of the branching random walk local time

Finitely dependent cycle coloring

Mallows Permutations and Finite Dependence

Critical percolation on any quasi-transitive graph of exponential growth has no infinite clusters

Unimodular Hyperbolic Triangulations: Circle Packing and Random Walk

See the researcher in context

Building this map preview