Dans quelle mesure la régularité des chiffres d’un nombre réel dans une base entière, celle des quotients partiels du développement en fraction continuée d’un nombre réel, ou celle des coefficients d’une série formelle sont-elles liées à l’algébricité ou à la transcendance de ce réel ou de cette série formelle ? Nous proposons un survol de résultats récents dans le cas où la régularité évoquée ci-dessus est celle de suites automatiques, substitutives, ou sturmiennes.
Soit une suite strictement croissante d’entiers reconnaissable par un automate fini. Nous montrons qu’une condition nécessaire et suffisante pour que l’ensemble normal associé a soit exactement est que l’un au moins des sommets qui reconnaît la suite soit précédé dans le graphe de l’automate par un sommet possédant au moins deux circuits fermés distincts. Cette condition peut se traduire quantitativement en disant que la suite doit être plus “dense” que toute suite exponentielle.
We establish new combinatorial transcendence criteria for continued fraction expansions. Let be an algebraic number of degree at least three. One of our criteria implies that the sequence of partial quotients of is not ‘too simple’ (in a suitable sense) and cannot be generated by a finite automaton.
We prove that automatic sequences generated by synchronizing automata satisfy the full Sarnak conjecture. This is of particular interest, since Berlinkov proved recently that almost all automata are synchronizing.
This paper studies the descriptional complexity of (i) sequences over a finite alphabet ; and (ii) subsets of (the natural numbers). If is a sequence over a finite alphabet , then we define the -automaticity of , to be the smallest possible number of states in any deterministic finite automaton that, for all with , takes expressed in base as input and computes . We give examples of sequences that have high automaticity in all bases ; for example, we show that the characteristic...
We show that it is possible in rather general situations to obtain a finite-dimensional modular representation of the Galois group of a number field as a constituent of one of the modular Galois representations attached to automorphic representations of a general linear group over , provided one works “potentially.” The proof is based on a close study of the monodromy of the Dwork family of Calabi–Yau hypersurfaces; this in turn makes use of properties of rigid local systems and the classification...