BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Tom Hutchcroft

Tom Hutchcroft contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.PRmath-phmath.MPmath.GRmath.DScond-mat.stat-mechmath.CO

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

16 published item(s)

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).

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 $γ&#39;$ and $Δ&#39;$ 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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 $η$.

0 citations0 reviewsNo code linkedOpen access
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].

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access