Showing 1–9 of 9 results for author: Ugarcovici, I

On the topological entropy of (a,b)-continued fraction transformations

Authors: Adam Abrams, Svetlana Katok, Ilie Ugarcovici

Abstract: We study the topological entropy of a two-parameter family of maps related to (a,b)-continued fraction algorithms and prove that it is constant on a square within the parameter space (two vertices of this square correspond to well-studied continued fraction algorithms). The proof uses conjugation to maps of constant slope. We also present experimental evidence that the topological entropy is flexi… ▽ More We study the topological entropy of a two-parameter family of maps related to (a,b)-continued fraction algorithms and prove that it is constant on a square within the parameter space (two vertices of this square correspond to well-studied continued fraction algorithms). The proof uses conjugation to maps of constant slope. We also present experimental evidence that the topological entropy is flexible (i.e., takes any value in a range) on the whole parameter space. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: 14 pages, 10 figures

MSC Class: 37E05; 37B40

Rigidity and flexibility of entropies of boundary maps associated to Fuchsian groups

Authors: Adam Abrams, Svetlana Katok, Ilie Ugarcovici

Abstract: Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study the topological entropy and measure-theoretic entropy (with respect to a smooth invariant measure) of generalized Bowen--Series boundary maps. Each such map is defined for a particular fundamental polygon for the surface and a particular multi-parameter. We present and sketch the proofs of two strikin… ▽ More Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study the topological entropy and measure-theoretic entropy (with respect to a smooth invariant measure) of generalized Bowen--Series boundary maps. Each such map is defined for a particular fundamental polygon for the surface and a particular multi-parameter. We present and sketch the proofs of two strikingly different results: topological entropy is constant in this entire family ("rigidity"), while measure-theoretic entropy varies within Teichmüller space, taking all values ("flexibility") between zero and a maximum, which is achieved on the surface that admits a regular fundamental $(8g-4)$-gon. We obtain explicit formulas for both entropies. The rigidity proof uses conjugation to maps of constant slope, while the flexibility proof -- valid only for certain multi-parameters -- uses the realization of geodesic flow as a special flow over the natural extension of the boundary map. △ Less

Submitted 7 October, 2022; v1 submitted 25 June, 2021; originally announced June 2021.

Comments: 21 pages, 10 figures; removed extraneous symmetry arguments; published in Mathematics Research Reports

Rigidity of topological entropy of boundary maps associated to Fuchsian groups

Authors: Adam Abrams, Svetlana Katok, Ilie Ugarcovici

Abstract: Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study a family of generalized Bowen-Series boundary maps and prove the following rigidity result: in this family the topological entropy is constant and depends only on the genus of the surface. We give an explicit formula for this entropy and show that the value of the topological entropy also stays constant… ▽ More Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study a family of generalized Bowen-Series boundary maps and prove the following rigidity result: in this family the topological entropy is constant and depends only on the genus of the surface. We give an explicit formula for this entropy and show that the value of the topological entropy also stays constant in the Teichmüller space of the surface. The proofs use conjugation to maps of constant slope. △ Less

Submitted 7 October, 2022; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: 24 pages, 7 figures; minor corrections, to appear in A Vision for Dynamics in the 21st Century

MSC Class: 37D40; 37E10

A strongly aperiodic shift of finite type on the discrete Heisenberg group using Robinson tilings

Authors: Ayse A. Sahin, Michael Schraudner, Ilie Ugarcovici

Abstract: We explicitly construct a strongly aperiodic subshift of finite type for the discrete Heisenberg group. Our example builds on the classical aperiodic tilings of the plane due to Raphael Robinson. Extending those tilings to the Heisenberg group by exploiting the group's structure and posing additional local rules to prune out remaining periodic behavior we maintain a rich projective subdynamics on… ▽ More We explicitly construct a strongly aperiodic subshift of finite type for the discrete Heisenberg group. Our example builds on the classical aperiodic tilings of the plane due to Raphael Robinson. Extending those tilings to the Heisenberg group by exploiting the group's structure and posing additional local rules to prune out remaining periodic behavior we maintain a rich projective subdynamics on $\mathbb Z^2$ cosets. In addition the obtained subshift factors onto a strongly aperiodic, minimal sofic shift via a map that is invertible on a dense set of configurations. △ Less

Submitted 16 July, 2021; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: 28 pages, 8 figures; revised version accepted to Illinois Journal of Mathematics

MSC Class: 37B10; 37B50

Flexibility of measure-theoretic entropy of boundary maps associated to Fuchsian groups

Authors: Adam Abrams, Svetlana Katok, Ilie Ugarcovici

Abstract: Given a closed, oriented, compact surface $S$ of constant negative curvature and genus $g \ge 2$, we study the measure-theoretic entropy of the Bowen-Series boundary map with respect to its smooth invariant measure. We obtain an explicit formula for the entropy that only depends on the perimeter of the $(8g-4)$-sided fundamental polygon of the surface $S$ and its genus. Using this, we analyze how… ▽ More Given a closed, oriented, compact surface $S$ of constant negative curvature and genus $g \ge 2$, we study the measure-theoretic entropy of the Bowen-Series boundary map with respect to its smooth invariant measure. We obtain an explicit formula for the entropy that only depends on the perimeter of the $(8g-4)$-sided fundamental polygon of the surface $S$ and its genus. Using this, we analyze how the entropy changes in the Teichmüller space of $S$ and prove the following flexibility result: the measure-theoretic entropy takes all values between $0$ and a maximum that is achieved on the surface that admits a regular $(8g-4)$-sided fundamental polygon. We also compare the measure-theoretic entropy to the topological entropy of these maps and show that the smooth invariant measure is not the measure of maximal entropy. △ Less

Submitted 5 April, 2021; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: 12 pages, 5 figures (v3: typo corrections, appendix revision)

MSC Class: 37D40; 37E10 (Primary); 28D20; 20H10 (Secondary)

Structure of attractors for boundary maps associated to Fuchsian groups

Authors: Svetlana Katok, Ilie Ugarcovici

Abstract: We study dynamical properties of generalized Bowen-Series boundary maps associated to cocompact torsion-free Fuchsian groups. These maps are defined on the unit circle (the boundary of the Poincaré disk) by the generators of the group and have a finite set of discontinuities. We study the two forward orbits of each discontinuity point and show that for a family of such maps the cycle property hold… ▽ More We study dynamical properties of generalized Bowen-Series boundary maps associated to cocompact torsion-free Fuchsian groups. These maps are defined on the unit circle (the boundary of the Poincaré disk) by the generators of the group and have a finite set of discontinuities. We study the two forward orbits of each discontinuity point and show that for a family of such maps the cycle property holds: the orbits coincide after finitely many steps. We also show that for an open set of discontinuity points the associated two-dimensional natural extension maps possess global attractors with finite rectangular structure. These two properties belong to the list of "good" reduction algorithms, equivalence or implications between which were suggested by Don Zagier. △ Less

Submitted 3 May, 2017; v1 submitted 1 October, 2016; originally announced October 2016.

Comments: 27 pages, 12 figures; revised version accepted for publication in Geometriae Dedicata

MSC Class: 37D40

The structure and spectrum of Heisenberg odometers

Authors: Samuel Lightwood, Ayse A. Sahin, Ilie Ugarcovici

Abstract: In recent work Cortez and Petite defined odometer actions of discrete, finitely generated and residually finite groups G. In this paper we focus on the case where G is the discrete Heisenberg group. We prove a structure theorem for finite index subgroups of the Heisenberg group based on their geometry when they are considered as subsets of Z^3. We provide a complete classification of Heisenberg od… ▽ More In recent work Cortez and Petite defined odometer actions of discrete, finitely generated and residually finite groups G. In this paper we focus on the case where G is the discrete Heisenberg group. We prove a structure theorem for finite index subgroups of the Heisenberg group based on their geometry when they are considered as subsets of Z^3. We provide a complete classification of Heisenberg odometers based on the structure of their defining subgroups and we provide examples of each class. Mackey has shown that all such actions have discrete spectrum, i.e. that the unitary operator associated to the dynamical system admits a decomposition into finite dimensional, irreducible representations of the group G. Here we provide an explicit proof of this fact for general G odometers. Our proof allows us to define explicitly those representations of the Heisenberg group which appear in the spectral decomposition of a Heisenberg odometer, as a function of the defining subgroups. Along the way we also provide necessary and sufficient conditions for a Z^d odometer to be a product odometer as defined by Cortez. △ Less

Submitted 22 October, 2012; v1 submitted 8 September, 2011; originally announced September 2011.

Comments: 15 pages, revised version, accepted to Proceedings of AMS

MSC Class: 37A15; 37A30

Applications of (a,b)-continued fraction transformations

Authors: Svetlana Katok, Ilie Ugarcovici

Abstract: We describe a general method of arithmetic coding of geodesics on the modular surface based on a two parameter family of continued fraction transformations studied previously by the authors. The finite rectangular structure of the attractors of the natural extension maps and the corresponding "reduction theory" play an essential role. In special cases, when an (a,b)-expansion admits a so-called "d… ▽ More We describe a general method of arithmetic coding of geodesics on the modular surface based on a two parameter family of continued fraction transformations studied previously by the authors. The finite rectangular structure of the attractors of the natural extension maps and the corresponding "reduction theory" play an essential role. In special cases, when an (a,b)-expansion admits a so-called "dual", the coding sequences are obtained by juxtaposition of the boundary expansions of the fixed points, and the set of coding sequences is a countable sofic shift. We also prove that the natural extension maps are Bernoulli shifts and compute the density of the absolutely continuous invariant measure and the measure-theoretic entropy of the one-dimensional map. △ Less

Submitted 30 May, 2011; originally announced May 2011.

Comments: accepted for publication, Ergodic Theory and Dynamical Systems

MSC Class: 37D40; 37B40

Structure of attractors for (a,b)-continued fraction transformations

Authors: Svetlana Katok, Ilie Ugarcovici

Abstract: We study a two-parameter family of one-dimensional maps and related (a,b)-continued fractions suggested for consideration by Don Zagier. We prove that the associated natural extension maps have attractors with finite rectangular structure for the entire parameter set except for a Cantor-like set of one-dimensional Lebesgue zero measure that we completely describe. We show that the structure of th… ▽ More We study a two-parameter family of one-dimensional maps and related (a,b)-continued fractions suggested for consideration by Don Zagier. We prove that the associated natural extension maps have attractors with finite rectangular structure for the entire parameter set except for a Cantor-like set of one-dimensional Lebesgue zero measure that we completely describe. We show that the structure of these attractors can be "computed" from the data (a,b), and that for a dense open set of parameters the Reduction theory conjecture holds, i.e. every point is mapped to the attractor after finitely many iterations. We also show how this theory can be applied to the study of invariant measures and ergodic properties of the associated Gauss-like maps. △ Less

Submitted 23 April, 2010; originally announced April 2010.

Comments: 51 pages, 8 figures

MSC Class: 37E05; 11A55; 11K50