BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Dmytro Savchuk

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

ResearcherUnclaimed source record
math.GRFormal Languages and Automata Theorymath.GT

Catalog footprint

Research overview

8works
3topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

8 publications

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.

Open access
preprint2014arXiv

A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group

The class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinite Burnside groups. Here we extend this result to connected 3-state invertible-reversible Mealy automata, using new original techniques. The results provide the first uniform method to construct elements of infinite order in each infinite group in this class.

Open access
preprint2014arXiv

Schreier graphs of actions of Thompson's group F on the unit interval and on the Cantor set

Schreier graphs of the actions of Thompson's group FF on the orbits of all points of the unit interval and of the Cantor set with respect to the standard generating set {x0,x1}\{x_0,x_1\} are explicitly constructed. The closure of the space of pointed Schreier graphs of the action of FF on the orbits of dyadic rational numbers and corresponding Schreier dynamical system are described. In particular, we answer the question of Grigorchuk on the Cantor-Bendixson rank of the underlying space of the Schreier dynamical system in the context of FF. As applications we prove that the pointed Schreier graphs of points from (0,1)(0,1) are amenable, have infinitely many ends, and are pairwise non-isomorphic. Moreover, we prove that points x,y∈(0,1)x,y\in(0,1) have isomorphic non-pointed Schreier graphs if and only if they belong to the same orbit of FF.

Open access
preprint2013arXiv

On Restricting Subsets of Bases in Relatively Free Groups

Let G be a finitely generated free, free abelian of arbitrary exponent, free nilpotent, or free solvable group, or a free group in the variety A_mA_n, and let A = {a_1,..., a_r} be a basis for G. We prove that, in most cases, if S is a subset of a basis for G which may be expressed as a word in A without using elements from {a_{l+1},...,a_r}, then S is a subset of a basis for the relatively free group on {a_1,...,a_l}.

Open access
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.

Open access
preprint2012arXiv

Submanifold Projection

One of the most useful tools for studying the geometry of the mapping class group has been the subsurface projections of Masur and Minsky. Here we propose an analogue for the study of the geometry of Out(F_n) called submanifold projection. We use the doubled handlebody M_n = #^n S^2 \times S^1 as a geometric model of F_n, and consider essential embedded 2-spheres in M_n, isotopy classes of which can be identified with free splittings of the free group. We interpret submanifold projection in the context of the sphere complex (also known as the splitting complex). We prove that submanifold projection satisfies a number of desirable properties, including a Behrstock inequality and a Bounded Geodesic Image theorem. Our proof of the latter relies on a method of canonically visualizing one sphere `with respect to' another given sphere, which we call a sphere tree. Sphere trees are related to Hatcher normal form for spheres, and coincide with an interpretation of certain slices of a Guirardel core.

Open access
preprint2011arXiv

On the geometry of a proposed curve complex analogue for Out(Fn)Out(F_n)

The group $\Out$ of outer automorphisms of the free group has been an object of active study for many years, yet its geometry is not well understood. Recently, effort has been focused on finding a hyperbolic complex on which $\Out$ acts, in analogy with the curve complex for the mapping class group. Here, we focus on one of these proposed analogues: the edge splitting complex $\ESC$, equivalently known as the separating sphere complex. We characterize geodesic paths in its 1-skeleton algebraically, and use our characterization to find lower bounds on distances between points in this graph. Our distance calculations allow us to find quasiflats of arbitrary dimension in $\ESC$. This shows that $\ESC$: is not hyperbolic, has infinite asymptotic dimension, and is such that every asymptotic cone is infinite dimensional. These quasiflats contain an unbounded orbit of a reducible element of $\Out$. As a consequence, there is no coarsely $\Out$-equivariant quasiisometry between $\ESC$ and other proposed curve complex analogues, including the regular free splitting complex $\FSC$, the (nontrivial intersection) free factorization complex $\FFZC$, and the free factor complex $\FFC$, leaving hope that some of these complexes are hyperbolic.

Open access

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.