Noise sensitivity and stability on groups

Abstract.

We discuss finitely generated infinite groups on which natural random walks are noise sensitive in total variation as well as ones on which natural random walks are noise stable in total variation.

1. Introduction

Let $\Gamma$ be a countable group and $\mu$ be a probability measure on it. A $\mu$-random walk $\{w_{n}\}_{n\in{\mathbb{Z}}_{+}}$ starting from the identity ${\rm id}$ is defined by $w_{n}:=x_{1}\cdots x_{n}$ and $w_{0}:={\rm id}$ for an independent, identically distributed sequence $x_{1},x_{2},\dots$ with the common law $\mu$. The distribution of $w_{n}$ is the $n$-fold convolution $\mu_{n}:=\mu^{\ast n}$. For a real $\rho\in[0,1]$, let

$$\pi^{\rho}:=\rho\mu\times\mu+(1-\rho)\mu_{{\rm diag}}\quad\text{on $\Gamma\times\Gamma$},$$

where $\mu\times\mu$ denotes the product measure and $\mu_{{\rm diag}}((x,y)):=\mu(x)$ if $x=y$ and $0$ otherwise. Let us consider a $\pi^{\rho}$-random walk $\{{\bm{w}}_{n}\}_{n\in{\mathbb{Z}}_{+}}$ starting from the identity on $\Gamma\times\Gamma$. On the one hand, we say that the $\mu$-random walk is noise sensitive in total variation if

$$\lim_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=0\quad\text{for all $\rho\in(0,1]$}.$$

In the above, the total variation distance coincides with the half of $\ell^{1}$-norm,

$$\|\nu_{1}-\nu_{2}\|_{\rm TV}=\max_{A\subset\Gamma\times\Gamma}|\nu_{1}(A)-\nu_{2}(A)|=\frac{1}{2}\sum_{{\bm{x}}\in\Gamma\times\Gamma}|\nu_{1}({\bm{x}})-\nu_{2}({\bm{x}})|,$$

where $\nu_{i}$ are probability measures on $\Gamma\times\Gamma$, $i=1,2$. On the other hand, we say that the $\mu$-random walk is noise stable in total variation if

$$\lim_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=1\quad\text{for all $\rho\in[0,1)$}.$$

This latter notion is a strong negation of the former. Since we use only total variation distance in the definitions, let us simply say noise sensitive or noise stable respectively if there is no danger of confusion.

If a $\mu$-random walk on $\Gamma$ is noise sensitive, then informally speaking, the situation is as in the following: For each fixed $\rho\in(0,1]$ even though it is close to $0$, independent refreshes of $\rho$-portions in the increments produce an asymptotically independent copy of the original $\mu$-random walk. If a $\mu$-random walk on $\Gamma$ is noise stable, then the situation is completely opposite in the following sense: For each fixed $\rho\in[0,1)$ even though it is close to $1$, independent refreshes of $\rho$-portions in the increments only produce a pair which is statistically distinguishable from the pair of two independent $\mu$-random walks. In this paper, we provide a class of finitely generated infinite groups on which natural random walks exhibit noise sensitive. However, we mention a class of examples on which natural random walks exhibit noise stable only in a rather weak sense, and leave it open to show that they are genuinely noise stable.

The noise sensitivity for random walks on groups was introduced by Benjamini and Brieussel in [BB23, Definition 2.1]. In their paper, they discuss the notion and the variants not only in total variation (there it is called $\ell^{1}$-noise sensitivity) but also in other distances or in terms of entropy. See also a related discussion in [Kal18, Section 3.3.4]. It has been observed that on finite groups random walks are noise sensitive in all natural notions [BB23, Proposition 5.1]. This raises a challenge to find finitely generated infinite groups on which random walks are noise sensitive. Further the problem becomes more restrictive by measuring the distance in total variation. A simple observation on the local central limit theorem shows that standard random walks on finite rank free abelian groups ${\mathbb{Z}}^{m}$ are neither noise sensitive nor noise stable (see Appendix A). Benjamini and Brieussel have shown that on the infinite dihedral group some lazy simple random walk is noise sensitive [ibid. Theorem 1.4]. So far, this has been the only known random walk which is noise sensitive in total variation on a finitely generated infinite group. We provide a class of such groups on which natural random walks are noise sensitive.

Theorem 1.1.

Let $(\Gamma,S)$ be an affine Weyl group, and $\mu$ be a probability measure on $\Gamma$ such that the support of $\mu$ equals $S\cup\{{\rm id}\}$. For all $\rho\in(0,1]$,

$$\lim_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=0,$$

i.e., the $\mu$-random walk on $\Gamma$ is noise sensitive in total variation.

Theorem 1.1 is shown in Theorem 2.10. The infinite dihedral group

$$D_{\infty}:=\langle s_{1},s_{2}\mid s_{1}^{2}=s_{2}^{2}={\rm id}\rangle\quad\text{with $S=\{s_{1},s_{2}\}$}$$

is a special case of affine Weyl group called type $\widetilde{A}_{1}$. See more on explicit examples of affine Weyl groups in Section 2.8. In fact, there exist a constant $C>0$ and an integer $m>0$ such that for all large enough integer $n$,

$$\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}\leq\frac{C(\log n)^{m}}{n}.$$

In Theorem 1.1, the laziness (i.e., $\mu({\rm id})>0$) is crucial since otherwise random walk on that group is not necessarily noise sensitive. This in particular shows that the noise sensitivity is a property of the random walk rather than the group as it has been pointed out in [BB23]. Let us note that the $\mu$-random walk on the infinite dihedral group considered there has a particular form: $\mu(s_{1})=\mu(s_{2})=\mu({\rm id})=1/3$. It is not already clear from their proof that changing the laziness (i.e., the measure on the identity element) would still provide a noise sensitive random walk. We show that this is indeed the case, furthermore, $\mu$ is allowed to be a non-uniform distribution on $S\cup\{{\rm id}\}$.

Let us discuss the noise stability. The following is known for a finitely supported probability measure $\mu$: Either if the group $\Gamma$ admits a surjective homomorphism onto ${\mathbb{Z}}$, or if $(\Gamma,\mu)$ is non-Liouville, i.e., there exists a non-constant bounded $\mu$-harmonic function on $\Gamma$, then a $\mu$-random walk on $\Gamma$ is not noise sensitive [BB23, Theorem 1.1]. In a more specific class of $(\Gamma,\mu)$ (where possibly $\Gamma$ does or does not admit a surjective homomorphism onto ${\mathbb{Z}}$), a strong negation of noise sensitivity has been shown for non-elementary word hyperbolic groups, e.g., free groups of rank at least $2$. In which case, we say that $\mu$ is non-elementary if the support generates as a group a subgroup which contains an isomorphic copy of free group of rank $2$. If $\mu$ is non-elementary and has a finite first moment, then there exists a $\rho_{0}\in(0,1]$ such that $\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}\to 1$ as $n\to\infty$ for all $\rho\in[0,\rho_{0})$ [Tan22, Theorem 1.3]. In this generality, it has not been known as to whether it holds that $\rho_{0}=1$. Note that it is rather straightforward to check this for simple random walks on free semi-groups of rank at least $2$, cf. [ibid, Introduction].

Outlines of proofs

Let us discuss the noise sensitivity result in Theorem 1.1. An affine Weyl group $(\Gamma,S)$ with the standard set of generators $S$ is associated with some Euclidean space ${\mathbb{R}}^{m}$. The group $\Gamma$ acts on ${\mathbb{R}}^{m}$ isometrically and generators act as reflections relative to hyperplanes. The $\Gamma$ has the form $\Lambda\rtimes W$ where $\Lambda$ is identified with a lattice in ${\mathbb{R}}^{m}$ and $W$ is a finite group (called a spherical Weyl group). There is a point $o$ in ${\mathbb{R}}^{m}$ such that the orbit map $\Phi:x\mapsto x.o$ is injective. Taking a conjugate by a translation if necessary, we assume that $o$ is the origin in ${\mathbb{R}}^{m}$ (see Section 2.1 for the precise discussion). A main ingredient is to establish a local central limit theorem (Theorem 2.6). We define a discrete normal distribution ${\mathcal{N}}^{\Phi}_{n\SS}$ on $\Gamma$ induced from the normalized restriction on $\Phi(\Gamma)$ of the $m$-dimensional Gaussian density function with a covariance matrix $n\SS$. Further we show the following: The distribution $\mu_{n}$ is approximated by ${\mathcal{N}}^{\Phi}_{n\SS}$ uniformly on $\Gamma$ within an error of order $n^{-\frac{m}{2}-1}$ as $n$ tends to infinity. The local central limit theorem itself follows from a classical argument based on characteristic functions. Some more general results (other than the Cayley graphs of affine Weyl groups) have been known, e.g., in [KS83], [PS94], [KSS98] and [Sun13]. We provide the proof of the local central limit theorem in our setting with an error estimate. Furthermore, we use an explicit form of matrix $\SS$ in terms of harmonic $1$-forms on a finite quotient graph of the Cayley graph by the lattice $\Lambda$. The matrix $\SS$ is obtained as some limiting form, which is known in the literature of symbolic dynamics, however, the explicit form in Theorem 2.6 plays an important role.

We apply this discussion to $(\Gamma\times\Gamma,\pi^{\rho})$ for $\rho\in(0,1]$. The local central limit theorem enables us to show that there exists a constant $C>0$ such that for all large enough $n$,

$$\|\pi^{\rho}_{n}-{\mathcal{N}}^{\Phi}_{n\SS^{\rho}}\|_{\rm TV}\leq\frac{C(\log n)^{m}}{n}.$$

(See Theorem 2.8.) This bound is sharp up to the factor $O((\log n)^{m})$ (Remark 2.9). If $\mu$ has the support $S\cup\{{\rm id}\}$, then $\pi^{\rho}$ has the support $(S\cup\{{\rm id}\})^{2}$ consisting of element of order at most $2$. The explicit formula of the covariance matrix implies that $\SS^{\rho}$ has a block diagonal form and $\SS^{\rho}=\SS^{1}$ for all $\rho\in(0,1]$. (This is the only part where we use the particular structure of the generating sets.) Thus by the triangle inequality we conclude Theorem 1.1 (in Theorem 2.10). Let us note that if the support of $\mu$ does not contain ${\rm id}$, then the support of $\pi^{\rho}$ does not generate the group $\Gamma\times\Gamma$ (cf. Section 2.7). Furthermore, there is an example of noise sensitive random walk on the infinite dihedral group $D_{\infty}$ not covered by this statement; see Section 2.8.1.

Organization

In Section 2, we show the local central limit theorem in a slightly extended setting (Theorem 2.6) and deduce the noise sensitivity for affine Weyl groups (Theorem 2.10); explicit examples are presented in Section 2.8. In Appendix A, we include a result (Theorem A.1) on ${\mathbb{Z}}^{m}$ for the sake of convenience.

Notations

For a constant $C$, we write $C=C_{\SS}$ to indicate its dependence on $\SS$. For non-negative real valued functions $f$ and $g$ on a common (sub-)set of non-negative integers ${\mathbb{Z}}_{+}$, we write $f(n)=O(g(n))$ or $f\ll g$ if there exists a constant $C$ such that $f(n)\leq Cg(n)$ for all large enough $n$. Also, $f(n)=O_{\SS}(g(n))$ if $C=C_{\SS}$ in the above notation. Further we write $f(n)=\Omega(g(n))$ if there exists a constant $c>0$ such that $f(n)\geq cg(n)$ for all large enough $n$, and $f(n)=\Theta(g(n))$ if $f\ll g$ and $g\ll f$. For a set $A$, we denote by $\#A$ the cardinality.

2. Noise sensitivity

For a group $\Gamma$ and for a subset $A$ in $\Gamma$, we write $\Gamma=\langle A\rangle$ if $\Gamma$ is generated by $A$ as a semigroup, i.e., every element in $\Gamma$ is obtained as a product of some finite sequence of elements from $A$. Let $\Gamma$ be a finitely generated group with a finite symmetric set of generators $S$, i.e., $\Gamma=\langle S\rangle$ and $S$ is invariant under the map $s\mapsto s^{-1}$. It holds that, in fact, $s=s^{-1}$ for all $s\in S$ if $S$ consists of involutions. (This is the case of an (affine) Weyl group $(\Gamma,S)$ in the following discussion.) Let ${\rm Cay}(\Gamma,S)$ be the (right) Cayley graph of $\Gamma$ with respect to $S$, i.e., the set of vertices is $\Gamma$ and an edge $\{x,y\}$ is defined if and only if $x^{-1}y\in S$. Since $S$ is invariant under $s\mapsto s^{-1}$, the Cayley graph is defined as an undirected graph. For $x\in\Gamma$, let $|x|_{S}$ denote the word norm with respect to $S$, i.e., the graph distance between ${\rm id}$ and $x$ in ${\rm Cay}(\Gamma,S)$.

2.1. Affine Weyl groups

Let $(\Gamma,S)$ be an affine Weyl group where $S$ is a canonical finite set of generators, consisting of involutions, i.e., $s^{2}={\rm id}$ for every $s\in S$. The group $\Gamma$ admits a semi-direct product structure $\Gamma=\Lambda\rtimes W$ where the subgroup $W$ called the spherical Weyl group is finite and the normal subgroup $\Lambda$ is isomorphic to a free abelian group of finite rank. For a thorough background on the subject, we refer to [AB08].

The group $\Gamma$ is equipped with an isometric action on the standard Euclidean space ${\mathbb{R}}^{m}$ for some $m\geq 1$, where each generator $s\in S$ acts as a reflection with respect to an affine hyperplane. The action is properly discontinuous and admits a relatively compact convex fundamental domain with nonempty interior $C_{0}$ called a chamber. The group $\Gamma$ acts on the set of chambers ${\mathcal{C}}:=\{xC_{0}\}_{x\in\Gamma}$ simply transitively, i.e., for all $C_{1},C_{2}\in{\mathcal{C}}$ there exists $x\in\Gamma$ such that $C_{1}=xC_{2}$, and if $xC_{0}=C_{0}$, then $x={\rm id}$. The normal subgroup $\Lambda$ acts freely (i.e., without fixed points) as translations on ${\mathbb{R}}^{m}$. The $\Lambda$-orbit of the origin is a lattice:

$$\big{\{}a_{1}v_{1}+\cdots+a_{m}v_{m}:a_{1},\dots,a_{m}\in{\mathbb{Z}}\big{\}},$$

where $v_{1},\dots,v_{m}$ form a basis in ${\mathbb{R}}^{m}$. We identify $\Lambda$ with the lattice in ${\mathbb{R}}^{m}$. Note that the action of $W$ preserves $\Lambda$.

The affine Weyl group $(\Gamma,S)$ is called reducible if there exist nontrivial affine Weyl groups generated by $S_{1}$ and $S_{2}$ respectively with $S=S_{1}\times\left\{{\rm id}\right\}\cup\left\{{\rm id}\right\}\times S_{2}$ for which $\Gamma=\langle S_{1}\rangle\times\langle S_{2}\rangle$, and irreducible otherwise. The group $\Gamma$ we consider is possibly (and basically) reducible. Irreducible ones are completely classified in terms of root systems. For example, the affine Weyl group of type $\widetilde{A}_{1}$ is the infinite dihedral group

$$\langle s_{1},s_{2}\mid s_{1}^{2}=s_{2}^{2}={\rm id}\rangle,$$

where $s_{1}$ and $s_{2}$ act as reflections with respect to $0$ (the origin) and $1$ respectively in ${\mathbb{R}}$. A chamber has the form of interval $[0,1)$.

Let us fix a point $o$ in the interior of a chamber and define

$$\Phi:\Gamma\to{\mathbb{R}}^{m},\quad x\mapsto x.o.$$

The map $\Phi$ is injective since $\Gamma$ acts on the set of chambers simply transitively, and is $\Gamma$-equivariant, i.e., $\Phi(xy)=x.\Phi(y)$ for all $x,y\in\Gamma$. Let us call $\Phi:\Gamma\to{\mathbb{R}}^{m}$ an associated equivariant embedding. Since the generators act as reflections with respect to affine hyperplanes, it is illustrative to consider that ${\rm Cay}(\Gamma,S)$ is realized in ${\mathbb{R}}^{m}$ via the map $\Phi$. Namely, the vertices are placed insides of the chambers as the orbit $x.o$ for $x\in\Gamma$ and an edge is a line segment connecting two vertices for which one is obtained from the other by a reflection of the form $xsx^{-1}$ for $s\in S$ and $x\in\Gamma$.

The group $\Lambda$ itself acts on ${\rm Cay}(\Gamma,S)$ from left freely as automorphisms of the graph. Let us consider the quotient graph $G=\Lambda\backslash{\rm Cay}(\Gamma,S)$. The graph $G=(V(G),E^{un}(G))$ is finite, the set of vertices $V(G)$ is $W$ and the set of edges $E^{un}(G)$ consists of undirected edges. Note, however, that $G$ is not the right Cayley graph of $W$ with respect to the image $\overline{S}$ of $S$ under the quotient map $\Lambda\rtimes W\to W$. This is because the quotient map restricted on $S$ is not bijective onto $\overline{S}$. The graph $G$ has possibly multiple edges.

2.2. Pointed finite networks as quotients

The main interest is on an affine Weyl group $\Gamma$ and the canonical set of generators $S$. It is, however, useful to discuss a slightly more general setting. Let $\Gamma$ be a virtually finite rank free abelian group, i.e., $\Gamma$ admits a finite rank free abelian group $\Lambda$ as a finite index subgroup. We assume that $\Gamma$ acts on an ${\mathbb{R}}^{m}$ isometrically with a relatively compact fundamental domain with nonempty interior, and that $\Lambda$ acts as translations and is identified with a lattice in ${\mathbb{R}}^{m}$. Let us fix a point $o$ in the interior of such a fundamental domain of $\Gamma$ and define $\Phi:\Gamma\to{\mathbb{R}}^{m}$ by $x\mapsto x.o$. The map $\Phi$ is equivariant with $\Gamma$-actions and injective. For a finite symmetric set of generators $S$ in $\Gamma$, let

$$G:=\Lambda\backslash{\rm Cay}(\Gamma,S).$$

The quotient $G=(V(G),E^{un}(G))$ is a finite (undirected) graph possibly with multiple edges (whence a multi-graph) and with loops. It holds that $V(G)=\Lambda\backslash\Gamma$ and

$$E^{un}(G)=\{\{x,x.s\}\ :\ x\in\Lambda\backslash\Gamma,\ s\in S\},$$

where $\{x,x.s\}$ and $\{x.s,x\}$ are identified.

Let $\mu$ be a probability measure on $\Gamma$ such that the support ${\rm supp}\,\mu$ of $\mu$ is finite, that $\Gamma=\langle{\rm supp}\,\mu\rangle$, and that $\mu$ is symmetric, i.e., $\mu(s)=\mu(s^{-1})$ for every $s\in{\rm supp}\,\mu$. If we define $S={\rm supp}\,\mu$, then $S$ is a finite symmetric set of generators, and $\mu$ defines a Markov chain on $G=\Lambda\backslash{\rm Cay}(\Gamma,S)$. Namely, the transition probability is defined by

$$p(x,x.s):=\mu(s)\quad\text{for $x\in\Lambda\backslash\Gamma$ and $s\in S$}.$$

Note that this Markov chain is irreducible, i.e., it visits every vertex from every other vertex after some time since $\Gamma=\langle{\rm supp}\,\mu\rangle$. Furthermore, it is reversible with respect to the uniform distribution $\pi$ on the set of vertices $V(G)=\Lambda\backslash\Gamma$. Indeed, since $\mu$ is symmetric, it holds that

$$\pi(x)p(x,x.s)=\pi(x.s)p(x.s,x)\quad\text{for $x\in\Lambda\backslash\Gamma$ and $s\in S$},$$ (2.1)

where $\pi(x)=1/\#V(G)$ for $x\in V(G)$. Let $\overline{\mu}$ denote the pushforward under the map $\Gamma\to\Lambda\backslash\Gamma$, and $x_{0}\in\Lambda\backslash\Gamma$ denote the coset containing ${\rm id}$. Note that if $\overline{\mu}(x_{0})>0$, then

$$p(x_{0},x_{0})=\sum_{s\in S,x_{0}=x_{0}.s}\mu(s)=\overline{\mu}(x_{0})>0.$$

If $\mu({\rm id})>0$, then in fact $p(x,x)\geq\mu({\rm id})>0$ for every $x\in V(G)$. For each $\{x,y\}\in E^{un}(G)$, let us define the conductance by

$$c(x,y):=\pi(x)p(x,y).$$

This is well-defined since $c(x,y)=c(y,x)$ by (2.1). Note that $c(x,y)>0$ for all $\{x,y\}\in E^{un}(G)$. Let us call $(G,c,x_{0})$ the pointed (finite) network as the finite multi-graph $G$ equipped with the conductance $c:E^{un}(G)\to(0,\infty)$ and the point $x_{0}$ (corresponding to the coset containing ${\rm id}$).

2.3. Harmonic $1$-forms on finite graphs

Let $(G,c,x_{0})$ be the pointed finite network. Henceforth it is convenient to consider $G$ as a graph with orientations where each edge (and loop) has both possible orientations. Let

$$E(G):=\big{\{}(x,y),(y,x)\ :\ \{x,y\}\in E^{un}(G)\big{\}}.$$

For $e=(x,y)$, we write $\overline{e}=(y,x)$. The “reversing direction” operation $\overline{\ \cdot\ }:E(G)\to E(G)$, $e\mapsto\overline{e}$, defines a bijection and $\overline{\overline{e}}=e$ for $e\in E(G)$. For $e=(x,y)\in E(G)$, let us denote by $oe:=x$ the origin and by $te:=y$ the terminus of $e$ respectively. We have that $o\overline{e}=te$ for $e\in E(G)$. Let us also consider ${\rm Cay}(\Gamma,S)$ as a graph with orientations, defining both possible orientations for each edge and loop. Letting $c(e):=c(x,y)$ and $p(e):=p(x,y)$ for $e=(x,y)$, we have that $c(e)=c(\overline{e})$ and $c(e)=\pi(oe)p(e)$ for $e\in E(G)$. It holds that by the definition of conductance,

$$\pi(x)=\sum_{e\in E_{x}}c(e),\quad\text{where $E_{x}:=\big{\{}e\in E(G)\ :\ oe=x\big{\}}$ for $x\in V(G)$}.$$

Let us define the ${\mathbb{C}}$-linear space of complex-valued functions on $V(G)$ by

$$C^{0}(G,{\mathbb{C}}):=\big{\{}f:V(G)\to{\mathbb{C}}\big{\}}$$

equipped with the inner product $\langle f_{1},f_{2}\rangle_{\pi}:=\sum_{x\in V(G)}f_{1}(x)\overline{f_{2}(x)}\pi(x)$, where $\overline{a}$ stands for the complex-conjugate of $a\in{\mathbb{C}}$. Similarly, let $C^{0}(G,{\mathbb{R}})$ be the ${\mathbb{R}}$-linear space of real-valued functions on $V(G)$ endowed with the inner product as the restriction of $\langle\cdot,\cdot\rangle_{\pi}$. Further let us define the ${\mathbb{R}}$-linear space of real-valued $1$-forms on $E(G)$ by

$$C^{1}(G,{\mathbb{R}}):=\big{\{}\omega:E(G)\to{\mathbb{R}}\ :\ \text{$\omega(\overline{e})=-\omega(e)$ for $e\in E(G)$}\big{\}}$$

equipped with the inner product $\langle\omega_{1},\omega_{2}\rangle_{c}:=(1/2)\sum_{e\in E(G)}\omega_{1}(e)\omega_{2}(e)c(e)$. The differential $d:C^{0}(G,{\mathbb{R}})\to C^{1}(G,{\mathbb{R}})$ is the ${\mathbb{R}}$-linear map defined by

$$df(e):=f(te)-f(oe)\quad\text{for $e\in E(G)$}.$$

Moreover, the adjoint $d^{\ast}:C^{1}(G,{\mathbb{R}})\to C^{0}(G,{\mathbb{R}})$ with respect to the inner products is obtained by

$$d^{\ast}\omega(x):=-\sum_{e\in E_{x}}\frac{1}{\pi(x)}c(e)\omega(e)\quad\text{for $x\in V(G)$}.$$

It holds that for $f\in C^{0}(G,{\mathbb{R}})$ and $\omega\in C^{1}(G,{\mathbb{R}})$,

$$\langle df,\omega\rangle_{c}=\langle f,d^{\ast}\omega\rangle_{\pi}.$$ (2.2)

Note that if we define the transition operator $P$ on $C^{0}(G,{\mathbb{R}})$ to itself by

$$Pf(x):=\sum_{e\in E_{x}}\frac{1}{\pi(x)}c(e)f(te)\quad\text{for $x\in V(G)$},$$

then $d^{\ast}d=I-P$ where $I$ is the identity operator. Let us define the space of harmonic $1$-forms by

$$H^{1}:=\big{\{}\omega\in C^{1}(G,{\mathbb{R}})\ :\ d^{\ast}\omega=0\big{\}}.$$

Note that $H^{1}=({\rm Im}\,d)^{\bot}$ the orthogonal complement of the image ${\rm Im}\,d$ by (2.2). The fact that we use in the sequel is that for every $1$-form $\omega\in C^{1}(G,{\mathbb{R}})$ there exists a unique harmonic $1$-form $u\in H^{1}$ and some $f\in C^{0}(G,{\mathbb{R}})$ such that

$$u+df=\omega.$$

The $u$ is obtained as the $H^{1}$-part in the orthogonal decomposition $C^{0}(G,{\mathbb{R}})=H^{1}\oplus{\rm Im}\,d$. Note that $f$ is not unique since every $f$ added a constant function satisfies the relation.

Remark 2.1.

If we endow $G$ with a structure of $1$-dimensional CW complex, then the $1$-cohomology group with real coefficient is defined as $H^{1}(G,{\mathbb{R}}):=C^{1}(G,{\mathbb{R}})/{\rm Im}\,d$. The fact mentioned above means that every $1$-cohomology class is represented by a unique harmonic $1$-form. Although all these notions are not needed in our discussion, it might be useful to grasp an idea behind some of our computations.

2.4. Perturbations of transfer operators

For each $1$-form $\omega\in C^{1}(G,{\mathbb{R}})$, let us define the transfer operator on $C^{0}(G,{\mathbb{C}})$ by

$${\mathcal{L}}_{\omega}f(x):=\sum_{e\in E_{x}}p(e)e^{2\pi i\omega(e)}f(te)\quad\text{for $x\in V(G)$}.$$

Here $i=\sqrt{-1}$. In this particular setting where $\mu$ is symmetric, the transfer operator is self-adjoint on $(C^{0}(G,{\mathbb{C}}),\langle\cdot,\cdot\rangle_{\pi})$. Hence it has real eigenvalues. Let $\lambda(\omega)$ be the largest eigenvalue of ${\mathcal{L}}_{\omega}$. If $\omega=0$, then $\lambda(0)=1$ and this is a simple eigenvalue by the Perron-Frobenius theorem since ${\mathcal{L}}_{0}=P$ and $P$ is irreducible. We apply to an analytic perturbation in $\omega$: For a small enough neighborhood $U$ of $0$ in $C^{1}(G,{\mathbb{R}})$, the function $U\to{\mathbb{R}}$, $\omega\mapsto\lambda(\omega)$ is real analytic. Moreover, corresponding eigenvectors $f_{\omega}$ depend analytically in $\omega\in U$ with $f_{0}={\bf 1}$ (the constant vector with all $1$’s). This follows from the implicit function theorem for $\det(tI-{\mathcal{L}}_{\omega})=0$ around $(t,\omega)=(1,0)$ in this finite graph setting. Note that if we consider $\omega+d\varphi$ for $\varphi\in C^{0}(G,{\mathbb{R}})$ in place of $\omega$, then ${\mathcal{L}}_{\omega+d\varphi}=e^{-2\pi i\varphi}{\mathcal{L}}_{\omega}e^{2\pi i\varphi}$, where $(e^{\varphi}f)(x):=e^{\varphi(x)}f(x)$ for $x\in V(G)$, and thus

$$\lambda(\omega+d\varphi)=\lambda(\omega).$$

This shows that $\lambda(\omega)$ depends only on the harmonic $H^{1}$-part of $\omega$. Let

$$\beta(\omega):=\log\lambda(\omega).$$

Since ${\mathcal{L}}_{0}=P$ which has a simple eigenvalue $\lambda(0)=1$, there exists a small enough open neighborhood $U$ of $0$ in $C^{1}(G,{\mathbb{R}})$ such that $\lambda(\omega)$ is a simple eigenvalue of ${\mathcal{L}}_{\omega}$ and $\beta(\omega)=\log\lambda(\omega)$ is well-defined for all $\omega\in U$. It holds that $\beta(0)=0$ since $\lambda(0)=1$.

Lemma 2.2.

Let $\lambda(\omega)=e^{\beta(\omega)}$ and $f_{\omega}$ be the eigenvalue and the corresponding eigenvector of ${\mathcal{L}}_{\omega}$ such that $f_{0}={\bf 1}$ and $\langle f_{\omega},{\bf 1}\rangle_{\pi}=1$ for $\omega\in U$ where $U$ is a neighborhood of $0$ in $C^{1}(G,{\mathbb{R}})$. For all harmonic $1$-forms $u,u_{i}\in H^{1}$ on $G$ and real parameters $r,r_{i}$ for $i=1,2,3$, the following holds:

$$\frac{d}{dr}\Big{|}_{r=0}\beta(ru)=0,$$ (2.3)

$$\frac{d}{dr}\Big{|}_{r=0}f_{ru}(x)=0\quad\text{for all $x\in V(G)$},$$ (2.4)

$$\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}\beta(r_{1}u_{1}+r_{2}u_{2})=-4\pi^{2}\sum_{e\in E(G)}u_{1}(e)u_{2}(e)c(e),$$ (2.5)

and

$$\frac{\partial^{3}}{\partial r_{1}\partial r_{2}\partial r_{3}}\Big{|}_{(r_{1},r_{2},r_{3})=(0,0,0)}\beta(r_{1}u_{1}+r_{2}u_{2}+r_{3}u_{3})=0.$$ (2.6)

Proof.

Let $f_{\omega}$ be the eigenvector normalized as stated. Since $\overline{{\mathcal{L}}_{\omega}f_{\omega}}={\mathcal{L}}_{-\omega}\overline{f_{\omega}}$ holds for all $\omega$ and $\lambda(\omega)$ is real for all $\omega$ in a small enough neighborhood of $0$ in $C^{1}(G,{\mathbb{R}})$, it holds that $\lambda(-\omega)=\overline{\lambda(\omega)}=\lambda(\omega)$. Thus $\beta(-\omega)=\beta(\omega)$ for all $\omega\in U$ and all odd time derivatives of $\beta$ at $0$ vanish. This in particular implies (2.3) and (2.6).

For every $1$-form $u$, it holds that $ru\in U$ for all small enough real $r$ and

$$\left\langle\frac{d}{dr}\Big{|}_{r=0}f_{ru},{\bf 1}\right\rangle_{\pi}=0.$$ (2.7)

Moreover, since $P$ is self-adjoint with respect to $\langle\cdot,\cdot\rangle_{\pi}$ and $P{\bf 1}={\bf 1}$, by (2.7) it holds that

$$\left\langle P\left(\frac{d}{dr}\Big{|}_{r=0}f_{ru}\right),{\bf 1}\right\rangle_{\pi}=\left\langle\frac{d}{dr}\Big{|}_{r=0}f_{ru},P{\bf 1}\right\rangle_{\pi}=\left\langle\frac{d}{dr}\Big{|}_{r=0}f_{ru},{\bf 1}\right\rangle_{\pi}=0.$$ (2.8)

We will also use the analogous identities to (2.7) and (2.8) for the second derivatives of the normalization: $\langle f_{\omega},{\bf 1}\rangle_{\pi}=1$ for $\omega\in U$.

First differentiating ${\mathcal{L}}_{ru}f_{ru}=e^{\beta(ru)}f_{ru}$ at $r=0$ yields for each $x\in V(G)$,

$$\sum_{e\in E_{x}}\left(p(e)(2\pi iu(e))+p(e)\frac{d}{dr}\Big{|}_{r=0}f_{ru}(te)\right)=\frac{d}{dr}\Big{|}_{r=0}\beta(ru)+\frac{d}{dr}\Big{|}_{r=0}f_{ru}(x),$$ (2.9)

where we have used $f_{0}={\bf 1}$. Let us note that (2.9) above yields by (2.3) which we have just shown and by that $d^{\ast}u=0$,

$$P\left(\frac{d}{dr}\Big{|}_{r=0}f_{ru}\right)(x)=\frac{d}{dr}\Big{|}_{r=0}f_{ru}(x)\quad\text{for each $x\in V(G)$}.$$

Since $P$ has the simple eigenvalue $1$, this implies that $(d/dr)|_{r=0}f_{ru}$ is constant. By (2.7), for every harmonic $1$-from $u$, it holds that $(d/dr)|_{r=0}f_{ru}(x)=0$ for all $x\in V(G)$, showing (2.4).

For all $1$-forms $u_{1}$ and $u_{2}$ and for all small enough reals $r_{1}$ and $r_{2}$, it holds that

$${\mathcal{L}}_{r_{1}u_{1}+r_{2}u_{2}}f_{r_{1},r_{2}}=e^{\beta_{r_{1},r_{2}}}f_{r_{1},r_{2}}\quad\text{where $\beta_{r_{1},r_{2}}:=\beta(r_{1}u_{1}+r_{2}u_{2})$ and $f_{r_{1},r_{2}}:=f_{r_{1}u_{1}+r_{2}u_{2}}$}.$$

Taking the second derivatives at $(r_{1},r_{2})=(0,0)$ of both terms yields by (2.3), (2.4) and that $f_{0}={\bf 1}$, for each $x\in V(G)$,

$$\sum_{e\in E_{x}}\Bigg{(}p(e)(-4\pi^{2}u_{1}(e)u_{2}(e))+p(e)\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}f_{r_{1},r_{2}}(te)\Bigg{)}$$

$$\qquad\qquad\qquad\qquad\qquad\qquad=\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}\beta_{r_{1},r_{2}}+\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}f_{r_{1},r_{2}}(x).$$

Evaluating the inner products of the above terms with ${\bf 1}$ leads

$$-4\pi^{2}\sum_{e\in E(G)}c(e)u_{1}(e)u_{2}(e)+\left\langle P\left(\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}f_{r_{1},r_{2}}\right),{\bf 1}\right\rangle_{\pi}$$

$$\qquad\qquad\qquad\qquad\qquad\qquad=\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}\beta_{r_{1},r_{2}}+\left\langle\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}f_{r_{1},r_{2}},{\bf 1}\right\rangle_{\pi}.$$

The second terms in the left hand side and in the right hand side respectively are $0$ since they are the second derivatives on the normalization (cf. (2.7) and (2.8)). This proves (2.5). ∎

2.5. An explicit Hessian formula in terms of harmonic $1$-forms

Recall that $\Phi:\Gamma\to{\mathbb{R}}^{m}$, $x\mapsto x.o$. Taking a conjugate to the action of $\Gamma$ by a translation in ${\mathbb{R}}^{m}$, we assume that $o$ is the origin, whence $\Phi({\rm id})=0$. The function $(x,y)\mapsto\Phi(y)-\Phi(x)$ for (oriented) edges $(x,y)$ in ${\rm Cay}(\Gamma,S)$ is invariant under the action by $\Lambda$. Indeed, this follows since $\Lambda$ is identified with a lattice and acts as translations in ${\mathbb{R}}^{m}$. Therefore this descends to an ${\mathbb{R}}^{m}$-valued function on $E(G)$, which we denote by $e\mapsto\Phi_{e}$ for $e\in E(G)$. Note that $\Phi_{\overline{e}}=-\Phi_{e}$ for each $e\in E(G)$. Let $\langle\cdot,\cdot\rangle$ be the standard inner product in ${\mathbb{R}}^{m}$. For each $v\in{\mathbb{R}}^{m}$, let

$$\widehat{v}(e):=\langle v,\Phi_{e}\rangle\quad\text{for $e\in E(G)$}.$$

This $\widehat{v}$ defines a $1$-form on $G$. For $v\in{\mathbb{R}}^{m}$ near $0$, let $\beta(v):=\beta(\widehat{v})$ where $e^{\beta(v)}$ is the largest eigenvalue of the transfer operator ${\mathcal{L}}_{\widehat{v}}$. Let us define the Hessian of $\beta$ at $0$ in ${\mathbb{R}}^{m}$ with the standard coordinate $(r_{1},\dots,r_{m})$ by

$$\operatorname{\rm Hess}_{0}\beta:=\left(\frac{\partial^{2}}{\partial r_{k}\partial r_{l}}\Big{|}_{(r_{1},\dots,r_{m})=(0,\dots,0)}\beta(r_{1},\dots,r_{m})\right)_{k,l=1,\dots,m}.$$

For the pointed finite network $(G,c,x_{0})$ and $\Phi:\Gamma\to{\mathbb{R}}^{m}$, we compute $\operatorname{\rm Hess}_{0}\beta$.

Lemma 2.3.

The Hessian $\operatorname{\rm Hess}_{0}\beta$ of $\beta$ at $0$ in ${\mathbb{R}}^{m}$ is non-degenerate and negative definite. Moreover, it holds that

$$\langle v_{1},\operatorname{\rm Hess}_{0}\beta\,v_{2}\rangle=-4\pi^{2}\sum_{e\in E(G)}u_{1}(e)u_{2}(e)c(e),$$ (2.10)

where $u_{i}$ is defined as the harmonic part of $\widehat{v}_{i}$ for $v_{i}\in{\mathbb{R}}^{m}$, $i=1,2$.

Proof.

For every $v\in{\mathbb{R}}^{m}$, we have $\widehat{v}(e)=\langle v,\Phi_{e}\rangle$ for $e\in E(G)$, and $u$ is the harmonic part of $\widehat{v}$, i.e., the unique $u\in H^{1}$ such that $u+df=\widehat{v}$ for some $f\in C^{0}(G,{\mathbb{R}})$. Note that the resulting map $v\mapsto u$ is ${\mathbb{R}}$-linear. Since $\beta(v)$ depends only on the harmonic part of $v$, Lemma 2.2 (2.5) implies that

$$\langle v_{1},\operatorname{\rm Hess}_{0}\beta\,v_{2}\rangle =\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}\beta(r_{1}v_{1}+r_{2}v_{2})$$

$$=\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}\beta(r_{1}u_{1}+r_{2}u_{2})=-4\pi^{2}\sum_{e\in E(G)}u_{1}(e)u_{2}(e)c(e).$$

This shows (2.10).

Let $v_{1},\dots,v_{m}$ be a basis of the lattice in ${\mathbb{R}}^{m}$: $\Lambda=\big{\{}a_{1}v_{1}+\cdots+a_{m}v_{m}:a_{1},\dots,a_{m}\in{\mathbb{Z}}\big{\}}$. For each $v_{k}=\Phi(v_{k})\in\Lambda$ under the identification of $\Lambda$ with the lattice, there exists a path $(\widetilde{e}_{1},\dots,\widetilde{e}_{n})$ from ${\rm id}$ to $v_{k}$ in ${\rm Cay}(\Gamma,S)$ since the Cayley graph is connected. Let $(e_{1},\dots,e_{n})$ be the image in $G$ of that path under the covering map from ${\rm Cay}(\Gamma,S)$. Note that the image is a cycle: $x_{0}=oe_{1}$, $te_{i}=oe_{i+1}$ for $i=1,\dots,n-1$ and $te_{n}=x_{0}$. Thus $\sum_{l=1}^{n}df(e_{l})=0$ and $\sum_{l=1}^{n}u(e_{l})=\sum_{l=1}^{n}(u(e_{l})+df(e_{l}))=\sum_{l=1}^{n}\widehat{v}(e_{l})$. Furthermore,

$$\sum_{l=1}^{n}\widehat{v}(e_{l})=\sum_{l=1}^{n}\langle v,\Phi_{e_{l}}\rangle=\sum_{l=1}^{n}\langle v,\Phi(t\widetilde{e}_{l})-\Phi(o\widetilde{e}_{l})\rangle=\langle v,\sum_{l=1}^{n}(\Phi(t\widetilde{e}_{l})-\Phi(o\widetilde{e}_{l}))\rangle.$$

The last term equals $\langle v,v_{k}\rangle$ since $\sum_{l=1}^{n}(\Phi(t\widetilde{e}_{l})-\Phi(o\widetilde{e}_{l}))=\Phi(t\widetilde{e}_{n})-\Phi(o\widetilde{e}_{1})=v_{k}$. This shows the following: For each $k=1,\dots,m$ there exists a cycle $(e_{1},\dots,e_{n})$ in $G$ with $x_{0}=oe_{1}$ and $te_{n}=x_{0}$ such that

$$\sum_{l=1}^{n}u(e_{l})=\langle v,v_{k}\rangle.$$ (2.11)

For $v\in{\mathbb{R}}^{m}$, let us assume that $\langle v,\operatorname{\rm Hess}_{0}\beta\,v\rangle=0$. It holds that $u=0$ by (2.10), and thus $\langle v,v_{k}\rangle=0$ for every $k=1,\dots,m$ by (2.11). Hence $v=0$ since $v_{1},\dots,v_{m}$ form a basis of a lattice in ${\mathbb{R}}^{m}$. This shows that $\operatorname{\rm Hess}_{0}\beta$ is non-degenerate. Furthermore $\operatorname{\rm Hess}_{0}\beta$ is negative definite by (2.10). ∎

Remark 2.4.

Let us consider the Hessian $\operatorname{\rm Hess}_{H^{1}}\beta$ of $\beta$ at $0$ on $H^{1}$, i.e.,

$$\langle u_{1},\operatorname{\rm Hess}_{H^{1}}\beta\,u_{2}\rangle_{\pi}=\frac{\partial^{2}}{\partial r_{1}\partial r_{2}}\Big{|}_{(r_{1},r_{2})=(0,0)}\beta(r_{1}u_{1}+r_{2}u_{2})\quad\text{for $u_{1},u_{2}\in H^{1}$},$$

where $H^{1}\to H^{1}:u\mapsto\operatorname{\rm Hess}_{H^{1}}\beta\,u$ defines an ${\mathbb{R}}$-linear map. Lemma 2.2 (2.5) implies that

$$\langle u_{1},\operatorname{\rm Hess}_{H^{1}}\beta\,u_{2}\rangle_{\pi}=-4\pi^{2}\sum_{e\in E(G)}u_{1}(e)u_{2}(e)c(e),$$

which shows that $\operatorname{\rm Hess}_{H^{1}}\beta$ is non-degenerate and negative definite on $H^{1}$. There exists a natural inclusion ${\mathbb{R}}^{m}=H^{1}({\mathbb{R}}^{m}/\Lambda,{\mathbb{R}})\to H^{1}(G,{\mathbb{R}})$, represented by ${\mathbb{R}}^{m}\to H^{1}:v\mapsto u$ in Lemma 2.3. In this identification, $\operatorname{\rm Hess}_{0}\beta$ is the restriction of $\operatorname{\rm Hess}_{H^{1}}\beta$ to ${\mathbb{R}}^{m}$, and this implies that $\operatorname{\rm Hess}_{0}\beta$ is non-degenerate and negative definite. A thorough framework is found in [Sun13]. We use the explicit form of $\operatorname{\rm Hess}_{0}\beta$ later in our discussion.

2.6. Local central limit theorems

For every positive integer $n\in{\mathbb{Z}}_{>0}$, it holds that

$${\mathcal{L}}_{\widehat{v}}^{n}{\bf 1}(x_{0})=\sum_{(e_{1},\dots,e_{n})}p(e_{1})\cdots p(e_{n})e^{2\pi i(\widehat{v}(e_{1})+\cdots+\widehat{v}(e_{n}))}.$$ (2.12)

In the above the summation runs over all directed paths $(e_{1},\dots,e_{n})$ starting from $x_{0}$ in $G$, i.e., $oe_{1}=x_{0}$ and $te_{k}=oe_{k+1}$ for each $k=1,\dots,n-1$. For each such path $(e_{1},\dots,e_{n})$, there exists a unique path $(\widetilde{e}_{1},\dots,\widetilde{e}_{n})$ which is a lift of the path, starting from ${\rm id}$ in ${\rm Cay}(\Gamma,S)$. By a lift we mean that the path $(e_{1},\dots,e_{n})$ is the image of $(\widetilde{e}_{1},\dots,\widetilde{e}_{n})$ under the covering map ${\rm Cay}(\Gamma,S)\to G=\Lambda\backslash{\rm Cay}(\Gamma,S)$. The definition of the $1$-form $\widehat{v}$ on $G$ implies the following:

$$\widehat{v}(e_{1})+\cdots+\widehat{v}(e_{n}) =\langle v,\Phi_{e_{1}}\rangle+\cdots+\langle v,\Phi_{e_{n}}\rangle$$

$$=\langle v,\Phi(t\widetilde{e}_{1})-\Phi(o\widetilde{e}_{1})\rangle+\cdots+\langle v,\Phi(t\widetilde{e}_{n})-\Phi(o\widetilde{e}_{n})\rangle=\langle v,\Phi(t\widetilde{e}_{n})\rangle,$$

where $\Phi(o\widetilde{e}_{1})=\Phi({\rm id})=0$. Recall that $p(e)=\mu(s)$ for $e=(x,x.s)\in E(G)$ and $s\in S$ in the pointed finite network $(G,c,x_{0})$. By (2.12), it holds that

$${\mathcal{L}}^{n}_{\widehat{v}}{\bf 1}(x_{0})=\sum_{(\widetilde{e}_{1},\dots,\widetilde{e}_{n})}\mu(s_{1})\cdots\mu(s_{n})e^{2\pi i\langle v,\Phi(t\widetilde{e}_{n})\rangle}=\sum_{x\in\Gamma}\mu_{n}(x)e^{2\pi i\langle v,\Phi(x)\rangle}.$$

In the above, the (edge) path $(\widetilde{e}_{1},\dots,\widetilde{e}_{n})$ is represented as the (vertex) path on ${\rm id}$, $s_{1}$, $s_{1}s_{2}$, $\dots$, $s_{1}\cdots s_{n}$ in ${\rm Cay}(\Gamma,S)$. Therefore letting

$$\varphi_{\mu_{n}}(v):=\sum_{x\in\Gamma}\mu_{n}(x)e^{2\pi i\langle v,\Phi(x)\rangle}\quad\text{for $v\in{\mathbb{R}}^{m}$},$$

we have the following: For all $v\in{\mathbb{R}}^{m}$ and all $n\in{\mathbb{Z}}_{>0}$,

$${\mathcal{L}}_{\widehat{v}}^{n}{\bf 1}(x_{0})=\varphi_{\mu_{n}}(v).$$ (2.13)

Let $\Lambda^{\ast}$ be the dual lattice of $\Lambda$, i.e.,

$$\Lambda^{\ast}:=\Big{\{}a_{1}v_{1}^{\ast}+\cdots+a_{m}v_{m}^{\ast}\ :\ a_{1},\dots,a_{m}\in{\mathbb{Z}}\Big{\}},$$

where $v_{1}^{\ast},\dots,v_{m}^{\ast}$ form the dual basis of $v_{1},\dots,v_{m}$ in ${\mathbb{R}}^{m}$: $\langle v_{k}^{\ast},v_{l}\rangle=1$ if $k=l$ and $0$ else. The fundamental parallelotope of $\Lambda^{\ast}$ in ${\mathbb{R}}^{m}$ is denoted by

$$D:=\Big{\{}r_{1}v_{1}^{\ast}+\cdots+r_{m}v_{m}^{\ast}\in{\mathbb{R}}^{m}\ :\ |r_{i}|\leq 1/2,\ i=1,\dots,m\Big{\}}.$$

The volume of $D$ is assumed to be $1$ up to a homothety in ${\mathbb{R}}^{m}$. The Fourier inversion formula shows that for all $n\in{\mathbb{Z}}_{>0}$,

$$\mu_{n}(x)=\int_{D}\varphi_{\mu_{n}}(v)e^{-2\pi i\langle v,\Phi(x)\rangle}\,dv\quad\text{for $x\in\Gamma$}.$$ (2.14)

For $\delta>0$, let

$$D_{\delta}:=\Big{\{}r_{1}v_{1}^{\ast}+\cdots+r_{m}v_{m}^{\ast}\in{\mathbb{R}}^{m}\ :\ |r_{i}|<\delta,\ i=1,\dots,m\Big{\}}.$$

Lemma 2.5.

If $p(x_{0},x_{0})>0$ in the pointed finite network $(G,c,x_{0})$, then for all small enough $\delta>0$, there exists a constant $c_{\delta}>0$ such that for all $n\in{\mathbb{Z}}_{>0}$,

$$|\varphi_{\mu_{n}}(v)|\leq\sqrt{\#V(G)}\cdot e^{-c_{\delta}n}\quad\text{for all $v\in D\setminus D_{\delta}$}.$$

Proof.

This uses a standard perturbation argument; we provide a proof for the sake of completeness. For $v\in{\mathbb{R}}^{m}$, let $\|{\mathcal{L}}_{\widehat{v}}\|:=\max_{\|f\|_{\pi}=1}\|{\mathcal{L}}_{\widehat{v}}f\|_{\pi}$ where $\|\cdot\|_{\pi}$ is the associated norm in $C^{0}(G,{\mathbb{C}})$. Since ${\mathcal{L}}_{\widehat{v}}$ is self-adjoint, the eigenvalues are real and the operator norm $\|{\mathcal{L}}_{\widehat{v}}\|$ is the spectral radius $|\lambda(v)|$, i.e., the largest eigenvalue in absolute value. Note that $|\lambda(v)|\leq 1$. For $v\in D$, if $|\lambda(v)|=1$, then the condition $\mu({\rm id})>0$ implies that $v=0$ (in which case in fact $\lambda(0)\neq-1$). Indeed, for the maximal eigenvalue $\lambda(v)$ in absolute value and a corresponding eigenvector $f_{v}$, we have ${\mathcal{L}}_{\widehat{v}}f_{v}=\lambda(v)f_{v}$. Taking absolute values shows that $|f_{v}|\leq P|f_{v}|$, implying that $|f_{v}|$ is a non-zero constant since $P$ is irreducible. Further since $f_{v}$ is an eigenvector with the eigenvalue $1$ in absolute value, $\lambda(v)f_{v}(x)$ and $e^{2\pi i\langle v,\Phi_{e}\rangle}f_{v}(te)$ for $e\in E_{x}$ are on a common circle in the complex plane for each $x\in V(G)$. Since ${\mathcal{L}}_{\widehat{v}}f_{v}=\lambda(v)f_{v}$, it holds that for all $x\in V(G)$ and for all $e\in E_{x}$,

$$\lambda(v)f_{v}(x)=e^{2\pi i\langle v,\Phi_{e}\rangle}f_{v}(te).$$ (2.15)

If $p(x_{0},x_{0})>0$, then for each $v_{k}\in\Lambda$ there exist a $v^{\prime}\in\Lambda$ and an edge path (as a lift) from ${\rm id}$ to $v^{\prime}+v_{k}$ in ${\rm Cay}(\Gamma,S)$ of length with a given (in particular, even) parity. Applying to (2.15) along the image of the path in $G$ successively yields $\langle v,v^{\prime}+v_{k}\rangle\in{\mathbb{Z}}$, and thus $\langle v,v_{k}\rangle\in{\mathbb{Z}}$. This holds for a basis $v_{1},\dots,v_{k}$ of $\Lambda$, implying that $v\in\Lambda^{\ast}$. Therefore if $v\in D$, then $v=0$.

We have shown that $|\lambda(v)|<1$ for all $v\in D\setminus\{0\}$, and in this finite dimensional setting, $v\mapsto\|{\mathcal{L}}_{\widehat{v}}\|=|\lambda(v)|$ is continuous. Thus for a small enough $\delta>0$, there exists a constant $c_{\delta}>0$ such that $|\lambda(v)|\leq e^{-c_{\delta}}$ on a compact set $D\setminus D_{\delta}$. Since

$$|{\mathcal{L}}_{\widehat{v}}^{n}{\bf 1}(x_{0})|\sqrt{\pi(x_{0})}\leq\|{\mathcal{L}}_{\widehat{v}}^{n}{\bf 1}\|_{\pi}\leq|\lambda(v)|^{n}\|{\bf 1}\|_{\pi},$$

$\|{\bf 1}\|_{\pi}=1$ and $\pi(x_{0})=1/\#V(G)$, by (2.13), we conclude the claim. ∎

For an associated $\Gamma$-equivariant embedding $\Phi:\Gamma\to{\mathbb{R}}^{m}$, $x\mapsto x.o$ and a non-degenerate positive definite matrix $\SS$, let

$$\xi_{\SS}(x):=\frac{1}{(2\pi)^{\frac{m}{2}}\sqrt{\det\SS}}e^{-\frac{1}{2}\langle\Phi(x),\SS^{-1}(\Phi(x))\rangle}\quad\text{for $x\in\Gamma$}.$$

Theorem 2.6 (Local central limit theorem).

Let $\Gamma$ be a virtually finite rank abelian group acting on ${\mathbb{R}}^{m}$ isometrically with a relatively compact fundamental domain which contains the origin in the interior. Let $\mu$ be a probability measure on $\Gamma$ such that the support ${\rm supp}\,\mu$ is finite, $\Gamma=\langle{\rm supp}\,\mu\rangle$ and $\mu$ is symmetric. If the corresponding pointed finite network $(G,c,x_{0})$ satisfies that $p(x_{0},x_{0})>0$, then the following holds: There exist a non-degenerate positive definite matrix $\SS$ and a constant $C>0$ such that

$$\sup_{x\in\Gamma}|\mu_{n}(x)-\xi_{n\SS}(x)|\leq\frac{C}{n^{\frac{m}{2}+1}}\quad\text{ for all $n\in{\mathbb{Z}}_{>0}$}.$$

Moreover, the matrix $\SS$ is obtained by

$$\langle v_{1},\SS v_{2}\rangle=\sum_{e\in E(G)}u_{1}(e)u_{2}(e)c(e),$$ (2.16)

where $u_{i}$ is the harmonic part of $\widehat{v}_{i}$ for $v_{i}\in{\mathbb{R}}^{m}$ for $i=1,2$.

Proof.

For all $\delta>0$, the Fourier inversion formula (2.14) and the change of variables $v\mapsto v/\sqrt{n}$ yield the following: For $n\in{\mathbb{Z}}_{>0}$ and for $x\in\Gamma$,

$$\mu_{n}(x) =\int_{D_{\delta}}\varphi_{\mu_{n}}\left(v\right)e^{-2\pi i\langle v,\Phi(x)\rangle}\,dv+\int_{D\setminus D_{\delta}}\varphi_{\mu_{n}}(v)e^{-2\pi i\langle v,\Phi(x)\rangle}\,dv$$

$$=\frac{1}{n^{\frac{m}{2}}}\int_{D_{\delta\sqrt{n}}}\varphi_{\mu_{n}}\left(\frac{v}{\sqrt{n}}\right)e^{-2\pi i\langle v,\Phi(x)\rangle/\sqrt{n}}\,dv+\int_{D\setminus D_{\delta}}\varphi_{\mu_{n}}(v)e^{-2\pi i\langle v,\Phi(x)\rangle}\,dv.$$

Since $p(x_{0},x_{0})>0$ in the pointed finite network $(G,c,x_{0})$, Lemma 2.5 shows that for all small enough $\delta>0$, there exists a constant $c_{\delta}>0$ such that for all $n\in{\mathbb{Z}}_{>0}$,

$$\sup_{v\in D\setminus D_{\delta}}|\varphi_{\mu_{n}}(v)|=O\left(e^{-c_{\delta}n}\right).$$

Further by (2.13), up to replacing $c_{\delta}$ by a smaller positive value if necessary,

$$\varphi_{\mu_{n}}(v)=e^{n\beta(v)}\left(\langle{\bf 1},f_{v}\rangle_{\pi}f_{v}(x_{0})+O(e^{-c_{\delta}n})\right)\quad\text{for $v\in D_{\delta}$},$$

where $f_{v}:=f_{\widehat{v}}$ is an eigenvector of ${\mathcal{L}}_{\widehat{v}}$ corresponding to $e^{\beta(v)}$. By Lemma 2.3, the Hessian of $\beta$ at $0$ on ${\mathbb{R}}^{m}$ is obtained by $\operatorname{\rm Hess}_{0}\beta=-4\pi^{2}\SS$. Lemma 2.2 implies that by the Taylor theorem,

$$\beta(v)=-2\pi^{2}\langle v,\SS v\rangle+O(\|v\|^{4})\quad\text{for $v\in D_{\delta}$}.$$

Therefore for all $n\in{\mathbb{Z}}_{>0}$ and for all $v\in D_{\delta\sqrt{n}}$,

$$\beta\left(\frac{v}{\sqrt{n}}\right)=-\frac{2\pi^{2}}{n}\langle v,\SS v\rangle+O\left(\frac{\|v\|^{4}}{n^{2}}\right).$$

Replacing by $\delta$ a smaller positive constant if necessary, we have that for all $v\in D_{\delta\sqrt{n}}$,

$$e^{n\beta\left(\frac{v}{\sqrt{n}}\right)}\leq\left(1-\frac{\pi^{2}}{n}\langle v,\SS v\rangle\right)^{n}\leq e^{-\pi^{2}\langle v,\SS v\rangle}.$$

Since $|\varphi_{\mu_{n}}(v/\sqrt{n})|\leq C_{\delta}e^{-\pi^{2}\langle v,\SS v\rangle}$ for all $v\in D_{\delta\sqrt{n}}$, for all large enough $n$,

$$\frac{1}{n^{\frac{m}{2}}}\int_{D_{\delta\sqrt{n}}\setminus D_{n^{1/8}}}\Big{|}\varphi_{\mu_{n}}\left(\frac{v}{\sqrt{n}}\right)e^{-2\pi i\langle v,\Phi(x)\rangle/\sqrt{n}}\Big{|}\,dv\leq\frac{C_{\delta}}{n^{\frac{m}{2}}}\int_{D_{\delta\sqrt{n}}\setminus D_{n^{1/8}}}e^{-\pi^{2}\langle v,\SS v\rangle}\,dv$$

$$\leq\frac{C_{\delta}^{\prime}}{n^{\frac{m}{2}}}\int_{c_{0}n^{1/8}}^{c_{1}\delta\sqrt{n}}e^{-cr^{2}}r^{m-1}\,dr\leq\frac{C_{\delta}^{\prime}}{n^{\frac{m}{2}}}\int_{c_{0}n^{1/8}}^{c_{1}\delta\sqrt{n}}re^{-\alpha r^{2}}\,dr=O\left(\frac{1}{n^{\frac{m}{2}}}e^{-\alpha c_{0}^{2}n^{1/4}}\right)\ll\frac{1}{n^{\frac{m}{2}+1}}.$$

In the above, $C_{\delta},C_{\delta}^{\prime},c,c_{0},c_{1}$ and $\alpha$ (where $c>\alpha$) are positive constants; we have used the polar coordinate and the positive definiteness of $\SS$ in the second inequality, and that $e^{-cr^{2}}r^{m-1}\leq e^{-\alpha r^{2}}r$ for all large $r$ in the third inequality.

Furthermore for all $n\in{\mathbb{Z}}_{>0}$ and for all $v\in D_{n^{1/8}}$, since $\|v\|^{4}/n\ll 1/\sqrt{n}$,

$$\varphi_{\mu_{n}}\left(\frac{v}{\sqrt{n}}\right)=e^{-2\pi^{2}\langle v,\SS v\rangle}(1+R_{n}(v))\cdot\left(\langle{\bf 1},f_{v/\sqrt{n}}\rangle_{\pi}f_{v/\sqrt{n}}(x_{0})+O(e^{-c_{\delta}n})\right),$$

where $R_{n}(v)=O\left(\|v\|^{4}/n\right)$. For the (normalized) eigenvector $f_{v}$ of $e^{\beta(v)}$ for $v$ near $0$, since $f_{0}={\bf 1}$, by Lemma 2.2 (2.4) the Taylor theorem shows the following: For each $x\in V(G)$,

$$f_{v/\sqrt{n}}(x)=1+O\left(\frac{\|v\|^{2}}{n}\right)\quad\text{and}\quad\langle{\bf 1},f_{v/\sqrt{n}}\rangle_{\pi}f_{v/\sqrt{n}}(x_{0})=1+O\left(\frac{\|v\|^{2}}{n}\right)\quad\text{for $v\in D_{\delta\sqrt{n}}$}.$$

Note that for $k=2,4$,

$$\int_{D_{n^{1/8}}}e^{-2\pi^{2}\langle v,\SS v\rangle}\frac{\|v\|^{k}}{n}\,dv\leq\frac{1}{n}\int_{{\mathbb{R}}^{m}}\|v\|^{k}e^{-2\pi^{2}\langle v,\SS v\rangle}\,dv=O\left(\frac{1}{n}\right).$$

Summarizing the above estimates with $e^{-c_{\delta}n}\ll n^{-\frac{m}{2}-1}$ yields for $x\in\Gamma$ and for $n\in{\mathbb{Z}}_{>0}$,

$$\mu_{n}(x) =\frac{1}{n^{\frac{m}{2}}}\int_{D_{n^{1/8}}}e^{-2\pi^{2}\langle v,\SS v\rangle}e^{-2\pi i\langle v,\Phi(x)\rangle/\sqrt{n}}\,dv+O\left(\frac{1}{n^{\frac{m}{2}+1}}\right).$$ (2.17)

A direct computation on the Fourier transform yields for all $n\in{\mathbb{Z}}_{>0}$ and for all $x\in\Gamma$,

$$\xi_{n\SS}(x)=\frac{1}{n^{\frac{m}{2}}}\int_{{\mathbb{R}}^{m}}e^{-2\pi i\langle v,\Phi(x)\rangle/\sqrt{n}}e^{-2\pi^{2}\langle v,\SS v\rangle}\,dv.$$

Abusing notations, we have a constant $\alpha>0$ such that for all $n\in{\mathbb{Z}}_{>0}$ and uniformly in $x\in\Gamma$,

$$\xi_{n\SS}(x)=\frac{1}{n^{\frac{m}{2}}}\int_{D_{n^{1/8}}}e^{-2\pi i\langle v,\Phi(x)\rangle/\sqrt{n}}e^{-2\pi^{2}\langle v,\SS v\rangle}\,dv+O\left(\frac{1}{n^{\frac{m}{2}}}e^{-\alpha n^{1/4}}\right).$$ (2.18)

Therefore by (2.17) and (2.18), for all $n\in{\mathbb{Z}}_{>0}$ and uniformly in $x\in\Gamma$,

$$\mu_{n}(x)=\xi_{n\SS}(x)+O\left(\frac{1}{n^{\frac{m}{2}+1}}\right).$$

Furthermore the explicit form of $\SS$ is obtained by Lemma 2.3, as claimed. ∎

Lemma 2.7.

Let $\mu$ be a probability measure on $\Gamma$ such that ${\rm supp}\,\mu$ is finite and $\Gamma=\langle{\rm supp}\,\mu\rangle$, and $\{w_{n}\}_{n\in{\mathbb{Z}}_{+}}$ be a $\mu$-random walk with $w_{0}={\rm id}$. There exists a constant $C>0$ such that for all $n\in{\mathbb{Z}}_{>0}$ and for all real $r>C$,

$${\bf P}\big{(}|w_{n}|_{S}\geq r\big{)}\leq C\exp\Big{(}-\frac{r^{2}}{Cn}\Big{)}.$$

Proof.

Note that if $\{\Phi(w_{n})\}_{n\in{\mathbb{Z}}_{+}}$ is a martingale with respect to the filtration associated with $\{w_{n}\}_{n\in{\mathbb{Z}}_{+}}$, then the proof follows from a concentration inequality. In general, $\{\Phi(w_{n})\}_{n\in{\mathbb{Z}}_{+}}$ is not a martingale. What we do below is to replace $\Phi$ by another $\Lambda$-equivariant map which makes the images of $w_{n}$ form a martingale.

First we claim that there exists a $\Lambda$-equivariant harmonic map $\Phi_{H}:\Gamma\to{\mathbb{R}}^{m}$. This is a map satisfying the following: $\Phi_{H}(gx)=\Phi_{H}(x)+g$ for all $x\in\Gamma$ and for all $g\in\Lambda$ under the identification between $\Lambda$ and a lattice in ${\mathbb{R}}^{m}$, and

$$\sum_{s\in{\rm supp}\,\mu}\left(\Phi_{H}(xs)-\Phi_{H}(x)\right)\mu(s)=0\quad\text{for each $x\in\Gamma$}.$$

This map is obtained from a $\Lambda$-equivariant lift of a Dirichlet energy minimizing map from $G=(V(G),E(G))$ with weights on edges $c(e)$ for $e\in E(G)$ into the flat torus ${\mathbb{R}}^{m}/\Lambda$ equipped with metric as a quotient of the standard Euclidean space. The existence of such a map is shown by a simple variational calculus [KS01, Theorem 2.3] (see also [Sun13, Chapter 7]). (In general, $\Phi_{H}$ is not necessarily injective, but this does not affect the following discussion.) For a $\Lambda$-equivariant harmonic map $\Phi_{H}$, we have a martingale $\{\Phi_{H}(w_{n})\}_{n\in{\mathbb{Z}}_{+}}$ with respect to the natural filtration.

Next note that the map $\Phi_{H}$ yields a quasi-isometry between ${\rm Cay}(\Gamma,S)$ and ${\mathbb{R}}^{m}$. In particular, there exist constants $c_{0},c_{1}>0$ such that

$$\|\Phi_{H}(x)\|\geq c_{0}|x|_{S}-c_{1}\quad\text{for all $x\in\Gamma$}.$$ (2.19)

Finally, each component of $\Phi_{H}(w_{n})$ in the coordinate of ${\mathbb{R}}^{m}$ is a martingale with a uniformly bounded difference $B$ for some $B>0$. Hence a union bound and the Azuma-Hoeffding inequality show that by (2.19), for all $r\in{\mathbb{Z}}_{+}$ and for all $n\in{\mathbb{Z}}_{>0}$,

$${\bf P}\left(|w_{n}|_{S}\geq(r+c_{1})/c_{0}\right)\leq{\bf P}\left(\|\Phi_{H}(w_{n})\|\geq r\right)\leq 2m\exp\Big{(}-\frac{r^{2}}{2B^{2}n}\Big{)}.$$

Therefore taking a large enough constant $C>0$ concludes the inequality as claimed. ∎

For the $\xi_{\SS}$ in Theorem 2.6, let us define a discrete normal distribution ${\mathcal{N}}^{\Phi}_{\SS}$ on $\Gamma$ by

$${\mathcal{N}}^{\Phi}_{\SS}(x):=\frac{1}{Z}\xi_{\SS}(x)\quad\text{where $Z:=\sum_{x\in\Gamma}\xi_{\SS}(x)$ for $x\in\Gamma$}.$$

Theorem 2.8.

In the same setting and assumption as in Theorem 2.6, there exists a constant $C>0$ such that for all large enough integers $n$,

$$\|\mu_{n}-{\mathcal{N}}^{\Phi}_{n\SS}\|_{\rm TV}\leq\frac{C(\log n)^{\frac{m}{2}}}{n}.$$

Proof.

The local central limit theorem (Theorem 2.6) implies that there exists a constant $C>0$ such that for all $n\in{\mathbb{Z}}_{>0}$,

$$\sup_{x\in\Gamma}|\mu_{n}(x)-\xi_{n\SS}(x)|\leq\frac{C}{n^{\frac{m}{2}+1}}.$$ (2.20)

For a $\mu$-random walk $\{w_{n}\}_{n\in{\mathbb{Z}}_{+}}$ with $w_{0}={\rm id}$ on $\Gamma$, Lemma 2.7, there exists a constant $C>0$ such that for all $n\in{\mathbb{Z}}_{>0}$ and for all $r>C$,

$${\bf P}\big{(}|w_{n}|_{S}\geq r\big{)}\leq C\exp\Big{(}-\frac{r^{2}}{Cn}\Big{)}.$$ (2.21)

A direct computation on $\xi_{n\SS}$ yields for a (possibly different) constant $C>0$, for all $n>C$ and for all $r>C\sqrt{n}$,

$$\sum_{|x|_{S}\geq r}\xi_{n\SS}(x)\leq C\exp\Big{(}-\frac{r^{2}}{Cn}\Big{)}.$$ (2.22)

Indeed, this follows from an approximation by a Gaussian $f_{\SS}$ on ${\mathbb{R}}^{m}$ for which $\xi_{\SS}=f_{\SS}\circ\Phi$, and that $\Phi$ yields a quasi-isometry between ${\rm Cay}(\Gamma,S)$ and ${\mathbb{R}}^{m}$. Note that ${\mathbb{R}}^{m}=\bigcup_{x\in\Gamma}x\overline{C}_{0}$ for the closure $\overline{C}_{0}$ of a relatively compact fundamental domain $C_{0}$ of $\Gamma$. For $v_{i}\in{\mathbb{R}}^{m}$, $i=1,2$, the following holds:

$$|\langle v_{1},\SS^{-1}v_{1}\rangle-\langle v_{2},\SS^{-1}v_{2}\rangle| \leq 2\int_{0}^{1}|\langle v_{2}-v_{1},\SS^{-1}(v_{1}+t(v_{2}-v_{1}))\rangle|\,dt$$

$$\leq 2\|\SS^{-1}\|\|v_{1}-v_{2}\|\max\{\|v_{1}\|,\|v_{2}\|\}.$$

Letting ${\rm diam\,}C_{0}$ denote the diameter of $\overline{C}_{0}$, we have that by the above inequality, if $v_{i}\in x\overline{C}_{0}$ and $\|v_{i}\|\geq{\rm diam\,}C_{0}$, $i=1,2$, then $\|v_{1}-v_{2}\|\leq\|v_{2}\|$ and

$$|\langle v_{1},\SS^{-1}v_{1}\rangle-\langle v_{2},\SS^{-1}v_{2}\rangle|\leq 2\|\SS^{-1}\|\|v_{1}-v_{2}\|(\|v_{2}\|+\|v_{1}-v_{2}\|)\leq 4\|\SS^{-1}\|{\rm diam\,}C_{0}\|v_{2}\|.$$

Thus, for all $v_{i}\in x\overline{C}_{0}$, $i=1,2$,

$$f_{n\SS}(v_{1})\leq f_{n\SS}(v_{2})e^{\frac{c}{n}\|v_{2}\|},\quad\text{where $c:=2\|\SS^{-1}\|{\rm diam\,}C_{0}$}.$$

Since $\SS^{-1}$ is positive definite, there exists a constant $\alpha>0$ such that $\langle v,\SS^{-1}v\rangle\geq\alpha\|v\|$ for $v\in{\mathbb{R}}^{m}$. Therefore noting that $\|\Phi(x)\|\geq c_{0}|x|_{S}-c_{1}$ for all $x\in\Gamma$, we estimate

$$\sum_{|x|_{S}\geq r}\xi_{n\SS}(x)\leq\frac{1}{{\rm vol}(C_{0})}\int_{\|v\|\geq c_{0}r-c_{1}}\frac{1}{(2\pi n)^{\frac{m}{2}}\sqrt{\det\SS}}e^{-\frac{\alpha}{2n}\|v\|^{2}+\frac{c}{n}\|v\|}\,dv,$$

for $r\geq({\rm diam\,}C_{0}+c_{1})/c_{0}$, where ${\rm vol}(C_{0})$ is the volume of $C_{0}$. By the change of variables $v\mapsto\sqrt{n}v$, the right hand side equals the following:

$$\frac{1}{{\rm vol}(C_{0})}\int_{\|v\|\geq(c_{0}r-c_{1})/\sqrt{n}}\frac{1}{(2\pi)^{\frac{m}{2}}\sqrt{\det\SS}}e^{-\frac{\alpha}{2}\|v\|^{2}+\frac{c}{\sqrt{n}}\|v\|}\,dv$$

$$\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad=c_{m,\SS}\int_{(c_{0}r-c_{1})/\sqrt{n}}^{\infty}e^{-\frac{\alpha}{2}s^{2}+\frac{c}{\sqrt{n}}s}s^{m-1}\,ds,$$

where $c_{m,\SS}$ is a constant depending only on $\SS$ and $m$ in the polar coordinate. Thus,

$$\int_{(c_{0}r-c_{1})/\sqrt{n}}^{\infty}e^{-\frac{\alpha}{2}\left(s-\frac{c}{\alpha\sqrt{n}}\right)^{2}+\frac{c^{2}}{2\alpha n}}s^{m-1}\,ds=e^{\frac{c^{2}}{2\alpha n}}\int_{R}^{\infty}e^{-\frac{\alpha}{2}s^{2}}\left(s+\frac{c}{\alpha\sqrt{n}}\right)^{m-1}\,ds,$$

where $R:=(c_{0}r-c_{1})/\sqrt{n}-c/(\alpha\sqrt{n})$ by change of variables. There exists a constant $C>0$ such that $\left(s+c/(\alpha\sqrt{n})\right)^{m-1}\leq se^{\frac{\alpha}{4}s^{2}}$ for all $s>C$. Hence there exists a constant $C>0$ such that for all $n>C$ and $r>C\sqrt{n}$, the last term is at most

$$e^{\frac{c^{2}}{2\alpha n}}\int_{R}^{\infty}se^{-\frac{\alpha}{4}s^{2}}\,ds=e^{\frac{c^{2}}{2\alpha n}}\frac{2}{\alpha}e^{-\frac{\alpha}{4}R^{2}}\leq Ce^{-\frac{r^{2}}{Cn}}.$$

This shows (2.22).

Combining (2.20), (2.21) and (2.22) yields for all $n>C$ and for all $r>C\sqrt{n}$,

$$\|\mu_{n}-\xi_{n\SS}\|_{1} =\sum_{|x|_{S}\leq r}|\mu_{n}(x)-\xi_{n\SS}(x)|+\sum_{|x|_{S}>r}|\mu_{n}(x)-\xi_{n\SS}(x)|$$

$$\leq\#B_{S}(r)\frac{C}{n^{\frac{m}{2}+1}}+2C\exp\Big{(}-\frac{r^{2}}{Cn}\Big{)}.$$

In the above $B_{S}(r):=\{x\in\Gamma\ :\ |x|_{S}\leq r\}$. Note that $\#B_{S}(r)=\Theta(r^{m})$, in particular, $\#B_{S}(r)\leq Cr^{m}$ for all $r\in{\mathbb{Z}}_{+}$ for a constant $C>0$ independent of $r$ since $\Phi$ is a $\Lambda$-equivariant injective map from $\Gamma$ into ${\mathbb{R}}^{m}$. Letting $r=A\sqrt{n\log n}$ for a constant $A>0$, we have $r>C\sqrt{n}$ for all large enough $n\in{\mathbb{Z}}_{>0}$, and

$$\|\mu_{n}-\xi_{n\SS}\|_{1}\leq\frac{C^{2}A^{m}(\log n)^{\frac{m}{2}}}{n}+\frac{2C}{n^{A^{2}/C}}.$$

Fixing a large enough constant $A$ such that $A^{2}/C>1$ shows that there exists a constant $C_{1}$ such that for all large enough $n$,

$$\|\mu_{n}-\xi_{n\SS}\|_{1}\leq\frac{C_{1}(\log n)^{\frac{m}{2}}}{n}.$$ (2.23)

Note that there exists a constant $c>0$ such that for all $n\in{\mathbb{Z}}_{>0}$,

$$\sum_{x\in\Gamma}\xi_{n\SS}(x)=1+\sum_{x\in\Gamma\setminus\{{\rm id}\}}\xi_{n\SS}(x)=1+O(e^{-cn}).$$ (2.24)

Indeed, since ${\mathbb{Z}}^{m}$ is a finite index subgroup of $\Gamma$ and $\Phi$ is a ${\mathbb{Z}}^{m}$-equivariant embedding with a discrete image in ${\mathbb{R}}^{m}$, the Poisson summation formula (cf. (A.1) in Appendix A) on finitely many orbits of ${\mathbb{Z}}^{m}$ shows (2.24). This implies that for all $n\in{\mathbb{Z}}_{>0}$,

$$\|\xi_{n\SS}-{\mathcal{N}}^{\Phi}_{n\SS}\|_{1}=\sum_{x\in\Gamma}\Big{|}\xi_{n\SS}(x)-\frac{1}{\sum_{z\in\Gamma}\xi_{n\SS}(z)}\xi_{n\SS}(x)\Big{|}=O(e^{-cn}).$$

Therefore this together with (2.23), adjusting a constant factor $C$ yields the claim. ∎

Remark 2.9.

The inequality (2.23) suffices for our purpose in Theorem 2.10 below. Note that in this generality the estimate in Theorem 2.8 is sharp up to the factor $O((\log n)^{\frac{m}{2}})$. Indeed, the local central limit theorem provides an example satisfying that

$$\|\mu_{n}-{\mathcal{N}}^{\Phi}_{n\SS}\|_{\rm TV}=\Omega(1/n),$$

e.g., a lazy simple random walk on ${\mathbb{Z}}^{m}$.

2.7. Noise sensitivity on affine Weyl groups

Let $(\Gamma,S)$ be an affine Weyl group where $S$ is a canonical set of generators consisting of involutions. We have $\Gamma=\Lambda\rtimes W$ as in Section 2.1. For a probability measure $\mu$ on $\Gamma$ and for all $\rho\in[0,1]$, we recall that $\pi^{\rho}=\rho\mu\times\mu+(1-\rho)\mu_{\rm diag}$, where $\mu\times\mu$ denote the product measure and $\mu_{\rm diag}((x,y))=\mu(x)$ if $x=y$ and $0$ otherwise.

For each $\rho\in[0,1]$, the measure $\pi^{\rho}$ is defined on $\Gamma\times\Gamma=(\Lambda\times\Lambda)\rtimes(W\times W)$, for which $S_{\ast}:=(S\cup\{{\rm id}\})^{2}$ is a generating set of order at most $2$. On the one hand, if ${\rm supp}\,\mu=S\cup\{{\rm id}\}$, then ${\rm supp}\,\pi^{\rho}=S_{\ast}$ for all $\rho\in(0,1]$. On the other hand, however, if $\rho=0$ or ${\rm supp}\,\mu=S$ (in which case, the support does not contain ${\rm id}$), then ${\rm supp}\,\pi^{\rho}$ never generate $\Gamma\times\Gamma$. Indeed, every affine Weyl group $\Gamma$ admits a surjective homomorphism onto $\{\pm 1\}$ through the determinant of the isometry part in the natural affine representation. The product group $\Gamma\times\Gamma$ admits a surjective homomorphism onto $\{\pm 1\}^{2}$. If ${\rm supp}\,\mu$ does not contain ${\rm id}$, then ${\rm supp}\,\pi^{\rho}$ for $\rho\in(0,1]$ only generates a proper subgroup of $\Gamma\times\Gamma$ (of index $2$). Furthermore if $\rho=0$, then ${\rm supp}\,\pi^{\rho}$ generates the diagonal subgroup isomorphic to $\Gamma$ in $\Gamma\times\Gamma$.

Theorem 2.10.

Let $(\Gamma,S)$ be an affine Weyl group, and $\mu$ be a probability measure on $\Gamma$ such that the support of $\mu$ equals $S\cup\{{\rm id}\}$. For all $\rho\in(0,1]$, the $\pi^{\rho}$-random walk on $\Gamma\times\Gamma$ starting from the identity satisfies the following: There exist a constant $C>0$ and an integer $m>0$ such that for all large enough integer $n$,

$$\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}\leq\frac{C(\log n)^{m}}{n}.$$

In particular, for all $\rho\in(0,1]$,

$$\lim_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=0,$$

i.e., the $\mu$-random walk on $\Gamma$ is noise sensitive in total variation.

Proof.

Let us apply to $\Gamma\times\Gamma$ and $\pi^{\rho}$ the discussion we have made so far. Fix a point $o$ in the interior of a chamber for $\Gamma$ in the associated Euclidean space ${\mathbb{R}}^{m}$. We assume that $o$ is the origin after taking a conjugate by a translation for the action of $\Gamma$ if necessary. Let $\Phi:=\Phi^{(1)}\times\Phi^{(2)}:\Gamma\times\Gamma\to{\mathbb{R}}^{m}\times{\mathbb{R}}^{m}$, $(x_{1},x_{2})\mapsto(x_{1}.o,x_{2}.o)$, where $\Phi^{(i)}(x)=x.o$ for $x\in\Gamma$ and for $i=1,2$. For all $\rho\in(0,1]$, the support of $\pi^{\rho}$ is finite, $\Gamma\times\Gamma=\langle{\rm supp}\,\pi^{\rho}\rangle$, and $\pi^{\rho}$ is symmetric since every element in ${\rm supp}\,\pi^{\rho}=S_{\ast}=(S\cup\{{\rm id}\})^{2}$ has the order at most $2$. Further let $G:=(\Lambda\times\Lambda)\backslash{\rm Cay}(\Gamma\times\Gamma,S_{\ast})$ equipped with the conductance $c({\bm{e}})$ for ${\bm{e}}\in E(G)$ induced from $\pi^{\rho}$. We consider the corresponding pointed finite network $(G,c,x_{0})$ where $x_{0}$ is the identity element in $W\times W=(\Lambda\times\Lambda)\backslash(\Gamma\times\Gamma)$. For all $\rho\in(0,1]$, the corresponding Markov chain on $G$ is irreducible and satisfies that $p(x_{0},x_{0})>0$, in fact, $p(x,x)>0$ for every $x\in V(G)$ since $\pi^{\rho}({\rm id})>0$.

Let $\SS^{\rho}$ be the matrix for $\pi^{\rho}$ in the local central limit theorem (Theorem 2.6), let us show that $\SS^{\rho}=\SS^{1}$ for all $\rho\in(0,1]$. Namely, in the block diagonal form along the decomposition ${\mathbb{R}}^{m}\times{\mathbb{R}}^{m}$, we prove the following: For all $\rho\in(0,1]$,

$$\SS^{\rho}=\begin{pmatrix}\SS^{\mu}&0\\ 0&\SS^{\mu}\end{pmatrix},$$

where $\SS^{\mu}$ is the matrix $\SS^{\mu}$ for $\mu$ in the local central limit theorem. Theorem 2.6 shows that $\SS^{\rho}$ is obtained by

$$\langle{\bm{v}}_{1},\SS^{\rho}{\bm{v}}_{2}\rangle=\sum_{{\bm{e}}\in E(G)}{\bm{u}}_{1}({\bm{e}}){\bm{u}}_{2}({\bm{e}})c({\bm{e}}),$$ (2.25)

for ${\bm{v}}_{1},{\bm{v}}_{2}\in{\mathbb{R}}^{m}\times{\mathbb{R}}^{m}$ and ${\bm{u}}_{i}$ is the harmonic part of the $1$-form $\widehat{\bm{v}}_{i}=(\langle{\bm{v}}_{i},\Phi_{\bm{e}}\rangle)_{{\bm{e}}\in E(G)}$ for $i=1,2$.

First let us show that $\langle{\bm{v}}_{1},\SS^{\rho}{\bm{v}}_{2}\rangle=0$ for all ${\bm{v}}_{1}=(v_{1},0),{\bm{v}}_{2}=(0,v_{2})\in{\mathbb{R}}^{m}\times{\mathbb{R}}^{m}$. For each edge ${\bm{e}}=((x_{1},x_{2}),(x_{1}.s_{1},x_{2}.s_{2}))\in E(G)$, we write $e_{i}=(x_{i},x_{i}.s_{i})$ for $x_{i}\in W$ and $s_{i}\in S\cup\{{\rm id}\}$ for $i=1,2$. For such ${\bm{v}}_{1},{\bm{v}}_{2}$, we have that

$$\widehat{\bm{v}}_{i}({\bm{e}})=\langle{\bm{v}}_{i},\Phi_{\bm{e}}\rangle=\langle v_{i},\Phi^{(i)}_{e_{i}}\rangle=\widehat{v}_{i}(e_{i})\quad\text{for $i=1,2$}.$$ (2.26)

Let ${\bm{u}}_{i}$ be the harmonic part of $\widehat{\bm{v}}_{i}$, and $u_{i}$ be the harmonic part of $\widehat{v}_{i}$ for each $i=1,2$. It holds that

$${\bm{u}}_{i}({\bm{e}})=u_{i}(e_{i})\quad\text{for $i=1,2$}.$$ (2.27)

Indeed, let $\widetilde{u}_{i}({\bm{e}}):=u_{i}(e_{i})$ for $i=1,2$. These define harmonic $1$-forms on $G$: This follows since $S_{\ast}=(S\cup\{{\rm id}\})^{2}$ and each marginal of $\pi^{\rho}$ is $\mu$. Furthermore by the definition of $u_{i}$, it holds that for some $f_{i}:W\to{\mathbb{R}}$,

$$\widehat{v}_{i}(x,x.s)=u_{i}(x,x.s)+df_{i}(x,x.s)\quad\text{for $x\in W$ and $s\in S$}.$$ (2.28)

Hence by (2.26) and (2.28), letting $\widetilde{f}_{i}:V(G)\to{\mathbb{R}}$ by $\widetilde{f}_{i}((x_{1},x_{2})):=f_{i}(x_{i})$ for $(x_{1},x_{2})\in V(G)=W\times W$ for $i=1,2$ yields

$$\widehat{\bm{v}}_{i}({\bm{e}})=\widetilde{u}_{i}({\bm{e}})+d\widetilde{f}_{i}({\bm{e}})\quad\text{for ${\bm{e}}\in E(G)$}.$$

The uniqueness of harmonic part concludes (2.27).

The right hand side in (2.25) is computed as in the following: By (2.27), it holds that

$$\sum_{{\bm{e}}\in E(G)}{\bm{u}}_{1}({\bm{e}}){\bm{u}}_{2}({\bm{e}})c({\bm{e}})=\sum_{{\bm{e}}\in E(G)}u_{1}(e_{1})u_{2}(e_{2})c({\bm{e}})$$

$$=\sum_{(x_{1},x_{2})\in W\times W}\sum_{(s_{1},s_{2})\in S_{\ast}}u_{1}(x_{1},x_{1}.s_{1})u_{2}(x_{2},x_{2}.s_{2})\pi((x_{1},x_{2}))\pi^{\rho}((s_{1},s_{2})).$$

Note that the summation over $(s_{1},s_{2})\in S_{\ast}$ is restricted to $S\times S$ since $u_{i}(x,x)=0$ for $x\in W$ and for each $i=1,2$. Furthermore $\pi((x,y))=1/(\#W)^{2}$ for all $(x,y)\in W\times W$. Hence the last term times the factor $(\#W)^{2}$ leads the following:

$$\sum_{x_{1}\in W,s_{1}\in S}u_{1}(x_{1},x_{1}.s_{1})\sum_{x_{2}\in W,s_{2}\in S}u_{2}(x_{2},x_{2}.s_{2})\pi^{\rho}((s_{1},s_{2}))$$

$$=\sum_{x_{1}\in W,s_{1}\in S}u_{1}(x_{1},x_{1}.s_{1})\frac{1}{2}\sum_{x_{2}\in W,s_{2}\in S}(u_{2}(x_{2},x_{2}.s_{2})+u_{2}(x_{2}.s_{2},x_{2}))\pi^{\rho}((s_{1},s_{2}))=0.$$

In the above we have used that $s_{2}=s_{2}^{-1}$ and $\pi^{\rho}((s_{1},s_{2}))=\pi^{\rho}((s_{1},s_{2}^{-1}))$ for each $(s_{1},s_{2})\in S\times S$ in the first equality, and that $u_{2}(x_{2},x_{2}.s_{2})=-u_{2}(x_{2}.s_{2},x_{2})$ for all $x_{2}\in W$ and all $s_{2}\in S$ in the last equality. Therefore for all ${\bm{v}}_{1}=(v_{1},0),{\bm{v}}_{2}=(0,v_{2})\in{\mathbb{R}}^{m}\times{\mathbb{R}}^{m}$, it holds that $\langle{\bm{v}}_{1},\SS^{\rho}{\bm{v}}_{2}\rangle=0$.

Next since each marginal of $\pi^{\rho}$ is $\mu$, for ${\bm{v}}_{1}=(v_{1},0),{\bm{v}}_{2}=(v_{2},0)\in{\mathbb{R}}^{m}\times{\mathbb{R}}^{m}$,

$$\langle{\bm{v}}_{1},\SS^{\rho}{\bm{v}}_{2}\rangle=\langle v_{1},\SS^{\mu}v_{2}\rangle.$$

The same equality holds for ${\bm{v}}_{1}=(0,v_{1}),{\bm{v}}_{2}=(0,v_{2})\in{\mathbb{R}}^{m}\times{\mathbb{R}}^{m}$. Summarizing all the above discussion, we obtain $\SS^{\rho}=\SS^{1}$ for all $\rho\in(0,1]$.

Finally, Theorem 2.8 shows that for all $\rho\in(0,1]$, there exists a constant $C>0$ such that for all large enough $n$, by the triangle inequality,

$$\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}\leq\|\pi^{\rho}_{n}-{\mathcal{N}}^{\Phi}_{n\SS^{\rho}}\|_{\rm TV}+\|\mu_{n}\times\mu_{n}-{\mathcal{N}}^{\Phi}_{n\SS^{1}}\|_{\rm TV}\leq\frac{2C(\log n)^{m}}{n}.$$

This concludes the first claim. The second claim follows from the first claim. ∎

2.8. Examples

Let us provide explicit examples of random walks on the affine Weyl groups of type $\widetilde{A}_{1}\times\widetilde{A}_{1}$, $\widetilde{A}_{2}$ and $\widetilde{C}_{2}$. Figures 1, 4 and 5 respectively describe the Cayley graphs of the groups with the corresponding sets of generators (the solid lines with dots). The associated action of each group on ${\mathbb{R}}^{2}$ consists of reflections with respect to lines (indicated as dotted lines) with a fundamental domain (colored in dark gray). The lattice has a larger fundamental domain (colored in light gray).

2.8.1. Type $\widetilde{A}_{1}\times\widetilde{A}_{1}$

Let us consider the infinite dihedral group:

$$D_{\infty}=\langle s_{1},s_{2}\mid s_{1}^{2}=s_{2}^{2}={\rm id}\rangle.$$

Let $S:=\{s_{1},s_{2}\}$. The pair $(D_{\infty},S)$ is the affine Weyl group of type $\widetilde{A}_{1}$, and the product group $D_{\infty}\times D_{\infty}$ with the standard set of generators $S\times\{{\rm id}\}\cup\{{\rm id}\}\times S$ is the affine Weyl group of type $\widetilde{A}_{1}\times\widetilde{A}_{1}$. The group $D_{\infty}\times D_{\infty}$ is isomorphic to ${\mathbb{Z}}^{2}\rtimes({\mathbb{Z}}/2)^{2}$. We define $\Phi=\Phi^{(1)}\times\Phi^{(2)}:D_{\infty}\times D_{\infty}\to{\mathbb{R}}^{2}$ in a way that the origin is the barycenter of a fundamental chamber (which is a square of side length $1/2$). The lattice is identified with the standard integer lattice (Figure 1).

Figure 1. The Cayley graph of $D_{\infty}\times D_{\infty}$ with the set of generators $S_{\ast}$ (where loops corresponding to ${\rm id}$ are omitted) and the group action on ${\mathbb{R}}^{2}$.

Let $\mu$ be a probability measure on $D_{\infty}$ such that ${\rm supp}\,\mu=S\cup\{{\rm id}\}$, and $\pi^{\rho}$ be the associated probability measure on $D_{\infty}\times D_{\infty}$ for $\rho\in(0,1]$. The measure $\pi^{\rho}$ has the support $S_{\ast}=(S\cup\{{\rm id}\})^{2}$. The quotient graph $G={\mathbb{Z}}^{2}\setminus{\rm Cay}(D_{\infty}\times D_{\infty},S_{\ast})$ is described in Figure 2.

First we consider the case when $\mu(s_{1})$ and $\mu(s_{2})$ are equal, i.e.,

$$\mu(s_{1})=\mu(s_{2})=\frac{1}{2}(1-\mu({\rm id}))\quad\text{and}\quad 0<\mu({\rm id})<1.$$

In this case, for $v_{1}=(1,0),v_{2}=(0,1)\in{\mathbb{R}}^{2}$, the $1$-forms $(\langle v_{i},\Phi_{\bm{e}}\rangle)_{{\bm{e}}\in E(G)}$ for $i=1,2$ are harmonic. A direct computation yields

$$\SS^{\rho}=\begin{pmatrix}\frac{1}{4}(1-\mu({\rm id}))&0\\ 0&\frac{1}{4}(1-\mu({\rm id}))\end{pmatrix}\quad\text{for $\rho\in(0,1]$}.$$

Next in the case when $\mu(s_{1})$ and $\mu(s_{2})$ are not necessarily equal, the harmonic $1$-forms

$$u_{i}({\bm{e}})=\langle v_{i},\Phi_{\bm{e}}\rangle-df_{i}({\bm{e}})\quad\text{for ${\bm{e}}\in E(G)$ and $i=1,2$},$$

are obtained by (possibly non-constant) functions $f_{i}:V(G)\to{\mathbb{R}}$. For $i=1$, let

$$f_{1}((0,0))=f_{1}((0,1))=\frac{\mu(s_{2})}{2(1-\mu({\rm id}))}\quad\text{and}\quad f_{1}((1,0))=f_{1}((1,1))=\frac{\mu(s_{1})}{2(1-\mu({\rm id}))}.$$

The values of the harmonic $1$-form $u_{1}$ on the two oriented edges from $(0,0)$ to $(1,0)$ satisfy the following:

$$u_{1}((0,0),(0.s_{1},0))+f_{1}((1,0))-f_{1}((0,0)) =\Phi^{(1)}((s_{1}.o,o))-\Phi^{(1)}((o,o))=\frac{1}{2},$$

$$u_{1}((0,0),(0.s_{2},0))+f_{1}((1,0))-f_{1}((0,0)) =\Phi^{(1)}((s_{2}.o,o))-\Phi^{(1)}((o,o))=-\frac{1}{2}.$$

Similar identities hold on the four oriented edges from $(0,0)$ to $(1,1)$, from $(0,1)$ to $(1,0)$, respectively, and on the two oriented edges from $(0,1)$ to $(1,1)$. The values of $u_{1}$ on the two oriented edges from $(0,0)$ to $(0,1)$, and from $(1,0)$ to $(1,1)$, respectively, are $0$. The harmonic $1$-form $u_{2}$ is obtained analogously. A direct computation yields

$$\SS^{\rho}=\begin{pmatrix}\frac{\mu(s_{1})\mu(s_{2})}{1-\mu({\rm id})}&0\\ 0&\frac{\mu(s_{1})\mu(s_{2})}{1-\mu({\rm id})}\end{pmatrix}\quad\text{for $\rho\in(0,1]$}.$$

Figure 2. The quotient graph $G={\mathbb{Z}}^{2}\backslash{\rm Cay}(D_{\infty}\times D_{\infty},S_{\ast})$ where $S_{\ast}=(S\cup\{{\rm id}\})^{2}$ and $S=\{s_{1},s_{2}\}$.

The following example is not covered by Theorem 2.10: Let $\mu$ be the probability measure on $D_{\infty}$ defined by

$$\mu(s_{1})=\mu(s_{1}s_{2})=\mu(s_{2}s_{1})=\frac{1}{3}.$$

Let $S^{\prime}:=\{s_{1},s_{1}s_{2},s_{2}s_{1}\}$. We have ${\rm supp}\,\mu=S^{\prime}$ but ${\rm id}\notin S^{\prime}$. The associated probability measure $\pi^{\rho}$ for $\rho\in(0,1]$ on $D_{\infty}\times D_{\infty}$ has the support $S_{\ast}=(S^{\prime})^{2}$ which does not satisfy the condition in Theorem 2.10. The quotient graph of the corresponding Cayley graph for $D_{\infty}\times D_{\infty}$ is described in Figure 3. The matrix is explicitly computed as

$$\SS^{\rho}=\begin{pmatrix}\frac{1}{12}&0\\ 0&\frac{1}{12}\end{pmatrix}\quad\text{for $\rho\in(0,1]$}.$$

The proof of Theorem 2.10 is directly applied to this case and the $\mu$-random walk on $D_{\infty}$ is noise sensitive in total variation.

Figure 3. The quotient graph $G={\mathbb{Z}}^{2}\backslash{\rm Cay}(D_{\infty}\times D_{\infty},S^{\prime}_{\ast})$ where $S^{\prime}_{\ast}=(S^{\prime})^{2}$ and $S^{\prime}=\{s_{1},s_{1}s_{2},s_{2}s_{1}\}$.

2.8.2. Type $\widetilde{A}_{2}$

Let us consider the affine Weyl group of type $\widetilde{A}_{2}$:

$$\Gamma=\langle s_{1},s_{2},s_{3}\mid s_{1}^{2}=s_{2}^{2}=s_{3}^{2}=(s_{1}s_{2})^{3}=(s_{2}s_{3})^{3}=(s_{3}s_{1})^{3}=1\rangle$$

with $S=\{s_{1},s_{2},s_{3}\}$. The Cayley graph ${\rm Cay}(\Gamma,S)$ and the group action on ${\mathbb{R}}^{2}$ is described in Figure 4 (left). The group $\Gamma$ is isomorphic to ${\mathbb{Z}}^{2}\rtimes\mathfrak{S}_{3}$ where $\mathfrak{S}_{3}$ is the symmetric group on the set $\{1,2,3\}$. The quotient graph $G={\mathbb{Z}}^{2}\backslash{\rm Cay}(\Gamma,S)$ is described in Figure 4 (right).

Figure 4. The Cayley graph of the affine Weyl group $(\Gamma,S)$ of type $\widetilde{A}_{2}$ and the action on ${\mathbb{R}}^{2}$ (left), and the quotient graph $G={\mathbb{Z}}^{2}\backslash{\rm Cay}(\Gamma,S)$ (right).

Let us consider $\Phi:\Gamma\to{\mathbb{R}}^{2}$ such that the origin is the barycenter of a fundamental chamber (which is an equilateral triangle of side length $(2\sqrt{3})^{1/2}/3$). A fundamental domain for the ${\mathbb{Z}}^{2}$-action is a hexagon of unit area. For a probability measure $\mu$ on $\Gamma$ such that

$$\mu(s_{1})=\mu(s_{2})=\mu(s_{3})=\frac{1}{3}(1-\mu({\rm id}))\quad\text{and}\quad 0<\mu({\rm id})<1,$$

the matrix for $\mu$ in the local central limit theorem (Theorem 2.6) is computed as

$$\SS^{\mu}=\begin{pmatrix}\frac{\sqrt{3}}{27}(1-\mu({\rm id}))&0\\ 0&\frac{\sqrt{3}}{27}(1-\mu({\rm id}))\end{pmatrix}.$$

2.8.3. Type $\widetilde{C}_{2}$

Let us consider the affine Weyl group of type $\widetilde{C}_{2}$:

$$\Gamma=\langle s_{1},s_{2},s_{3}\mid s_{1}^{2}=s_{2}^{2}=s_{3}^{2}=(s_{1}s_{2})^{4}=(s_{2}s_{3})^{4}=(s_{3}s_{1})^{2}=1\rangle$$

with $S=\{s_{1},s_{2},s_{3}\}$. The Cayley graph ${\rm Cay}(\Gamma,S)$ and the group action on ${\mathbb{R}}^{2}$ is described in Figure 5 (left). The group $\Gamma$ is isomorphic to ${\mathbb{Z}}^{2}\rtimes(({\mathbb{Z}}/2)^{2}\rtimes\mathfrak{S}_{2})$ where $({\mathbb{Z}}/2)^{2}\rtimes\mathfrak{S}_{2}$ is the signed permutations on the set $\{1,2\}$. The quotient graph $G$ of the Cayley graph with the set of generators $S$ by the lattice ${\mathbb{Z}}^{2}$ is described in Figure 5 (right).

Figure 5. The Cayley graph of the affine Weyl group $(\Gamma,S)$ of type $\widetilde{C}_{2}$ and the action on ${\mathbb{R}}^{2}$ (left), and the quotient graph $G={\mathbb{Z}}^{2}\backslash{\rm Cay}(\Gamma,S)$ (right).

Let us consider $\Phi:\Gamma\to{\mathbb{R}}^{2}$ such that the origin is the barycenter of a square of side length $1/4$ (where a fundamental chamber is an isosceles right triangle of equal side length $1/2$). A fundamental domain for the ${\mathbb{Z}}^{2}$-action has unit area. For a probability measure $\mu$ on $\Gamma$ such that

$$\mu(s_{1})=\mu(s_{2})=\mu(s_{3})=\frac{1}{3}(1-\mu({\rm id}))\quad\text{and}\quad 0<\mu({\rm id})<1,$$

the matrix for $\mu$ in the local central limit theorem (Theorem 2.6) is computed as

$$\SS^{\mu}=\begin{pmatrix}\frac{1}{24}(1-\mu({\rm id}))&0\\ 0&\frac{1}{24}(1-\mu({\rm id}))\end{pmatrix}.$$

Appendix A Noise sensitivity problem on ${\mathbb{Z}}^{m}$

Theorem A.1.

Let $m$ be a positive integer and $\mu$ be a probability measure on ${\mathbb{Z}}^{m}$. If $\mu$ has a finite second moment and the support generates the group as a semigroup, then

$$\lim_{\rho\to 1}\limsup_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=0\quad{and}\quad\lim_{\rho\to 0}\liminf_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=1.$$

Let $\SS$ be a non-degenerate positive definite (covariance) matrix of size $m$ and

$$f_{\SS}(v):=\frac{1}{\sqrt{(2\pi)^{m}\det\SS}}e^{-\frac{1}{2}\langle v,\SS^{-1}v\rangle}\quad\text{for $v\in{\mathbb{R}}^{m}$}.$$

Let us define the function $F(v):=\sum_{x\in{\mathbb{Z}}^{m}}f_{\SS}(x+v)$ for $v\in{\mathbb{R}}^{m}$. Note that since $F$ is ${\mathbb{Z}}^{m}$-periodic on ${\mathbb{R}}^{m}$, it is regarded as a function on $[0,1)^{m}$. Let

$$\widehat{F}(x):=\int_{[0,1)^{m}}F(v)e^{-2\pi i\langle v,x\rangle}\,dv\quad\text{and}\quad\widehat{f}_{\SS}(x):=\int_{{\mathbb{R}}^{m}}f_{\SS}(v)e^{-2\pi i\langle v,x\rangle}\,dv\quad\text{for $x\in{\mathbb{Z}}^{m}$}.$$

Since $f_{\SS}$ is in the Schwartz class on ${\mathbb{R}}^{m}$, we have $\widehat{F}(x)=\widehat{f}_{\SS}(x)$ for $x\in{\mathbb{Z}}^{m}$ and

$$F(v)=\sum_{x\in{\mathbb{Z}}^{m}}\widehat{f}_{\SS}(x)e^{2\pi i\langle x,v\rangle},$$

where the right hand side is absolutely convergent. In the case when $v=0$, the Poisson summation formula is obtained by a direct computation,

$$\sum_{x\in{\mathbb{Z}}^{m}}f_{\SS}(x)=\sum_{x\in{\mathbb{Z}}^{m}}\widehat{f}_{\SS}(x)=\sum_{x\in{\mathbb{Z}}^{m}}e^{-2\pi^{2}\langle x,\SS x\rangle}.$$

Thus there exists a constant $c_{\SS}>0$ such that for all $n\in{\mathbb{Z}}_{>0}$,

$$\sum_{x\in{\mathbb{Z}}^{m}}f_{n\SS}(x)=\sum_{x\in{\mathbb{Z}}^{m}}e^{-2\pi^{2}n\langle x,\SS x\rangle}=1+O_{\SS}(e^{-c_{\SS}n}).$$ (A.1)

Let $\SS_{1}$ and $\SS_{2}$ be covariance matrices of size $m$. First we consider the upper bound part. For every real $\lambda>0$ and for every $n\in{\mathbb{Z}}_{>0}$,

$$\sum_{\|x\|\leq\lambda n^{1/2}}|f_{n\SS_{1}}(x)-f_{n\SS_{2}}(x)|$$

$$\leq\sum_{\|x\|\leq\lambda n^{1/2}}\left|f_{n\SS_{1}}(x)-\sqrt{\frac{\det\SS_{2}}{\det\SS_{1}}}f_{n\SS_{2}}(x)\right|+\sum_{\|x\|\leq\lambda n^{1/2}}\left|1-\sqrt{\frac{\det\SS_{2}}{\det\SS_{1}}}\right|f_{n\SS_{2}}(x).$$ (A.2)

The first sum in (A) is estimated as follows: For $x\in{\mathbb{Z}}^{m}$,

$$\Big{|}1-e^{-\frac{1}{2n}\langle x,(\SS_{2}^{-1}-\SS_{1}^{-1})x\rangle}\Big{|}\leq e^{\frac{1}{2n}|\langle x,(\SS_{2}^{-1}-\SS_{1}^{-1})x\rangle|}-e^{-\frac{1}{2n}|\langle x,(\SS_{2}^{-1}-\SS_{1}^{-1})x\rangle|}.$$

Since $|\langle x,(\SS_{2}^{-1}-\SS_{1}^{-1})x\rangle|\leq\|\SS_{2}^{-1}-\SS_{1}^{-1}\|\|x\|^{2}$, for $x\in{\mathbb{Z}}^{m}$ with $\|x\|\leq\lambda n^{1/2}$,

$$\Big{|}1-e^{-\frac{1}{2n}\langle x,(\SS_{2}^{-1}-\SS_{1}^{-1})x\rangle}\Big{|}\leq e^{\frac{\lambda^{2}}{2}\|\SS_{2}^{-1}-\SS_{1}^{-1}\|}-e^{-\frac{\lambda^{2}}{2}\|\SS_{2}^{-1}-\SS_{1}^{-1}\|}=2\sinh\left(\frac{\lambda^{2}}{2}\|\SS_{2}^{-1}-\SS_{1}^{-1}\|\right).$$

Therefore the first sum in the right hand side of (A) is at most by (A.1), for all $n\in{\mathbb{Z}}_{>0}$ and for all $\lambda>0$, if $\|\SS_{2}^{-1}-\SS_{1}^{-1}\|\leq 2/\lambda^{2}$, then

$$\sum_{\|x\|\leq\lambda n^{1/2}}\Big{|}1-e^{-\frac{1}{2n}\langle x,(\SS_{2}^{-1}-\SS_{1}^{-1})x\rangle}\Big{|}f_{n\SS_{1}}(x)\leq 3\lambda^{2}\|\SS_{2}^{-1}-\SS_{1}^{-1}\|\left(1+O_{\SS_{1}}(e^{-c_{\SS_{1}}n})\right).$$

The second sum in the right hand side of (A) is at most by (A.1), for all $n\in{\mathbb{Z}}_{>0}$,

$$\left|1-\sqrt{\frac{\det\SS_{2}}{\det\SS_{1}}}\right|\sum_{x\in{\mathbb{Z}}^{m}}f_{n\SS_{2}}(x)=\left|1-\sqrt{\frac{\det\SS_{2}}{\det\SS_{1}}}\right|\left(1+O_{\SS_{2}}(e^{-c_{\SS_{2}}n})\right).$$

Summarizing the above estimates yields for every $\lambda>0$, there exist constants $C_{1,2,\lambda}=C_{\SS_{1},\SS_{2},\lambda}>0$ and $c_{1,2}=c_{\SS_{1},\SS_{2}}>0$ such that for all $n\in{\mathbb{Z}}_{>0}$,

$$\sum_{\|x\|\leq\lambda n^{1/2}}|f_{n\SS_{1}}(x)-f_{n\SS_{2}}(x)|\leq 3\lambda^{2}\|\SS_{2}^{-1}-\SS_{1}^{-1}\|+\left|1-\sqrt{\frac{\det\SS_{2}}{\det\SS_{1}}}\right|+C_{1,2,\lambda}e^{-c_{1,2}n}.$$ (A.3)

Next let us consider the lower bound part. Noting that $\sqrt{f_{1}-f_{2}}\geq\sqrt{f_{1}}-\sqrt{f_{2}}$ for $f_{1}\geq f_{2}\geq 0$, we have by squaring both sides and summing over ${\mathbb{Z}}^{m}$,

$$\|f_{n\SS_{1}}-f_{n\SS_{2}}\|_{1}\geq\sum_{x\in{\mathbb{Z}}^{m}}f_{n\SS_{1}}(x)+\sum_{x\in{\mathbb{Z}}^{m}}f_{n\SS_{2}}(x)-2\sum_{x\in{\mathbb{Z}}^{m}}\sqrt{f_{n\SS_{1}}(x)f_{n\SS_{2}}(x)}.$$

In the following, we assume that $\SS_{1}^{-1}+\SS_{2}^{-1}$ is invertible. In that case, by (A.1),

$$\sum_{x\in{\mathbb{Z}}^{m}}\sqrt{f_{n\SS_{1}}(x)f_{n\SS_{2}}(x)} =\sum_{x\in{\mathbb{Z}}^{m}}\frac{1}{(2\pi)^{\frac{m}{2}}(\det(n\SS_{1})\det(n\SS_{2}))^{\frac{1}{4}}}e^{-\frac{1}{4n}\langle x,(\SS_{1}^{-1}+\SS_{2}^{-1})x\rangle}$$

$$=\frac{2^{\frac{m}{2}}(\det\left((\SS_{1}^{-1}+\SS_{2}^{-1})^{-1}\right))^{\frac{1}{2}}}{(\det\SS_{1}\det\SS_{2})^{\frac{1}{4}}}\sum_{x\in{\mathbb{Z}}^{m}}e^{-4\pi^{2}n\langle x,(\SS_{1}^{-1}+\SS_{2}^{-1})^{-1}x\rangle}.$$

Let us focus on the special case when $m=2$, and

$$\SS^{1}=\sigma^{2}\begin{pmatrix}1&0\\ 0&1\end{pmatrix}\quad\text{and}\quad\SS^{\rho}=\sigma^{2}\begin{pmatrix}1&1-\rho\\ 1-\rho&1\end{pmatrix}\quad\text{for $\sigma>0$ and $0<\rho\leq 1$}.$$

In this case,

$$(\SS^{1})^{-1}+(\SS^{\rho})^{-1}=\frac{1}{\sigma^{2}}\begin{pmatrix}1+\frac{1}{\rho(2-\rho)}&-\frac{1-\rho}{\rho(2-\rho)}\\ -\frac{1-\rho}{\rho(2-\rho)}&1+\frac{1}{\rho(2-\rho)}\end{pmatrix}.$$

Furthermore, $\det\SS^{1}=\sigma^{4}$, $\det\SS^{\rho}=\sigma^{4}\rho(2-\rho)$ and

$$\det\left((\SS^{1})^{-1}+(\SS^{\rho})^{-1}\right)=\frac{1}{\sigma^{4}}\left(\left(1+\frac{1}{\rho(2-\rho)}\right)^{2}-\left(\frac{1-\rho}{\rho(2-\rho)}\right)^{2}\right).$$

Hence one computes for all small enough $\rho>0$,

$$\frac{2}{(\rho(2-\rho))^{\frac{1}{4}}\left(\left(1+\frac{1}{\rho(2-\rho)}\right)^{2}-\left(\frac{1-\rho}{\rho(2-\rho)}\right)^{2}\right)^{\frac{1}{2}}}=\frac{2(\rho(2-\rho))^{\frac{3}{4}}}{\sqrt{(\rho(2-\rho)+1)^{2}-(1-\rho)^{2}}}<2\rho^{\frac{1}{4}}.$$

Summarizing the above computations and letting $n\to\infty$ yield

$$\liminf_{n\to\infty}\|f_{n\SS^{\rho}}-f_{n\SS^{1}}\|_{1}\geq 2-4\rho^{\frac{1}{4}}.$$ (A.4)

Proof of Theorem A.1.

Noting that ${\bf E}\,_{\pi^{\rho}_{n}}{\bm{w}}_{n}$ is independent of $\rho\in[0,1]$, we assume that $\mu$ has mean zero up to shifting by the mean. Further, we assume that $\mu$ is aperiodic (i.e., for each $x\in{\mathbb{Z}}^{m}$ for all large enough $n$ one has $\mu_{n}(x)>0$) and the general case is reduced to this case. For $0<\rho\leq 1$, we note that $\pi^{\rho}$ is aperiodic since $\pi^{\rho}$ and $\mu\times\mu$ have the same support in ${\mathbb{Z}}^{2m}$. Let $\SS^{\rho}$ and $\SS^{1}$ denote the covariance matrices of size $2m$ for $\pi^{\rho}$ and $\mu\times\mu$ respectively.

First let us show the upper bound in the claim. For all real $\lambda>0$ and integers $n\in{\mathbb{Z}}_{>0}$, by the Chebyshev inequality,

$$\sum_{\|{\bm{x}}\|>\lambda n^{1/2}}\pi^{\rho}_{n}({\bm{x}})={\bf P}_{\pi^{\rho}}\left(\|{\bm{w}}_{n}\|>\lambda n^{1/2}\right) \leq\frac{1}{\lambda^{2}n}{\bf E}\,_{\pi^{\rho}_{n}}\|{\bm{w}}_{n}\|^{2}=\frac{2}{\lambda^{2}}{\bf E}\,_{\mu}|x|^{2}.$$

This shows that (recalling that $\pi^{1}=\mu\times\mu$)

$$\sum_{\|{\bm{x}}\|>\lambda n^{1/2}}|\pi^{\rho}_{n}({\bm{x}})-\mu_{n}\times\mu_{n}({\bm{x}})|\leq\frac{4}{\lambda^{2}}{\bf E}\,_{\mu}|x|^{2}.$$ (A.5)

Since $\pi^{\rho}$ is aperiodic for $\rho\in(0,1]$, then the local central limit theorem [LL10, Theorem 2.3.9] shows the following: There exists a sequence $\delta_{n}>0$ such that $\delta_{n}\to 0$ as $n\to\infty$, for all $n\in{\mathbb{Z}}_{>0}$ and for all ${\bm{x}}\in{\mathbb{Z}}^{2m}$,

$$|\pi^{\rho}_{n}({\bm{x}})-f_{n\SS^{\rho}}({\bm{x}})|\leq\frac{\delta_{n}}{n^{m}}\quad\text{and}\quad|\mu_{n}\times\mu_{n}({\bm{x}})-f_{n\SS^{1}}({\bm{x}})|\leq\frac{\delta_{n}}{n^{m}}.$$ (A.6)

Note that there exists a constant $C_{m}>0$ such that for all real $\lambda>0$ and all $n\in{\mathbb{Z}}_{>0}$, the number of ${\bm{x}}\in{\mathbb{Z}}^{2m}$ with $\|{\bm{x}}\|\leq\lambda n^{1/2}$ is at most $C_{m}\lambda^{2m}n^{m}$. Therefore it holds that

$$\sum_{\|{\bm{x}}\|\leq\lambda n^{1/2}}|\pi^{\rho}_{n}({\bm{x}})-\mu_{n}\times\mu_{n}({\bm{x}})|\leq C_{m}\lambda^{2m}n^{m}\cdot\frac{2\delta_{n}}{n^{m}}+\sum_{\|{\bm{x}}\|\leq\lambda n^{1/2}}|f_{n\SS^{\rho}}({\bm{x}})-f_{n\SS^{1}}({\bm{x}})|.$$ (A.7)

Hence by (A.3), (A.5) and (A.7), for every $\lambda>0$,

$$\limsup_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{1}\leq 3\lambda^{2}\|(\SS^{\rho})^{-1}-(\SS^{1})^{-1}\|+\left|1-\sqrt{\frac{\det\SS^{\rho}}{\det\SS^{1}}}\right|+\frac{4}{\lambda^{2}}{\bf E}\,_{\mu}|x|^{2}.$$

Since $\SS^{\rho}\to\SS^{1}$ as $\rho\to 1$, letting $\rho\to 1$ yields

$$\limsup_{\rho\to 1}\limsup_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{1}\leq\frac{4}{\lambda^{2}}{\bf E}\,_{\mu}|x|^{2}.$$

This holds for all $\lambda>0$, and thus we obtain in the total variation distance

$$\lim_{\rho\to 1}\limsup_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=0.$$

This shows the upper bound in the claim.

Next let us show the lower bound in the claim. The general case reduces to the case when $m=1$ since a projection ${\mathbb{Z}}^{m}\to{\mathbb{Z}}$ (whence ${\mathbb{Z}}^{2m}\to{\mathbb{Z}}^{2}$) to a coordinate only decreases the total variation distance. Let $\SS=\SS^{\rho}$. For ${\bm{x}}_{i}\in{\mathbb{R}}^{m}$, $i=1,2$,

$$|\langle{\bm{x}}_{1},\SS^{-1}{\bm{x}}_{1}\rangle-\langle{\bm{x}}_{2},\SS^{-1}{\bm{x}}_{2}\rangle| \leq 2\int_{0}^{1}|\langle{\bm{x}}_{2}-{\bm{x}}_{1},\SS^{-1}({\bm{x}}_{1}+t({\bm{x}}_{2}-{\bm{x}}_{1}))\rangle|\,dt$$

$$\leq 2\|\SS^{-1}\|\|{\bm{x}}_{1}-{\bm{x}}_{2}\|\max\{\|{\bm{x}}_{1}\|,\|{\bm{x}}_{2}\|\}.$$

Thus, if $\|{\bm{x}}_{1}-{\bm{x}}_{2}\|_{\infty}\leq 1$ (where $\|\cdot\|_{\infty}$ denotes the supremum norm) and $\|{\bm{x}}_{i}\|\geq\sqrt{2}$, $i=1,2$, then $\|{\bm{x}}_{1}-{\bm{x}}_{2}\|\leq\|{\bm{x}}_{2}\|$ and

$$|\langle{\bm{x}}_{1},\SS^{-1}{\bm{x}}_{1}\rangle-\langle{\bm{x}}_{2},\SS^{-1}{\bm{x}}_{2}\rangle|\leq 2\|\SS^{-1}\|\|{\bm{x}}_{1}-{\bm{x}}_{2}\|(\|{\bm{x}}_{2}\|+\|{\bm{x}}_{1}-{\bm{x}}_{2}\|)\leq 4\sqrt{2}\|\SS^{-1}\|\|{\bm{x}}_{2}\|.$$

This shows that for ${\bm{x}}_{i}\in{\mathbb{R}}^{m}$ such that $\|{\bm{x}}_{1}-{\bm{x}}_{2}\|_{\infty}\leq 1$ and $\|{\bm{x}}_{i}\|\geq\sqrt{2}$, $i=1,2$,

$$f_{n\SS}({\bm{x}}_{1})\leq f_{n\SS}({\bm{x}}_{2})e^{\frac{c_{\SS}}{n}\|{\bm{x}}_{2}\|},\quad\text{where $c_{\SS}:=2\sqrt{2}\|\SS^{-1}\|$}.$$

Therefore we obtain

$$\sum_{\|{\bm{x}}\|>\lambda n^{\frac{1}{2}}}f_{n\SS}({\bm{x}})\leq\int_{\|{\bm{x}}\|\geq\lambda n^{\frac{1}{2}}-\sqrt{2}}\frac{1}{\sqrt{(2\pi)^{2}\det(n\SS)}}e^{-\frac{1}{2n}\langle{\bm{x}},\SS^{-1}{\bm{x}}\rangle+\frac{c_{\SS}}{n}\|{\bm{x}}\|}\,d{\bm{x}}.$$

Since $\SS^{-1}$ is positive definite, there exists a constant $\alpha>0$ such that $\langle{\bm{x}},\SS^{-1}{\bm{x}}\rangle\geq\alpha\|{\bm{x}}\|^{2}$ for all ${\bm{x}}\in{\mathbb{R}}^{m}$, and

$$-\frac{1}{2n}\langle{\bm{x}},\SS^{-1}{\bm{x}}\rangle+\frac{c_{\SS}}{n}\|{\bm{x}}\|\leq-\frac{\alpha}{2n}\|{\bm{x}}\|^{2}+\frac{c_{\SS}}{n}\|{\bm{x}}\|=-\frac{\alpha}{2n}\left(\|{\bm{x}}\|-\frac{c_{\SS}}{\alpha}\right)^{2}+\frac{c_{\SS}^{2}}{2\alpha n}.$$

This shows that the last integral is at most by the change of variables ${\bm{x}}\mapsto\sqrt{n}{\bm{x}}$,

$$\int_{\|{\bm{x}}\|\geq\lambda n^{\frac{1}{2}}-\sqrt{2}}\frac{1}{\sqrt{(2\pi)^{2}\det(n\SS)}}e^{-\frac{\alpha}{2n}\left(\|{\bm{x}}\|-\frac{c_{\SS}}{\alpha}\right)^{2}+\frac{c_{\SS}^{2}}{2\alpha n}}\,d{\bm{x}}$$

$$=\frac{e^{\frac{c_{\SS}^{2}}{2\alpha n}}}{2\pi\sqrt{\det\SS}}\int_{\|{\bm{x}}\|\geq(\lambda n^{\frac{1}{2}}-\sqrt{2})/\sqrt{n}}e^{-\frac{\alpha}{2}\left(\|{\bm{x}}\|-\frac{c_{\SS}}{\alpha\sqrt{n}}\right)^{2}}\,d{\bm{x}}=\frac{e^{\frac{c_{\SS}^{2}}{2\alpha n}}}{\sqrt{\det\SS}}\int_{(\lambda n^{\frac{1}{2}}-\sqrt{2})/\sqrt{n}}^{\infty}e^{-\frac{\alpha}{2}\left(s-\frac{c_{\SS}}{\alpha\sqrt{n}}\right)^{2}}s\,ds.$$

In the above, the last equality has used the polar coordinate. There exists a constant $C_{\SS}>0$ such that $s+c_{\SS}/(\alpha\sqrt{n})\leq se^{\frac{\alpha}{4}s^{2}}$ for all $s>C_{\SS}$ and all $n\geq 1$. The last term above equals by the change of variables, for $R:=(\lambda n^{\frac{1}{2}}-\sqrt{2})/\sqrt{n}-c_{\SS}/(\alpha\sqrt{n})$,

$$\frac{e^{\frac{c_{\SS}^{2}}{2\alpha n}}}{\sqrt{\det\SS}}\int_{R}^{\infty}e^{-\frac{\alpha}{2}s^{2}}\left(s+\frac{c_{\SS}}{\alpha\sqrt{n}}\right)\,ds\leq\frac{e^{\frac{c_{\SS}^{2}}{2\alpha n}}}{\sqrt{\det\SS}}\int_{R}^{\infty}e^{-\frac{\alpha}{4}s^{2}}s\,ds=\frac{e^{\frac{c_{\SS}^{2}}{2\alpha n}}}{\sqrt{\det\SS}}\frac{2}{\alpha}e^{-\frac{\alpha}{4}R^{2}}.$$

Note that for all $n>(c_{\SS}/\alpha)^{2}+2$,

$$R=(\lambda n^{\frac{1}{2}}-\sqrt{2})/\sqrt{n}-c_{\SS}/(\alpha\sqrt{n})\geq\lambda-\sqrt{2}/\sqrt{n}-1\geq\lambda-2.$$

Hence there exist constants $c_{\rho},C_{\rho}>0$ such that for all $n>C_{\rho}$ and all $\lambda\geq C_{\rho}$,

$$\sum_{\|{\bm{x}}\|>\lambda n^{\frac{1}{2}}}f_{n\SS}({\bm{x}})\leq C_{\rho}e^{-c_{\rho}\lambda^{2}}.$$

Therefore together with (A.6), there exist (possibly different) constants $c_{\rho},C_{\rho}>0$ depending only on $\rho$ such that the following holds: For all $n>C_{\rho}$ and all $\lambda\geq C_{\rho}$,

$$\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{1}\geq\sum_{\|{\bm{x}}\|\leq\lambda n^{1/2}}|\pi_{n}^{\rho}({\bm{x}})-\mu_{n}\times\mu_{n}({\bm{x}})|$$

$$\geq\sum_{\|{\bm{x}}\|\leq\lambda n^{1/2}}|f_{n\SS^{\rho}}({\bm{x}})-f_{n\SS^{1}}({\bm{x}})|-2C_{m}\lambda^{2m}\delta_{n}\geq\|f_{n\SS^{\rho}}-f_{n\SS^{1}}\|_{1}-2C_{\rho}e^{-c_{\rho}\lambda^{2}}-2C_{m}\lambda^{2m}\delta_{n}.$$

Thus by (A.4), letting $n\to\infty$, we obtain

$$\liminf_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{1}\geq 2-4\rho^{\frac{1}{4}}-2C_{\rho}e^{-c_{\rho}\lambda^{2}}.$$

In total variation distance, letting $\lambda\to\infty$ and then $\rho\to 0$ yields

$$\lim_{\rho\to 0}\liminf_{n\to\infty}\|\pi^{\rho}_{n}-\mu_{n}\times\mu_{n}\|_{\rm TV}=1.$$

In the case when $\mu$ is not aperiodic, then we apply the above discussion to the even times and the odd times respectively for those aperiodic random walks, and obtain the same results. ∎

Acknowledgment

The author is partially supported by JSPS Grant-in-Aid for Scientific Research JP20K03602.