Title:(Non)Automaticity of number theoretic functions

Abstract: Denote by $\lambda(n)$ Liouville's function concerning the parity of the number of prime divisors of $n$. 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 $\lambda(n)$ is not $k$--automatic for any $k> 2$. This yields that $\sum_{n=1}^\infty \lambda(n) X^n\in\mathbb{F}_p[[X]]$ is transcendental over $\mathbb{F}_p(X)$ for any prime $p>2$. Similar results are proven (or reproven) for many common number--theoretic functions, including $\varphi$, $\mu$, $\Omega$, $\omega$, $\rho$, and others.