$\mathscr {B}$-free sets and dynamics
HTML articles powered by AMS MathViewer
- by Aurelia Dymek, Stanisław Kasjan, Joanna Kułaga-Przymus and Mariusz Lemańczyk PDF
- Trans. Amer. Math. Soc. 370 (2018), 5425-5489 Request permission
Abstract:
Given $\mathscr {B}\subset \mathbb {N}$, let $\eta =\eta _{\mathscr {B}}\in \{0,1\}^{\mathbb {Z}}$ be the characteristic function of the set $\mathcal {F}_\mathscr {B}:=\mathbb {Z}\setminus \bigcup _{b\in \mathscr {B}}b\mathbb {Z}$ of $\mathscr {B}$-free numbers. The $\mathscr {B}$-free shift $(X_\eta ,S)$, its hereditary closure $(\widetilde {X}_\eta ,S)$, and (still larger) the $\mathscr {B}$-admissible shift $(X_{\mathscr {B}},S)$ are examined. Originated by Sarnak in 2010 for $\mathscr {B}$ being the set of square-free numbers, the dynamics of $\mathscr {B}$-free shifts was discussed by several authors for $\mathscr {B}$ being Erdös; i.e., when $\mathscr {B}$ is infinite, its elements are pairwise coprime, and $\sum _{b\in \mathscr {B}}1/b<\infty$: in the Erdös case, we have $X_\eta =\widetilde {X}_\eta =X_{\mathscr {B}}$.
It is proved that $X_\eta$ has a unique minimal subset, which turns out to be a Toeplitz dynamical system. Furthermore, a $\mathscr {B}$-free shift is proximal if and only if $\mathscr {B}$ contains an infinite coprime subset. It is also shown that for $\mathscr {B}$ with light tails, i.e., $\overline {d}(\sum _{b>K}b\mathbb {Z})\to 0$ as $K\to \infty$, proximality is the same as heredity.
For each $\mathscr {B}$, it is shown that $\eta$ is a quasi-generic point for some natural $S$-invariant measure $\nu _\eta$ on $X_\eta$. A special role is played by subshifts given by $\mathscr {B}$ which are taut, i.e., when $\boldsymbol {\delta }(\mathcal {F}_{\mathscr {B}})<\boldsymbol {\delta }(\mathcal {F}_{\mathscr {B}\setminus \{b\}})$ for each $b\in \mathscr {B}$ ($\boldsymbol {\delta }$ stands for the logarithmic density). The taut class contains the light tail case; hence all Erdös sets and a characterization of taut sets $\mathscr {B}$ in terms of the support of $\nu _\eta$ are given. Moreover, for any $\mathscr {B}$ there exists a taut $\mathscr {B}’$ with $\nu _{\eta _{\mathscr {B}}}=\nu _{\eta _{\mathscr {B}’}}$. For taut sets $\mathscr {B},\mathscr {B}’$, it holds that $X_\mathscr {B}=X_{\mathscr {B}’}$ if and only if $\mathscr {B}=\mathscr {B}’$.
For each $\mathscr {B}$, it is proved that there exists a taut $\mathscr {B}’$ such that $(\widetilde {X}_{\eta _{\mathscr {B}’}},S)$ is a subsystem of $(\widetilde {X}_{\eta _{\mathscr {B}}},S)$ and $\widetilde {X}_{\eta _{\mathscr {B}’}}$ is a quasi-attractor. In particular, all invariant measures for $(\widetilde {X}_{\eta _{\mathscr {B}}},S)$ are supported by $\widetilde {X}_{\eta _{\mathscr {B}’}}$. Moreover, the system $(\widetilde {X}_\eta ,S)$ is shown to be intrinsically ergodic for an arbitrary $\mathscr {B}$. A description of all probability invariant measures for $(\widetilde {X}_\eta ,S)$ is given. The topological entropies of $(\widetilde {X}_\eta ,S)$ and $(X_\mathscr {B},S)$ are shown to be the same and equal to $\overline {d}(\mathcal {F}_\mathscr {B})$ ($\overline {d}$ stands for the upper density).
Finally, some applications in number theory on gaps between consecutive $\mathscr {B}$-free numbers are given, and some of these results are applied to the set of abundant numbers.
References
- El Houcein El Abdalaoui, Mariusz Lemańczyk, and Thierry de la Rue, A dynamical point of view on the set of $\mathcal B$-free integers, Int. Math. Res. Not. IMRN 16 (2015), 7258–7286. MR 3428961, DOI 10.1093/imrn/rnu164
- Ethan Akin, Joseph Auslander, and Eli Glasner, The topological dynamics of Ellis actions, Mem. Amer. Math. Soc. 195 (2008), no. 913, vi+152. MR 2437846, DOI 10.1090/memo/0913
- Emre Alkan and Alexandru Zaharescu, Consecutive large gaps in sequences defined by multiplicative constraints, Canad. Math. Bull. 51 (2008), no. 2, 172–181. MR 2414205, DOI 10.4153/CMB-2008-019-x
- Michael Baake and Christian Huck, Ergodic properties of visible lattice points, Proc. Steklov Inst. Math. 288 (2015), no. 1, 165–188. Reprint of Tr. Mat. Inst. Steklova 288 (2015), 184–208. MR 3485709, DOI 10.1134/S0081543815010137
- Michael Baake, Robert V. Moody, and Peter A. B. Pleasants, Diffraction from visible lattice points and $k$th power free integers, Discrete Math. 221 (2000), no. 1-3, 3–42. Selected papers in honor of Ludwig Danzer. MR 1778906, DOI 10.1016/S0012-365X(99)00384-2
- A. S. Besicovitch, On the density of certain sequences of integers, Math. Ann. 110 (1935), no. 1, 336–341. MR 1512943, DOI 10.1007/BF01448032
- E. Bessel-Hagen, Zahlentheorie, Teubner, 1929.
- F. Cellarosi and Ya. G. Sinai, Ergodic properties of square-free numbers, J. Eur. Math. Soc. (JEMS) 15 (2013), no. 4, 1343–1374. MR 3055764, DOI 10.4171/JEMS/394
- Francesco Cellarosi and Ilya Vinogradov, Ergodic properties of $k$-free integers in number fields, J. Mod. Dyn. 7 (2013), no. 3, 461–488. MR 3296562, DOI 10.3934/jmd.2013.7.461
- S. Chowla, On abundant numbers, J. Indian Math. Soc., New Ser., 1 (1934), 41–44.
- Jesse Paul Clay, Proximity relations in transformation groups, Trans. Amer. Math. Soc. 108 (1963), 88–96. MR 154269, DOI 10.1090/S0002-9947-1963-0154269-3
- H. Davenport, Über numeri abundantes, Sitzungsber. Preuss. Akad. Wiss. (1933), 830–837.
- H. Davenport and P. Erdös, On sequences of positive integers, Acta Arithmetica 2 (1936), 147–151.
- H. Davenport and P. Erdös, On sequences of positive integers, J. Indian Math. Soc. (N.S.) 15 (1951), 19–24. MR 43835
- L. E. Dickson, A new extension of dirichlet’s theorem on prime numbers, Messenger of Math. 33 (1904), 155–161.
- Tomasz Downarowicz, Survey of odometers and Toeplitz flows, Algebraic and topological dynamics, Contemp. Math., vol. 385, Amer. Math. Soc., Providence, RI, 2005, pp. 7–37. MR 2180227, DOI 10.1090/conm/385/07188
- Tomasz Downarowicz, Entropy in dynamical systems, New Mathematical Monographs, vol. 18, Cambridge University Press, Cambridge, 2011. MR 2809170, DOI 10.1017/CBO9780511976155
- T. Downarowicz and A. Iwanik, Quasi-uniform convergence in compact dynamical systems, Studia Math. 89 (1988), no. 1, 11–25. MR 951081, DOI 10.4064/sm-89-1-11-25
- Paul Erdös, On the Density of the Abundant Numbers, J. London Math. Soc. 9 (1934), no. 4, 278–282. MR 1574879, DOI 10.1112/jlms/s1-9.4.278
- Paul Erdös, Note on Consecutive Abundant Numbers, J. London Math. Soc. 10 (1935), no. 2, 128–131. MR 1574240, DOI 10.1112/jlms/s1-10.1.128
- P. Erdös, On the density of some sequences of integers, Bull. Amer. Math. Soc. 54 (1948), 685–692. MR 26088, DOI 10.1090/S0002-9904-1948-09057-7
- P. Erdős, On the difference of consecutive terms of sequences defined by divisibility properties, Acta Arith 12 (1966/1967), 175–182. MR 0207673, DOI 10.4064/aa-12-2-175-182
- Paul Erdős and János Surányi, Topics in the theory of numbers, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 2003. Translated from the second Hungarian edition by Barry Guiduli. MR 1950084, DOI 10.1007/978-1-4613-0015-1
- Harry Furstenberg, Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation, Math. Systems Theory 1 (1967), 1–49. MR 213508, DOI 10.1007/BF01692494
- Eli Glasner, Ergodic theory via joinings, Mathematical Surveys and Monographs, vol. 101, American Mathematical Society, Providence, RI, 2003. MR 1958753, DOI 10.1090/surv/101
- Frank Hahn and William Parry, Some characteristic properties of dynamical systems with quasi-discrete spectra, Math. Systems Theory 2 (1968), 179–190. MR 230877, DOI 10.1007/BF01692514
- Heini Halberstam and Klaus Friedrich Roth, Sequences, 2nd ed., Springer-Verlag, New York-Berlin, 1983. MR 687978, DOI 10.1007/978-1-4613-8227-0
- Richard R. Hall, Sets of multiples, Cambridge Tracts in Mathematics, vol. 118, Cambridge University Press, Cambridge, 1996. MR 1414678, DOI 10.1017/CBO9780511566011
- G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, 5th ed., The Clarendon Press, Oxford University Press, New York, 1979. MR 568909
- C. Huck and M. Baake, Dynamical properties of $k$-free lattice points, Acta Phys. Pol. A 126 (2014), 482–485.
- Douglas E. Iannucci, On the smallest abundant number not divisible by the first $k$ primes, Bull. Belg. Math. Soc. Simon Stevin 12 (2005), no. 1, 39–44. MR 2134854
- Emily Jennings, Paul Pollack, and Lola Thompson, Variations on a theorem of Davenport concerning abundant numbers, Bull. Aust. Math. Soc. 89 (2014), no. 3, 437–450. MR 3254753, DOI 10.1017/S0004972713000695
- G. Keller and C. Richard, Dynamics on the graph of the torus parametrisation. Ergodic Theory and Dynamical Systems (2016), 1–38. doi:10.1017/etds.2016.53
- David Kerr and Hanfeng Li, Independence in topological and $C^*$-dynamics, Math. Ann. 338 (2007), no. 4, 869–926. MR 2317754, DOI 10.1007/s00208-007-0097-z
- Mitsuo Kobayashi, A new series for the density of abundant numbers, Int. J. Number Theory 10 (2014), no. 1, 73–84. MR 3189967, DOI 10.1142/S1793042113500814
- Joanna Kułaga-Przymus, Mariusz Lemańczyk, and Benjamin Weiss, On invariant measures for $\mathcal {B}$-free systems, Proc. Lond. Math. Soc. (3) 110 (2015), no. 6, 1435–1474. MR 3356811, DOI 10.1112/plms/pdv017
- Marcin Kulczycki, Dominik Kwietniak, and Piotr Oprocha, On almost specification and average shadowing properties, Fund. Math. 224 (2014), no. 3, 241–278. MR 3194417, DOI 10.4064/fm224-3-4
- Dominik Kwietniak, Topological entropy and distributional chaos in hereditary shifts with applications to spacing shifts and beta shifts, Discrete Contin. Dyn. Syst. 33 (2013), no. 6, 2451–2467. MR 3007694, DOI 10.3934/dcds.2013.33.2451
- Douglas Lind and Brian Marcus, An introduction to symbolic dynamics and coding, Cambridge University Press, Cambridge, 1995. MR 1369092, DOI 10.1017/CBO9780511626302
- Kurt Mahler, On the Chinese remainder theorem, Math. Nachr. 18 (1958), 120–122. MR 96565, DOI 10.1002/mana.19580180112
- Yves Meyer, Algebraic numbers and harmonic analysis, North-Holland Mathematical Library, Vol. 2, North-Holland Publishing Co., Amsterdam-London; American Elsevier Publishing Co., Inc., New York, 1972. MR 0485769
- Y. Meyer, Adèles et séries trigonométriques spéciales, Ann. of Math. (2) 97 (1973), 171–186 (French). MR 316977, DOI 10.2307/1970880
- L. Mirsky, Note on an asymptotic formula connected with $r$-free integers, Quart. J. Math. Oxford Ser. 18 (1947), 178–182. MR 21566, DOI 10.1093/qmath/os-18.1.178
- L. Mirsky, Arithmetical pattern problems relating to divisibility by $r$th powers, Proc. London Math. Soc. (2) 50 (1949), 497–508. MR 28334, DOI 10.1112/plms/s2-50.7.497
- Piotr Oprocha and Guohua Zhang, Topological aspects of dynamics of pairs, tuples and sets, Recent progress in general topology. III, Atlantis Press, Paris, 2014, pp. 665–709. MR 3205496, DOI 10.2991/978-94-6239-024-9_{1}6
- Ryan Peckner, Uniqueness of the measure of maximal entropy for the squarefree flow, Israel J. Math. 210 (2015), no. 1, 335–357. MR 3430278, DOI 10.1007/s11856-015-1255-8
- \leavevmode\vrule height 2pt depth -1.6pt width 23pt, Uniqueness of the measure of maximal entropy for the squarefree flow. Unpublished, http://arxiv.org/abs/1205.2905v1.
- Peter A. B. Pleasants and Christian Huck, Entropy and diffraction of the $k$-free points in $n$-dimensional lattices, Discrete Comput. Geom. 50 (2013), no. 1, 39–68. MR 3070541, DOI 10.1007/s00454-013-9516-y
- P. Sarnak, Three lectures on the Möbius function, randomness and dynamics, http://publications.ias.edu/sarnak/.
- A. Schinzel, Remarks on the paper “Sur certaines hypothèses concernant les nombres premiers”, Acta Arith. 7 (1961/62), 1–8. MR 130203, DOI 10.4064/aa-7-1-1-8
- C. R. Wall and Lorraine L. Foster, Problems and Solutions: Solutions of Advanced Problems: 6356, Amer. Math. Monthly 90 (1983), no. 3, 215–216. MR 1540167, DOI 10.2307/2975563
- B. Weiss, Intrinsically ergodic systems, Bull. Amer. Math. Soc. 76 (1970), 1266–1269. MR 267076, DOI 10.1090/S0002-9904-1970-12632-5
- Benjamin Weiss, Subshifts of finite type and sofic systems, Monatsh. Math. 77 (1973), 462–474. MR 340556, DOI 10.1007/BF01295322
- T. S. Wu, Proximal relations in topological dynamics, Proc. Amer. Math. Soc. 16 (1965), 513–514. MR 179775, DOI 10.1090/S0002-9939-1965-0179775-4
Additional Information
- Aurelia Dymek
- Affiliation: Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Toruń, Poland
- Email: aurbart@mat.umk.pl
- Stanisław Kasjan
- Affiliation: Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Toruń, Poland
- MR Author ID: 333741
- Email: skasjan@mat.umk.pl
- Joanna Kułaga-Przymus
- Affiliation: Institute of Mathematics, Polish Academy of Sciences, Śniadeckich 8, 00-956 Wars- zawa, Poland–and–Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Toruń, Poland
- MR Author ID: 977686
- Email: joanna.kulaga@gmail.com
- Mariusz Lemańczyk
- Affiliation: Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Chopina 12/18, 87-100 Toruń, Poland
- MR Author ID: 112360
- Email: mlem@mat.umk.pl
- Received by editor(s): November 6, 2015
- Received by editor(s) in revised form: June 3, 2016, and November 10, 2016
- Published electronically: April 17, 2018
- Additional Notes: This research was supported by Narodowe Centrum Nauki grant UMO-2014/15/B/ST1/03736
- © Copyright 2018 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 370 (2018), 5425-5489
- MSC (2010): Primary 37A35, 37A45, 37B05, 37B10, 37B40; Secondary 11N25
- DOI: https://doi.org/10.1090/tran/7132
- MathSciNet review: 3803141