Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-04-30T13:09:32.742Z Has data issue: false hasContentIssue false

When T is an irrational rotation, $[T,\mathrm {Id}]$ and $[T,T^{-1}]$ are Bernoulli: explicit isomorphisms

Published online by Cambridge University Press:  03 May 2023

CHRISTOPHE LEURIDAN*
Affiliation:
Université Grenoble Alpes, CNRS, IF, 38000 Grenoble, France

Abstract

Let $\theta $ be an irrational real number. The map $T_\theta : y \mapsto (y+\theta ) \,\mod \!\!\: 1$ from the unit interval $\mathbf {I} = [0,1[$ (endowed with the Lebesgue measure) to itself is ergodic. In 2002, Rudolph and Hoffman showed in [Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2) 156(1) (2002), 79–101] that the measure-preserving map $[T_\theta ,\mathrm {Id}]$ is isomorphic to a one-sided dyadic Bernoulli shift. Their proof is not constructive. A few years before, Parry [Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys.16 (1996), 519–529] had provided an explicit isomorphism under the assumption that $\theta $ is extremely well approached by the rational numbers, namely,

$$ \begin{align*}\inf_{q \ge 1} q^44^{q^2}~\mathrm{dist}(\theta,q^{-1}\mathbb{Z}) = 0.\end{align*} $$

Whether the explicit map considered by Parry is an isomorphism or not in the general case was still an open question. In Leuridan [Bernoulliness of $[T,\mathrm {Id}]$ when T is an irrational rotation: towards an explicit isomorphism. Ergod. Th. & Dynam. Sys. 41(7) (2021), 2110–2135] we relaxed Parry’s condition into

$$ \begin{align*}\inf_{q \ge 1} q^4~\mathrm{dist}(\theta,q^{-1}\mathbb{Z}) = 0.\end{align*} $$

In the present paper, we remove the condition by showing that the explicit map considered by Parry is always an isomorphism. With a few adaptations, the same method works with $[T,T^{-1}]$.

Type
Original Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Alessandri, P. and Berthé, V.. Three distance theorems and combinatorics on words. Enseign. Math. (2) 44(1–2) (1998), 103132. https://www.theoremoftheday.org/Docs/3dAlessandriBerthe.pdf.Google Scholar
Heicklen, D. and Hoffman, C.. $[\mathrm{T},{\mathrm{T}}^{-1}]$ is not standard. Ergod. Th. & Dynam. Sys. 18(4) (1998), 875878.Google Scholar
Hoffman, C.. A zero entropy $T$ such that the $[T,{\mathrm{Id}}]$ endomorphism is nonstandard. Proc. Amer. Math. Soc. 128(1) (2000), 183188.Google Scholar
Hoffman, C. and Rudolph, D.. Uniform endomorphisms which are isomorphic to a Bernoulli shift. Ann. of Math. (2) 156(1) (2002), 79101.Google Scholar
Khintchine, A.. Metrische Kettenbruchprobleme. Compos. Math., Tome 1 (1935), 361382.Google Scholar
Leuridan, C.. Bernoulliness of $\left[T,\mathrm{Id}\right]$ when $T$ is an irrational rotation: towards an explicit isomorphism. Ergod. Th. & Dynam. Sys. 41(7) (2021), 21102135.CrossRefGoogle Scholar
Leuridan, C.. Filtrations associated to some two-to-one transformations. Séminaire de Probabilités LI (Lecture Notes in Mathematics, 2301). Eds. Donati-Martin, C., Lejay, A. and Rouault, A.. Springer, Cham, 2022, pp. 2989.Google Scholar
Meilijson, I.. Mixing properties of a class of skew-products. Israel J. Math. 19 (1974), 266270.Google Scholar
Parry, W.. Automorphisms of the Bernoulli endomorphism and a class of skew-products. Ergod. Th. & Dynam. Sys. 16 (1996), 519529.Google Scholar
Resnick, S. I.. A Probability Path, Reprint of the 2005 Edition. Birkhäuser, Boston, MA, 2005.CrossRefGoogle Scholar
Vershik, A. M.. Decreasing sequences of measurable partitions, and their applications. Dokl. Akad. Nauk SSSR 193 (1970), 748751 (in Russian); Engl. Transl. Sov. Math. Dokl. 11 (1970), 1007–1011.Google Scholar
Vershik, A. M.. The theory of decreasing sequences of measurable partitions. Algebra i Analiz 6(4) (1994), 168 (in Russian); Engl. transl. St. Petersburg Math. J. 6(4) (1995), 705–761.Google Scholar