Search

Let $G=(V,E)$ be a countable graph. The Bunkbed graph of $G$ is the product graph $G \times K_2$ , which has vertex set $V\times \{0,1\}$ with “horizontal” edges inherited from $G$ and additional “vertical” edges connecting $(w,0)$ and $(w,1)$ for each $w \in V$ . Kasteleyn’s Bunkbed conjecture states that for each $u,v \in V$ and $p\in [0,1]$ , the vertex $(u,0)$ is at least as likely to be connected to $(v,0)$ as to $(v,1)$ under Bernoulli- $p$ bond percolation on the bunkbed graph. We prove that the conjecture holds in the $p \uparrow 1$ limit in the sense that for each finite graph $G$ there exists $\varepsilon (G)\gt 0$ such that the bunkbed conjecture holds for $p \geqslant 1-\varepsilon (G)$ .

We apply the theory of unimodular random rooted graphs to study the metric geometry of large, finite, bounded degree graphs whose diameter is proportional to their volume. We prove that for a positive proportion of the vertices of such a graph, there exists a mesoscopic scale on which the graph looks like $\mathbb{R}$ in the sense that the rescaled ball is close to a line segment in the Gromov-Hausdorff metric., Comment: 12 pages. V2: Some minor corrections. V3: Added a substantial amount of additional expository material. Accepted version to appear in the Bulletin of the London Mathematical Society

We show that the Mallows measure on permutations of $1,\ldots,n$ arises as the law of the unique Gale-Shapley stable matching of the random bipartite graph conditioned to be perfect, where preferences arise from a total ordering of the vertices but are restricted to the (random) edges of the graph. We extend this correspondence to infinite intervals, for which the situation is more intricate. We prove that almost surely every stable matching of the random bipartite graph obtained by performing Bernoulli percolation on the complete bipartite graph $K_{\mathbb{Z},\mathbb{Z}}$ falls into one of two classes: a countable family $(\sigma_n)_{n\in\mathbb{Z}}$ of tame stable matchings, in which the length of the longest edge crossing $k$ is $O(\log |k|)$ as $k\to\pm \infty$, and an uncountable family of wild stable matchings, in which this length is $\exp \Omega(k)$ as $k\to +\infty$. The tame stable matching $\sigma_n$ has the law of the Mallows permutation of $\mathbb{Z}$ (as constructed by Gnedin and Olshanski) composed with the shift $k\mapsto k+n$. The permutation $\sigma_{n+1}$ dominates $\sigma_{n}$ pointwise, and the two permutations are related by a shift along a random strictly increasing sequence., Comment: 22 pages, 7 figures. V2: Very minor revisions

Consider long-range Bernoulli percolation on $\mathbb{Z}^d$ in which we connect each pair of distinct points $x$ and $y$ by an edge with probability $1-\exp(-\beta\|x-y\|^{-d-\alpha})$, where $\alpha>0$ is fixed and $\beta\geq 0$ is a parameter. We prove that if $0, Comment: 26 pages, 4 figures. V2: Various minor corrections

We study dynamic random conductance models on $\mathbb{Z}^2$ in which the environment evolves as a reversible Markov process that is stationary under space-time shifts. We prove under a second moment assumption that two conditionally independent random walks in the same environment collide infinitely often almost surely. These results apply in particular to random walks on dynamical percolation.

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., Comment: 15 pages

We consider percolation on $\mathbb{Z}^d$ and on the $d$-dimensional discrete torus, in dimensions $d \ge 11$ for the nearest-neighbour model and in dimensions $d>6$ for spread-out models. For $\mathbb{Z}^d$, we employ a wide range of techniques and previous results to prove that there exist positive constants $c$ and $C$ such that the slightly subcritical two-point function and one-arm probabilities satisfy \[ \mathbb{P}_{p_c-\varepsilon}(0 \leftrightarrow x) \leq \frac{C}{\|x\|^{d-2}} e^{-c\varepsilon^{1/2} \|x\|} \quad \text{ and } \quad \frac{c}{r^{2}} e^{-C \varepsilon^{1/2}r} \leq \mathbb{P}_{p_c-\varepsilon}\Bigl(0 \leftrightarrow \partial [-r,r]^d \Bigr) \leq \frac{C}{r^2} e^{-c \varepsilon^{1/2}r}. \] Using this, we prove that throughout the critical window the torus two-point function has a "plateau," meaning that it decays for small $x$ as $\|x\|^{-(d-2)}$ but for large $x$ is essentially constant and of order $V^{-2/3}$ where $V$ is the volume of the torus. The plateau for the two-point function leads immediately to a proof of the torus triangle condition, which is known to have many implications for the critical behaviour on the torus, and also leads to a proof that the critical values on the torus and on $\mathbb{Z}^d$ are separated by a multiple of $V^{-1/3}$. The torus triangle condition and the size of the separation of critical points have been proved previously, but our proofs are different and are direct consequences of the bound on the $\mathbb{Z}^d$ two-point function. In particular, we use results derived from the lace expansion on $\mathbb{Z}^d$, but in contrast to previous work on high-dimensional torus percolation we do not need or use a separate torus lace expansion., 51 pages, 3 figures. V2: Minor edits and corrections throughout. V3: Final version, to appear in the Annals of Probability

Funder: Alfréd Rényi Institute of Mathematics, 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.

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., Comment: 36 pages, 3 figures. V2: Fixed a minor error. V3: Various minor fixes and improvements; content reorganized. Accepted version, to appear in JSP

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 $\tau$. This gives strong evidence against a conjecture of Balankin et al. [Phys. Lett. A 2018]., Comment: 22 pages, 16 figures, 5 tables. Comments welcome

We apply a variation on the methods of Duminil-Copin, Raoufi, and Tassion to establish a new differential inequality applying to both Bernoulli percolation and the Fortuin-Kasteleyn random cluster model. This differential inequality has a similar form to that derived for Bernoulli percolation by Menshikov but with the important difference that it describes the distribution of the volume of a cluster rather than of its radius. We apply this differential inequality to prove the following: The critical exponent inequalities $\gamma \leq \delta-1$ and $\Delta \leq \gamma +1$ hold for percolation and the random cluster model on any transitive graph. These inequalities are new even in the context of Bernoulli percolation on $\mathbb{Z}^d$, and are saturated in mean-field for Bernoulli percolation and for the random cluster model with $q \in [1,2)$. The volume of a cluster has an exponential tail in the entire subcritical phase of the random cluster model on any transitive graph. This proof also applies to infinite-range models, where the result is new even in the Euclidean setting., Comment: 20 pages. V2: Several minor corrections

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 nonempty phase in which there are infinite light clusters, which implies the existence of a nonempty phase in which there are infinitely many infinite clusters. That is, we show that p c > p h ≤ p u p_c>p_h \leq p_u for any such graph. This answers a question of Häggström, 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 × Z d T_k\times \mathbb {Z}^d of a k k -regular tree with Z d \mathbb {Z}^d for k ≥ 3 k\geq 3 and d ≥ 1 d \geq 1 , for which these results were previously known only for large k 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 Z d \mathbb {Z}^d edges are given different retention probabilities. These features had only previously been established for d = 1 d=1 , k k large.

Funder: University of Cambridge, 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)}$$ 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)}$$ n 1 / 4 + o n ( 1 ) , as conjectured by Benjamini and Curien (Geom Funct Anal 2(2):501–531, 2013. arXiv:1202.5454). More generally, we show that the simple random walks on a certain family of random planar maps in the $$\gamma $$ γ -Liouville quantum gravity (LQG) universality class for $$\gamma \in (0,2)$$ γ ∈ ( 0 , 2 ) —including spanning tree-weighted maps, bipolar-oriented maps, and mated-CRT maps—typically travels graph distance $$n^{1/d_\gamma + o_n(1)}$$ n 1 / d γ + o n ( 1 ) in n units of time, where $$d_\gamma $$ d γ is the growth exponent for the volume of a metric ball on the map, which was shown to exist and depend only on $$\gamma $$ γ by Ding and Gwynne (Commun Math Phys 374:1877–1934, 2018. arXiv:1807.01072). Since $$d_\gamma > 2$$ 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}}$$ 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.

Around 2008, Schramm conjectured that the critical probabilities for Bernoulli bond percolation satisfy the following continuity property: If $(G_n)_{n\geq 1}$ is a sequence of transitive graphs converging locally to a transitive graph $G$ and $\limsup_{n\to\infty} p_c(G_n) < 1$, then $ p_c(G_n)\to p_c(G)$ as $n\to\infty$. We verify this conjecture under the additional hypothesis that there is a uniform exponential lower bound on the volume growth of the graphs in question. The result is new even in the case that the sequence of graphs is uniformly nonamenable. In the unimodular case, this result is obtained as a corollary to the following theorem of independent interest: For every $g>1$ and $M, Comment: 21 pages. V2: Several minor corrections and improvements; strengthened statement of Theorem 1.6. Accepted version, to appear in Annals of Probability

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., Comment: 45 pages, 5 figures

We prove that the uniform spanning forests of $$\mathbb {Z}^d$$ and $$\mathbb {Z}^{\ell }$$ have qualitatively different connectivity properties whenever $$\ell >d \ge 4$$ . In particular, we consider the graph formed by contracting each tree of the uniform spanning forest down to a single vertex, which we call the component graph. We introduce the notion of ubiquitous subgraphs and show that the set of ubiquitous subgraphs of the component graph changes whenever the dimension changes and is above 8. To separate dimensions 5, 6, 7, and 8, we prove a similar result concerning ubiquitous subhypergraphs in the component hypergraph. Our result sharpens a theorem of Benjamini, Kesten, Peres, and Schramm, who proved that the diameter of the component graph increases by one every time the dimension increases by four.

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., 28 pages

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_c0$ such that $$ \mathbf{P}_p(n \leq |K| < \infty) \asymp n^{-1/2} \exp\left[ -\Theta \Bigl( |p-p_c|^2 n\Bigr) \right] $$ and \[ \mathbf{P}_p(r \leq \operatorname{Rad}(K) < \infty) \asymp r^{-1} \exp\left[ -\Theta \Bigl( |p-p_c| r\Bigr) \right] \] for every $p\in (p_c-\delta,p_c+\delta)$ and $n,r\geq 1$, where all implicit constants depend only on $G$. We deduce in particular that the critical exponents $\gamma'$ and $\Delta'$ 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 $\rho, Comment: 47 pages. V2: Accepted version to appear in PLMS

Let $G=(V,E)$ be a connected, locally finite, transitive graph, and consider Bernoulli bond percolation on $G$. In recent work, we conjectured that if $G$ is nonamenable then the matrix of critical connection probabilities $T_{p_c}(u,v)=\mathbb{P}_{p_c}(u\leftrightarrow v)$ is bounded as an operator $T_{p_c}:L^2(V)\to L^2(V)$ and proved that this conjecture holds for several classes of graphs. We also noted in that work that the conjecture implies two older conjectures, namely that percolation on transitive nonamenable graphs always has a nontrivial nonuniqueness phase, and that critical percolation on the same class of graphs has mean-field critical behaviour. In this paper we further investigate the consequences of the $L^2$ boundedness conjecture. In particular, we prove that the following hold for all transitive graphs: i) The two-point function decays exponentially in the distance for all $p, Comment: V2: Minor revisions. Accepted version, to appear in EJP

We study the random planar map obtained from a critical, finite variance, Galton-Watson plane tree by adding the horizontal connections between successive vertices at each level. This random graph is closely related to the well-known causal dynamical triangulation that was introduced by Ambj{\o}rn and Loll and has been studied extensively by physicists. We prove that the horizontal distances in the graph are smaller than the vertical distances, but only by a subpolynomial factor: The diameter of the set of vertices at level $n$ is both $o(n)$ and $n^{1-o(1)}$. This enables us to prove that the spectral dimension of the infinite version of the graph is almost surely equal to 2, and consequently that the random walk is diffusive almost surely. We also initiate an investigation of the case in which the offspring distribution is critical and belongs to the domain of attraction of an $\alpha$-stable law for $\alpha \in (1,2)$, for which our understanding is much less complete., Comment: 27 pages, 11 figures. Accepted version, to appear in JEMS

We prove that critical percolation has no infinite clusters almost surely on any unimodular quasi-transitive graph satisfying a return probability upper bound of the form $p_n(v,v) \leq \exp\left[-\Omega(n^\gamma)\right]$ for some $\gamma>1/2$. The result is new in the case that the graph is of intermediate volume growth., Comment: 18 pages. V2: Minor revisions. Accepted version, to appear in IMRN

We study self-avoiding walk on graphs whose automorphism group has a transitive nonunimodular subgroup. We prove that self-avoiding walk is ballistic, that the bubble diagram converges at criticality, and that the critical two-point function decays exponentially in the distance from the origin. This implies that the critical exponent governing the susceptibility takes its mean-field value, and hence that the number of self-avoiding walks of length $n$ is comparable to the $n$th power of the connective constant. We also prove that the same results hold for a large class of repulsive walk models with a self-intersection based interaction, including the weakly self-avoiding walk. All these results apply in particular to the product $T_k \times \mathbb{Z}^d$ of a $k$-regular tree ($k\geq 3$) with $\mathbb{Z}^d$, for which these results were previously only known for large $k$., Comment: 28 pages, 1 figure. V2: Minor revisions. To appear in Annals of Probability

We prove that Bernoulli bond percolation on any nonamenable, Gromov hyperbolic, quasi-transitive graph has a phase in which there are infinitely many infinite clusters, verifying a well-known conjecture of Benjamini and Schramm (1996) under the additional assumption of hyperbolicity. In other words, we show that $p_c, Comment: 40 pages, 8 figures. V2: Several minor revisions. Material on exponential decay of the two-point function has been removed and will reappear in the forthcoming companion paper "The L^2 boundedness condition in nonamenable percolation". V3: Metadata changed for bureaucratic reasons; no change to the text. Accepted version, to appear in GAFA

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., Comment: 13 pages, 1 figure

We extend the Aldous-Broder algorithm to generate the wired uniform spanning forests (WUSFs) of infinite, transient graphs. We do this by replacing the simple random walk in the classical algorithm with Sznitman's random interlacement process. We then apply this algorithm to study the WUSF, showing that every component of the WUSF is one-ended almost surely in any graph satisfying a certain weak anchored isoperimetric condition, that the number of `excessive ends' in the WUSF is non-random in any graph, and also that every component of the WUSF is one-ended almost surely in any transient unimodular random rooted graph. The first two of these results answer positively two questions of Lyons, Morris and Schramm, while the third extends a recent result of the author. Finally, we construct a counterexample showing that almost sure one-endedness of WUSF components is not preserved by rough isometries of the underlying graph, answering negatively a further question of Lyons, Morris and Schramm., 25 pages, 2 figures. Update: Major revisions: several minor corrections; section 7 expanded; two new figures; several additional open problems

We prove the following indistinguishability theorem for $k$-tuples of trees in the uniform spanning forest of $\mathbb{Z}^d$: Suppose that $\mathscr{A}$ is a property of a $k$-tuple of components that is stable under finite modifications of the forest. Then either every $k$-tuple of distinct trees has property $\mathscr{A}$ almost surely, or no $k$-tuple of distinct trees has property $\mathscr{A}$ almost surely. This generalizes the indistinguishability theorem of the author and Nachmias (2016), which applied to individual trees. Our results apply more generally to any graph that has the Liouville property and for which every component of the USF is one-ended., Comment: 14 pages. This theorem and its proof appeared in the first version of arXiv:1702.05780

We construct an example of a bounded degree, nonamenable, unimodular random rooted graph with $p_c=p_u$ for Bernoulli bond percolation, as well as an example of a bounded degree, unimodular random rooted graph with $p_c, 20 pages, 3 figures

We give a new proof that the Poisson boundary of a planar graph coincides with the boundary of its square tiling and with the boundary of its circle packing, originally proven by Georgakopoulos and Angel, Barlow, Gurel-Gurevich and Nachmias respectively. Our proof is robust, and also allows us to identify the Poisson boundaries of graphs that are rough-isometric to planar graphs. We also prove that the boundary of the square tiling of a bounded degree plane triangulation coincides with its Martin boundary. This is done by comparing the square tiling of the triangulation with its circle packing., Comment: 21 pages, 2 figures. Update: minor revisions

Coalescing random walk on a unimodular random rooted graph for which the root has finite expected degree visits each site infinitely often almost surely. A corollary is that an opinion in the voter model on such graphs has infinite expected lifetime. Additionally, we deduce an adaptation of our main theorem that holds uniformly for coalescing random walk on finite random unimodular graphs with degree distribution stochastically dominated by a probability measure with finite mean., Comment: Corrected an error in the previous argument and added two new corollaries

The Hammersley-Welsh bound (1962) states that the number $c_n$ of length $n$ self-avoiding walks on $\mathbb{Z}^d$ satisfies \[ c_n \leq \exp \left[ O(n^{1/2}) \right] \mu_c^n, \] where $\mu_c=\mu_c(d)$ is the connective constant of $\mathbb{Z}^d$. While stronger estimates have subsequently been proven for $d\geq 3$, for $d=2$ this has remained the best rigorous, unconditional bound available. In this note, we give a new, simplified proof of this bound, which does not rely on the combinatorial analysis of unfolding. We also prove a small, non-quantitative improvement to the bound, namely \[ c_n \leq \exp\left[ o(n^{1/2})\right] \mu_c^n. \] The improved bound is obtained as a corollary to the sub-ballisticity theorem of Duminil-Copin and Hammond (2013). We also show that any quantitative form of that theorem would yield a corresponding quantitative improvement to the Hammersley-Welsh bound., Comment: 9 pages. V2: fixed typo in abstract. V3: Errors corrected plus some other minor revisions. To appear in ECP

Let $G$ be the product of finitely many trees $T_1\times T_2 \times \cdots \times T_N$, each of which is regular with degree at least three. We consider Bernoulli bond percolation and the Ising model on this graph, giving a short proof that the model undergoes a second order phase transition with mean-field critical exponents in each case. The result concerning percolation recovers a result of Kozma (2013), while the result concerning the Ising model is new. We also present a new proof, using similar techniques, of a lemma of Schramm concerning the decay of the critical two-point function along a random walk, as well as some generalizations of this lemma., Comment: 11 pages. V2: Minor revisions. Accepted version. To appear in AIHP

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., 4 pages

We prove that in any recurrent reversible random rooted graph, two independent simple random walks started at the same vertex collide infinitely often almost surely. This applies to the Uniform Infinite Planar Triangulation and Quadrangulation and to the Incipient Infinite Cluster in $\mathbb{Z}^2$., Comment: 7 pages

We prove that every component of the wired uniform spanning forest (WUSF) is one-ended almost surely in every transient reversible random graph, removing the bounded degree hypothesis required by earlier results. We deduce that every component of the WUSF is one-ended almost surely in every supercritical Galton-Watson tree, answering a question of Benjamini, Lyons, Peres and Schramm. Our proof introduces and exploits a family of Markov chains under which the oriented WUSF is stationary, which we call the wired cycle-breaking dynamics., Comment: 15 pages, 1 figure

We prove that in both the free and the wired uniform spanning forest (FUSF and WUSF) of any unimodular random rooted network (in particular, of any Cayley graph), it is impossible to distinguish the connected components of the forest from each other by invariantly defined graph properties almost surely. This confirms a conjecture of Benjamini, Lyons, Peres and Schramm. We use this to answer positively two additional questions of Benjamini, Lyons, Peres and Schramm under the assumption of unimodularity. We prove that on any unimodular random rooted network, the FUSF is either connected or has infinitely many connected components almost surely, and, if the FUSF and WUSF are distinct, then every component of the FUSF is transient and infinitely-ended almost surely. All of these results are new even for Cayley graphs., 43 pages, 2 figures. Version 2: minor corrections and improvements; references added; one additional figure

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., 40 pages, 5 figures; minor revision, new and improved proof for Proposition 1.2

We show that for infinite planar unimodular random rooted maps, many global geometric and probabilistic properties are equivalent, and are determined by a natural, local notion of average curvature. This dichotomy includes properties relating to amenability, conformal geometry, random walks, uniform and minimal spanning forests, and Bernoulli bond percolation. We also prove that every simply connected unimodular random rooted map is sofic, that is, a Benjamini-Schramm limit of finite maps., 54 pages, 8 figures. V2: Final version, some minor revisions. To appear in GAFA

We compute the precise logarithmic corrections to mean-field scaling for various quantities describing the uniform spanning tree of the four-dimensional hypercubic lattice $\mathbb{Z}^4$. We are particularly interested in the distribution of the past of the origin, that is, the finite piece of the tree that is separated from infinity by the origin. We prove that the probability that the past contains a path of length $n$ is of order $(\log n)^{1/3}n^{-1}$, that the probability that the past contains at least $n$ vertices is of order $(\log n)^{1/6} n^{-1/2}$, and that the probability that the past reaches the boundary of the box $[-n,n]^4$ is of order $(\log n)^{2/3+o(1)}n^{-2}$. An important part of our proof is to prove concentration estimates for the capacity of the four-dimensional loop-erased random walk which may be of independent interest. Our results imply that the Abelian sandpile model also exhibits non-trivial polylogarithmic corrections to mean-field scaling in four dimensions, although it remains open to compute the precise order of these corrections., 80 pages. V2: Minor revisions. Accepted version, to appear in CMP