•  
      Cet événément est scientifique et financièrement supporté par :
    • LOGO GT2L
    • LOGO GDRRO
    • LOGO LIMOS
    • LOGO EUME
    • LOGO EUME
    • LOGO LIRMM
    • JOURNEE QUANTIQUE organisée par le GT RO Quantique du GDR RO
    • Clermont-Ferrand du Jeudi 12 mai 2022 au vendredi 13 mai 2022 (programme provisoire)

      • Le GT RO Quantique

        • Le GT RO Quantique est un groupe de travail prospectif du GDR RO.

          Les animateurs du GT ROQ sont:
          Eric Bourreau / LIRMM / Montpellier / eric.bourreau@umontpellier.fr
          Marc Sevaux / LABSTICC / Lorient / marc.sevaux@univ-ubs.fr
          Co-Animateurs :
          Philippe Lacomme / LIMOS / Clermont Ferrand / placomme@isima.fr
          Caroline Prodhon / LIST3N/ Troyes / caroline.prodhon@utt.fr

      • Objectifs de la journée

        • Une journée sur le quantique qui n’est pas une école ni un workshop!

        • La journée est destinées à des chercheurs de « RO » qui sont actuellement en train de tester, implémenter différents algorithmes.

        • Chaque participant vient pour présenter une partie de son travail.

        • Session de live coding et code sharing.

      • Lieu de la réunion

        • Campus des Cézeaux
          1 rue de la Chebarde
          Pole Commun Polytech-ISIMA
          63178 Aubière cedex
          La salle est Salle G112

      • Programme : programme soumis à de nombreuses autres modifications.. programme temporaire

        • • Jeudi 12 mai
          • 9h45-10h15 :
          • Accueil autour d'un café
        • 10h15-10h30 :
        • Présentation de la journée (P. Lacomme / M. Sevaux / E. Bourreau / C. Prodhon) et accueil par le directeur du LIMOS (Dr. Mourad Baillou) Les slides : Image
        • 10h30-11h45 :
        • Introduction à l'informatique quantique : principaux algorithmes, revues de la littérature (Introduction réalisée par Eric Bourreau du LIRMM). Les slides : Image
        • 11h45-12h00 :
        • Présentation de ColibriITD start-up sur le quantique (Paris) Les slides : Image

        • 12h00-14h00 :
        • Repas en commun
        • 14h00-15h30 :
        • Travaux pratiques en Dwave : Après une rapide présentation de l’environnement de D-Wave et du recuit quantique, nous verrons comment implémenter un problème tel que le Max-Cut dans un modèle ISING (-1;+1) à destination d'une machine quantique. Nous testerons ensuite les machines hybrides de la solution D-Wave pour résoudre des problèmes contraints et en passant par des formulations quadratiques pour profiter au maximum de ces machines. Ici nous nous intéresserons au Capacitated Vehicle Routing Problem en le décomposant en deux sous-problèmes, un problème de clustering et des TSP. (TP/TD réalisé par Samuel Deleplanque). Les slides : Image

        • 15h00-15h30 :
        • Pause café
        • 16h00-17h30 :
        • Travaux pratiques en Dwave : L’objectif du TP est d’appréhender le cheminement complet partant d’un problème de couplage bien particulier, de le transformer en un QUBO pour venir l’intégrer sur la machine quantique adiabatique de type D-Wave, et de comparer les résultats obtenus avec d’autres solveurs. (TP/TD réalisé par Daniel Vert) Les slides : Image
        • 19h30-21h :
        • Soirée autour d'un verre
        • • Vendredi 13 mai
        • 8h30-9h00 :
        • Accueil autour d'un café
        • 9h00-10h00 :
        • Approche hybride classique/quantique pour la résolution de grands PLNE (cours/TD réalisé par Margarita Veshchezerova et M. Porcheron - EDF/R&D)
          EDF R&D mène actuellement des travaux sur l’algorithmique quantique pour l’optimisation combinatoire dans le cadre de la thèse de Margarita Veshchezerova, en collaboration avec l’équipe MOCQUA du LORIA. Nous présenterons tout d’abord la modélisation de deux problèmes d’ordonnancement dans le domaine du « smart-charging » de véhicules électriques, comme recherche de K-Coupe Maximale et de Stable Maximal dans un graphe, respectivement ; l’utilisation du « Quantum Approximate Optimisation Algorithm » (QAOA) pour résoudre ces problèmes sera ensuite décrite, ainsi que les résultats obtenus sur de petites instances sur la machine quantique développée par la startup Pasqal. La généralisation du second problème à un problème de coloration de graphe et sa résolution par une approche couplant un algorithme classique de Branch and Price et RQAOA seront ensuite présentées. Enfin, les travaux en cours sur l’application de cette approche générique « hybride classique/quantique » pour la résolution de grand PLNE sera discutée pour un problème de flow faisant apparaitre des sous-problèmes de plus court chemin.
          Les slides : Image
        • 10h00-10h30 :
        • Pause café
        • 10h30-12h30:
        • Recuit Simulé Quantique : aspects théoriques et exemples de mises en oeuvre (Cours/TD réalisé par Gérard Fleury)
          Cette présentation a pour objectif de rappeler les bases théoriques (issues de la physiques) et les fondements mathématiques sur lesquels reposent l'optimisation adiabatique. Nous introdurons la notion d'opérateurs et nous montrerons comment modéliser et résoudre efficacement un problème 3-SAT. Les slides : Image

        • 12h30-14h00 :
        • Repas du midi
        • 14h-15h30 :
        • "Hybrid Classical-Quantum Decomposition Methods" par Dimitri Papadimitriou

          Since so far there is no evidence yet that Quantum Computing would enable solving NP-Hard optimization problems in polynomial time. Next to this fundamental question, applied research in this field has devised many quantum algorithms to speed-up integer factorization problems (Shor’s algorithm), database search problems (Grover’s algorithm) as well as the solving of combinatorial optimization problems formulated by means of the quadratic unconstrained binary optimization (QUBO) model such as the max-cut and multiway partitioning problems. Early experiments have reported that quantum algorithms such as VQE and their generalization (QAOA) do not (yet?) solve in general a QUBO at optimality. In this talk, we show the fundamental limits of such formulation when hard constraints are recasted as penalty functions added to the objective function. Moreover, network optimization problems are formulated as mixed-integer/-binary constrained programs because decision variables combine discrete and continuous actions. Several hybrid QC-CC methods have thus been recently considered to overcome these limits. However, they also hamper the application of common variable decomposition (Benders) methods that are essential for the solving of, e.g., location-routing problems, when each cut is quadratically penalized. The alternating direction method of multipliers (ADMM) enables instead splitting the original problem into a binary unconstrained problem and continuous constrained subproblems. This strategy offers the possibility to develop multi-block ADMM methods for both linearly and non-linearly constrained MBPs where the binary unconstrained problem can be solved with an increasing degree of accuracy and bounded penalty sequences.

      • Comment participer à la journée ?

        • • Contacter les organisateurs • Décrire en quelques lignes la contribution qu'on souhaite faire (présentation d'un support scientifique, un exemple d'implémentation, une maquette de cours....)
      • Contacts

      • • Gestion des inscriptions : (placomme@isima.fr)) •Organisation de l'école et questions diverses : Caroline Prodhon (caroline.prodhon@utt.fr), Eric Bourreau (Eric.Bourreau@lirmm.fr), Marc Sevaux (Marc.sevaux@univ-ubs.fr) et Philippe Lacomme (placomme@isima.fr)


      • Lieu de la réunion :

      • La réunion se déroulera à Clermont-Ferrand dans les locaux du LIMOS sur le campus des Cézeaux.

      • Liste des participants - INSCRIPTIONS FERMEES
        • Caroline Prodhon
        • UTT
        • Laurent Guiraud
        • ColibrITD SAS - Paris
        • Samuel Deleplanque
        • ISEN Lille
        • Gérard Fleury
        • LIMOS Clermont
        • Eric Bourreau
        • LIRMM Montpellier
        • Philippe Lacomme
        • LIMOS Clermont
        • Faicel Hnaien
        • UTT Troyes
        • Viet Hung NGUYEN
        • LIMOS Clermont-Ferrand
        • Taha Arbaoui
        • UTT Troyes
        • Aurélien Mombelli
        • LIMOS Clermont-Ferrand
        • Riad Aggoune
        • LIST (Luxembourg Institute of Science and Technology)
        • Jean-Philippe Gayon
        • LIMOS Clermont
        • Daniel Vert
        • CEA Paris
        • Alain Quilliot
        • LIMOS Clermont
        • Thi Thu Huyen NGUYEN
        • LIMOS Clermont
        • Margarita Veshchezerova
        • EDF R&D
        • Marc Porcheron
        • EDF R&D
        • Benjamin Antunes
        • LIMOS Clermont
        • Pascale Bendotti
        • EDF R&D
        • Camille Grange
        • LIRMM Montpellier
        • David Hill
        • LIMOS Clermont
        • Rodolphe Griset
        • EDF Lab Paris-Saclay
        • Claude Mazel
        • LIMOS Clermont-Ferrand
        • Diego Perdigao
        • LIMOS Clermont-Ferrand
        • Xavier Pillet
        • ColibrITD SAS - Paris
        • Dimintri Papadimitriou
        • 3nlab
        • Mouny Samy Modeliar
        • CRIL de Lens
        • Yagnik Chatterjee
        • Total Quantum R&D
        • Katyanne Farias De Araujo
        • LIMOS
      • Se loger à Clermont-Ferrand :

      • Liste non exhaustive d’hôtels ou d’appart’hôtels bien positionnés, à proximité de la gare SNCF et/ou du centre ville. • Comfort Hotel Clermont Saint-Jacques • Hotel Mercure Clermont-Ferrand Centre Jaude • Hôtel le Lion • Kyriad Prestige Clermont Ferrand Centre



      • Quelques photos des journées...

      L'ecole sur la RO Quantique − GT2L/GTIQ © 2021
      Nb. de visiteurs : 717