ESCAPE: Systèmes complexes, automates et pavages

Web site of the group in English: http://www.lirmm.fr/escape/

L’équipe travaille dans le domaine de l’informatique théorique et est composée de spécialistes de domaines différents mais connexes : calculabilité, complexité, logique. Ses membres se retrouvent dans les objets qu’ils étudient, et typiquement, ces objets sont les pavages, les automates cellulaires, les machines de Turing. Ils se retrouvent aussi dans les paradigmes qu’ils adoptent : la spécialité de l’équipe est de travailler sur ces objets d’un point de vue « modèle de calcul », mais nous nous intéressons aussi largement à la « théorie des jeux algorithmiques ». Nous cherchons à comprendre aussi bien l’émergence de la notion de calcul que la puissance ou à la robustesse des modèles considérés. Nos travaux ont un impact hors de notre champ scientifique propre : en mathématiques dans le domaine des systèmes dynamiques discrets, en logique, et ils commencent à avoir un impact en physique statistique.

Publications depuis 2013 - Evaluation 2019

Articles de revues internationales

2017

  1. Layerwise Computability and Image Randomness
    Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen
    Theory of Computing Systems, Springer Verlag, 2017, 61 (4), pp.1353-1375.
  2. Diagonally non-computable functions and fireworks
    Laurent Bienvenu, Ludovic Patey
    Information and Computation, Elsevier, 2017, 253 (Part 1), pp.64-77.
  3. Periodicity in rectangular arrays
    Guilhem Gamard, Gwenaël Richomme, Jeffrey Shallit, Taylor J. Smith
    Information Processing Letters, Elsevier, 2017, 118, pp.58-63.
  4. Avoidability of circular formulas
    Guilhem Gamard, Pascal Ochem, Gwenaël Richomme, Patrice Séébold
    Theoretical Computer Science, Elsevier, In press. <10.1016/j.tcs.2017.11.014>
  5. Aperiodic tilings and entropy
    Bruno Durand, Guilhem Gamard, Anaël Grandjean
    Theoretical Computer Science, Elsevier, 2017, 666, pp.36-47.
  6. Sturmian images of non Sturmian words and standard morphisms
    Patrice Séébold
    Theoretical Computer Science, Elsevier, In press. <10.1016/j.tcs.2017.11.011>

2016

  1. Generic algorithms for halting problem and optimal machines revisited
    Laurent Bienvenu, Damien Desfontaines, Alexander Shen
    Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, Logical Methods in Computer Science, 12 (2), pp.1-29.

2015

  1. Nonsense
    Alexander Shen
    Mathematical Intelligencer, Springer Verlag, 2015, 37 (4). <10.1007/s00283-015-9599-9>
  2. mu-Limit Sets of Cellular Automata from a Computational Complexity Perspective
    Laurent Boyer, Martin Delacourt, Victor Poupet, Mathieu Sablik, Guillaume Theyssier
    Journal of Computer and System Sciences, Elsevier, 2015, 81 (8), pp.1623-1647.
  3. Topological Arguments for Kolmogorov Complexity
    Alexander Shen, Andrei Romashchenko
    Theory of Computing Systems, Springer Verlag, 2015, 56 (3), pp.513-526.

2014

  1. The Arrest of Victor Vassiliev
    Alexander Shen
    Mathematical Intelligencer, Springer Verlag, 2014, 36 (3). <10.1007/s00283-014-9478-9>
  2. Minimal critical exponent of quasiperiodic words
    Gwenaël Richomme
    Theoretical Computer Science, Elsevier, 2014, 548, pp.117-122.
  3. On the maximal weight of (p,q)-ary chain partitions with bounded parts
    Filippo Disanto, Laurent Imbert, Fabrice Philippe
    Integers : Electronic Journal of Combinatorial Number Theory, State University of West Georgia, Charles University, and DIMATIA, 2014, 14, pp.A37.
  4. Pseudo-Random Graphs and Bit Probe Schemes with One-Sided Error
    Andrei Romashchenko
    Theory of Computing Systems, Springer Verlag, 2014, 55 (2), pp.313-329.
  5. Monte Carlo modeling of the dual-mode regime in quantum-well and quantum-dot semiconductor lasers
    Laurent Chusseau, Fabrice Philippe, Filippo Disanto
    Optics Express, Optical Society of America, 2014, 22 (5), pp.5312-5324.
  6. Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma
    Andrei Rumyantsev, Alexander Shen
    Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 132 (1), pp.1-14.
  7. The axiomatic power of Kolmogorov complexity
    Laurent Bienvenu, Andrei Romashchenko, Alexander Shen, Antoine Taveneaux, Stijn Vermeeren
    Annals of Pure and Applied Logic, Elsevier Masson, 2014, 165 (9), pp.1380-1402.
  8. Complexity of complexity and strings with maximal plain and prefix Kolmogorov complexity
    Bruno Bauwens, Alexander Shen
    The Journal of Symbolic Logic, Association for Symbolic Logic, 2014, 79 (02), pp.620-632.

2013

  1. A New Perspective on Classical Ideal Gases
    Jacques Arnaud, Laurent Chusseau, Fabrice Philippe
    Entropy, MDPI, 2013, 15 (9), pp.3379-3395.
  2. Conditional Information Inequalities for Entropic and Almost Entropic Points
    Tarik Kaced, Andrei Romashchenko
    IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2013, 59 (11), pp.7149-7167.
  3. Mode Competition in Dual-Mode Quantum Dots Semiconductor Microlaser
    Laurent Chusseau, Fabrice Philippe, Pierre Viktorovitch, Xavier Letartre
    Physical Review A, American Physical Society, 2013, 88 (1), pp.015803.
  4. Do the Properties of an S-adic Representation Determine Factor Complexity?
    Fabien Durand, Julien Leroy, Gwenaël Richomme
    Journal of Integer Sequences, University of Waterloo, 2013, 16 (2), pp.Art 13.2.6.
  5. On Classical Ideal Gases
    Jacques Arnaud, Laurent Chusseau, Fabrice Philippe
    Entropy, MDPI, 2013, 15 (3), pp.960-971.
  6. A Combinatorial Proof of S-adicity for Sequences with Linear Complexity
    Julien Leroy, Gwenaël Richomme
    Integers : Electronic Journal of Combinatorial Number Theory, State University of West Georgia, Charles University, and DIMATIA, 2013, 13, pp.article #A5.
  7. A 6-state Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings
    Katsunobu Imai, Takahiro Hatsuda, Victor Poupet, Kota Sato
    Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2013, Cellular Automata and Models of Computation, 126 (2-3), pp.247-261.
  8. An Additivity Theorem for Plain Kolmogorov Complexity
    Bruno Bauwens, Alexander Shen
    Theory of Computing Systems, Springer Verlag, 2013, 52, pp.297-302.
  9. Discrete mathematical structures: From dynamics to complexity
    Cristian Calude, Bruno Durand, Anahí Gajardo, Dominique Perrin, Ivan Rapaport, Sergio Rica
    Theoretical Computer Science, Elsevier, 2013, 504, pp.3-4.

Communications internationales

2017

  1. On the expressive power of quasiperiodic SFT
    Andrei Romashchenko, Bruno Durand
    42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Aug 2017, Aalborg, Denmark. 83, pp.5:1-5:14, 2017, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017).
  2. Differences Between 2D Neighborhoods According to Real Time Computation
    Anaël Grandjean
    DLT: Developments in Language Theory, Aug 2017, Liège, Belgium. International Conference on Developments in Language Theory, LNCS (10396), pp.198-209, 2017, Developments in Language Theory.
  3. A Characterization of Infinite LSP Words
    Gwenaël Richomme
    DLT: Developments in Language Theory, Aug 2017, Liège, Belgium. Springer, 21st International Conference on Developments in Language Theory (DLT 2017), LNCS (10396), pp.320-331, 2017.
  4. Semiconductor laser Markov models in the micro-canonical, canonical and grand-canonical ensembles
    Arthur Vallet, Laurent Chusseau, Fabrice Phillippe, Alain Jean-Marie
    SigmaPhi 2017 - International Conference on Statistical Physics, Jul 2017, Corfu, Greece. pp.1-42, 2017.
  5. On shift-invariant maximal filters and hormonal cellular automata
    Julien Cervelle, Grégory Lafitte
    LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, pp.1-10, 2017.
  6. On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables
    Dmitry Itsykson, Alexander Knop, Andrei Romashchenko, Dmitry Sokolov
    STACS: Symposium on Theoretical Aspects of Computer Science, Mar 2017, Hannover, Germany. 34th Symposium on Theoretical Aspects of Computer Science, 66, pp.43:1-43:14, 2017, Leibniz International Proceedings in Informatics (LIPIcs).

2016

  1. Determining Sets of Quasiperiods of Infinite Words
    Guilhem Gamard, Gwenaël Richomme
    Piotr Faliszewski; Anca Muscholl; Rolf Niedermeier. MFCS: Mathematical Foundations of Computer Science, Aug 2016, Cracovie, Poland. 41st International Symposium on Mathematical Foundations of Computer Science, 58, pp.40:1-40:13, 2016, Leibniz International Proceedings in Informatics (LIPIcs).
  2. A Linear Acceleration Theorem for 2D Cellular Automata on all Complete Neighborhoods
    Anaël Grandjean, Victor Poupet
    ICALP: International Colloquium on Automata, Languages and Programming, Jul 2016, Roma, Italy. 43rd International Colloquium on Automata, Languages, and Programming, 55, pp.115:1--115:12, 2016, Leibniz International Proceedings in Informatics (LIPIcs).
  3. Constant Acceleration Theorem for Extended von Neumann Neighbourhoods
    Anaël Grandjean
    Matthew Cook; Turlough Neary. AUTOMATA, Jun 2016, Zurich, Switzerland. Springer, 22th International Workshop on Cellular Automata and Discrete Complex Systems, LNCS (9664), pp.149-158, 2016, Cellular Automata and Discrete Complex Systems.

2015

  1. Quasiperiodicity and non-computability in tilings
    Bruno Durand, Andrei Romashchenko
    MFCS: Mathematical Foundations of Computer Science, Aug 2015, Milan, Italy. MFCS'2015: 40th International Symposium on Mathematical Foundations of Computer Science, 2015. <10.1007/978-3-662-48057-1_17>
  2. Randomized Polynomial Time Protocol for Combinatorial Slepian-Wolf Problem
    Chumbalov Daniyar, Andrei Romashchenko
    MFCS: Mathematical Foundations of Computer Science, Aug 2015, Milan, Italy. LNCS (9235), pp.235-247, 2015, 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II.
  3. What Percentage of Programs Halt?
    Laurent Bienvenu, Damien Desfontaines, Alexander Shen
    ICALP: International Colloquium on Automata, Languages and Programming, Jul 2015, Kyoto, Japan. Springer, 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I, LNCS (9134), pp.219-230, 2015, Automata, Languages, and Programming.
  4. L-Convex Polyominoes Are Recognizable in Real Time by 2D Cellular Automata
    Anaël Grandjean, Victor Poupet
    Jarkko Kari. AUTOMATA, Jun 2015, Turku, Finland. 21st Workshop on Cellular Automata and Discrete Complex Systems, LNCS (9099), pp.127-140, 2015, Cellular Automata and Discrete Complex Systems.
  5. Comparing 1D and 2D Real Time on Cellular Automata
    Anaël Grandjean, Victor Poupet
    STACS: Symposium on Theoretical Aspects of Computer Science, Mar 2015, München, Germany. 32nd International Symposium on Theoretical Aspects of Computer Science, 30, pp.367-378, 2015.
  6. Coverability in Two Dimensions
    Guilhem Gamard, Gwenaël Richomme
    Adrian Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe. LATA: Language and Automata Theory and Applications, Mar 2015, Nice, France. Springer, 9th International Conference on Language and Automata Theory and Applications, 8977, 2015, LNCS.

2014

  1. Algorithmic Identification of Probabilities Is Hard
    Laurent Bienvenu, Benoit Monin, Alexander Shen
    ALT: Algorithmic Learning Theory, Oct 2014, Bled, Slovenia. LNCS (8776), pp.85-95, 2014, Algorithmic Learning Theory.
  2. Aperiodic Tilings and Entropy
    Bruno Durand, Guilhem Gamard, Anaël Grandjean
    DLT: Developments in Language Theory, Aug 2014, Ekaterinburg, Russia. 18th International Conference on Developments in Language Theory, LNCS (8633), pp.166-177, 2014.
  3. 5-State Rotation-Symmetric Number-Conserving Cellular Automata are not Strongly Universal
    Katsunobu Imai, Hisamichi Ishizaka, Victor Poupet
    AUTOMATA, Jul 2014, Himeji, Japan. 20th International Workshop on Cellular Automata and Discrete Complex Systems, LNCS (8996), pp.31-43, 2015.
  4. Monte Carlo markovian modeling of modal competition in dual-wavelength semiconductor lasers
    Laurent Chusseau, Fabrice Philippe, Alain Jean-Marie
    Photonics West OPTO: Physics and Simulation of Optoelectronic Devices, Feb 2014, San Francisco, United States. SPIE, SPIE Physics and Simulation of Optoelectronic Devices XXII (Photonics West OPTO 2014), 2014. <10.1117/12.2036268>

2013

  1. On Quasiperiodic Morphisms
    Florence Levé, Gwenaël Richomme
    WORDS: Combinatorics on Words, Sep 2013, Turku, Finland. 9th International Conference on Combinatorics on Words, WORDS 2013, LNCS (8079), pp.181-192, 2013.

Membres

Permanents

Non permanents

Thématiques de recherche

Nos objets :

  • pavages
  • automates cellulaires
  • mots (dimension 1 et 2)

Nos approches :

  • calculabilité
  • complexité
  • combinatoire
  • logique
  • algorithmique

Principales collaborations

Internationales :

Nationales :

Publications

Groupe de travail

Notre groupe de travail est composé d'exposés d'orateurs invités et d'orateurs locaux (environ pour moitié). Il est commun avec l'équipe ECO et est organisé par Laurent Imbert et  Gwenaël Richomme.

Mots-clés

Calculabilité, Logique, Machines de Turing, Modèles de calcul, Complexité, Pavages, Automates cellulaires, Ordinaux

Dernière mise à jour le 29/03/2018