(Logarithmic) densities for automatic sequences along primes and squares
Abstract
In this paper we develop a method to transfer density results for primitive automatic sequences to logarithmic-density results for general automatic sequences. As an application we show that the logarithmic densities of any automatic sequence along squares $(n^2)_{n\geq 0}$ and primes $(p_n)_{n\geq 1}$ exist and are computable. Furthermore, we give for these subsequences a criterion to decide whether the densities exist, in which case they are also computable. In particular in the prime case these densities are all rational. We also deduce from a recent result of the third author and Lemańczyk that all subshifts generated by automatic sequences are orthogonal to any bounded multiplicative aperiodic function.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.14773
- arXiv:
- arXiv:2009.14773
- Bibcode:
- 2020arXiv200914773A
- Keywords:
-
- Mathematics - Number Theory;
- Computer Science - Formal Languages and Automata Theory;
- Primary: 11B85;
- 11L20;
- 11N05;
- Secondary: 11A63;
- 11L03
- E-Print:
- 35 pages. We added an Appendix concerning upper densities of subsequences of automatic sequences