Researcher profile

Rostislav Grigorchuk

Rostislav Grigorchuk contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

12 published item(s)

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 $\mathbb Z_d$ of $d$-adic integers has a natural interpretation as the boundary of a rooted $d$-ary tree $T_d$. Endomorphisms of this tree (i.e. solenoid maps) are in one-to-one correspondence with 1-Lipschitz mappings from $\mathbb Z_d$ to itself and automorphisms of $T_d$ constitute the group $\mathrm{Isom}(\mathbb Z_d)$. In the case when $d=p$ is prime, Anashin showed that $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 $p$-automatic sequence over a finite subset of $\mathbb Z_p\cap\mathbb Q$. We generalize this result to arbitrary integer $d\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 $\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.

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 $G$ with the following properties: (i) $G$ is finitely generated, (ii) $G$ is amenable, e.g. of intermediate growth, (iii) any finitely presented group $E$ with a quotient isomorphic to $G$ contains non-abelian free subgroups, or the stronger (iii') any finitely presented group with a quotient isomorphic to $G$ is large.

preprint2013arXiv

Invariant random subgroups of the lamplighter group

Let $G$ be one of the lamplighter groups $({\mathbb{Z}/p\bz})^n\wr\mathbb{Z}$ and $\Sub(G)$ the space of all subgroups of $G$. 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 $F$ is a finite group and $Γ$ an infinite group which does not have property $(T)$ then the conjugation-invariant probability measures on $\Sub(F\wrΓ)$ supported on $\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 $p$-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 $e^{n^α}$ for some $α<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]]$ of a Cantor minimal system $(X,T)$. We show that the topological full group $[[T]]$ has the structure similar to a union of permutational wreath products of group $\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]]&#39;$ is infinitely presented; and provide explicit examples of maximal locally finite subgroups of $[[T]]$. We also show that the commutator subgroup $[[T]]&#39;$, which is simple and finitely-generated for minimal subshifts, is decomposable into a product of two locally finite groups and that the groups $[[T]]$ and $[[T]]&#39;$ 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.