English

(Logarithmic) densities for automatic sequences along primes and squares

Number Theory 2021-04-14 v2 Formal Languages and Automata Theory

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 (n2)n0(n^2)_{n\geq 0} and primes (pn)n1(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\'nczyk that all subshifts generated by automatic sequences are orthogonal to any bounded multiplicative aperiodic function.

Keywords

Cite

@article{arxiv.2009.14773,
  title  = {(Logarithmic) densities for automatic sequences along primes and squares},
  author = {Boris Adamczewski and Michael Drmota and Clemens Müllner},
  journal= {arXiv preprint arXiv:2009.14773},
  year   = {2021}
}

Comments

35 pages. We added an Appendix concerning upper densities of subsequences of automatic sequences

R2 v1 2026-06-23T18:54:52.313Z