-
Large normalizers of ${\mathbb Z}^{d}$-odometers systems and realization on substitutive subshifts
Authors:
Christopher Cabezas,
Samuel Petite
Abstract:
For a ${\mathbb Z}^{d}$-topological dynamical system $(X, T, {\mathbb Z}^{d})$, an isomomorphism is a self-homeomorphism $φ: X\to X$ such that for some matrix $M\in {\rm GL}(d,{\mathbb Z})$ and any ${n}\in {\mathbb Z}^{d}$, $φ\circ T^{n}=T^{M{n}}\circ φ$, where $T^{n}$ denote the self-homeomorphism of $X$ given by the action of ${n}\in {\mathbb Z}^d$. The collection of all the isomorphisms forms a…
▽ More
For a ${\mathbb Z}^{d}$-topological dynamical system $(X, T, {\mathbb Z}^{d})$, an isomomorphism is a self-homeomorphism $φ: X\to X$ such that for some matrix $M\in {\rm GL}(d,{\mathbb Z})$ and any ${n}\in {\mathbb Z}^{d}$, $φ\circ T^{n}=T^{M{n}}\circ φ$, where $T^{n}$ denote the self-homeomorphism of $X$ given by the action of ${n}\in {\mathbb Z}^d$. The collection of all the isomorphisms forms a group that is the normalizer of the set of transformations $T^{n}$. In the one-dimensional case, isomorphisms correspond to the notion of flip conjugacy of dynamical systems and by this fact are also called reversing symmetries. These isomorphisms are not well understood even for classical systems. We present a description of them for odometers and more precisely for constant-base ${\mathbb Z}^{2}$-odometers, which is surprisingly not simple. We deduce a complete description of the isomorphisms of some minimal ${\mathbb Z}^{d}$-substitutive subshifts. This enables us to provide the first example known of a minimal zero-entropy subshift with the largest possible normalizer group.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Classification of discrete weak KAM solutions on linearly repetitive quasi-periodic sets
Authors:
Eduardo Garibaldi,
Samuel Petite,
Philippe Thieullen
Abstract:
In discrete schemes, weak KAM solutions may be interpreted as approximations of correctors for some Hamilton-Jacobi equations in the periodic setting. It is known that correctors may not exist in the almost periodic setting. We show the existence of discrete weak KAM solutions for non-degenerate and weakly twist interactions in general. Furthermore, assuming equivariance with respect to a linearly…
▽ More
In discrete schemes, weak KAM solutions may be interpreted as approximations of correctors for some Hamilton-Jacobi equations in the periodic setting. It is known that correctors may not exist in the almost periodic setting. We show the existence of discrete weak KAM solutions for non-degenerate and weakly twist interactions in general. Furthermore, assuming equivariance with respect to a linearly repetitive quasi-periodic set, we completely classify all possible types of weak KAM solutions.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Strong Approximations of Shifts and the Characteristic Measures Problem
Authors:
Van Cyr,
Bryna Kra,
Samuel Petite
Abstract:
Every symbolic system supports a Borel measure that is invariant under the shift, but it is not known if every such systems supports a measure that is invariant under all of its automorphisms; known as a characteristic measure. We give sufficient conditions to find a characteristic measure, additionally showing when it can be taken to be a measure of maximal entropy. The class of systems to which…
▽ More
Every symbolic system supports a Borel measure that is invariant under the shift, but it is not known if every such systems supports a measure that is invariant under all of its automorphisms; known as a characteristic measure. We give sufficient conditions to find a characteristic measure, additionally showing when it can be taken to be a measure of maximal entropy. The class of systems to which these sufficient conditions apply is large, containing a dense $G_δ$ set in the space of all shifts on a given alphabet, and is also large in the sense that it is closed under taking factors. We also investigate natural systems to which these sufficient conditions apply.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
A geometric framework for asymptoticity and expansivity in topological dynamics
Authors:
Sebastián Donoso,
Alejandro Maass,
Samuel Petite
Abstract:
We develop a geometric framework to address asymptoticity and nonexpansivity in topological dynamics. Our framework can be applied when the acting group is second countable and locally compact. As an application, we show extensions of Schwartzman's theorem in this context. Also, we get new results when the acting groups is ${\mathbb Z}^d$: any half-space of ${\mathbb R}^d$ contains a vector defini…
▽ More
We develop a geometric framework to address asymptoticity and nonexpansivity in topological dynamics. Our framework can be applied when the acting group is second countable and locally compact. As an application, we show extensions of Schwartzman's theorem in this context. Also, we get new results when the acting groups is ${\mathbb Z}^d$: any half-space of ${\mathbb R}^d$ contains a vector defining a (oriented) nonexpansive direction in the sense of Boyle and Lind. Finally, we deduce rigidity properties of distal Cantor systems.
△ Less
Submitted 26 January, 2023; v1 submitted 30 September, 2022;
originally announced October 2022.
-
Interplay between finite topological rank minimal Cantor systems, $\mathcal S$-adic subshifts and their complexity
Authors:
Sebastián Donoso,
Fabien Durand,
Alejandro Maass,
Samuel Petite
Abstract:
Minimal Cantor systems of finite topological rank (that can be represented by a Bratteli-Vershik diagram with a uniformly bounded number of vertices per level) are known to have dynamical rigidity properties. We establish that such systems, when they are expansive, define the same class of systems, up to topological conjugacy, as primitive and recognizable ${\mathcal S}$-adic subshifts. This is do…
▽ More
Minimal Cantor systems of finite topological rank (that can be represented by a Bratteli-Vershik diagram with a uniformly bounded number of vertices per level) are known to have dynamical rigidity properties. We establish that such systems, when they are expansive, define the same class of systems, up to topological conjugacy, as primitive and recognizable ${\mathcal S}$-adic subshifts. This is done establishing necessary and sufficient conditions for a minimal subshift to be of finite topological rank. As an application, we show that minimal subshifts with non-superlinear complexity (like all classical zero entropy examples) have finite topological rank. Conversely, we analyze the complexity of ${\mathcal S}$-adic subshifts and provide sufficient conditions for a finite topological rank subshift to have a non-superlinear complexity. This includes minimal Cantor systems given by Bratteli-Vershik representations whose tower levels have proportional heights and the so called left to right ${\mathcal S}$-adic subshifts. We also exhibit that finite topological rank does not imply non-superlinear complexity. In the particular case of topological rank 2 subshifts, we prove their complexity is always subquadratic along a subsequence and their automorphism group is trivial.
△ Less
Submitted 16 March, 2020; v1 submitted 13 March, 2020;
originally announced March 2020.
-
On The Dimension Group of Unimodular S-Adic Subshifts
Authors:
Valerie Berthe,
P Cecchi Bernales,
Fabien Durand,
J Leroy,
Dominique Perrin,
Samuel Petite
Abstract:
Dimension groups are complete invariants of strong orbit equivalence for minimal Cantor systems. This paper studies a natural family of minimal Cantor systems having a finitely generated dimension group, namely the primitive unimodular proper S-adic subshifts. They are generated by iterating sequences of substitutions. Proper substitutions are such that the images of letters start with a same lett…
▽ More
Dimension groups are complete invariants of strong orbit equivalence for minimal Cantor systems. This paper studies a natural family of minimal Cantor systems having a finitely generated dimension group, namely the primitive unimodular proper S-adic subshifts. They are generated by iterating sequences of substitutions. Proper substitutions are such that the images of letters start with a same letter, and similarly end with a same letter. This family includes various classes of subshifts such as Brun subshifts or dendric subshifts, that in turn include Arnoux-Rauzy subshifts and natural coding of interval exchange transformations. We compute their dimension group and investigate the relation between the triviality of the infinitesimal subgroup and rational independence of letter measures. We also introduce the notion of balanced functions and provide a topological characterization of bal-ancedness for primitive unimodular proper S-adic subshifts.
△ Less
Submitted 2 September, 2020; v1 submitted 18 November, 2019;
originally announced November 2019.
-
On the centralizers of minimal aperiodic actions on the Cantor set
Authors:
Maria Isabel Cortez,
Samuel Petite
Abstract:
In this article we study the centralizer of a minimal aperiodic action of a countable group on the Cantor set (an aperiodic minimal Cantor system). We show that any countable residually finite group is the subgroup of the centralizer of some minimal $\mathbb Z$ action on the Cantor set, and that any countable group is the subgroup of the normalizer of a minimal aperiodic action of an abelian count…
▽ More
In this article we study the centralizer of a minimal aperiodic action of a countable group on the Cantor set (an aperiodic minimal Cantor system). We show that any countable residually finite group is the subgroup of the centralizer of some minimal $\mathbb Z$ action on the Cantor set, and that any countable group is the subgroup of the normalizer of a minimal aperiodic action of an abelian countable free group on the Cantor set. On the other hand we show that for any countable group $G$, the centralizer of any minimal aperiodic $G$-action on the Cantor set is a subgroup of the centralizer of a minimal $\mathbb Z$-action.
△ Less
Submitted 2 August, 2019; v1 submitted 12 July, 2018;
originally announced July 2018.
-
On automorphism groups of Toeplitz subshifts
Authors:
Sebastián Donoso,
Fabien Durand,
Alejandro Maass,
Samuel Petite
Abstract:
In this article we study automorphisms of Toeplitz subshifts. Such groups are abelian and any finitely generated torsion subgroup is finite and cyclic. When the complexity is non superlinear, we prove that the automorphism group is, modulo a finite cyclic group, generated by a unique root of the shift. In the subquadratic complexity case, we show that the automorphism group modulo the torsion is g…
▽ More
In this article we study automorphisms of Toeplitz subshifts. Such groups are abelian and any finitely generated torsion subgroup is finite and cyclic. When the complexity is non superlinear, we prove that the automorphism group is, modulo a finite cyclic group, generated by a unique root of the shift. In the subquadratic complexity case, we show that the automorphism group modulo the torsion is generated by the roots of the shift map and that the result of the non superlinear case is optimal. Namely, for any $\varepsilon > 0$ we construct examples of minimal Toeplitz subshifts with complexity bounded by $C n^{1+ε}$ whose automorphism groups are not finitely generated. Finally, we observe the coalescence and the automorphism group give no restriction on the complexity since we provide a family of coalescent Toeplitz subshifts with positive entropy such that their automorphism groups are arbitrary finitely generated infinite abelian groups with cyclic torsion subgroup (eventually restricted to powers of the shift).
△ Less
Submitted 14 June, 2017; v1 submitted 4 January, 2017;
originally announced January 2017.
-
Distortion and the automorphism group of a shift
Authors:
Van Cyr,
John Franks,
Bryna Kra,
Samuel Petite
Abstract:
The set of automorphisms of a one-dimensional \shift $(X, σ)$ forms a countable, but often very complicated, group. For zero entropy shifts, it has recently been shown that the automorphism group is more tame. We provide the first examples of countable groups that cannot embed into the automorphism group of any zero entropy \shiftno. In particular, we show that the Baumslag-Solitar groups…
▽ More
The set of automorphisms of a one-dimensional \shift $(X, σ)$ forms a countable, but often very complicated, group. For zero entropy shifts, it has recently been shown that the automorphism group is more tame. We provide the first examples of countable groups that cannot embed into the automorphism group of any zero entropy \shiftno. In particular, we show that the Baumslag-Solitar groups ${\rm BS}(1,n)$ and all other groups that contain exponentially distorted elements cannot embed into ${\rm Aut}(X)$ when $h_{\rm top}(X)=0$. We further show that distortion in nilpotent groups gives a nontrivial obstruction to embedding such a group in any low complexity shift.
△ Less
Submitted 9 August, 2017; v1 submitted 17 November, 2016;
originally announced November 2016.
-
Self-Induced Systems
Authors:
Fabien Durand,
Nicholas Ormes,
Samuel Petite
Abstract:
A minimal Cantor system is said to be self-induced whenever it is conjugate to one of its induced systems. Substitution subshifts and some odometers are classical examples, and we show that these are the only examples in the equicontinuous or expansive case. Nevertheless, we exhibit a zero entropy self-induced system that is neither equicontinuous nor expansive. We also provide non-uniquely ergodi…
▽ More
A minimal Cantor system is said to be self-induced whenever it is conjugate to one of its induced systems. Substitution subshifts and some odometers are classical examples, and we show that these are the only examples in the equicontinuous or expansive case. Nevertheless, we exhibit a zero entropy self-induced system that is neither equicontinuous nor expansive. We also provide non-uniquely ergodic self-induced systems with infinite entropy.Moreover, we give a characterization of self-induced minimal Cantor systems in terms of substitutions on finite or infinite alphabets.
△ Less
Submitted 4 November, 2015;
originally announced November 2015.
-
On automorphism groups of low complexity subshifts
Authors:
Sebastián Donoso,
Fabien Durand,
Alejandro Maass,
Samuel Petite
Abstract:
In this article we study the automorphism group ${\rm Aut}(X,σ)$ of subshifts $(X,σ)$ of low word complexity. In particular, we prove that Aut$(X,σ)$ is virtually $\mathbb{Z}$ for aperiodic minimal subshifts and certain transitive subshifts with non-superlinear complexity. More precisely, the quotient of this group relative to the one generated by the shift map is a finite group. In addition, we s…
▽ More
In this article we study the automorphism group ${\rm Aut}(X,σ)$ of subshifts $(X,σ)$ of low word complexity. In particular, we prove that Aut$(X,σ)$ is virtually $\mathbb{Z}$ for aperiodic minimal subshifts and certain transitive subshifts with non-superlinear complexity. More precisely, the quotient of this group relative to the one generated by the shift map is a finite group. In addition, we show that any finite group can be obtained in this way. The class considered includes minimal subshifts induced by substitutions, linearly recurrent subshifts and even some subshifts which simultaneously exhibit non-superlinear and superpolynomial complexity along different subsequences. The main technique in this article relies on the study of classical relations among points used in topological dynamics, in particular, asymptotic pairs. Various examples that illustrate the technique developed in this article are provided. In particular, we prove that the group of automorphisms of a $d$-step nilsystem is nilpotent of order $d$ and from there we produce minimal subshifts of arbitrarily large polynomial complexity whose automorphism groups are also virtually $\mathbb{Z}$.
△ Less
Submitted 10 July, 2015; v1 submitted 2 January, 2015;
originally announced January 2015.
-
Eigenvalues and strong orbit equivalence
Authors:
Maria Isabel Cortez,
Fabien Durand,
Samuel Petite
Abstract:
We give conditions on the subgroups of the circle to be realized as the subgroups of eigenvalues of minimal Cantor systems belonging to a determined strong orbit equivalence class. Actually, the additive group of continuous eigenvalues E(X,T) of the minimal Cantor system (X,T) is a subgroup of the intersection I(X,T) of all the images of the dimension group by its traces. We show, whenever the inf…
▽ More
We give conditions on the subgroups of the circle to be realized as the subgroups of eigenvalues of minimal Cantor systems belonging to a determined strong orbit equivalence class. Actually, the additive group of continuous eigenvalues E(X,T) of the minimal Cantor system (X,T) is a subgroup of the intersection I(X,T) of all the images of the dimension group by its traces. We show, whenever the infinitesimal subgroup of the dimension group associated to (X,T) is trivial, the quotient group I(X,T)/E(X,T) is torsion free. We give examples with non trivial infinitesimal subgroups where this property fails. We also provide some realization results.
△ Less
Submitted 9 August, 2014;
originally announced August 2014.
-
Conjugacy of unimodular pisot substitutions subshifts to domain exchanges
Authors:
Samuel Petite,
Fabien Durand
Abstract:
We prove that any unimodular Pisot substitution subshift is measurably conjugate to a domain exchange in an Euclidean space which is a finite topological extension of a translation on a torus.This generalizes the pioneer works of Rauzy and Arnoux-Ito providing geometric realizations to any unimodular Pisot substitution without any additional combinatorial condition.
We prove that any unimodular Pisot substitution subshift is measurably conjugate to a domain exchange in an Euclidean space which is a finite topological extension of a translation on a torus.This generalizes the pioneer works of Rauzy and Arnoux-Ito providing geometric realizations to any unimodular Pisot substitution without any additional combinatorial condition.
△ Less
Submitted 13 November, 2023; v1 submitted 9 August, 2014;
originally announced August 2014.
-
On the simplicity of homeomorphism groups of a tilable lamination
Authors:
José Aliste-Prieto,
Samuel Petite
Abstract:
We show that the identity component of the group of homeomorphisms that preserve all leaves of a R^d-tilable lamination is simple. Moreover, in the one dimensional case, we show that this group is uniformly perfect. We obtain a similar result for a dense subgroup of homeomorphisms.
We show that the identity component of the group of homeomorphisms that preserve all leaves of a R^d-tilable lamination is simple. Moreover, in the one dimensional case, we show that this group is uniformly perfect. We obtain a similar result for a dense subgroup of homeomorphisms.
△ Less
Submitted 6 August, 2014;
originally announced August 2014.
-
Calibrated configurations for Frenkel-Kontorova type models in almost-periodic environments
Authors:
Eduardo Garibaldi,
Samuel Petite,
Philippe Thieullen
Abstract:
The Frenkel-Kontorova model describes how an infinite chain of atoms minimizes the total energy of the system when the energy takes into account the interaction of nearest neighbors as well as the interaction with an exterior environment. An almost-periodic environment leads to consider a family of interaction energies which is stationary with respect to a minimal topological dynamical system. We…
▽ More
The Frenkel-Kontorova model describes how an infinite chain of atoms minimizes the total energy of the system when the energy takes into account the interaction of nearest neighbors as well as the interaction with an exterior environment. An almost-periodic environment leads to consider a family of interaction energies which is stationary with respect to a minimal topological dynamical system. We introduce, in this context, the notion of calibrated configuration (stronger than the standard minimizing condition) and, for continuous superlinear interaction energies, we show the existence of these configurations for some environment of the dynamical system. Furthermore, in one dimension, we give sufficient conditions on the family of interaction energies to ensure, for any environment, the existence of calibrated configurations when the underlying dynamics is uniquely ergodic. The main mathematical tools for this study are developed in the frameworks of discrete weak KAM theory, Aubry-Mather theory and spaces of Delone sets
△ Less
Submitted 8 September, 2015; v1 submitted 6 December, 2013;
originally announced December 2013.
-
Invariant measures and orbit equivalence for generalized Toeplitz subshifts
Authors:
María Isabel Cortez,
Samuel Petite
Abstract:
We show that for every metrizable Choquet simplex $K$ and for every group $G$, which is infinite, countable, amenable and residually finite, there exists a Toeplitz $G$-subshift whose set of shift-invariant probability measures is affine homeomorphic to $K$. Furthermore, we get that for every integer $d\geq 1$ and every Toeplitz flow $(X,T)$, there exists a Toeplitz ${\mathbb Z}^d$-subshift which…
▽ More
We show that for every metrizable Choquet simplex $K$ and for every group $G$, which is infinite, countable, amenable and residually finite, there exists a Toeplitz $G$-subshift whose set of shift-invariant probability measures is affine homeomorphic to $K$. Furthermore, we get that for every integer $d\geq 1$ and every Toeplitz flow $(X,T)$, there exists a Toeplitz ${\mathbb Z}^d$-subshift which is topologically orbit equivalent to $(X,T)$.
△ Less
Submitted 11 September, 2012; v1 submitted 21 June, 2011;
originally announced June 2011.
-
C*-algebras of Penrose's hyperbolic tilings
Authors:
Hervé Oyono-Oyono,
Samuel Petite
Abstract:
Penrose hyperbolic tilings are tilings of the hyperbolic plane which admit, up to affine transformations a finite number of prototiles. In this paper, we give a complete description of the C*-algebras and of the K-theory for such tilings. Since the continuous hull of these tilings have no transversally invariant measure, these C*-algebras are traceless. Nevertheless, harmonic currents give rise to…
▽ More
Penrose hyperbolic tilings are tilings of the hyperbolic plane which admit, up to affine transformations a finite number of prototiles. In this paper, we give a complete description of the C*-algebras and of the K-theory for such tilings. Since the continuous hull of these tilings have no transversally invariant measure, these C*-algebras are traceless. Nevertheless, harmonic currents give rise to 3-cyclic cocycles and we discuss in this setting a higher-order version of the gap-labelling.
△ Less
Submitted 8 June, 2010; v1 submitted 12 May, 2009;
originally announced May 2009.
-
Linearly repetitive Delone systems have a finite number of non periodic Delone system factors
Authors:
Maria Isabel Cortez,
Fabien Durand,
Samuel Petite
Abstract:
We prove linearly repetitive Delone systems have finitely many Delone system factors up to conjugacy. This result is also applicable to linearly repetitive tiling systems.
We prove linearly repetitive Delone systems have finitely many Delone system factors up to conjugacy. This result is also applicable to linearly repetitive tiling systems.
△ Less
Submitted 18 July, 2008;
originally announced July 2008.
-
$G$-odometers and their almost 1-1 extensions
Authors:
M. I. Cortez,
S. Petite
Abstract:
In this paper we recall the concepts of $G$-odometer and $G$-subodometer for $G$-actions, where $G$ is a discrete finitely generated group, which generalize the notion of odometer in the case $G=\ZZ$. We characterize the $G$-regularly recurrent systems as the minimal almost 1-1 extensions of subodometers, from which we deduce that the family of the $G$-Toeplitz subshifts coincides with the famil…
▽ More
In this paper we recall the concepts of $G$-odometer and $G$-subodometer for $G$-actions, where $G$ is a discrete finitely generated group, which generalize the notion of odometer in the case $G=\ZZ$. We characterize the $G$-regularly recurrent systems as the minimal almost 1-1 extensions of subodometers, from which we deduce that the family of the $G$-Toeplitz subshifts coincides with the family of the minimal symbolic almost 1-1 extensions of subodometers.
△ Less
Submitted 23 April, 2006;
originally announced April 2006.
-
Minimal configurations for Frenkel-Kontorova model on a quasicrystal
Authors:
J-M. Gambaudo,
P. Guiraud,
S. Petite
Abstract:
In this paper, we consider the Frenkel-Kontorova model of a one dimensional chain of atoms submitted to a potential. This potential splits into an interaction potential and a potential induced by an underlying substrate which is a quasicrystal. Under standard hypotheses, we show that every minimal configuration has a rotation number, that the rotation number varies continuously with the minimal…
▽ More
In this paper, we consider the Frenkel-Kontorova model of a one dimensional chain of atoms submitted to a potential. This potential splits into an interaction potential and a potential induced by an underlying substrate which is a quasicrystal. Under standard hypotheses, we show that every minimal configuration has a rotation number, that the rotation number varies continuously with the minimal configuration, and that every non negative real number is the rotation number of a minimal configuration. This generalizes well known results obtained by S. Aubry and P.Y. le Daeron in the case of a crystalline substrate.
△ Less
Submitted 3 November, 2005;
originally announced November 2005.
-
On invariant measures of finite affine type tilings
Authors:
S. Petite
Abstract:
In this paper, we consider tilings of the hyperbolic 2-space, built with a finite number of polygonal tiles, up to affine transformation. To such a tiling T, we associate a space of tilings: the continuous hull Omega(T) on which the affine group acts. This space Omega(T) inherits a solenoid structure whose leaves correspond to the orbits of the affine group. First we prove the finite harmonic me…
▽ More
In this paper, we consider tilings of the hyperbolic 2-space, built with a finite number of polygonal tiles, up to affine transformation. To such a tiling T, we associate a space of tilings: the continuous hull Omega(T) on which the affine group acts. This space Omega(T) inherits a solenoid structure whose leaves correspond to the orbits of the affine group. First we prove the finite harmonic measures of this laminated space correspond to finite invariant measures for the affine group action. Then we give a complete combinatorial description of these finite invariant measures. Finally we give examples with an arbitrary number of ergodic invariant probability measures.
△ Less
Submitted 14 December, 2004;
originally announced December 2004.