[Back]

C. Müllner:
"Automatic sequences fulfill the Sarnak conjecture";
Talk: Bridges between Automatic Sequences, Algebra and Number Theory, Montreal, Kanada (invited); 2017-05-01 - 2017-05-05.

We use analytic tools to prove that the dynamical system corresponding to any automatic sequence fulfils the Sarnak conjecture.
In particular, any complex valued automatic sequence is orthogonal to the Mobius function.
In this talk we describe a method to reduce the treatment of automatic sequences to a structure combining synchronizing and invertible aspects.
We use (and adopt) a method developed by Mauduit and Rivat, as well as combine ideas for invertible automata by Drmota and Morgenbesser and synchronizing automata by Deshouillers, Drmota and myself.
Furthermore, we prove a prime number theorem for many automatic sequences.