## Abstract

We consider the problem of embedding one i.i.d. collection of Bernoulli random variables indexed by \({\mathbb {Z}}^d\) into an independent copy in an injective *M*-Lipschitz manner. For the case \(d=1\), it was shown in Basu and Sly (Probab Theory Relat Fields 159:721–775, 2014) to be possible almost surely for sufficiently large *M*. In this paper we provide a multi-scale argument extending this result to higher dimensions.

This is a preview of subscription content, log in to check access.

## Notes

- 1.
Throughout, by saying a function

*f*is bi-Lipschitz with Lipschitz constant*M*, we shall mean that for all*x*,*y*.$$\begin{aligned} \frac{1}{M}|x-y|\le |f(x)-f(y)|\le M|x-y|. \end{aligned}$$ - 2.
Although we define \(\alpha \)- canonical maps from a union of domains to another union of domains of the same shape while matching up certain of their respective sub-blocks, for the definition we only need to know the domains, and not the configurations \({\mathbb {X}}\) and \({\mathbb {Y}}\). Often we shall refer to \(\alpha \)-canonical maps between potential domains of multiblocks (i.e., union of potential domains that are compatible) \(\hat{U}_{X}\), \(\hat{U}_{Y}\) with respect to lattice animals \({\mathcal {T}}=\{{T}_1,{T}_2,\ldots ,{T}_k\}\) and \({\mathcal {T}}'=\{{T'}_1,\ldots ,{T'}_{k'}\}\), where each of these lattice animals will be assumed to be equipped with one of the corresponding potential domains.

- 3.
Observe that we can get a crude estimate of such lattice animals as follows. Starting with

*u*, enumerate the vertices of the lattice animal in the following depth first way. For any current vertex, explore any unexplored neighbour of the current vertex first. If none exists, move to the previous vertex and so on. This procedure terminated in*v*steps and at each step there are at most 8 choices for the next unexplored vertex, giving a crude upper bound of \(8^v\) of lattice animals of size*v*containing*u*. - 4.
To see this bound observe the following. We are choosing \(k'\) many sites from at most \(2vL_{j+1}\) many ones, so a crude upper bound is \((2v L_{j+1})^{(k')}/(k')!\), the given bound now follows from upper bounding \(v^{k'}/(k')!\) by \(16^{v}\).

## References

- 1.
Abért, M.: Asymptotic group theory questions. http://www.math.uchicago.edu/~abert/research/asymptotic.html (2008)

- 2.
Balister, P.N., Bollobás, B., Stacey, A.M.: Dependent percolation in two dimensions. Probab. Theory Relat. Fields

**117**, 495–513 (2000) - 3.
Basu, R., Sidoravicius, V., Sly, A.: Bi-Lipschitz expansion of measurable sets. Preprint, arXiv:1411.5673

- 4.
Basu, R., Sidoravicius, V., Sly, A.: Scheduling of non-colliding random walks. Preprint, arXiv:1411.4041

- 5.
Basu, R., Sly, A.: Lipschitz embeddings of random sequences. Probab. Theory Relat. Fields

**159**, 721–775 (2014) - 6.
Benjamini, I., Kesten, H.: Percolation of arbitrary words in \(\{0,1\}^{{\rm N}}\). Ann. Probab.

**23**(3), 1024–1060 (1995) - 7.
Coppersmith, D., Tetali, P., Winkler, P.: Collisions among random walks on a graph. SIAM J. Discrete Math.

**6**, 363 (1993) - 8.
Dirr, N., Dondl, P.W., Grimmett, G.R., Holroyd, A.E., Scheutzow, M.: Lipschitz percolation. Electron. Commun. Probab.

**15**, 14–21 (2010) - 9.
Gács, P.: Clairvoyant embedding in one dimension. Random Struct. Alg.

**47**, 520–560 (2015) - 10.
Grimmett, G.: Three problems for the clairvoyant demon. Arxiv preprint arXiv:0903.4749 (2009)

- 11.
Grimmett, G.R., Holroyd, A.E.: Geometry of Lipschitz percolation. Ann. Inst. H. Poincaré Probab. Statist.

**48**(2), 309–326 (2012) - 12.
Grimmett, G.R., Holroyd, A.E.: Plaquettes, spheres, and entanglement. Electron. J. Probab.

**15**, 1415–1428 (2010) - 13.
Grimmett, G.R., Holroyd, A.E.: Lattice embeddings in percolation. Ann. Probab.

**40**(1), 146–161 (2012) - 14.
Grimmett, G.R., Liggett, T.M., Richthammer, T.: Percolation of arbitrary words in one dimension. Random Struct. Algorithms

**37**(1), 85–99 (2010) - 15.
Hilrio, M.R., de Lima, B.N.B., Nolin, P., Sidoravicius, V.: Embedding binary sequences into bernoulli site percolation on. Stoch. Process. Appl.

**124**(12), 4171–4181 (2014) - 16.
Holroyd, A.E., Martin, J.: Stochastic domination and comb percolation. Arxiv preprint arXiv:1201.6373 (2012)

- 17.
Kesten, H., Sidoravicius, V., Zhang, Y.: Almost all words are seen in critical site percolation on the triangular lattice. Electron. J. Probab.

**3**, 1–75 (1998) - 18.
Kesten, H., Sidoravicius, V., Zhang, Y.: Percolation of arbitrary words on the close-packed graph of \(\mathbb{Z}^2\). Electron. J. Probab.

**6**(4), 27 (2001). (electronic) - 19.
Peled, R.: On rough isometries of poisson processes on the line. Ann. Appl. Probab.

**20**, 462–494 (2010) - 20.
Winkler, P.: Dependent percolation and colliding random walks. Random Struct. Algorithms

**16**(1), 58–84 (2000)

## Acknowledgements

This work was completed when R. B. was a graduate student at the Department of Statistics at UC Berkeley and the result in this paper appeared in Chapter 4 of his Ph.D. dissertation at UC Berkeley: *Lipschitz Embeddings of Random Objects and Related Topics, 2015*. R. B. gratefully acknowledges the support of UC Berkeley graduate fellowship. V. S. was supported by CNPq grant Bolsa de Produtividade. A. S. was supported by NSF grant DMS-1352013, and a Simons Investigator grant. We also thank an anonymous referee for many useful comments and suggestions that helped improve both the technical and editorial quality of the paper.

## Author information

### Affiliations

### Corresponding author

## Rights and permissions

## About this article

### Cite this article

Basu, R., Sidoravicius, V. & Sly, A. Lipschitz embeddings of random fields.
*Probab. Theory Relat. Fields* **172, **1121–1179 (2018). https://doi.org/10.1007/s00440-017-0826-5

Received:

Revised:

Published:

Issue Date:

### Mathematics Subject Classification

- 60K35