Projet Dyna3S » Juin2018

Réunion, Bordeaux, LaBRI

  • 18-20 juin: Rencontre Dyna3S
  • Début: lundi 18 juin à 9h
  • Fin: mercredi 20 juin à 12h30 (ou 17h pour ceux qui veulent rester l'après-midi)
  • Lieu : LaBRI sur openstreetmap
  • 1 grande salle réservée: 076 pour les 3 journées entières
  • 2 petites salles réservées: 064 et 071 de 13h à 19h
  • Présence des participants

Organisateurs

  • Milton Minervino et Sébastien Labbé

Orateurs invités

Programme

Lundi 18 juin :

  • 8h30: Cafés et croissant en salle 76
  • 9h15 - 10h: Exposé 1: Paulina Cecchi, Cobords et équilibre des mots. Slides
  • 10h15 - 11h: Exposé 2: (exposé de Damien déplacé à mercredi)
  • 11h15 - 12h: Problem session
  • 12h30: Restaurant La Passerelle: CROUS DE BORDEAUX-AQUITAINE, Restaurant universitaire n°2, Domaine universitaire - 33608 PESSAC, (Entrée : avenue Léon Duguit), Tram B : arrêt Doyen Brus
  • 14h: Talk or discussion: à déterminer
  • 15h: Café en salle 71
  • 15h: Discussion on problems
  • 17h: Status report
  • 18h: Départ pour Bègles plage avec le BUS43, sortir à l'arrêt Mairie de Bègles, puis marcher vers Bègles Plage
  • 19h: Pique-nique St-Once à Bègles Plage, adresse: Avenue Pierre Mendès France, 33130 Bègles

Mardi 19 juin :

  • 8h30: Cafés et croissant en salle 76
  • 9h15 - 10h: Exposé 3: Mathieu Sablik, Local Rules for Computable Planar Tilings
  • 10h15 - 11h: Exposé 4: Florian Lietard, A set of morphisms avoiding additive cubes
  • 11h15 - 12h: Exposé 5: Valérie Berthé, Bilan ANR DynA3S
  • 12h30: Restaurant La Passerelle (CROUS)
  • 14h15 - 15h: Exposé 6: Nathanaël Fijalkow, Invariants for linear dynamical systems
  • 15h: Café en salle 71
  • 15h: Discussion
  • 17h: Status report

Mercredi 20 juin :

  • 8h30: Cafés et croissant en salle 76
  • 9h30-10h: Nicolas Darboux, librairie Python pantograph
  • 10h15 - 11h: Exposé 7: Mélodie Andrieu
  • 11h15 - 12h: Exposé 8: Damien Jamet, Plans discrets et fractions continues multidimensionnelles Slides
  • 12h30: Restaurant La Passerelle (CROUS)
  • 14h: Free time to discuss/work or travel back

Résumés

Paulina Cecchi, Cobords et équilibre des mots

Étant donné un mot bi-infini x avec des lettres dans l'alphabet fini A et v un facteur de x, on dit que x est équilibré sur v si la différence entre le nombre d'occurrences de v dans deux facteurs de x de la même taille est bornée. Pendant l'exposé on prédentera quelques outils issus de la dynamique symbolique qui peuvent être utilisés pour l'étude de l'équilibre des mots. On appliquera ces outils à quelques systèmes symboliques engendrés par des substitutions.

Nathanaël Fijalkow, Invariants for linear dynamical systems

''I will talk about linear dynamical systems: the space is R^n, and the action is a linear function A: R^n to R^n, i.e. a matrix. We start from a point x in R^n and would like to understand what the orbit from x looks like. More precisely we would like to algorithmically answer questions like: “does the orbit contain some point y?”, or “does the orbit intersect a given hyperplane?” The orbit is a too complicated set, so we try to construct over approximation of this set, using semi linear or semi algebraic sets, in the form of invariants. Based on joint works with Joël Ouaknine, James Worrell, Pierre Ohlmann, and Amaury Pouly.''

Mathieu Sablik, Local Rules for Computable Planar Tilings

''A promising approach to obtain local rules for aperiodic tilings is the one opened by Leonid Levitov. He considered non-periodic planar tilings, that are digitizations of irrational vector spaces, and searched algebraic conditions on vector space parameters for the existence of local rules. This approach led to numerous results, but no complete characterization of aperiodic planar tilings has yet been obtained. The aim of this talk is to move a step forward in the above approach by enriching geometric methods with calculability, in the spirit of the first works on aperiodic tile sets (Hao Wang, Raphael Robinson...). The main result states that a planar tiling admits local rules if and only if it is a digitization of a vector space whose parameters are computable.''

Damien Jamet, Plans discrets et fractions continues multidimensionnelles

''Dans la première partie de mon exposé, je présenterai les travaux sur les liens entre la topologie d'un plan discret et la réduction de son vecteur normal suivant l'algorithme "fully subtractive" qui consiste à soustraire la plus petite composante non nulle d'un vecteur à ses autres composantes. J'aborderai l'ensemble des cas possibles : rationnel (lorsque les composantes sont toutes entières à un facteur multiplicatif près) et irrationnels (lorsque les composantes ne sont pas rationnellement dépendantes). Dans la seconde partie de mon exposé je présenterai une méthode de construction de plans discrets à partir de la combinaison de plusieurs algorithmes de fractions continues multidimensionnelles.''