Coupling between Brownian motion and random walks on the infinite percolation cluster

Abstract

For the supercritical Bernoulli bond percolation on ${\mathbb{Z}}^d$ ($d\ge 2$), we give a coupling between the random walk on the infinite cluster and its limit Brownian motion, such that the maximum distance between the paths during $[0,T]$ has a mean of order $T^{\frac{1}{3}+o(1)}$. The construction of the coupling utilizes the optimal transport tool. The analysis mainly relies on local CLT and the concentration of the cluster density. This partially answers an open question posed by Biskup [Probab. Surv., 8:294-373, 2011]. As a direct application, our result recovers the law of the iterated logarithm proved by Duminil-Copin [arXiv:0809.4380], and further identifies the limit constant.

31 pages, 2 figures

References in corpus (17)

• The Skorokhod embedding problem and its offspring
• Quenched invariance principle for simple random walk on percolation clusters
• Random walks on supercritical percolation clusters
• An optimal error estimate in stochastic homogenization of discrete elliptic equations
• Recent progress on the Random Conductance Model
• Quantitative stochastic homogenization and large-scale regularity
• An optimal variance estimate in stochastic homogenization of discrete elliptic equations
• Quantitative results on the corrector equation in stochastic homogenization
• The additive structure of elliptic homogenization
• Lipschitz regularity for elliptic equations with random coefficients
• Invariance principle for the random conductance model with unbounded conductances
• A stable marriage of Poisson and Lebesgue
• Elliptic regularity and quantitative homogenization on percolation clusters
• Invariance principle for the random conductance model in a degenerate ergodic environment
• Mesoscopic higher regularity and subadditivity in elliptic homogenization
• Stein's method for normal approximation in Wasserstein distances with application to the multivariate Central Limit Theorem
• Quantitative homogenization of the parabolic and elliptic Green's functions on percolation clusters