arXiv subjects

Gordon Slade

Publications and source records attributed to Gordon Slade.

At least 19 recordsLinked to original sources

arXiv2026

A random walk approach to high-dimensional critical phenomena

We present a "black box" proof of mean-field near-critical behaviour for a family of functions on $\mathbb Z^d$ (${d>2}$) satisfying a short list of assumptions. The functions represent two-point functions of a lattice statistical mechanical model in the subcritical or critical regimes, and are proved to have decay of the form $|x|^{-d+2+\varepsilon}\exp[-c|x|/\xi]$, for any $\varepsilon>0$. The black box applies to several models for which commonplace methods can be used to verify the assumptions. Applications include models of self-avoiding walk, percolation, spins (Ising, XY, $|\varphi|^4$), and lattice trees, all above their upper critical dimensions. The proof is based on random walk techniques, and provides a new, unified, probabilistic, and relatively simple proof of mean-field near-critical behaviour.

math.PR↗

arXiv2026

Crossover from subcritical to critical decay: random walk, self-avoiding walk, percolation

The study of the Ornstein--Zernike decay of subcritical two-point functions in equilibrium statistical mechanics has a history going back over a century. Despite this, the crossover from Ornstein--Zernike decay to critical power-law decay has received scant attention in the literature. We prove a general theorem which, under appropriate hypotheses, identifies the asymptotic behaviour of the solution to an Ornstein--Zernike equation on $\mathbb{Z}^d$ as that of the Green function for Brownian motion with drift, multiplied by an anisotropic exponentially decaying factor. The theorem applies to a wide class of random walks, to nearest-neighbour self-avoiding walk in dimensions $d \ge 5$, and to nearest-neighbour percolation in dimensions $d \ge 15$. Wide-ranging consequences follow, including details of the crossover from Ornstein--Zernike to critical decay on the scale of the correlation length, and the fact that all finite-order correlation lengths are equivalent up to universal constants. The proof is based on a variational characterisation of the direction-dependent rate of exponential decay and a major extension of Hara's 2008 Gaussian Lemma to noncentred kernels.

math.PR↗

arXiv2024

Universal finite-size scaling in high-dimensional critical phenomena

We present a new unified theory of critical finite-size scaling for lattice statistical mechanical models with periodic boundary conditions above the upper critical dimension. Our theory is based on recent mathematically rigorous results for linear and branched polymers, multi-component spin systems, and percolation. Both short-range and long-range interactions are included. The universal finite-size scaling is inherited from the scaling of the system unwrapped to the infinite lattice. We also present conjectures for universal scaling profiles for the susceptibility and two-point function plateau in a critical window. For free boundary conditions, the universal scaling has been proven to apply at a pseudocritical point for hierarchical spins, and we conjecture that this holds generally.

cond-mat.stat-mech↗

arXiv2024

Near-critical and finite-size scaling for high-dimensional lattice trees and animals

We consider spread-out models of lattice trees and lattice animals on $\mathbb Z^d$, for $d$ above the upper critical dimension $d_{\mathrm c}=8$. We define a correlation length and prove that it diverges as $(p_c-p)^{-1/4}$ at the critical point $p_c$. Using this, we prove that the near-critical two-point function is bounded above by $C|x|^{-(d-2)}\exp[-c(p_c-p)^{1/4}|x|]$. We apply the near-critical bound to study lattice trees and lattice animals on a discrete $d$-dimensional torus (with $d > d_{\mathrm c}$) of volume $V$. For $p_c-p$ of order $V^{-1/2}$, we prove that the torus susceptibility is of order $V^{1/4}$, and that the torus two-point function behaves as $|x|^{-(d-2)} + V^{-3/4}$ and thus has a plateau of size $V^{-3/4}$. The proofs require significant extensions of previous results obtained using the lace expansion.

math.PR↗

arXiv2024

Critical scaling profile for trees and connected subgraphs on the complete graph

We analyse generating functions for trees and for connected subgraphs on the complete graph, and identify a single scaling profile which applies for both generating functions in a critical window. Our motivation comes from the analysis of the finite-size scaling of lattice trees and lattice animals on a high-dimensional discrete torus, for which we conjecture that the identical profile applies in dimensions $d \ge 8$.

math.PR↗

arXiv2024

Boundary conditions and the two-point function plateau for the hierarchical $|\varphi|^4$ model in dimensions 4 and higher

We obtain precise plateau estimates for the two-point function of the finite-volume weakly-coupled hierarchical $|\varphi|^4$ model in dimensions $d \ge 4$, for both free and periodic boundary conditions, and for any number $n \ge 1$ of components of the field $\varphi$. We prove that, within a critical window around their respective effective critical points, the two-point functions for both free and periodic boundary conditions have a plateau, in the sense that they decay as $|x|^{-(d-2)}$ until reaching a constant plateau value of order $V^{-1/2}$ (with a logarithmic correction for $d=4$), where $V$ is size of the finite volume. The two critical windows for free and periodic boundary conditions do not overlap. The dependence of the plateau height on the location within the critical window is governed by an explicit $n$-dependent universal profile which is independent of the dimension. The proof is based on a rigorous renormalisation group method and extends the method used by Michta, Park and Slade (arXiv:2306.00896) to study the finite-volume susceptibility and related quantities. Our results lead to precise conjectures concerning Euclidean (non-hierarchical) models of spin systems and self-avoiding walk in dimensions $d \ge 4$.

math-ph↗

arXiv2024

The torus plateau for the high-dimensional Ising model

We consider the Ising model on a $d$-dimensional discrete torus of volume $r^d$, in dimensions $d>4$ and for large $r$, in the vicinity of the infinite-volume critical point $\beta_c$. We prove that for $\beta=\beta_c- {\rm const}\, r^{-d/2}$ (with a suitable constant) the susceptibility is bounded above and below by multiples of $r^{d/2}$. Additionally, again for $\beta=\beta_c- {\rm const}\, r^{-d/2}$, the two-point function has a ``plateau'': it decays like $|x|^{-(d-2)}$ when $|x|$ is small relative to the volume, but for larger $|x|$, it levels off to a constant value of order $r^{-d/2}$. We also prove that at $\beta=\beta_c- {\rm const}\, r^{-d/2}$ the renormalised coupling constant is nonzero, which implies a non-Gaussian limit for the average spin. The proof relies on near-critical estimates for the infinite-volume two-point function obtained recently by Duminil-Copin and Panis, and builds upon a strategy proposed by Papathanakos. The random current representation of the Ising model plays a central role in our analysis.

math-ph↗

arXiv2023

Gaussian deconvolution and the lace expansion

We give conditions on a real-valued function $F$ on $\mathbb{Z}^d$, for $d>2$, which ensure that the solution $G$ to the convolution equation $(F*G)(x) = \delta_{0,x}$ has Gaussian decay $|x|^{-(d-2)}$ for large $|x|$. Precursors of our results were obtained in the 2000s, using intricate Fourier analysis. In 2022, a very simple deconvolution theorem was proved, but its applicability was limited. We extend the 2022 theorem to remove its limitations while maintaining its simplicity -- our main tools are H\"older's inequality, weak derivatives, and basic Fourier theory in $L^p$ space. Our motivation comes from critical phenomena in equilibrium statistical mechanics, where the convolution equation is provided by the lace expansion and $G$ is a critical two-point function. Our results significantly simplify existing proofs of critical $|x|^{-(d-2)}$ decay in high dimensions for self-avoiding walk, Ising and $\varphi^4$ models, percolation, and lattice trees and lattice animals. We also improve previous error estimates.

math.PR↗

arXiv2023

Gaussian deconvolution and the lace expansion for spread-out models

We present a new proof of $|x|^{-(d-2)}$ decay of critical two-point functions for spread-out statistical mechanical models on $\mathbb{Z}^d$ above the upper critical dimension, based on the lace expansion and assuming appropriate diagrammatic estimates. Applications include spread-out models of the Ising model and self-avoiding walk in dimensions $d>4$, and spread-out percolation for $d>6$. The proof is based on an extension of the new Gaussian deconvolution theorem we obtained in a recent paper. It provides a technically simpler and conceptually more transparent approach than the method of Hara, van der Hofstad and Slade (2003).

math.PR↗

arXiv2023

Boundary conditions and universal finite-size scaling for the hierarchical $|\varphi|^4$ model in dimensions 4 and higher

We analyse and clarify the finite-size scaling of the weakly-coupled hierarchical $n$-component $|\varphi|^4$ model for all integers $n \ge 1$ in all dimensions $d\ge 4$, for both free and periodic boundary conditions. For $d>4$, we prove that for a volume of size $R^{d}$ with periodic boundary conditions the infinite-volume critical point is an effective finite-volume critical point, whereas for free boundary conditions the effective critical point is shifted smaller by an amount of order $R^{-2}$. For both boundary conditions, the average field has the same non-Gaussian limit within a critical window of width $R^{-d/2}$ around the effective critical point, and in that window we compute the universal scaling profile for the susceptibility. In contrast, and again for both boundary conditions, the average field has a massive Gaussian limit when above the effective critical point by an amount $R^{-2}$. In particular, at the infinite-volume critical point the susceptibility scales as $R^{d/2}$ for periodic boundary conditions and as $R^{2}$ for free boundary conditions. We identify a mass generation mechanism for free boundary conditions that is responsible for this distinction and which we believe has wider validity, in particular to Euclidean (non-hierarchical) models on $\mathbb{Z}^d$ in dimensions $d \ge 4$. For $d=4$ we prove a similar picture with logarithmic corrections. Our analysis is based on the rigorous renormalisation group method of Bauerschmidt, Brydges and Slade, which we improve and extend.

math-ph↗

arXiv2021

Self-avoiding walk on the hypercube

We study the number $c_n^{(N)}$ of $n$-step self-avoiding walks on the $N$-dimensional hypercube, and identify an $N$-dependent \emph{connective constant} $\mu_N$ and amplitude $A_N$ such that $c_n^{(N)}$ is $O(\mu_N^n)$ for all $n$ and $N$, and is asymptotically $A_N \mu_N^n$ as long as $n\le 2^{pN}$ for any fixed $p< \frac 12$. We refer to the regime $n \ll 2^{N/2}$ as the \emph{dilute phase}. We discuss conjectures concerning different behaviours of $c_n^{(N)}$ when $n$ reaches and exceeds $2^{N/2}$, corresponding to a critical window and a dense phase. In addition, we prove that the connective constant has an asymptotic expansion to all orders in $N^{-1}$, with integer coefficients, and we compute the first five coefficients $\mu_N = N-1-N^{-1}-4N^{-2}-26N^{-3}+O(N^{-4})$. The proofs are based on generating function and Tauberian methods implemented via the lace expansion, for which an introductory account is provided.

math.PR↗

arXiv2021

Weakly self-avoiding walk on a high-dimensional torus

How long does a self-avoiding walk on a discrete $d$-dimensional torus have to be before it begins to behave differently from a self-avoiding walk on $\mathbb{Z}^d$? We consider a version of this question for weakly self-avoiding walk on a torus in dimensions $d>4$. On $\mathbb{Z}^d$ for $d>4$, the partition function for $n$-step weakly self-avoiding walk is known to be asymptotically purely exponential, of the form $A\mu^n$, where $\mu$ is the growth constant for weakly self-avoiding walk on $\mathbb{Z}^d$. We prove the identical asymptotic behaviour $A\mu^n$ on the torus (with the same $A$ and $\mu$ as on $\mathbb{Z}^d$) until $n$ reaches order $V^{1/2}$, where $V$ is the number of vertices in the torus. This shows that the walk must have length of order at least $V^{1/2}$ before it "feels" the torus in its leading asymptotics. Our results support the conjecture that the behaviour of the partition function does change once $n$ reaches $V^{1/2}$, and we relate this to a conjectural critical scaling window which separates the dilute phase $n \ll V^{1/2}$ from the dense phase $n \gg V^{1/2}$. To prove the conjecture and to establish the existence of the scaling window remains a challenging open problem. The proof uses a novel lace expansion analysis based on the "plateau" for the torus two-point function obtained in previous work.

math.PR↗

arXiv2021

High-dimensional near-critical percolation and the torus plateau

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.

math.PR↗

arXiv2021

Asymptotic behaviour of the lattice Green function

The lattice Green function, i.e., the resolvent of the discrete Laplace operator, is fundamental in probability theory and mathematical physics. We derive its long-distance behaviour via a detailed analysis of an integral representation involving modified Bessel functions. Our emphasis is on the decay of the massive lattice Green function in the vicinity of the massless (critical) case, and the recovery of Euclidean isotropy in the massless limit. This provides a prototype for the expected but unproven long-distance behaviour of near-critical two-point functions in statistical mechanical models such as percolation, the Ising model, and the self-avoiding walk above their upper critical dimensions.

math.PR↗

arXiv2020

The near-critical two-point function and the torus plateau for weakly self-avoiding walk in high dimensions

We use the lace expansion to study the long-distance decay of the two-point function of weakly self-avoiding walk on the integer lattice $\mathbb{Z}^d$ in dimensions $d>4$, in the vicinity of the critical point, and prove an upper bound $|x|^{-(d-2)}\exp[-c|x|/\xi]$, where the correlation length $\xi$ has a square root divergence at the critical point. As an application, we prove that the two-point function for weakly self-avoiding walk on a discrete torus in dimensions $d>4$ has a "plateau." We also discuss the significance and consequences of the plateau for the analysis of critical behaviour on the torus.

math.PR↗

arXiv2020

A simple convergence proof for the lace expansion

We use the lace expansion to give a simple proof that the critical two-point function for weakly self-avoiding walk on $\mathbb{Z}^d$ has decay $|x|^{-(d-2)}$ in dimensions $d>4$. The proof uses elementary Fourier analysis and the Riemann--Lebesgue Lemma.

math.PR↗

arXiv2020

Kotani's Theorem for the Fourier Transform

In 1991, Shinichi Kotani proved a theorem giving a sufficient condition to conclude that a function $f(x)$ on ${\mathbb Z}^d$ decays like $|x|^{-(d-2)}$ for large $x$, assuming that its Fourier transform $\hat f(k)$ is such that $|k|^{2}\hat f(k)$ is well behaved for $k$ near zero. The proof was not published. We prove an extension of Kotani's Theorem, based on Kotani's unpublished proof.

math.PR↗

arXiv2019

Mean-field tricritical polymers

We provide an introductory account of a tricritical phase diagram, in the setting of a mean-field random walk model of a polymer density transition, and clarify the nature of the density transition in this context. We consider a continuous-time random walk model on the complete graph, in the limit as the number of vertices $N$ in the graph grows to infinity. The walk has a repulsive self-interaction, as well as a competing attractive self-interaction whose strength is controlled by a parameter $g$. A chemical potential $\nu$ controls the walk length. We determine the phase diagram in the $(g,\nu)$ plane, as a model of a density transition for a single linear polymer chain. A dilute phase (walk of bounded length) is separated from a dense phase (walk of length of order $N$) by a phase boundary curve. The phase boundary is divided into two parts, corresponding to first-order and second-order phase transitions, with the division occurring at a tricritical point. The proof uses a supersymmetric representation for the random walk model, followed by a single block-spin renormalisation group step to reduce the problem to a 1-dimensional integral, followed by application of the Laplace method for an integral with a large parameter.

math-ph↗