Strong approximation in random towers of graphs.
From MaRDI portal
Trees (05C05) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Random graphs (graph-theoretic aspects) (05C80) Infinite automorphism groups (20B27) Groups acting on trees (20E08) Probabilistic methods in group theory (20P05) Probability measures on groups or semigroups, Fourier transforms, factorization (60B15)
Abstract: The term "strong approximation" is used to describe phenomena where an arithmetic group as well as all of its Zariski dense subgroups have a large image in the congruence quotients. We exhibit analogues of such phenomena in a probabilistic, rather than arithmetic, setting. Let T be the binary rooted tree, Aut(T) its automorphism group. To a given m-tuple a = {a_1,a_2,...,a_m} in Aut(T), we associate a tower of 2m-regular Schreier graphs ...X_n-->X_{n-1}-->...-->X_0. The vertices of X_n are the n^{th} level of the tree and two such are connected by an edge if a generator takes one to the other. When {a_i} are independent Haar-random elements of Aut(T) we retrieve the standard model for iterated random 2-lifts studied, for example by Bilu-Linial. If w={w_1,w_2,...,w_l} are words in the free group F_m, the random substitutions w(a) := {w_1(a),...,w_l(a)} give rise to new models for random towers of 2l-regular graphs: ...Y_n-->Y_{n-1}-->...-->Y_0. With the above notation, the following hold almost surely, for every non cyclic subgroup D in F_m: (i) the graphs have a bounded number of connected components, (ii) these connected components form a family of expander graphs, (iii) the closure of D has positive Hausdorff dimension as a subgroup of the (metric) group Aut(T).
Recommendations
Cites work
- A.D. Alexandrov spaces with curvature bounded below
- Dimension and randomness in groups acting on rooted trees
- Expander graphs in pure and applied mathematics
- Expanding graphs and invariant means
- Expansion and random walks in \(\text{SL}_d(\mathbb{Z}/p^n\mathbb{Z})\). I.
- Expansion and random walks in \(\text{SL}_d(\mathbb{Z}/p^n\mathbb{Z})\). II.
- Expansion in \(\text{SL}_d(\mathbb Z/q\mathbb Z)\), \(q\) arbitrary.
- Expansion in finite simple groups of Lie type.
- Groups acting on trees: From local to global structure
- Growth and generation in \(\text{SL}_2(\mathbb{Z}/p\mathbb{Z})\).
- Hausdorff dimension, pro-𝑝 groups, and Kac-Moody algebras
- scientific article; zbMATH DE number 1552121 (Why is no real title available?)
- scientific article; zbMATH DE number 754210 (Why is no real title available?)
- Lifts, discrepancy and nearly optimal spectral gap
- On subgroups of \(GL_ n(F_ p)\)
- On the spectral gap for infinite index ``congruence subgroups of \(SL_2(\mathbb{Z})\)
- Random generation in semisimple algebraic groups over local fields.
- Random walks and expansion in \(\text{SL}_d(\mathbb{Z}/p^n\mathbb{Z})\).
- Strong approximation for Zariski dense subgroups over arbitrary global fields
- Strong approximation for Zariski-dense subgroups of semi-simple algebraic groups
- Strongly dense free subgroups of semisimple algebraic groups.
- Subgroup growth.
- The probability of generating a finite classical group
- The probability of generating a finite simple group
- The probability of generating the symmetric group
- The ubiquity of free subgroups in certain inverse limits of groups
- Uniform expansion bounds for Cayley graphs of \(\text{SL}_2(\mathbb F_p)\).
Cited in
(5)
This page was built for publication: Strong approximation in random towers of graphs.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q397067)
