Source author record

Rostislav Grigorchuk

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

22works
4topics
4close collaborators

Published work

22 publications

preprint2021arXiv

Integrable and Chaotic Systems Associated with Fractal Groups

Fractal groups (also called self-similar groups) is the class of groups discovered by the first author in the 80-s of the last century with the purpose to solve some famous problems in mathematics, including the question raising to von Neumann about non-elementary amenability (in the association with studies around the Banach-Tarski Paradox) and John Milnor's question on the existence of groups of intermediate growth between polynomial and exponential. Fractal groups arise in various fields of mathematics, including the theory of random walks, holomorphic dynamics, automata theory, operator algebras, etc. They have relations to the theory of chaos, quasi-crystals, fractals, and random Schrödinger operators. One of important developments is the relation of them to the multi-dimensional dynamics, theory of joint spectrum of pencil of operators, and spectral theory of Laplace operator on graphs. The paper gives a quick access to these topics, provide calculation and analysis of multi-dimensional rational maps arising via the Schur complement in some important examples, including the first group of intermediate growth and its overgroup, contains discussion of the dichotomy "integrable-chaotic" in the considered model, and suggests a possible probabilistic approach to the study of discussed problems.

preprint2021arXiv

Self-similar groups and holomorphic dynamics: Renormalization, integrability, and spectrum

In this paper, we explore the spectral measures of the Laplacian on Schreier graphs for several self-similar groups (the Grigorchuk, Lamplighter, and Hanoi groups) from the dynamical and algebro-geometric viewpoints. For these graphs, classical Schur renormalization transformations act on appropriate spectral parameters as rational maps in two variables. We show that the spectra in question can be interpreted as asymptotic distributions of slices by a line of iterated pullbacks of certain algebraic curves under the corresponding rational maps (leading us to a notion of a spectral current). We follow up with a dynamical criterion for discreteness of the spectrum. In case of discrete spectrum, the precise rate of convergence of finite-scale approximands to the limiting spectral measure is given. For the three groups under consideration, the corresponding rational maps happen to be fibered over polynomials in one variable. We reveal the algebro-geometric nature of this integrability phenomenon.

preprint2020arXiv

Solenoid Maps, Automatic Sequences, Van Der Put Series, and Mealy-Moore Automata

The ring Zd\mathbb Z_d of dd-adic integers has a natural interpretation as the boundary of a rooted dd-ary tree TdT_d. Endomorphisms of this tree (i.e. solenoid maps) are in one-to-one correspondence with 1-Lipschitz mappings from Zd\mathbb Z_d to itself and automorphisms of TdT_d constitute the group Isom(Zd)\mathrm{Isom}(\mathbb Z_d). In the case when d=pd=p is prime, Anashin showed that f∈Lip1(Zp)f\in\mathrm{Lip}^1(\mathbb Z_p) is defined by a finite Mealy automaton if and only if the reduced coefficients of its van der Put series constitute a pp-automatic sequence over a finite subset of Zp∩Q\mathbb Z_p\cap\mathbb Q. We generalize this result to arbitrary integer d≥2d\geq 2, describe the explicit connection between the Moore automaton producing such sequence and the Mealy automaton inducing the corresponding endomorphism. Along the process we produce two algorithms allowing to convert the Mealy automaton of an endomorphism to the corresponding Moore automaton generating the sequence of the reduced van der Put coefficients of the induced map on Zd\mathbb Z_d and vice versa. We demonstrate examples of applications of these algorithms for the case when the sequence of coefficients is Thue-Morse sequence, and also for one of the generators of the standard automaton representation of the lamplighter group.

preprint2016arXiv

Schreier graphs of Grigorchuk's group and a subshift associated to a non-primitive substitution

There is a recently discovered connection between the spectral theory of Schrö-dinger operators whose potentials exhibit aperiodic order and that of Laplacians associated with actions of groups on regular rooted trees, as Grigorchuk's group of intermediate growth. We give an overview of corresponding results, such as different spectral types in the isotropic and anisotropic cases, including Cantor spectrum of Lebesgue measure zero and absence of eigenvalues. Moreover, we discuss the relevant background as well as the combinatorial and dynamical tools that allow one to establish the afore-mentioned connection. The main such tool is the subshift associated to a substitution over a finite alphabet that defines the group algebraically via a recursive presentation by generators and relators.

preprint2015arXiv

Characteristic random subgroups of geometric groups and free abelian groups of infinite rank

We show that if GG is a non-elementary word hyperbolic group, mapping class group of a hyperbolic surface or the outer automorphism group of a nonabelian free group then GG has 2ℵ02^{\aleph_0} many continuous ergodic invariant random subgroups. If GG is a nonabelian free group then GG has 2ℵ02^{\aleph_0} many continuous GG-ergodic characteristic random subgroups. We also provide a complete classification of characteristic random subgroups of free abelian groups of countably infinite rank and elementary pp-groups of countably infinite rank.

preprint2014arXiv

On the condensation property of the Lamplighter groups and groups of Intermediate growth

The aim of this short note is to revisit some old results about groups of intermediate growth and groups of the lamplighter type and to show that the Lamplighter group L=Z2≀ZL=\mathbb{Z}_2\wr \mathbb{Z} is a condensation group and has a minimal presentation by generators and relators. The condensation property is achieved by showing that LL belongs to a Cantor subset of the space M2\mathcal{M}_2 of marked 2-generated groups consisting mostly of groups of intermediate growth.

preprint2013arXiv

Amenable groups without finitely presented amenable covers

The goal of this article is to study results and examples concerning finitely presented covers of finitely generated amenable groups. We collect examples of groups GG with the following properties: (i) GG is finitely generated, (ii) GG is amenable, e.g. of intermediate growth, (iii) any finitely presented group EE with a quotient isomorphic to GG contains non-abelian free subgroups, or the stronger (iii') any finitely presented group with a quotient isomorphic to GG is large.

preprint2013arXiv

Invariant random subgroups of the lamplighter group

Let GG be one of the lamplighter groups $({\mathbb{Z}/p\bz})^n\wr\mathbb{Z}$ and $\Sub(G)$ the space of all subgroups of GG. We determine the perfect kernel and Cantor-Bendixson rank of $\Sub(G)$. The space of all conjugation-invariant Borel probability measures on $\Sub(G)$ is a simplex. We show that this simplex has a canonical Poulsen subsimplex whose complement has only a countable number of extreme points. If FF is a finite group and ΓΓ an infinite group which does not have property (T)(T) then the conjugation-invariant probability measures on $\Sub(F\wrΓ)$ supported on ⊕ΓF\oplus_ΓF also form a Poulsen simplex.

preprint2013arXiv

Milnor's Problem on the Growth of Groups and its Consequences

We present a survey of results related to the Milnor's problem on group growth. We discuss the cases of polynomial growth, exponential but not uniformly exponential growth, but the main part of the article is devoted to the intermediate (between polynomial and exponential) growth case. A number of related topics (growth of manifolds, amenability, asymptotic behavior of random walks) is considered, and a number of open problems is suggested.

preprint2013arXiv

On growth of random groups of intermediate growth

We study the growth of typical groups from the family of pp-groups of intermediate growth constructed by the second author. We find that, in the sense of category, a generic group exhibits oscillating growth with no universal upper bound. At the same time, from a measure-theoretic point of view (i.e., almost surely relative to an appropriately chosen probability measure), the growth function is bounded by enαe^{n^α} for some α<1α<1.

preprint2013arXiv

Self-similar groups acting essentially freely on the boundary of the binary rooted tree

We study the class of groups generated by automata that act essentially freely on the boundary of a rooted tree. In the process we establish and discuss some general tools for determining if a group belongs to this class, and explore the connections of this class to the classes of just-infinite and scale-invariant groups. Our main application is a complete classification of groups generated by 3-state automata over 2-letter alphabet that are in this class.

preprint2012arXiv

On Algebraic Properties of Topological Full Groups

In the paper we discuss the algebraic structure of topological full group [[T]][[T]] of a Cantor minimal system (X,T)(X,T). We show that the topological full group [[T]][[T]] has the structure similar to a union of permutational wreath products of group Z\mathbb Z. This allows us to prove that the topological full groups are locally embeddable into finite groups; give an elmentary proof of the fact that group [[T]]′[[T]]' is infinitely presented; and provide explicit examples of maximal locally finite subgroups of [[T]][[T]]. We also show that the commutator subgroup [[T]]′[[T]]', which is simple and finitely-generated for minimal subshifts, is decomposable into a product of two locally finite groups and that the groups [[T]][[T]] and [[T]]′[[T]]' possess continuous ergodic invariant random subgroups.

preprint2012arXiv

On the Gap Conjecture concerning group growth

We discuss some new results concerning Gap Conjecture on group growth and present a reduction of it (and its *-version) to several special classes of groups. Namely we show that its validity for the classes of simple groups and residually finite groups will imply the Gap Conjecture in full generality. A similar type reduction holds if the Conjecture is valid for residually polycyclic groups and just-infinite groups. The cases of residually solvable groups and right orderable groups are considered as well.

preprint2011arXiv

Ergodic properties of boundary actions and Nielsen--Schreier theory

We study the basic ergodic properties (ergodicity and conservativity) of the action of an arbitrary subgroup HH of a free group FF on the boundary ∂F\partial F with respect to the uniform measure. Our approach is geometrical and combinatorial, and it is based on choosing a system of Nielsen--Schreier generators in HH associated with a geodesic spanning tree in the Schreier graph X=H\FX=H\backslash F. We give several (mod 0) equivalent descriptions of the Hopf decomposition of the boundary into the conservative and the dissipative parts. Further we relate conservativity and dissipativity of the action with the growth of the Schreier graph XX and of the subgroup HH (≡\equiv cogrowth of XX), respectively. We also construct numerous examples illustrating connections between various relevant notions.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.