La pause estivale approche, la lettre hebdomadaire s'adaptera en conséquence avec un nouveau rythme et un contenu basé sur les actualités du moment.
A retenir avant de partir en vacances : les dates de fermeture de l'Université de Paris et du secrétariat de l'IRIF et la date du pot de rentrée (7 septembre).
Côté actualités scientifiques, le Hcéres annonce la réalisation d'une Synthèse Nationale des Mathématiques et l'Université de Paris lance l'appel à candidature pour le programme PAUSE.
Et enfin Zoom sur ICALP 2021 où quelques membres de l'IRIF ont présenté des papiers acceptés dans le cadre de cette conférence.
Bonne lecture !
Toute cette semaine s'est déroulée l'édition 2021 de l'International Colloquium on Automata, Languages, and Programming (ICALP).
5 papiers co-écrits par des membres de l'IRIF ont été présentés dans le cadre de cette conférence. Retour sur les articles.
Mathieu Mari, Chien-Chung Huang,
Claire Mathieu and Jens Vygen.
Approximating maximum integral multiflows on bounded genus graphs.
En combinant des techniques de topologie algorithmique et de programmation linéaire, il est possible de construire un algorithme d’approximation pour un cas — à savoir, quand l’instance peut être plongée sur une surface de genre borné — plus général que précédemment connu, pour le problème classique du multiflot entier : on se donne un ensemble de sommets, un graphe d’arêtes de routage avec capacités, et un ensemble de paires de sommets (les requêtes), et on souhaite satisfaire le maximum de requêtes par des chemins empruntant des arêtes de routage et respectant les capacités.
Joran van Apeldoorn,
Sander Gribling, Yinan Li, Harold Nieuwboer, Michael Walter and Ronald de Wolf.
Quantum algorithms for matrix scaling and matrix balancing.
Matrix scaling and balancing are two basic linear-algebraic problems (applications include pre-conditioning linear systems). We study the power and limitations of quantum algorithms for these problems, proving matching upper and lower bounds in the poly(1/eps)-regime.
Antonio Casares,
Thomas Colcombet and Nathanaël Fijalkow.
Optimal Transformations of Games and Automata using Muller Conditions.
In this paper, we are interested in automata over infinite words and infinite duration games, that we view as general transition systems. We study transformations of systems using a Muller condition into ones using a parity condition, extending Zielonka's construction. We introduce the alternating cycle decomposition transformation, and we prove a strong optimality result: for any given deterministic Muller automaton, the obtained parity automaton is minimal both in size and number of priorities among those automata admitting a morphism into the original Muller automaton. We give two applications. The first is an improvement in the process of determinisation of Büchi automata into parity automata by Piterman and Schewe. The second is to present characterisations on the possibility of relabelling automata with different acceptance conditions.
Alexandre Goy,
Daniela Petrisan and Marc Aiguier.
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.
The powerset monad on the category of sets does not distribute over itself. Nevertheless a weaker form of distributive law of the powerset monad over itself exists and it essentially stems from the canonical Egli-Milner extension of the powerset to the category of relations. On the other hand, any regular category yields a category of relations, and some regular categories also possess a powerset-like monad, as is the Vietoris monad on compact Hausdorff spaces. We derive the Egli-Milner extension in three different frameworks : sets, toposes, and compact Hausdorff spaces. We prove that it corresponds to a monotone weak distributive law in each case by showing that the multiplication extends to relations but the unit does not. We provide an application to coalgebraic determinization of alternating automata.
Rendez-vous en 2022 pour les 50 ans de la conférence et de la création de l'EATCS. Nous vous en dirons davantage prochainement !