Spelling suggestions: "subject:"blueshift"" "subject:"downshift""
1 |
Automates cellulaires : dynamiques, simulations, traces / Cellular automata : dynamics, simulations, tracesGuillon, Pierre 24 November 2008 (has links)
Un automate cellulaire est un système dynamique discret qui modélise des objets ayant une évolution parallèle synchrone: l'espace est divisé en cellules ayant chacune un état et qui évoluent toutes selon une même règle locale, qui ne dépend que d'un nombre fini de cellules voisines. Malgré la simplicité de la formalisation de ce système, des comportements très complexes peuvent apparaître, qui en font notamment un modèle de calcul. Cette complexité a été rattachée à diverses théories: topologie, mesure, décidabilité, information...Nous adoptons ici une approche basée sur la dynamique symbolique, c'est à dire l'étude des mots infinis sur un alphabet donné auxquels on applique un décalage, suppression de la première lettre. À chaque automate cellulaire peut en effet être associé son tracé, l'ensemble des mots infinis représentant la séquence des états successifs pris par la cellule centrale de l'espace - ou un groupe de cellules centrales. On a alors une factorisation topologique: la lecture d'une lettre dans un de ces mots correspond exactement à une étape de l'évolution de l'automate. De nombreuses propriétés topologiques sont alors transmises par cette factorisation. Inversement, le fait que les cellules évoluent toutes de la même manière permet de déduire certaines propriétés de l'automate à partir de celles de son tracé. La première partie de la thèse est consacrée à ces nombreux liens. Une deuxième partie présente des conditions suffisantes pour qu'un ensemble de mots infinis soit le tracé d'un automate cellulaire. Enfin, une troisième partie donne un point de vue plus informatique, en récapitulant les principaux résultats d'indécidabilité sur le sujet et en prouvant que toutes les propriétés du tracé qui peuvent se voir infiniment tard sont indécidables / A cellular automaton is a discrete dynamical system which can model objects that evolve parallelly and asynchronously : the space is divided into cells, each of which has a state evolving according to some single local rule and a finite number of neighboring cells. Though this system can easily be formalized, very complex behaviors can appear ; it turns out to be a powerful computational model. That complexity can be studied with respect to various theories : topology, measure, decidability, information...We adopt here an approach bases on symbolic dynamics, linked to the topology and to the study of shifts of infinite words (suppression of their first letter). To each cellular automaton can be associated its trace subshift, the set of infinite words that represent the sequence of successive states taken by the central cell or some group of central cells. We then have a topological factorisation : reading a letter in one of these words correspond to applying a step of evolution of the automaton
|
2 |
Automates cellulaires : dynamiques, simulations, tracesGuillon, Pierre 24 November 2008 (has links) (PDF)
Un automate cellulaire est un système dynamique discret qui modélise des objets ayant une évolution parallèle synchrone: l'espace est divisé en cellules ayant chacune un état et qui évoluent toutes selon une même règle locale, qui ne dépend que d'un nombre fini de cellules voisines. Malgré la simplicité de la formalisation de ce système, des comportements très complexes peuvent apparaître, qui en font notamment un modèle de calcul. Cette complexité a été rattachée à diverses théories: topologie, mesure, décidabilité, information...Nous adoptons ici une approche basée sur la dynamique symbolique, c'est à dire l'étude des mots infinis sur un alphabet donné auxquels on applique un décalage, suppression de la première lettre. À chaque automate cellulaire peut en effet être associé son tracé, l'ensemble des mots infinis représentant la séquence des états successifs pris par la cellule centrale de l'espace - ou un groupe de cellules centrales. On a alors une factorisation topologique: la lecture d'une lettre dans un de ces mots correspond exactement à une étape de l'évolution de l'automate. De nombreuses propriétés topologiques sont alors transmises par cette factorisation. Inversement, le fait que les cellules évoluent toutes de la même manière permet de déduire certaines propriétés de l'automate à partir de celles de son tracé. La première partie de la thèse est consacrée à ces nombreux liens. Une deuxième partie présente des conditions suffisantes pour qu'un ensemble de mots infinis soit le tracé d'un automate cellulaire. Enfin, une troisième partie donne un point de vue plus informatique, en récapitulant les principaux résultats d'indécidabilité sur le sujet et en prouvant que toutes les propriétés du tracé qui peuvent se voir infiniment tard sont indécidables
|
3 |
Codage du flot géodésique sur les surfaces hyperboliques de volume finiPit, Vincent 03 December 2010 (has links) (PDF)
Cette thèse traite de l'étude des objets reliés au codage de Bowen-Series du flot géodésique pour des surfaces hyperboliques de volume fini. On démontre d'abord que le billard géodésique associé à domaine fondamental "even corners" d'un groupe fuchsien cofini est conjugué à une bijection du tore, appelée codage étendu, dont l'un des facteurs est la transformation de Bowen-Series. L'intérêt principal de cette conjugaison est qu'elle ne fait toujours intervenir qu'un nombre fini d'objets. On retrouve ensuite des résultats classiques sur le codage de Bowen-Series : il est orbite-équivalent au groupe, ses points périodiques sont denses, et ses orbites périodiques sont en bijection avec les classes d'équivalence d'hyperboliques primitifs du groupe ; ce qui permet finalement de relier sa fonction zeta de Ruelle à la fonction zeta de Selberg. Les preuves de ces résultats s'appuient sur un lemme combinatoire qui abstrait la propriété d'orbite-équivalence à des familles de relations qui peuvent être définies sur tout ensemble sur lequel agit le groupe. Il est aussi possible de conjuguer le codage étendu à un sous-shift de type fini, sauf pour un ensemble dénombrable de points. Enfin, on prouve que les distributions propres pour la valeur propre 1 de l'opérateur de transfert sont les distributions de Helgason de fonctions propres du laplacien sur la surface, puis que l'on peut associer à toute telle distribution propre une fonction propre non triviale de l'opérateur de transfert et que ce procédé admet un inverse dans certains cas
|
4 |
Propriétés quantitative de récurrence en mesure infinie / Quantitative recurrence properties in infinite measureYassine, Nasab 15 November 2018 (has links)
Dans cette thèse, nous étudions les propriétés quantitatives de récurrence de certains systèmes dynamiques préservant une mesure infinie. Nous nous intéressons au premier temps de retour des orbites d'un système dynamique dans un petit voisinage de leurs points de départ. Tout d'abord, nous commençons par considérer un modèle jouet probabilistique pour éclairer la stratégie de nos preuves. On s'intéresse particulièrement au cas où la mesure est infinie, plus précisément, nous considérons les Z -extensions des sous-shift de type fini. Nous étudions le comportement asymptotique du premier temps de retour au voisinage de l'origine, et nous établissons des résultats de type de convergence presque partout, et aussi de convergence en loi par rapport à toute mesure de probabilité absolument continue par rapport à la mesure infinie. Dans ce travail, nous nous également intéressons à d'autres systèmes dynamiques. Nous considérons un flot Axiome A(gt)t sur une variété riemannienne M munie d'une mesure σ -finie μ. Nous supposerons que la mesure μ est une mesure d'équilibre pour (gt)t. Afin d'établir nos résultats, nous introduisons des notions de dynamique hyperbolique. En particulier, nous considérons la section de Markov qui a été introduite par Bowen et Ratner. / In this thesis, we study the quantitative recurrence properties of some dynamical systems preserving an infinite measure. We are interested in the first return time of the orbits of a dynamical system into a small neighborhood of their starting points. First, we start by considering a toy probabilistic model to clarify the strategy of our proofs. Our interest is when the measure is indeed infinite, more precisely we consider the Z-extensions of subshifts of finite type. We study the asymptotic behavior of the first return time near the origin, and we establish results of an almost everywhere convergence kind, and a convergence in distribution with respect to any probability measure absolutely continuous with respect to the infinite measure. In this work, we are also interested in another dynamicals systems. We consider an Axiom A flow (gt)t on a Riemannian manifold M endowed with a σ-finite measure μ. We will assume that the measure μ is an equilibrium measure for (gt)t. In order to establish our results, we introduce notions from hyperbolic dynamics. In particular, we consider the Markov section which was constructed by Bowen and Ratner.
|
5 |
Codage du flot géodésique sur les surfaces hyperboliques de volume finiPit, Vincent 03 December 2010 (has links)
Cette thèse traite de l’étude des objets reliés au codage de Bowen-Series du flot géodésiquepour des surfaces hyperboliques de volume fini. On démontre d’abord que le billard géodésiqueassocié à domaine fondamental even corners d’un groupe fuchsien cofini est conjuguéà une bijection du tore, appelée codage étendu, dont l’un des facteurs est la transformationde Bowen-Series. L’intérêt principal de cette conjugaison est qu’elle ne fait toujours intervenirqu’un nombre fini d’objets. On retrouve ensuite des résultats classiques sur le codage deBowen-Series : il est orbite-équivalent au groupe, ses points périodiques sont denses, et ses orbitespériodiques sont en bijection avec les classes d’équivalence d’hyperboliques primitifs dugroupe ; ce qui permet finalement de relier sa fonction zeta de Ruelle à la fonction zeta de Selberg.Les preuves de ces résultats s’appuient sur un lemme combinatoire qui abstrait la propriétéd’orbite-équivalence à des familles de relations qui peuvent être définies sur tout ensemble surlequel agit le groupe. Il est aussi possible de conjuguer le codage étendu à un sous-shift detype fini, sauf pour un ensemble dénombrable de points. Enfin, on prouve que les distributionspropres pour la valeur propre 1 de l’opérateur de transfert sont les distributions de Helgason defonctions propres du laplacien sur la surface, puis que l’on peut associer à toute telle distributionpropre une fonction propre non triviale de l’opérateur de transfert et que ce procédé admet uninverse dans certains cas. / This thesis focuses on the study of the objects linked to the Bowen-Series coding of the geodesicflow for hyperbolic surfaces of finite volume. It is first proved that the geodesic billiardassociated with an even corners fundamental domain for a cofinite fuchsian group is conjugatedwith a bijection of the torus, called extended coding, one factor of which is the Bowen-Seriestransform. The sharpest property of that conjugacy is that it always only involves a finite numberof objects. Some classical results about the Bowen-Series coding are then rediscovered : itis orbit-equivalent with the group, its periodic points are dense, and its periodic orbits are inbijection with conjugacy classes of primitive hyperbolic isometries ; which eventually links itsRuelle zeta function to the Selberg zeta function. The proofs of those results use a combinatoriallemma that abstracts the orbit-equivalence property to families of relations that can be definedon every set on which the group acts. The extended coding is also proved to be conjugated witha subshift of finite type, except for a countable set of points. Finally, it is shown that eigendistributionsof the transfer operator for the eigenvalue 1 are the Helgason boundary values ofeigenfunction of laplacian on the surface, plus that one can associate to each such eigendistributiona non-trivial eigenfunction of the transfer operator and that this process has a reciprocalin some cases.
|
Page generated in 0.0311 seconds