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.

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 :

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.

Publications depuis 2014 - Evaluation 2019

Articles de revues internationales

2019

  1. An Operational Characterization of Mutual Information in Algorithmic Information Theory
    Andrei Romashchenko, Marius Zimand
    Journal of the ACM (JACM), Association for Computing Machinery, 2019, 66 (5), pp.1-42.
  2. Coverability and multi-scale coverability on infinite pictures
    Guilhem Gamard, Gwenaël Richomme
    Journal of Computer and System Sciences, Elsevier, 2019, 104, pp.258-277.
  3. On the Structure of Ammann A2 Tilings
    Bruno Durand, Alexander Shen, Nikolay Vereshchagin
    Discrete and Computational Geometry, Springer Verlag, In press. <10.1007/s00454-019-00074-1>
  4. Markov model of quantum fluctuations at the transition to lasing of semiconductor nanolasers
    Arthur Vallet, Laurent Chusseau, Fabrice Philippe, Alain Jean-Marie
    Physica E: Low-dimensional Systems and Nanostructures, Elsevier, 2019, 105, pp.97-104.
  5. Владимир Андреевич Успенский (27.11.1930-27.06.2018)
    Alexander Shen, Сергей Иванович Адян, Sergei Ivanovich Adian, Николай Николаевич Андреев, Nikolai Nikolaevich Andreev, Лев Дмитриевич Беклемишев, Lev Dmitrievich Beklemishev, Сергей Савостьянович Гончаров, Sergey Savostyanovich Goncharov, Юрий Леонидович Ершов, Yurii Leonidovich Ershov, Юрий Владимирович Матиясевич, Yuri Vladimirovich Matiyasevich, Юрий Сергеевич Осипов, Yurii Sergeevich Osipov, Мати Рейнович Пентус, Mati Reinovich Pentus, Владимир Александрович Плунгян, Vladimir Alexandrovich Plungyan, Екатерина Владимировна Рахилина, Ekaterina Vladimirovna Rahilina, Виктор Антонович Садовничий, Victor Antonovich Sadovnichii, Алексей Львович Семeнов, Aleksei l'Vovich Semenov, Сергей Георгиевич Татевосов, Sergey Georgievich Tatevosov, Владимир Михайлович Тихомиров, Vladimir Mikhailovich Tikhomirov, Александр Ханиевич Шень, Alexander Khanievich Shen'
    Russian Mathematical Surveys, Turpion, 2019, 74 (4(448)), pp.165-180.
  6. Characterization of infinite LSP words and endomorphisms preserving the LSP property
    Gwenaël Richomme
    International Journal of Foundations of Computer Science, World Scientific Publishing, 2019, 30 (1), pp.171-196.

2018

  1. Hilbert’s Error?
    Alexander Shen
    Mathematical Intelligencer, Springer Verlag, 2018, 40 (4), pp.6-11.
  2. On the Combinatorial Version of the Slepian-Wolf Problem
    Daniyar Chumbalov, Andrei Romashchenko
    IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2018, 64 (9), pp. 6054 - 6069.
  3. A Conditional Information Inequality and Its Combinatorial Applications
    Andrei Romashchenko, Tarik Kaced, Nikolai Vereshchagin
    IEEE Transactions on Information Theory, Institute of Electrical and Electronics Engineers, 2018, 64 (5), pp.3610-3615.
  4. Greedy Palindromic Lengths
    Michelangelo Bucci, Gwenaël Richomme
    International Journal of Foundations of Computer Science, World Scientific Publishing, 2018, 29 (03), pp.331- 356.
  5. Sturmian images of non Sturmian words and standard morphisms
    Patrice Séébold
    Theoretical Computer Science, Elsevier, 2018, 711 (8), pp.92-104.
  6. Dimension 1 sequences are close to randoms
    Alexander Shen, Noam Greenberg, Joseph Miller, Linda Brown Westrick
    Theoretical Computer Science, Elsevier, 2018, 705, pp.99-112.
  7. Avoidability of circular formulas
    Guilhem Gamard, Pascal Ochem, Gwenaël Richomme, Patrice Séébold
    Theoretical Computer Science, Elsevier, 2018, 726, pp.1-4.
  8. Algorithmic identification of probabilities is hard
    Laurent Bienvenu, Santiago Figueira, Benoit Monin, Alexander Shen
    Journal of Computer and System Sciences, Elsevier, 2018, 95, pp.98-108.

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. Aperiodic tilings and entropy
    Bruno Durand, Guilhem Gamard, Anaël Grandjean
    Theoretical Computer Science, Elsevier, 2017, 666, pp.36-47.
  5. Conditional Probabilities and van Lambalgen’s Theorem Revisited
    Bruno Bauwens, Alexander Shen, Hayato Takahashi
    Theory of Computing Systems, Springer Verlag, 2017, 61 (4), pp.1315-1336.

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. Topological Arguments for Kolmogorov Complexity
    Andrei Romashchenko, Alexander Shen
    Theory of Computing Systems, Springer Verlag, 2015, 56 (3), pp.513-526.
  2. μ-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.

2014

  1. Minimal critical exponent of quasiperiodic words
    Gwenaël Richomme
    Theoretical Computer Science, Elsevier, 2014, 548, pp.117-122.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.

Communications internationales

2019

  1. Two Characterizations of Finite-State Dimension
    Alexander Kozachinskiy, Alexander Shen
    FCT: Fundamentals of Computation Theory, Aug 2019, Copenhagen, Denmark. pp.80-94.
  2. An algorithmic approach to characterizations of admissibles
    Bruno Durand, Grégory Lafitte
    CiE: Computability in Europe, Jul 2019, Durham, United Kingdom. pp.181-192.
  3. Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts
    Andrei Romashchenko, Julien Destombes
    STACS: Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany. pp.23:1--23:17.
  4. Random Noise Increases Kolmogorov Complexity and Hausdorff Dimension
    Gleb Posobin, Alexander Shen
    STACS: Symposium on Theoretical Aspects of Computer Science, Mar 2019, Berlin, Germany. pp.57:1--57:14.
  5. How to Use Undiscovered Information Inequalities: Direct Applications of the Copy Lemma
    Emirhan Gürpınar, Andrei Romashchenko
    2019 IEEE International Symposium on Information Theory (ISIT), Jul 2019, Paris, France. pp.1377-1381.

2018

  1. An operational characterization of mutual information in algorithmic information theory
    Andrei Romashchenko, Marius Zimand
    ICALP: International Colloquium on Automata, Languages, and Programming, Jul 2018, Prague, Czech Republic. pp.95:1-95:14.
  2. Algorithms and Geometric Constructions
    Vladimir Uspenskiy, Alexander Shen
    CiE: Conference on Computability in Europe, Jul 2018, Kiel, Germany. pp.410-420.
  3. Plain stopping time and conditional complexities revisited
    Mikhail Andreev, Gleb Posobin, Alexander Shen
    MFCS: Mathematical Foundations of Computer Science, Aug 2018, Liverpool, United Kingdom. pp.2:1--2:12.
  4. Illustration du passage au seuil des nanolasers par une modélisation markovienne
    Arthur Vallet, Laurent Chusseau, Alain Jean-Marie, Fabrice Philippe
    OPTIQUE Toulouse, Jul 2018, Toulouse, France. <https://www.sfoptique.org/pages/congres-optique/optique-toulouse-2018/>

2017

  1. On the expressive power of quasiperiodic SFT
    Andrei Romashchenko, Bruno Durand
    MFCS: Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.5:1-5:14.
  2. A Characterization of Infinite LSP Words
    Gwenaël Richomme
    DLT: Developments in Language Theory, Aug 2017, Liège, Belgium. pp.320-331.
  3. Infinite Time Busy Beavers
    Oscar Defrain, Bruno Durand, Grégory Lafitte
    CiE: Conference on Computability in Europe, Jun 2017, Turku, Finland. pp.221-233.
  4. 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. pp.43:1-43:14.
  5. Differences Between 2D Neighborhoods According to Real Time Computation
    Anaël Grandjean
    DLT: Developments in Language Theory, Aug 2017, Liège, Belgium. pp.198-209.
  6. Semiconductor laser Markov models in the micro-canonical, canonical and grand-canonical ensembles
    Arthur Vallet, Laurent Chusseau, Fabrice Philippe, Alain Jean-Marie
    SigmaPhi, Jul 2017, Corfu, Greece. pp.1-42.
  7. Admissibles in Gaps
    Merlin Carl, Bruno Durand, Grégory Lafitte, Sabrina Ouazzani
    CiE: Computability in Europe, Jun 2017, Turku, Finland. pp.175-186.
  8. Compressibility and Probabilistic Proofs
    Alexander Shen
    CIE: Computability in Europe, Jun 2017, Turku, Finland. pp.101-111.
  9. Automatic Kolmogorov Complexity and Normality Revisited
    Alexander Shen
    FTC: Fundamentals of Computation Theory, Dec 2017, Bordeaux, France. pp.418-430.
  10. On shift-invariant maximal filters and hormonal cellular automata
    Julien Cervelle, Grégory Lafitte
    LICS: Logic in Computer Science, Jun 2017, Reykjavik, Iceland. pp.1-10.

2016

  1. Determining Sets of Quasiperiods of Infinite Words
    Guilhem Gamard, Gwenaël Richomme
    MFCS: Mathematical Foundations of Computer Science, Aug 2016, Cracovie, Poland. pp.40:1-40:13.
  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. pp.115:1--115:12.
  3. Constant Acceleration Theorem for Extended von Neumann Neighbourhoods
    Anaël Grandjean
    AUTOMATA, Jun 2016, Zurich, Switzerland. pp.149-158.

2015

  1. Randomized Polynomial Time Protocol for Combinatorial Slepian-Wolf Problem
    Daniyar Chumbalov, Andrei Romashchenko
    MFCS: Mathematical Foundations of Computer Science, Aug 2015, Milan, Italy. pp.235-247.
  2. Quasiperiodicity and non-computability in tilings
    Bruno Durand, Andrei Romashchenko
    MFCS: Mathematical Foundations of Computer Science, Aug 2015, Milan, Italy. pp.218-230.
  3. What Percentage of Programs Halt?
    Laurent Bienvenu, Damien Desfontaines, Alexander Shen
    ICALP: International Colloquium on Automata, Languages and Programming, EATCS, Jul 2015, Kyoto, Japan. pp.219-230.
  4. Coverability in Two Dimensions
    Guilhem Gamard, Gwenaël Richomme
    LATA: Language and Automata Theory and Applications, Mar 2015, Nice, France. pp.402-413.
  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. pp.367-378.
  6. 5-State Rotation-Symmetric Number-Conserving Cellular Automata are not Strongly Universal
    Katsunobu Imai, Hisamichi Ishizaka, Victor Poupet
    AUTOMATA, Jul 2014, Himeji, Japan. pp.31-43.
  7. L-Convex Polyominoes Are Recognizable in Real Time by 2D Cellular Automata
    Anaël Grandjean, Victor Poupet
    AUTOMATA, Jun 2015, Turku, Finland. pp.127-140.

2014

  1. 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. <10.1117/12.2036268>
  2. Aperiodic Tilings and Entropy
    Bruno Durand, Guilhem Gamard, Anaël Grandjean
    DLT: Developments in Language Theory, Aug 2014, Ekaterinburg, Russia. pp.166-177.
  3. Algorithmic Identification of Probabilities Is Hard
    Laurent Bienvenu, Benoit Monin, Alexander Shen
    ALT: Algorithmic Learning Theory, Oct 2014, Bled, Slovenia. pp.85-95.

Mots-clés

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

Dernière mise à jour le 09/12/2019