Théorie de l'information, séries de Dirichlet, et analyse d'algorithmes - GREYC amacc Access content directly
Theses Year : 2011

Information theory, Dirichlet series, and analysis of algorithms

Théorie de l'information, séries de Dirichlet, et analyse d'algorithmes

Mathieu Roux
  • Function : Author
  • PersonId : 961368

Abstract

In information theory, the study of a source and its main associated data structures is based on its Dirichlet series; it is essential to study its discipline, namely, to find a region to the left of its dominant singularity where it is analytic and of polynomial growth. It is a central step in the accurate and realistic complexity analysis of the principal text algorithms on words randomly generated by the source. My work deals with the class of dynamical sources, whose Dirichlet series is expressed in terms of a transfer operator of the dynamical system called "secant", which generalizes the "tangent" operator usually used, and whose spectra we are then led to study. Dolgopyat obtained sufficient conditions of Diophantine type on the dynamical system, showing that a discipline region of the tangent operator for a finite alphabet has hyperbolic shape. In this thesis, I extend Dolgopyat's results in two ways: by using the secant operator and by considering an infinite alphabet. In addition, for memoryless sources I get an optimal area of discipline. I also present a version of a famous Tauberian theorem with remainder, due to Landau, with refined hypotheses. This theorem is valid for Dirichlet series with non-negative terms, and allows one to obtain a vertical strip of discipline. I obtain two generalizations: for series with arbitrary terms, and for series with hyperbolic regions of discipline.
En théorie de l’information, l’étude d’une source et des principales structures de données associées, repose sur sa série de Dirichlet; il est essentiel d’en étudier la discipline, c’est-à-dire de trouver une région à gauche de sa singularité dominante, où elle est analytique et de croissance polynomiale. C’est une étape centrale dans l’analyse précise et réaliste de la complexité des principaux algorithmes de texte sur des mots produits aléatoirement par la source. Mon travail porte sur la classe des sources dynamiques, dont la série de Dirichlet s’exprime en fonction d’un opérateur de transfert du système dynamique, dit « sécant », qui généralise l’opérateur « tangent » usuellement utilisé, et dont on est alors ramenés à étudier les spectres. Dolgopyat a obtenu des conditions suffisantes de nature diophantienne sur le système dynamique, qui montrent qu'une région de discipline de l’opérateur tangent, pour un alphabet fini, est de forme hyperbolique. Dans cette thèse, j’opère une double extension des résultats de Dolgopyat, à la fois vers l’opérateur sécant et vers un alphabet infini. De plus, pour des sources sans mémoire, j’obtiens une région de discipline optimale. Je présente aussi une version d'un célèbre théorème taubérien avec reste, dû à Landau, avec des hypothèses épurées. Ce théorème est valable pour les séries de Dirichlet à termes positifs, et permet d’obtenir une bande verticale de discipline. J’obtiens deux généralisations: une pour des séries à termes quelconques, et l'autre pour une région de discipline hyperbolique.
Fichier principal
Vignette du fichier
These-Mathieu-Roux-2011.pdf (4.25 Mo) Télécharger le fichier
Loading...

Dates and versions

tel-01076421 , version 1 (22-10-2014)

Identifiers

  • HAL Id : tel-01076421 , version 1

Cite

Mathieu Roux. Théorie de l'information, séries de Dirichlet, et analyse d'algorithmes. Théorie de l'information [cs.IT]. Université de caen, 2011. Français. ⟨NNT : ⟩. ⟨tel-01076421⟩
451 View
280 Download

Share

Gmail Facebook X LinkedIn More