Hostname: page-component-848d4c4894-m9kch Total loading time: 0 Render date: 2024-06-01T09:27:07.967Z 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.10.1007/BF02773211CrossRefGoogle Scholar
Bowen, R.. Topological entropy for noncompact sets. Trans. Amer. Math. Soc. 184 (1973), 125136.10.1090/S0002-9947-1973-0338317-XCrossRefGoogle 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.10.1007/BF02764832CrossRefGoogle Scholar
Feng, D., Wen, Z. and Wu, J.. Some dimensional results for homogeneous Moran sets. Sci. China Ser. A 40(5) (1997), 475482.10.1007/BF02896955CrossRefGoogle Scholar
Furstenberg, H.. Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Math. Syst. Theory 1 (1967), 149.10.1007/BF01692494CrossRefGoogle Scholar
Hochman, M.. Geometric rigidity of $\times m$ invariant measures. J. Eur. Math. Soc. (JEMS) 14 (2012), 15391563.10.4171/jems/340CrossRefGoogle Scholar
Host, B.. Nombres normaux, entropie, translations. Israel J. Math. 91 (1995), 419428.10.1007/BF02761660CrossRefGoogle 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.10.1007/BF02808018CrossRefGoogle 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.10.1017/S0143385700005629CrossRefGoogle Scholar