Uniform mixing time for random walk on lamplighter graphs

Abstract

Soit $\mathcal{G} $ un graphe connexe fini et $X$ une marche aléatoire fainéante sur $\mathcal{G} $. La chaîne de l’allumeur de réverbères $X^{\diamond}$ associée à $X$ est la marche aléatoire sur le groupe produit $\mathcal{G} ^{\diamond}=\mathbf{Z} _{2}\wr \mathcal{G} $, le graphe dont les sites sont des paires $(\underline{f} ,x)$ où $f$ est un label des sites de $\mathcal{G} $ par des éléments de $\mathbf{Z} _{2}=\{0,1\}$ et $x$ est un site de $\mathcal{G} $. Il existe une arête entre $(\underline{f} ,x)$ et $(\underline{g} ,y)$ dans $\mathcal{G} ^{\diamond}$ si et seulement si $x$ est adjacent à $y$ dans $\mathcal{G} $ et $f_{z}=g_{z}$ pour tout $z\neq x,y$. A chaque pas, $X^{\diamond}$ se déplace d’une configuration $(\underline{f} ,x)$ en mettant à jour $x$ vers $y$ par la règle de translation de $X$ et ensuite en mettant à jour à la fois $f_{x}$ et $f_{y}$ selon la distribution uniforme sur $\mathbf{Z} _{2}$; $f_{z}$ pour $z\neq x,y$ restant inchangé. Nous prouvons des bornes supérieures et inférieures équivalentes sur le temps de mélange uniforme de $X^{\diamond}$ sous des hypothèses faibles sur $\mathcal{G} $. En particulier quand $\mathcal{G} $ est l’hypercube $\mathbf{Z} _{2}^{d}$, nous montrons que le temps de mélange uniforme de $X^{\diamond}$ est $\varTheta(d2^{d})$. Plus généralement, nous montrons que quand $\mathcal{G} $ est le tore $\mathbf{Z} _{n}^{d}$ avec $d\geq 3$, le temps de mélange uniforme de $X^{\diamond}$ est $\varTheta(dn^{d})$ uniformément en $n$ et $d$. Un ingrédient crucial de notre preuve est une estimation de concentration pour le temps local d’une marche aléatoire dans un sous ensemble de sites.