We study random walks on various group extensions. Under certain bounded generation and bounded scaled conditions, we estimate the spectral gap of a random walk on a quasi-random-by-nilpotent group in terms of the spectral gap of its projection to the quasi-random part. We also estimate the spectral gap of a random-walk on a product of two quasi-random groups in terms of the spectral gap of its projections to the given factors. Based on these results, we estimate the spectral gap of a random walk on the -points of a perfect algebraic group in terms of the spectral gap of its projections to the almost simple factors of the semisimple quotient of . These results extend a work of Lindenstrauss and Varjú and an earlier work of the authors. Moreover, using a result of Breuillard and Gamburd, we show that there is an infinite set of primes of density one such that, if is a positive integer and is a perfect group and is a unipotent group, then the family of all the Cayley graphs of , , is a family of expanders.
more »
« less
Double coset Markov chains
Abstract Let G be a finite group. Let $H, K$ be subgroups of G and $$H \backslash G / K$$ the double coset space. If Q is a probability on G which is constant on conjugacy classes ( $$Q(s^{-1} t s) = Q(t)$$ ), then the random walk driven by Q on G projects to a Markov chain on $$H \backslash G /K$$ . This allows analysis of the lumped chain using the representation theory of G . Examples include coagulation-fragmentation processes and natural Markov chains on contingency tables. Our main example projects the random transvections walk on $$GL_n(q)$$ onto a Markov chain on $$S_n$$ via the Bruhat decomposition. The chain on $$S_n$$ has a Mallows stationary distribution and interesting mixing time behavior. The projection illuminates the combinatorics of Gaussian elimination. Along the way, we give a representation of the sum of transvections in the Hecke algebra of double cosets, which describes the Markov chain as a mixture of Metropolis chains. Some extensions and examples of double coset Markov chains with G a compact group are discussed.
more »
« less
- Award ID(s):
- 1954042
- PAR ID:
- 10438838
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 11
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We prove a sample-path large deviation principle (LDP) with sublinear speed for unbounded functionals of certain Markov chains induced by the Lindley recursion. The LDP holds in the Skorokhod space [Formula: see text] equipped with the [Formula: see text] topology. Our technique hinges on a suitable decomposition of the Markov chain in terms of regeneration cycles. Each regeneration cycle denotes the area accumulated during the busy period of the reflected random walk. We prove a large deviation principle for the area under the busy period of the Markov random walk, and we show that it exhibits a heavy-tailed behavior. Funding: The research of B. Zwart and M. Bazhba is supported by the Nederlandse Organisatie voor Wetenschappelijk Onderzoek [Grant 639.033.413]. The research of J. Blanchet is supported by the National Science Foundation (NSF) [Grants 1915967, 1820942, and 1838576] as well as the Defense Advanced Research Projects Agency [Grant N660011824028]. The research of C.-H. Rhee is supported by the NSF [Grant CMMI-2146530].more » « less
-
Let $$\Omega_q$$ denote the set of proper $[q]$-colorings of the random graph $$G_{n,m}, m=dn/2$$ and let $$H_q$$ be the graph with vertex set $$\Omega_q$$ and an edge $$\set{\s,\t}$$ where $$\s,\t$$ are mappings $$[n]\to[q]$$ iff $$h(\s,\t)=1$$. Here $$h(\s,\t)$$ is the Hamming distance $$|\set{v\in [n]:\s(v)\neq\t(v)}|$$. We show that w.h.p. $$H_q$$ contains a single giant component containing almost all colorings in $$\Omega_q$$ if $$d$$ is sufficiently large and $$q\geq \frac{cd}{\log d}$$ for a constant $c>3/2$.more » « less
-
Let $$\Gamma$$ be a finite group acting transitively on $$[n]=\{1,2,\ldots,n\}$$, and let $$G=\mathrm{Cay}(\Gamma,T)$$ be a Cayley graph of $$\Gamma$$. The graph $$G$$ is called normal if $$T$$ is closed under conjugation. In this paper, we obtain an upper bound for \textcolor[rgb]{0,0,1}{the second (largest) eigenvalue} of the adjacency matrix of the graph $$G$$ in terms of the second eigenvalues of certain subgraphs of $$G$$ (see Theorem 2.6). Using this result, we develop a recursive method to determine the second eigenvalues of certain Cayley graphs of $$S_n$$ and we determine the second eigenvalues of a majority of the connected normal Cayley graphs (and some of their subgraphs) of $$S_n$$ with $$\max_{\tau\in T}|\mathrm{supp}(\tau)|\leq 5$$, where $$\mathrm{supp}(\tau)$$ is the set of points in $[n]$ non-fixed by $$\tau$$.more » « less
-
Let $$\Gamma$$ be a finite group acting transitively on $$[n]=\{1,2,\ldots,n\}$$, and let $$G=\mathrm{Cay}(\Gamma,T)$$ be a Cayley graph of $$\Gamma$$. The graph $$G$$ is called normal if $$T$$ is closed under conjugation. In this paper, we obtain an upper bound for \textcolor[rgb]{0,0,1}{the second (largest) eigenvalue} of the adjacency matrix of the graph $$G$$ in terms of the second eigenvalues of certain subgraphs of $$G$$ (see Theorem 2.6). Using this result, we develop a recursive method to determine the second eigenvalues of certain Cayley graphs of $$S_n$$ and we determine the second eigenvalues of a majority of the connected normal Cayley graphs (and some of their subgraphs) of $$S_n$$ with $$\max_{\tau\in T}|\mathrm{supp}(\tau)|\leq 5$$, where $$\mathrm{supp}(\tau)$$ is the set of points in $[n]$ non-fixed by $$\tau$$.more » « less