Hostname: page-component-76fb5796d-2lccl Total loading time: 0 Render date: 2024-04-27T11:27:32.872Z Has data issue: false hasContentIssue false

$\times a$ and $\times b$ empirical measures, the irregular set and entropy

Published online by Cambridge University Press:  15 August 2023

SHUNSUKE USUKI*
Affiliation:
Department of Mathematics, Faculty of Science, Kyoto University, Kitashirakawa Oiwake-cho, Kyoto 606-8502, Japan

Abstract

For integers a and $b\geq 2$, let $T_a$ and $T_b$ be multiplication by a and b on $\mathbb {T}=\mathbb {R}/\mathbb {Z}$. The action on $\mathbb {T}$ by $T_a$ and $T_b$ is called $\times a,\times b$ action and it is known that, if a and b are multiplicatively independent, then the only $\times a,\times b$ invariant and ergodic measure with positive entropy of $T_a$ or $T_b$ is the Lebesgue measure. However, it is not known whether there exists a non-trivial $\times a,\times b$ invariant and ergodic measure. In this paper, we study the empirical measures of $x\in \mathbb {T}$ with respect to the $\times a,\times b$ action and show that the set of x such that the empirical measures of x do not converge to any measure has Hausdorff dimension one and the set of x such that the empirical measures can approach a non-trivial $\times a,\times b$ invariant measure has Hausdorff dimension zero. Furthermore, we obtain some equidistribution result about the $\times a,\times b$ orbit of x in the complement of a set of Hausdorff dimension zero.

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

Barreira, R. and Schmeling, J.. Sets of “non-typical” points have full topological entropy and full Hausdorff dimension. Israel J. Math. 116 (2000), 2970.CrossRefGoogle Scholar
Bowen, R.. Topological entropy for noncompact sets. Trans. Amer. Math. Soc. 184 (1973), 125136.CrossRefGoogle Scholar
Fan, A., Queffélec, H. and Queffélec, M.. The Furstenberg set and its random version. Enseign. Math. doi:https://doi.org/10.4171/LEM/1040. Published online 11 November 2022.CrossRefGoogle Scholar
Feldman, J.. A generalization of a result of R. Lyons about measures on $\left[0,1\right)$ . Israel J. Math. 81 (1993), 281287.CrossRefGoogle Scholar
Feng, D., Wen, Z. and Wu, J.. Some dimensional results for homogeneous Moran sets. Sci. China Ser. A 40(5) (1997), 475482.CrossRefGoogle Scholar
Furstenberg, H.. Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Math. Syst. Theory 1 (1967), 149.CrossRefGoogle Scholar
Hochman, M.. Geometric rigidity of $\times m$ invariant measures. J. Eur. Math. Soc. (JEMS) 14 (2012), 15391563.CrossRefGoogle Scholar
Host, B.. Nombres normaux, entropie, translations. Israel J. Math. 91 (1995), 419428.CrossRefGoogle Scholar
Johnson, A. S. A.. Measures on the circle invariant under multiplication by a nonlacunary subsemigroup of the integers. Israel J. Math. 77 (1992), 211240.CrossRefGoogle Scholar
Keller, G.. Equilibrium States in Ergodic Theory. Cambridge University Press, Cambridge, 1998.CrossRefGoogle Scholar
Rudolph, D. J.. $\times 2$ and $\times 3$ invariant measures and entropy. Ergod. Th. & Dynam. Sys. 10 (1990), 395406.CrossRefGoogle Scholar