Return to search

Quelques Résultats Arithmétiques Impliquant des Suites Engendrées par Automates / Several arithmetic results concerning automatic sequences

Cette thèse est composée d'une partie sur la conjecture des familles stables par unions et de quatre autres chapitres consacrés aux sujets liés aux suites automatiques. Dans la première partie, on donne une condition suffisante pour qu'une version affaiblie de la conjecture soit vraie. On donne aussi un majorant de la fréquence maximale minimale dans une famille de taille $n$. Dans Chapitre 3 on démontre que la formule d'extraction des coefficients des séries algébriques connue pour les corps à caractéristique $0$ est une conséquence d'un théorème de Furstenberg qui permet d'écrire certaines séries algébriques comme les diagonales des fractions rationnelles à deux variables. Comme ce théorème est valide pour tous les corps, la formule l'est aussi. Dans Chapitre 4 on donne une généralisation des résultats de J.-P. Allouche et J. Shallit concernant certains produits infinis et les fonctions qui comptent le nombre d'occurrences d'un facteur dans l'expansion en base $B$ de $n$. Dans Chapitre 5 on donne une construction explicite d'un mot infini avec complexité en facteur de $\Theta(n^t)$ avec la valuation $p$-adique. Dans Chapitre 6 on donne une nouvelle démonstration de la transcendance de la série formelle $L(1,\chi_s)/\Pi$, où $L$ est un analogue des fonctions $L$ de Dirichlet en caractéristique finie défini par D. Goss et $\Pi$ l'analogue de $\pi$ défini par L. Carlitz. / This thesis comprises one part concerning the union-closed sets conjecture and four other chapters dedicated to subjects related to automatic sequences. In the first part, we give a sufficient condition for a weaker version of the conjecture ($\varepsilon$-union closed sets conjecture) to hold. We also give an upper bound of the minimal maximal frequency for a family of size $n$. In Chapter 3 we prove that the coefficient extraction formula for algebraic series known for fields of characteristic $0$ is a consequence of a theorem of Furstenberg that says certains algebraic series can be written as the diagonals of a rational fractions in two variables. As the theorem is true for all fields, so is the formula. In Chapter 4 we give a generalization of the result of J.-P. Allouche and J. Shallit concerning certain infinite products and block-counting functions. In Chapter 5 we give an explicit construction based on $p$-adic valuation of an infinite word with subword complexity $\Theta(n^t)$. In Chapter 6 we give a new proof of the transcendence of the power series $L(1,\chi_s)/\Pi$, where $L$ is an analogue in positive characteristics of Dirichlet $L$ functions defined by D. Goss and $\Pi$ the analogue of $\pi$ defined by L. Carlitz.

Identiferoai:union.ndltd.org:theses.fr/2016PA066333
Date28 November 2016
CreatorsHu, Yining
ContributorsParis 6, Allouche, Jean-Paul
Source SetsDépôt national des thèses électroniques françaises
LanguageEnglish
Detected LanguageFrench
TypeElectronic Thesis or Dissertation, Text

Page generated in 0.0016 seconds