(Non)Automaticity of number theoretic functions
Michael Coons (2010)
Journal de Théorie des Nombres de Bordeaux
Similarity:
Denote by Liouville’s function concerning the parity of the number of prime divisors of . Using a theorem of Allouche, Mendès France, and Peyrière and many classical results from the theory of the distribution of prime numbers, we prove that is not –automatic for any . This yields that is transcendental over for any prime . Similar results are proven (or reproven) for many common number–theoretic functions, including , , , , , and others.