Feeds:
Posts
Comments

Posts Tagged ‘symbolic dynamics’

With Sylvain CROVISIER and Omri SARIG, we show that C^\infty surface diffeomorphisms with positive topological entropy have at most finitely many ergodic measures of maximal entropy in general, and at most one in the topologically transitive case. This answers a question of Newhouse, who proved that such measures always exist.

To do this we generalize Smale’s spectral decomposition theorem to non-uniformly hyperbolic surface diffeomorphisms, we introduce homoclinic classes of measures, and we study their properties using codings by irreducible countable state Markov
shifts.

The preprint is on arxiv (you can also download the preprint here).

Advertisements

Read Full Post »

En dimension 1, les entropies des sous-décalages de type fini ont une caractérisation algébrique (théorème de Lind 1974: ce sont les multiples rationnels des logarithmes des nombres de Perron). En dimension supérieure, les entropies sont caractérisées en termes de calculabilité (théorème de Hochman et Meyerovitch 2010: ce sont les nombres semicalculables par le haut).

Dans sa thèse, Silvère Gangloff a étudié les liens précis entre la vitesse d’assemblage f(n) du décalage (une forme quantitative de mélange topologique) et les propriétés de calculabilité de son entropie. Il a notamment établi un phénomène de seuil

Théorème (S. Gangloff).  Considérons les sous-décalages décidables ayant la propriété d’assemblage à une certaine vitesse f:\mathbb N\to \mathbb N. Si \sum_{n\geq1} f(n)/n^2  converge, alors les entropies sont calculables; sinon, toute valeur semicalculable par le haut est réalisée.

Dans la foulée de cette soutenance, son directeur, Mathieu Sablik, a organisé une journée sur l’entropie à laquelle j’ai participé.

Read Full Post »

A l’occasion de la journée Systèmes dynamiques, probabilité, statistiques à Quimper, j’ai présenté la notion de facteur de Bowen et son utilité pour l’étude des difféomorphismes de surfaces. On peut ainsi rendre injective les extensions finies construites par Omri Sarig, en ne perdant qu’une partie faiblement errante (union dénombrable de parties errantes).

Read Full Post »

Le 21 novembre dernier Thomas Fernique a défendu son habilitation à diriger des recherches au Laboratoire d’Information de Paris-Nord. Il étudie les pavages et tout particulièrement les pavages ordonnées et apériodiques, modélisant les célèbres quasi-cristaux découverts dans les années 1980. Ses travaux explorent les liens entre différentes classes naturelles de tels systèmes dynamiques multidimensionnels (ie, définis par une action de R^d, d\geq 1): pavages sofiques et substitutifs; pavages planaires vs. sofiques ou de type fini; pavages obtenus par recuit.

L’exposé était suivi d’un pot agrémenté d’un pavage de Penrose (pavage défini par un plan plongé dans R^5) en chocolats blancs et noirs, digne suite d’une autre réalisation à découvrir ici.

Read Full Post »

La fonction de Moebius \mu:\mathbb N^*\to\{-1,0,1\} peut se voir comme un point \mu du décalage (\{-1,0,1\}^{\mathbb N},\sigma). On s’intéresse aux points d’accumulation de l’orbite (et donc au sous-décalage X_M:=\overline{\{\sigma^n(\mu):n\geq0\}}) et des mesures empiriques m^\mu_n:=\frac1n\sum_{k=0}^{n-1} \delta_{\sigma^k(\mu)}. La conjecture de Chowla (1965) est équivalente à la convergence des mesures empiriques vers une mesure pour laquelle les signes des éléments non-nuls sont indépendants.

Thierry de la Rue a exposé au groupe de travail ergodique et dynamique une partie de ses travaux (en collaboration avec El Abdalaoui et Lemanczyk). Il s’agit d’une généralisation du problème où l’interdiction des facteurs carrés p_1^2,p_2^2,\dots est remplacée par celle d’une suite a_1^2,a_2^2,\dots d’entiers deux-à-deux premiers entre eux avec \sum_{k\geq1} a_k^{-2}<\infty.

Une première étape caractérise le sous-décalage et la mesure empirique pour la fonction \eta définie sur \mathbb N^* par \eta(n)=1 ssi aucun a_k^2 ne divise n. Le décalage engendré est décrit par une condition d’admissibilité simple (hérédité; on peut en déduire son entropie topologique et sa mesure d’entropie maximale). La limite des m^\eta_n existe. C’est m^\eta l’image par une application explicite (mais non continue) de la mesure de Haar sur un groupe compact abélien naturel.

Sous la condition (*) \sum_{k\geq1} a_k^{-1}<\infty, la deuxième étape montre la convergence des mesures m^\mu_n vers l’image du produit m^\eta\otimes(\tfrac12,\tfrac12)^{\mathbb N} sur \{0,1\}^{\mathbb N}\times\{-1,1\}^{\mathbb N} par (x,s)\mapsto (x_ns_n).  La condition n’est pas satisfaite dans le cas classique… mais pas de beaucoup!Cette analyse fait intervenir la disjonction au sens de Furstenberg avec différentes classes de systèmes ergodiques d’entropie nulle.

Read Full Post »

La prépublication est enfin sur arxiv!

Voici le lien.

En comparaison avec ma précédente prépublication sur le sujet (également sur arxiv), on parvient dans ce nouveau travail à analyser les mesures maximisant l’entropie relativement à une période. On développe aussi les lemmes boréliens nécessaires au traitement du cas non nécessairement mélangeant. On obtient ainsi un résultat modulo les mesures d’entropie nulle et non pas modulo ces “m.m.e. relatives”.

Read Full Post »

0. Problème du générateur

L’existence d’une partition génératrice finie ou dénombrable est équivalente à la possibilité de plonger un système dans un décalage sur un alphabet fini ou dénombrable, ie, \mathbb N^{\mathbb Z} et donc conditionne la réductibilité de maints problèmes au cas symbolique. Cette problématique est également fortement liée à l’entropie.

Je répète ici la présentation de Benjamin WEISS, Countable generators in dynamics” (1989) qui a donné une version borélienne (ou si l’on veut mesurable) du théorème de Rokhlin.

1. Théorème de Rokhlin (1963)

Enoncé: Soit (X,\mathcal X,\mu,T) un système dynamique probabiliste inversible défini sur un espace de Rokhlin. Si ce système est ergodique, alors il existe une partition dénombrable \mathcal P dite génératrice unilatérale: \bigvee_{k\leq0} T^{-k}\mathcal P= \mathcal X modulo \mu.

Lemme. Pour toute partition finie \mathcal P et tout mesurable C de mesure non-nulle, il existe une partition dénombrable \mathcal Q de C, telle que \bigvee_{n\leq0} T^{-n}(\mathcal Q\cup\{X\setminus C\})\geq \mathcal P.

Preuve du lemme: On subdivise C selon le temps de premier retour, puis chaque morceau correspondant au temps de retour n selon \bigvee_{k=0}^{n-1} T^{-k}\mathcal P. La partition \mathcal Q ainsi obtenue est mesurable et dénombrable. Par ergodicité, l’orbite de presque tout point x visite C en un temps -n avec n\geq0 minimal. L’élément de \bigvee_{n\leq0} T^{-n}(\mathcal Q\cup\{X\setminus C\}) contenant x est donc contenu dans un élément de \mathcal P. Dans un espace de Rokhlin, ceci permet de conclure.

Preuve du théorème: On peut  supposer (\mu,T) apériodique, le théorème étant sinon trivial. Il existe donc une suite de mesurables disjoints C_0,C_1,C_2,\dots de mesures non-nulles. Dans un espace de Rokhlin, il existe une suite de partitions mesurables finies telles que \bigvee_{n\geq0} \mathcal P_n=\mathcal X modulo \mu. Le lemme fournit pour chaque entier n\geq0, une partition dénombrable \mathcal Q_n de C_n. On pose \mathcal Q:=\bigcup_{n\geq0} \mathcal Q_n\cup\{X\setminus\bigcup_{n\geq0}C_n\}. C’est bien une partition dénombrable vu la disjonction des C_n et \bigvee_{n\in\mathbb Z} T^{-n}\mathcal Q\geq\bigvee_{n\geq0} P_n=\mathcal X modulo \mu.

2. Version borélienne

Contexte: (X,\mathcal X,T) est un automorphisme d’un espace de Borel standard. On le muni de l’idéal errant \mathcal W. Un borélien est dit complètement positif si le complémentaire de son orbite positive \bigcup_{n\geq1} T^nB appartient à \mathcal W. Autrement dit, l’ensemble des points qui ne visite pas B une infinité de fois dans le passé et dans le futur appartient à \mathcal W.

Lemme: Si T est apériodique (sans points périodiques), alors il existe un borélien complètement positif satisfaisant A\cap TA=\emptyset.

Remarque: Si A est complètement positif, alors TA l’est aussi: X\setminus\bigcup_{n\geq1} T^n(TA)=(X\setminus\bigcup_{n\geq1}T^nA) \cup \{x\in A:\forall n\geq2 T^nx\notin A\}, l’union de deux éléments de \mathcal W (utilise le théorème de récurrence de Poincaré).

On itère ce lemme en posant A_0:=A et en considérant le système (A_n,\mathcal X\mid A_n,T_{A_n}), ce qui fournit A_{n+1},TA_{n+1}\subset A_n, donc disjoints de TA_n et de A_0,\dots,A_{n-1}.

Corollaire: il existe une suite de boréliens disjoints C_n,n\geq0, complètement positifs.

Un espace de Borel standard admet une suite de partitions finies dont l’union est génératrice. A partir de là, il suffit de reproduire la preuve du théorème de Rokhlin.

3. Commentaires

En général il n’existe pas de générateur fini – l’existence d’une mesure de probabilité invariante d’entropie infinie suffit à l’interdire. Dans le cadre mesuré, c’est la seule objection. Dans le cadre borélien,

Question (B. Weiss 1989): Un système dynamique borélien standard n’admettant pas de mesure finie invariante possède-t-il toujours un générateur à deux éléments?

 

 

Read Full Post »

Older Posts »