(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 $\phi$, $\mu$, $\Omega$, $\omega$, $\rho$, and others.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2008
- DOI:
- 10.48550/arXiv.0810.3709
- arXiv:
- arXiv:0810.3709
- Bibcode:
- 2008arXiv0810.3709C
- Keywords:
-
- Mathematics - Number Theory;
- 11J91;
- 11B85;
- 11N64
- E-Print:
- 11 pages