Searcharxiv⌕ Search

arXiv subjects

Sergey Bezuglyi

Publications and source records attributed to Sergey Bezuglyi.

29 records · Page 2Linked to original sources

Perfect orderings on Bratteli diagrams II: general Bratteli diagrams

We continue our study of orderings on Bratteli diagrams started in previous work, joint with Jan Kwiatkowski, where Bratteli diagrams of finite rank were considered. We extend the notions of languages, permutations (called correspondences in this paper), skeletons and associated graphs to the case of general Bratteli diagrams, and show their relevance to the study of perfect orderings: those that support Vershik maps; in particular, perfect orderings with several extremal paths. A perfect ordering comes equipped with a skeleton and a correspondence, and conversely, given a skeleton and correspondence, we describe explicitly how to construct perfect orderings, by showing that paths in the associated directed graphs determine the language of the order. We describe an explicit algorithmic method to create perfect orderings on Bratteli diagrams based on the study of certain relations between the entries of the diagram's incidence matrices and properties of the associated graphs, with the latter relations characterizing diagrams which support perfect orderings. Also, we apply the notions of skeletons and associated graphs, to give a new combinatorial proof of the fact that diagrams supporting perfect orderings with k maximal paths have a direct sum of k-1 copies of the integers contained in their infinitesimal subgroup. Under certain conditions, we show that a similar result holds if the diagram supports countably many maximal paths. Our results are illustrated by numerous examples.

math.DS↗

Monopoles, dipoles, and harmonic functions on Bratteli diagrams

In our study of electrical networks we develop two themes: finding explicit formulas for special classes of functions defined on the vertices of a transient network, namely monopoles, dipoles, and harmonic functions. Secondly, our interest is focused on the properties of electrical networks supported on Bratteli diagrams. We show that the structure of Bratteli diagrams allows one to describe algorithmically harmonic functions as well as monopoles and dipoles. We also discuss some special classes of Bratteli diagrams (stationary, Pascal, trees), and we give conditions under which the harmonic functions defined on these diagrams have finite energy.

math.DS↗

Representations of Cuntz-Krieger relations, dynamics on Bratteli diagrams, and path-space measures

We study a new class of representations of the Cuntz-Krieger algebras $\mathcal O_A$ constructed by semibranching function systems, naturally related to stationary Bratteli diagrams. The notion of isomorphic semibranching function systems is defined and studied. We show that any isomorphism of such systems implies the equivalence of the corresponding representations of Cuntz-Krieger algebra $\mathcal O_A$. In particular, we show that equivalent measures generate equivalent representations of $\mathcal O_A$. We use Markov measures which are defined on the path space of stationary Bratteli diagrams to construct isomorphic representations of $\mathcal O_A$. To do this, we associate a (strongly) directed graph to a stationary (simple) Bratteli diagram, and show that isomorphic graphs generate isomorphic semibranching function systems. We also consider a class of monic representations of the Cuntz-Krieger algebras, and we classify them up to unitary equivalence. Several examples that illustrate the results are included in the paper.

math.DS↗

Perfect orderings on Bratteli diagrams

Given a Bratteli diagram B, we study the set O(B) of all possible orderings w on a Bratteli diagram B and its subset P(B) consisting of `perfect' orderings that produce Bratteli-Vershik dynamical systems (Vershik maps). We give necessary and sufficient conditions for w to be perfect. On the other hand, a wide class of non-simple Bratteli diagrams that do not admit Vershik maps is explicitly described. In the case of finite rank Bratteli diagrams, we show that the existence of perfect orderings with a prescribed number of extreme paths affects significantly the values of the entries of the incidence matrices and the structure of the diagram B. Endowing the set O(B) with product measure, we prove that there is some j such that almost all orderings on B have j maximal and minimal paths, and that if j is strictly greater than the number of minimal components that B has, then almost all orderings are imperfect.

math.DS↗

Measures on Cantor sets: the good, the ugly, the bad

We translate Akin's notion of {\it good} (and related concepts) from measures on Cantor sets to traces on dimension groups, and particularly for invariant measures of minimal homeomorphisms (and their corresponding simple dimension groups), this yields characterizations and examples, which translate back to the original context. Good traces on a simple dimension group are characterized by their kernel having dense image in their annihilating set of affine functions on the trace space; this makes it possible to construct many examples with seemingly paradoxical properties. In order to study the related property of {\it refinability,} we consider goodness for sets of measures (traces on dimension groups), and obtain partial characterizations in terms of (special) convex subsets of Choquet simplices. These notions also very closely related to unperforation of quotients of dimension groups by convex subgroups (that are not order ideals), and we give partial characterizations. Numerous examples illustrate the results.

math.DS↗

Finite Rank Bratteli Diagrams: Structure of Invariant Measures

We consider Bratteli diagrams of finite rank (not necessarily simple) and ergodic invariant measures with respect to the cofinal equivalence relation on their path spaces. It is shown that every ergodic invariant measure (finite or "regular" infinite) is obtained by an extension from a simple subdiagram. We further investigate quantitative properties of these measures, which are mainly determined by the asymptotic behavior of products of incidence matrices. A number of sufficient conditions for unique ergodicity are obtained. One of these is a condition of exact finite rank, which parallels a similar notion in measurable dynamics. Several examples illustrate the broad range of possible behavior of finite type diagrams and invariant measures on them. We then prove that the Vershik map on the path space of an exact finite rank diagram cannot be strongly mixing, independent of the ordering. On the other hand, for the so-called "consecutive" ordering, the Vershik map is not strongly mixing on all finite rank diagrams.

math.DS↗

Full groups, flip conjugacy, and orbit equivalence of Cantor minimal systems

In the paper, we consider the full group $[ϕ]$ and topological full group $[[ϕ]]$ of a Cantor minimal system $(X,\f)$. We prove that the commutator subgroups $D([\f])$ and $D([[\f]])$ are simple and show that the groups $D([\f])$ and $D([[\f]])$ completely determine the class of orbit equivalence and flip conjugacy of $\f$, respectively. These results improve the classification found in \cite{gps:1999}. As a corollary of the technique used, we establish the fact that $\f$ can be written as a product of three involutions from $[\f]$.

math.DS↗

The Rokhlin lemma for homeomorphisms of a Cantor set

For a Cantor set $X$, let $Homeo(X)$ denote the group of all homeomorphisms of $X$. The main result of this note is the following theorem. Let $T\in Homeo(X)$ be an aperiodic homeomorphism, let $μ_1,μ_2,...,μ_k$ be Borel probability measures on $X$, $\e> 0$, and $n \ge 2$. Then there exists a clopen set $E\subset X$ such that the sets $E,TE,..., T^{n-1}E$ are disjoint and $μ_i(E\cup TE\cup...\cup T^{n-1}E) > 1 - \e, i= 1,...,k$. Several corollaries of this result are given. In particular, it is proved that for any aperiodic $T\in Homeo(X)$ the set of all homeomorphisms conjugate to $T$ is dense in the set of aperiodic homeomorphisms.

math.DS↗

Topologies on the group of Borel automorphisms of a standard Borel space

The paper is devoted to the study of topologies on the group Aut(X,B) of all Borel automorphisms of a standard Borel space $(X, B)$. Several topologies are introduced and all possible relations between them are found. One of these topologies, $τ$, is a direct analogue of the uniform topology widely used in ergodic theory. We consider the most natural subsets of $Aut(X, B)$ and find their closures. In particular, we describe closures of subsets formed by odometers, periodic, aperiodic, incompressible, and smooth automorphisms with respect to the defined topologies. It is proved that the set of periodic Borel automorphisms is dense in $Aut(X, B)$ (Rokhlin lemma) with respect to $τ$. It is shown that the $τ$-closure of odometers (and of rank 1 Borel automorphisms) coincides with the set of all aperiodic automorphisms. For every aperiodic automorphism $T\in Aut(X, B)$, the concept of a Borel-Bratteli diagram is defined and studied. It is proved that every aperiodic Borel automorphism $T$ is isomorphic to the Vershik transformation acting on the space of infinite paths of an ordered Borel-Bratteli diagram. Several applications of this result are given.

math.DS↗

Topologies on the group of homeomorphisms of a Cantor set

Let $Homeo(Ω)$ be the group of all homeomorphisms of a Cantor set $Ω$. We study topological properties of $Homeo(Ω)$ and its subsets with respect to the uniform $(τ)$ and weak $(τ_w)$ topologies. The classes of odometers and periodic, aperiodic, minimal, rank 1 homeomorphisms are considered and the closures of those classes in $τ$ and $τ_w$ are found.

math.DS↗

Smooth automorphisms and path-connectedness in Borel dynamics

Let $Aut(X,\mathcal{B})$ be the group of all Borel automorphisms of a standard Borel space $(X,\mathcal{B})$. We study topological properties of $Aut(X,\mathcal{B})$ with respect to the uniform and weak topologies, $τ$ and $p$, defined in [Bezuglyi S., Dooley A.H., Kwiatkowski J., Topologies on the group of Borel automorphisms of a standard Borel space, Preprint, 2003]. It is proved that the class of smooth automorphisms is dense in $(Aut(X,\mathcal B),p)$. Let $Ctbl(X)$ denote the group of Borel automorphisms with countable support. It is shown that the topological group $Aut_0(X,\mathcal B)=Aut(X,\mathcal{B})/Ctbl(X)$ is path-connected with respect to the quotient topology $τ_0$. It is also proved that $Aut_0(X,\mathcal B)$ has the Rokhlin property in the quotient topology $p_0$, i.e., the action of $Aut_0(X,\mathcal B)$ on itself by conjugation is topologically transitive.

math.DS↗