Edito

Cette semaine, suivi du conseil de laboratoire extraordinaire avec les responsables d'équipe et quelques informations concernant les missions d’enseignement pour les doctorants.

Côté actualités scientifiques, quelques annonces à propos des prochaines conférences organisées par l’IRIF : ICALP et Highlights. Prenez notamment note du cocktail d’ouverture et du vernissage de l’exposition 50 years of Theoretical Computer Science : mardi 5 juillet à partir de 18h00.

Du côté de nos partenaires, une formation présentant les modalités de l'appel Postdoctoral Fellowships 2022, et le prix Thierry Célérier – Femmes & Sciences.

Enfin, un focus sur un extrait d’article de QuantaMagazine intitulé Elegant Six-Page Proof Reveals the Emergence of Random Structure.

Bonne lecture !

Annonces de la direction

  • Conseil de laboratoire extraordinaire avec responsables d'équipe. Le compte rendu est disponible sur Conseil de laboratoire & AG avec validation par le conseil de la proposition de la nouvelle direction au 01/01/2023. Les prochaines étapes sont aux instances du CNRS et d'Université Paris Cité.
  • Mission d'enseignement pour doctorants
    • Cette mission n'est pas obligatoire mais très fortement recommandée et demandée par l'IRIF. La mission d’enseignement fait partie de notre profession. Les doctorants et doctorantes doivent y être associés au plus tôt, à la fois pour leur carrière, mais aussi pour assurer un bon fonctionnement de département d'enseignement.
    • L'IRIF demande donc à tous les doctorantes et doctorants d'assurer durant les 3 années de leur thèse :
      • Pour un·e doctorant·e francophone : au moins 2 et si possible 3 années de mission d’enseignement
      • Pour un·e doctorant·e non-francophone : au moins 1 et si possible 2 années de mission d’enseignement (après apprentissage du français)
    • Pour candidater pour la première fois à une mission d'enseignement en informatique avec les enseignants-chercheurs de l'IRIF, les candidatures doivent être déposées avant le 24 juin 2022. Toutes les informations à ce propos sont disponibles sur la page web suivante : http://www.informatique.univ-paris-diderot.fr/ufr/doctorants/accueil
  • Fermeture du secrétariat : Le secrétariat sera fermé durant la matinée du 30 juin.
  • Office relocation : anticipating the start of the new academic year in september, when the new members will have to get an office, you have the possibility to change or trade offices. If you wish to do so, please write an email to lesellier@irif.fr.
  • PhD extensions: if you need to get an extension of your PhD, you should alert the doctoral school before July, 2nd.


Actualités

  • Conference Highlights : The 2022 edition of Highlights will happen from June 28th to July 1st, 2022, in Paris, France. The conference will be hosted by Université Paris Cité, and happen on the site of Grands Moulins. To register, please fill in the registration form. If you wish to watch Highlights remotely, please fill in the online registration form. Online attendance is free.
  • The International Congress of Mathematicians 2022 (ICM 2022) will take place between 6 - 14 July 2022 as a virtual event. Free registration for the virtual ICM 2022 is open! There will be TCS talks from amazing scientists and speakers including as Gonthier, Hastings, LeCun, Mossel, Vazirani, Vidick, Wigderson, Williams etc. … More information here.
  • [Reminder] Data Intelligence Institute of Paris / Seminar : The next diiP seminar Deep Transfer Learning and Multi-task Learning will be presented on Zoom on June 15th, 2022, at 4 PM (Central European time) by Dr. Shen Liang. He has worked on a variety of data management and mining problems including time series analysis, semi-supervised learning, knowledge-guided deep learning and GPU-accelerated computation within various fields such as healthcare, manufacturing, geosciences and astrophysics.


Extrait d'un article de Quantamagazine

Will a random graph result in a triangle (right), a Hamiltonian cycle (center), or some other property of interest?

Two young mathematicians have astonished their colleagues with a full proof of the Kahn-Kalai conjecture — a sweeping statement about how structure emerges in random sets and graphs.

The Kahn-Kalai conjecture is very broad but it can be understood by considering a simple case. First, imagine a graph: a set of points, or vertices, connected by lines, or edges. To make a random graph, take a biased coin — one that lands on heads with a probability of 1%, or 30%, or any other percentage between zero and 100 — and flip it once for a given pair of vertices. If the coin lands on heads, connect those vertices with an edge; if the coin lands on tails, don’t. Repeat this process for every possible pair of vertices.

Mathematicians want to know when such a graph is likely to have some sort of interesting structure. Perhaps it will contain a triangle. Or maybe it will have a Hamiltonian cycle, a chain of edges that passes through every vertex exactly once. It’s possible to think about any property, so long as it is “increasing” — that is, if adding more edges to a graph that already contains the property will not destroy the property.

If the probability of the coin turning up heads is low, edges will be rare, and properties like Hamiltonian cycles are not likely to arise. But if you dial up the probability, something strange happens. Each property has what’s called a threshold: a probability at which the structure emerges, often very abruptly.

Mathematicians want to determine such thresholds for various properties of interest. “Thresholds are maybe the most basic thing you’d try to understand,” Fox said. “I look at a random object; does it have the property that I’m interested in?” Yet while the threshold has been calculated for Hamiltonian cycles and some other specific structures, in most cases it remains very difficult to determine a precise threshold, or even a good estimate of one.

But averages can be misleading. For Hamiltonian cycles, for example, the expectation threshold is 1/N, which is lower than the true value of log(N)/N by a factor of log(N).

In 2006, Kahn and Kalai posited that this was actually the worst-case scenario. Their eponymous conjecture states that the gap between the expectation threshold and the true threshold will never be greater than a logarithmic factor. The conjecture, according to Conlon, “essentially takes what is the central question in random graphs and gives a general answer for it.”

At first, neither Park nor Pham had any intention of tackling the original conjecture. Since first learning about the problem as a graduate student, Park “could feel the beauty and the strength of this conjecture,” she said. “But I never imagined that I would prove it.”

Read this article of Quantamagazine entitled Elegant Six-Page Proof Reveals the Emergence of Random Structure.

Appels d'offres et informations des partenaires

  • Université Paris Cité / Postdoctoral Fellowships 2022 : Université Paris Cité propose une formation présentant les modalités de l'appel Postdoctoral Fellowships 2022 du programme de financement de la Commission Européenne : Horizon Europe. Celle-ci aura lieu le mardi 5 Juillet 2022 de 10 à 13h. Pour s'inscrire.
  • Association Femmes & Sciences / Prix Thierry Célérier : Le prix Thierry Célérier – Femmes & Sciences distingue et récompense une jeune femme de qualité, en situation de handicap, développant un projet relevant des mathématiques, des sciences de la matière, de l’informatique, des sciences de la vie, des sciences de l’ingénieur et/ou des technologies innovantes. Pour plus d'informations ici. Le dossier de candidature doit être envoyé avant le 30 juin 2022.

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.


Agenda de la semaine du 20 juin au 24 juin

Vérification · Lundi 20 juin, 11:00, 3052 and Zoom link ·
Mahsa Shirmohammadi (IRIF − CNRS), Learning Weighted Automata over PIDs

Algorithmes et complexité · Mardi 21 juin, 11:00, Room 3052 ·
Chandrima Kayal (ISI Kolkata), Separations between Combinatorial Measures for Transitive Functions

One world numeration seminar · Mardi 21 juin, 14:30, Online ·
James A. Yorke (University of Maryland), Large and Small Chaos Models

Algorithmes et complexité · Mardi 21 juin, 15:00, Room 3052 ·
Sayantan Sen (ISI Kolkata), Tolerant Bipartiteness Testing in Dense Graphs

Preuves, programmes et systèmes · Jeudi 23 juin, 10:30, Room 3052 & online ·
Lison Blondeau-Patissier (Aix-Marseille Université), Positional Injectivity for Innocent Strategies

Combinatoire énumérative et analytique · Jeudi 23 juin, 14:00, Room 3052 et zoom ·
Marc Noy (UPC (Espagne)), TBA

Analyse et conception de systèmes · Vendredi 24 juin, 10:30, Room 3052 ·
Stanislas Polu (Open AI), Formal Mathematics Statement Curriculum Learning

Automates · Vendredi 24 juin, 14:30, Room 3052 ·
Nikhil Balaji, Identity Testing for Radical Expressions