{"id":21254,"date":"2023-10-19T15:31:42","date_gmt":"2023-10-19T14:31:42","guid":{"rendered":"https:\/\/www.oezratty.net\/wordpress\/?p=21254"},"modified":"2023-10-19T15:39:54","modified_gmt":"2023-10-19T14:39:54","slug":"decode-quantum-avec-david-sadek-et-frederic-barbaresco-de-thales","status":"publish","type":"post","link":"https:\/\/www.oezratty.net\/wordpress\/2023\/decode-quantum-avec-david-sadek-et-frederic-barbaresco-de-thales\/","title":{"rendered":"Decode Quantum avec David Sadek et Fr\u00e9d\u00e9ric Barbaresco de Thales"},"content":{"rendered":"<p>Dans le 63<sup>e<\/sup> \u00e9pisode des entretiens Decode Quantum, Fanny et moi-m\u00eame accueillons <strong>David Sadek<\/strong> et <strong>Fr\u00e9d\u00e9ric Barbaresco<\/strong> de <strong>Thales<\/strong>. C\u2019est le second \u00e9pisode avec des repr\u00e9sentants de Thales, le premier ayant \u00e9t\u00e9 enregistr\u00e9 avec Daniel Dolfi en 2020 sur les capteurs quantiques (<a href=\"https:\/\/www.oezratty.net\/wordpress\/2020\/la-mtrologie-quantique-chez-thales\/\">\u00e9pisode 12<\/a>). Ces \u00e9pisodes sont toujours \u00e9galement diffus\u00e9s par <a href=\"https:\/\/www.frenchweb.fr\/decode-quantum-a-la-rencontre-de-david-sadek-et-frederic-barbaresco-de-thales\/445707\">Frenchweb<\/a> sachant qu&#8217;ici, vous avez en bonus les liens utiles et le transcript des points cl\u00e9s du podcast.<\/p>\n<p><a href=\"https:\/\/www.oezratty.net\/wordpress\/2023\/decode-quantum-avec-david-sadek-et-frederic-barbaresco-de-thales\/david-sadek\/\" rel=\"attachment wp-att-21318\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-21318\" src=\"https:\/\/www.oezratty.net\/wordpress\/wp-content\/David-Sadek.png\" alt=\"\" width=\"184\" height=\"184\" srcset=\"https:\/\/www.oezratty.net\/wordpress\/wp-content\/David-Sadek.png 451w, https:\/\/www.oezratty.net\/wordpress\/wp-content\/David-Sadek-300x300.png 300w, https:\/\/www.oezratty.net\/wordpress\/wp-content\/David-Sadek-150x150.png 150w\" sizes=\"auto, (max-width: 184px) 100vw, 184px\" \/><\/a><a href=\"https:\/\/www.oezratty.net\/wordpress\/2023\/decode-quantum-avec-david-sadek-et-frederic-barbaresco-de-thales\/frederic-barbaresco\/\" rel=\"attachment wp-att-21319\">\u00a0 \u00a0 <img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-21319\" src=\"https:\/\/www.oezratty.net\/wordpress\/wp-content\/Frederic-Barbaresco.png\" alt=\"\" width=\"148\" height=\"181\" \/><\/a><\/p>\n<p><strong>David Sadek<\/strong> est VP, Research, Technology &amp; Innovation, en charge notamment du traitement de l\u2019information, des algorithmes, de l\u2019IA et de l\u2019informatique quantique. Il \u00e9tait avant SVP Recherche \u00e0 l\u2019Institut Mines-T\u00e9l\u00e9com et VP Recherche chez Orange o\u00f9 il a notamment travaill\u00e9 sur la mise en \u0153uvre des premiers syst\u00e8mes de dialogue intelligents et agents conversationnels. Il a un doctorat en Informatique et est expert en IA. Il a notamment beaucoup travaill\u00e9 dans le domaine des agents intelligents. Il s\u2019est aussi int\u00e9ress\u00e9 aux questions d\u2019\u00e9thique de l\u2019IA dans diff\u00e9rents groupes de travail et initiatives autour de l\u2019IA (FranceIA, ALLISTENE CERNA, OneAI, GPAI).<\/p>\n<p><strong>Fr\u00e9d\u00e9ric Barbaresco<\/strong> est leader du segment \u00ab algorithmes et calculs quantiques \u00bb pour la direction technique Corporate de Thales. Il coordonne l&#8217;activit\u00e9 sur les algorithmes quantiques entre la R&amp;D (Thales Research &amp; Technology) et les \u00e9quipes m\u00e9tiers des business lines. Cela comprend la relation et les partenariats avec les startups et les laboratoires de recherche du domaine. Il pilote le projet BACQ de benchmarks applicatifs des calculateurs quantiques. Il est dipl\u00f4m\u00e9 de (Centrale)Supelec en 1991.<\/p>\n<p><iframe loading=\"lazy\" src=\"https:\/\/widget.spreaker.com\/player?episode_id=57302905&amp;theme=light&amp;playlist=false\" width=\"100%\" height=\"200px\" frameborder=\"0\"><\/iframe><\/p>\n<p>Et voici comme d&#8217;habitude les points cl\u00e9s et liens utiles de cet entretien.<\/p>\n<ul>\n<li>L\u2019habituelle question de la \u00ab <strong>marmite quantique<\/strong> \u00bb. Pour David Sadek, cela date de ses premiers cours de physique quantique. Il avait \u00e9tudi\u00e9 le fameux livre de <strong>Claude Cohen-Tannoudji <\/strong>(M\u00e9canique Quantique <a href=\"https:\/\/www.amazon.fr\/M%C3%A9canique-quantique-1-Claude-Cohen-Tannoudji\/dp\/2759822877\/ref=sr_1_1?__mk_fr_FR=%C3%85M%C3%85%C5%BD%C3%95%C3%91&amp;crid=2UHM530WN59T9&amp;keywords=Claude+Cohen-Tannoudji&amp;qid=1696080844&amp;sprefix=claude+cohen-tannoudji%2Caps%2C66&amp;sr=8-1&amp;ufe=app_do%3Aamzn1.fos.49fccda8-a887-4188-817b-b9a64bb30e43\">Tome I<\/a>, <a href=\"https:\/\/www.amazon.fr\/M%C3%A9canique-quantique-Fermions-corr%C3%A9lations-intrication\/dp\/2759821072\/ref=sr_1_12?__mk_fr_FR=%C3%85M%C3%85%C5%BD%C3%95%C3%91&amp;crid=2UHM530WN59T9&amp;keywords=Claude+Cohen-Tannoudji&amp;qid=1696080877&amp;sprefix=claude+cohen-tannoudji%2Caps%2C66&amp;sr=8-12\">Tome II<\/a> et <a href=\"https:\/\/www.amazon.fr\/M%C3%A9canique-quantique-Fermions-corr%C3%A9lations-intrication\/dp\/2759823350\/ref=sr_1_2?__mk_fr_FR=%C3%85M%C3%85%C5%BD%C3%95%C3%91&amp;crid=2UHM530WN59T9&amp;keywords=Claude+Cohen-Tannoudji&amp;qid=1696080877&amp;sprefix=claude+cohen-tannoudji%2Caps%2C66&amp;sr=8-2&amp;ufe=app_do%3Aamzn1.fos.49fccda8-a887-4188-817b-b9a64bb30e43\">Tome III<\/a>, 2365 pages au total, presque deux fois mon propre livre et&#8230; moins facile \u00e0 comprendre, tout \u00e9tant relatif). Il s&#8217;\u00e9tait int\u00e9ress\u00e9 \u00e0 la physique depuis longtemps, d\u00e8s l\u2019adolescence. Il s\u2019est naturellement rapproch\u00e9 du sujet avec l\u2019apparition des technologies quantiques. Fr\u00e9d\u00e9ric Barbaresco a travaill\u00e9 pendant 30 ans dans les radars et les algorithmes associ\u00e9s, et avec l&#8217;Ecole Polytechnique sur des sujets li\u00e9s \u00e0 l\u2019information quantique. L&#8217;\u00e9cole avait invit\u00e9 Roger Balliant, qui \u00e9tait professeur de physique statistique de l\u2019X et l&#8217;un des cr\u00e9ateurs du centre de physique th\u00e9orique du CEA (IPHT). Fr\u00e9d\u00e9ric s\u2019est int\u00e9ress\u00e9 aux algorithmes quantiques appliqu\u00e9s aux probl\u00e8mes de simulation et d\u2019optimisation, aux calculs des variations, et \u00e0 la reformulation de probl\u00e8mes sous forme d\u2019Hamiltoniens.<\/li>\n<li>La <strong>th\u00e8se<\/strong> ? Pour David Sadek, elle portait sur l&#8217;interaction rationnelle, vers une th\u00e9orie formelle de la communication. Cf deux papiers li\u00e9s:\u00a0<a href=\"https:\/\/hal.science\/hal-00190915\/document\">Vers un mod\u00e8le formel des \u00e9motions d\u2019un agent rationnel dialoguant empathique<\/a> par Magalie Ochs, D. Sadek, C. Pelachaud, 2007 (13 pages) et\u00a0<a href=\"https:\/\/dl.acm.org\/doi\/10.1145\/1148613.1148618\">De la repr\u00e9sentation de l&#8217;interlocuteur vers un mod\u00e8le utilisateur formel pour le dialogue personne-machine<\/a> par Philippe Bretier, Ludovic Le Bigot, Franck Panaget et David Sadek, 2004 (5 pages).\u00a0Fr\u00e9d\u00e9ric Barbaresco n\u2019a pas fait de th\u00e8se (bienvenue au club :). Mais il a tout de m\u00eame gagn\u00e9 le <a href=\"https:\/\/web2.see.asso.fr\/article\/11841_prix-ayme-poirson-2014-personnalite-eminente-see-distinguee-lacademie-sciences\">prix Aym\u00e9 Poirson<\/a>\u00a0de l\u2019application des sciences \u00e0 l\u2019industrie d\u00e9cern\u00e9 par l&#8217;Acad\u00e9mie des Sciences <a href=\"https:\/\/www.academie-sciences.fr\/pdf\/documentation\/prix2014\/files\/assets\/common\/downloads\/Les%20acad.pdf\">en 2014<\/a>. Cela valorisait ses travaux sur l&#8217;am\u00e9lioration de la d\u00e9tection des cibles des radar Doppler bas\u00e9e sur une g\u00e9om\u00e9trie de l&#8217;information associ\u00e9e aux matrices de covariance du signal. Dans le cadre de ces travaux, Fr\u00e9d\u00e9ric a beaucoup travaill\u00e9 avec des chercheurs, notamment dans les sciences g\u00e9om\u00e9triques de l\u2019information qui int\u00e8grent les th\u00e8mes \u00ab g\u00e9om\u00e9trie de l\u2019information quantique \u00bb et \u00ab thermodynamique quantique \u00bb. Il a cr\u00e9\u00e9 avec Frank Nielsen en 2013 la conf\u00e9rence internationale SEE GSI \u00ab <a href=\"ttps:\/\/franknielsen.github.io\/GSI\/\">Geometric Science of Information<\/a> \u00bb qui int\u00e8gre des sessions sur la mesure de l\u2019information quantique.<\/li>\n<li><strong>Liens entre l\u2019IA et le quantique<\/strong>. Le gain r\u00e9el des algorithmes de machine learning quantique reste \u00e0 d\u00e9montrer. Ils pourraient dans certaines conditions apporter une acc\u00e9l\u00e9ration exponentielle en particulier les r\u00e9seaux de neurones \u00e9quivariants bas\u00e9s sur la th\u00e9orie des repr\u00e9sentations des groupes de Lie avec des acc\u00e9l\u00e9rateurs &#8220;quantum group convolutions&#8221;. Il existe des travaux associ\u00e9s sur les groupes de Lie et les r\u00e9seaux de neurones \u00e9quivariants et sur les &#8220;quantum group convolutions&#8221; au MIT (Bobak T. Kiani, un th\u00e9sard de Seth Lloyd) et au laboratoire de Los Alamos de D\u00e9partement de l&#8217;Energie US (Marco Cerezo).<\/li>\n<li><strong>Approche de Thales vis-\u00e0-vis du quantique<\/strong>. C&#8217;est une d\u00e9marche volontariste qui couvre \u00e0 la fois les capteurs quantiques, les communications quantiques (notamment via satellites), le calcul et la cryptographie quantique. La partie calcul s&#8217;appuie sur une grande communaut\u00e9 d&#8217;algorithmiciens au sein du groupe.\u00a0Cela s&#8217;inscrit aussi dans une approche long terme du groupe avec une feuille de route. Le groupe travaille d\u00e9j\u00e0 sur des projets tr\u00e8s long terme comme le SCAF, le\u00a0Syst\u00e8me de Combat A\u00e9rien du Futur, \u00e0 un horizon 2035. Cela correspond aux incertitudes sur les \u00e9ch\u00e9ances du calcul quantique. Mais il pourrait y avoir des sprints dans ce marathon. L&#8217;\u00e9ch\u00e9ance pourrait bien se rapprocher. Cela n\u00e9cessite de travailler avec une grande diversit\u00e9 d\u2019acteurs.<\/li>\n<li><strong>Partenaires technologiques<\/strong>. Thales travaille avec une large part des partenaires habituels en France comme Pasqal et Quandela via Pack Quantique IdF, Alice&amp;Bob (projet d\u00e9pos\u00e9), Quobly (avec un projet en cours de construction), des partenaires acad\u00e9miques, et avec EDF. Dans ce dernier cas, c&#8217;est li\u00e9 au fait que certains probl\u00e8mes comme la r\u00e9solution de syst\u00e8mes lin\u00e9aires pour la simulation d\u2019\u00e9quations aux d\u00e9riv\u00e9es partielles (simulation \u00e9lectromagn\u00e9tique d\u2019antennes pour Thales ; m\u00e9canique des fluides et des structures pour Edf) ont des briques de base communes. L&#8217;approche est aussi internationale, en liaison avec l&#8217;Institut Quantique \u00e0 Sherbrooke, Fraunhofer Institute IAIS en Allemagne, Terra Quantum en Suisse avec une preuve de concept sur la planification de missions pour les constellations satellites. Puis UK, Pays-Bas. Singapour (NUS\/NTU).\u00a0 Voici une bibliographie des travaux auxquels Fr\u00e9d\u00e9ric a particip\u00e9 (qui est dans &#8220;<a href=\"https:\/\/www.oezratty.net\/wordpress\/2023\/understanding-quantum-technologies-2023\/\">Understanding Quantum technologies 2023<\/a>&#8220;).<\/li>\n<\/ul>\n<p><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-03309807\/\">Introduction to Robust Machine Learning with Geometric Methods for Defense Applications<\/a> by Pierre-Yves Lagrave and Fr\u00e9d\u00e9ric Barbaresco, Thales, July 2021 (9 pages).<\/p>\n<p><a href=\"https:\/\/arxiv.org\/abs\/2204.11133\">Towards Bundle Adjustment for Satellite Imaging via Quantum Machine Learning<\/a> by Nico Piatkowski, Thore Gerlach, Romain Hugues, Rafet Sifa, Christian Bauckhage and Frederic Barbaresco, Thales and Fraunhofer IAIS, April 2022 (8 pages).<\/p>\n<p><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-03553274\/document\">Hyperbolic Equivariant Convolutional Neural Networks for Fish-Eye Image Processing<\/a> by Pierre-Yves Lagrave and Fr\u00e9d\u00e9ric Barbaresco, Thales, February 2022 (9 pages).<\/p>\n<p><a href=\"https:\/\/hal.archives-ouvertes.fr\/hal-03318130\/\">Phase-coded radar waveform AI-based augmented engineering and optimal design by Quantum Annealing<\/a> by Timoth\u00e9 Presles, Cyrille Enderli, R\u00e9mi Bricout, Florence Aligne and Fr\u00e9d\u00e9ric Barbaresco, Thales, 2021 (9 pages).<\/p>\n<ul>\n<li><strong>Dualit\u00e9<\/strong>. Les applications sont-elles essentiellement militaires o\u00f9 aussi dans le civil ? Selon David Sadek, l&#8217;approche est pragmatique dans les Global Business Units avec une diversit\u00e9 d&#8217;applications civiles et militaires. Elles sous-tendent des probl\u00e8mes g\u00e9n\u00e9riques d\u2019optimisation combinatoire, de r\u00e9solution d\u2019\u00e9quations diff\u00e9rentielles, d&#8217;apprentissage automatique, de probl\u00e8mes de Monte Carlo, d&#8217;algorithmes de crash test des cryptographie post-quantiques (PQC), de simulations de mat\u00e9riaux et de tests massif (pour les FMS, les flight management system des avions civils et militaires). Il en va aussi de la d\u00e9tection d\u2019anomalies de &#8220;side channel attacks&#8221; (attaques par effets de bord) sur les canaux physiques (r\u00e9alis\u00e9es avec Institut Quantique de Sherbrooke). Il faut aussi distinguer les cas d\u2019usage de l\u2019ing\u00e9nierie &#8220;de l\u2019offline&#8221; et ceux des op\u00e9rations et du temps r\u00e9el \u00ab de l\u2019online \u00bb qui adoptent des approches diff\u00e9rentes.<\/li>\n<li>Quelle est la viabilit\u00e9 des <strong>solutions NISQ<\/strong> avec un avantage quantique ? Pour Fr\u00e9d\u00e9ric, on s&#8217;en rapproche aussi bien avec les machines analogiques et les machines \u00e0 portes quantiques (gate-based). Les machines fonctionnent dans le cloud et on peut tester des algorithmes dessus. Les premiers tests portent sur l\u2019optimisation de formes d\u2019ondes de radar (de codes de phase). Au d\u00e9part, ils ont reformul\u00e9 des probl\u00e8mes classiques en version quantique (QUBO : Quadratic Unconstrained Binary Optimization) en retrouvant les codes classiques (codes de Barker) mais sans obtenir pour l\u2019instant d&#8217;avantage quantique. Des tests ont \u00e9t\u00e9 r\u00e9alis\u00e9s sur D-Wave r\u00e9cemment par le Los Alamos Laboratory avec une premi\u00e8re preuve d\u2019acc\u00e9l\u00e9ration d\u2019un facteur 50 sur des t\u00e2ches d\u2019optimisation pr\u00e9cises (<a href=\"http:\/\/\u2022 Quelle est la viabilit\u00e9 des solutions NISQ avec un avantage quantique ? Pour Fr\u00e9d\u00e9ric, on s'en rapproche aussi bien avec les machines analogiques et les machines \u00e0 portes quantiques (gate-based). Les machines fonctionnent dans le cloud et on peut tester des algorithmes dessus. Les premiers tests portent sur l\u2019optimisation de formes d\u2019ondes de radar (de codes de phase). Au d\u00e9part, ils ont reformul\u00e9 des probl\u00e8mes classiques en version quantique (QUBO : Quadratic Unconstrained Binary Optimization) en retrouvant les codes classiques (codes de Barker) mais sans obtenir pour l\u2019instant d'avantage quantique. Des tests ont \u00e9t\u00e9 r\u00e9alis\u00e9s sur D-Wave r\u00e9cemment par Los Alamos Laboratory avec une premi\u00e8re preuve d\u2019acc\u00e9l\u00e9ration d\u2019un facteur 50 sur des t\u00e2ches d\u2019optimisation pr\u00e9cises (On the Emerging Potential of Quantum Annealing Hardware for Combinatorial Optimization: https:\/\/arxiv.org\/abs\/2210.04291 ). Il faudra attendre un peu plus pour obtenir une mise \u00e0 l\u2019\u00e9chelle plus radicale. Il existe aussi des avantages int\u00e9ressants des applications dites &quot;quantum inspired&quot;, mais cet avantage est principalement li\u00e9 au fait que les probl\u00e8mes sont reformalis\u00e9s sous forme variationnelle avec un Hamiltonien. C\u2019est donc plus un avantage du calcul des variations que du quantique. Les tests sont aussi r\u00e9alis\u00e9s sur des \u00e9mulateurs de machines \u00e0 correction d\u2019erreurs, comme avec l'application test\u00e9e avec Terra Quantum. Avec Terra Quantum, il s'agissait de la mise en \u0153uvre de 3 algorithmes : clustering \u00e0 base de Quantum K-Means, de Quantum Reinforcement Learning de type proximal policy optimization hybride (apprentissage par renforcement) et d\u2019optimisation de probl\u00e8me formalis\u00e9 sous forme QUBO. Voir le papier : Quantum Algorithms applied to Satellite Mission Planning for Earth Observation ; https:\/\/arxiv.org\/pdf\/2302.07181.pdf . Le papier r\u00e9alis\u00e9 avec Fraunhofer IAIS portait sur la d\u00e9tection d\u2019anomalies par mise en correspondance d\u2019imagerie spatiale,qui hybridait 2 types d\u2019algorithmes tournant sur NISQ (IBM) et Quantum Annealer (D-Wave). A noter que THALES Alenia Space participe \u00e0 une \u00e9tude pour l\u2019ESA (European Space Agency), appel\u00e9e QC4EO (Quantum Computing for Earth Observation), concernant la d\u00e9finition des cas d\u2019usage des algorithmes quantiques pour le spatial.\">On the Emerging Potential of Quantum Annealing Hardware for Combinatorial Optimization<\/a>). Il faudra attendre un peu plus pour obtenir une mise \u00e0 l\u2019\u00e9chelle plus radicale. Il existe aussi des avantages int\u00e9ressants des applications dites &#8220;quantum inspired&#8221;, mais cet avantage est principalement li\u00e9 au fait que les probl\u00e8mes sont reformalis\u00e9s sous forme variationnelle avec un Hamiltonien. C\u2019est donc plus un avantage du calcul des variations que du quantique. Les tests sont aussi r\u00e9alis\u00e9s sur des \u00e9mulateurs de machines \u00e0 correction d\u2019erreurs, comme avec l&#8217;application test\u00e9e avec Terra Quantum. Avec Terra Quantum, il s&#8217;agissait de la mise en \u0153uvre de 3 algorithmes : clustering \u00e0 base de Quantum K-Means, de Quantum Reinforcement Learning de type proximal policy optimization hybride (apprentissage par renforcement) et d\u2019optimisation de probl\u00e8me formalis\u00e9 sous forme QUBO. Voir <a href=\"https:\/\/arxiv.org\/pdf\/2302.07181.pdf\">Quantum Algorithms applied to Satellite Mission Planning for Earth Observation<\/a>. Le papier r\u00e9alis\u00e9 avec Fraunhofer IAIS portait sur la d\u00e9tection d\u2019anomalies par mise en correspondance d\u2019imagerie spatiale qui hybridait deux types d\u2019algorithmes tournant sur NISQ (IBM) et Quantum Annealer (D-Wave). A noter que THALES Alenia Space participe \u00e0 une \u00e9tude pour l\u2019ESA (European Space Agency), appel\u00e9e QC4EO (Quantum Computing for Earth Observation), concernant la d\u00e9finition des cas d\u2019usage des algorithmes quantiques pour le spatial.<\/li>\n<li>D&#8217;o\u00f9 vient la passion de Fr\u00e9d\u00e9ric Barbaresco pour les <strong>groupes de Lie <\/strong>? L\u2019alg\u00e8bre Lin\u00e9aire a remplac\u00e9 au si\u00e8cle dernier l\u2019alg\u00e8bre de Boole. D\u00e9j\u00e0 dans le domaine des algorithmes classiques, l\u2019alg\u00e8bre de Lie commence \u00e0 remplacer l\u2019alg\u00e8bre lin\u00e9aire : filtrage de kalman bas\u00e9 sur les groupes de Lie (collaboration avec avec Silv\u00e8re Bonnabel de l&#8217;Ecole des Mines de Paris), r\u00e9seaux de neurones \u00e9quivariants bas\u00e9s sur des convolution sur les groupes de Lie pour \u00eatre robustes aux transformations g\u00e9om\u00e9triques (d\u00e9veloppement des GINN \u00ab Geometry-Informed Neural Network \u00bb par Thales Research &amp; Technology pour les cam\u00e9ras Fisheye ou les donn\u00e9es radar Doppler). Cela permet d&#8217;\u00eatre ind\u00e9pendants du syst\u00e8me de coordonn\u00e9es. Les groupes de Lie ont \u00e9t\u00e9 introduits en math\u00e9matique et en physique pour d\u00e9velopper des sch\u00e9mas ind\u00e9pendants du syst\u00e8me de coordonn\u00e9es et pour \u00a0capturer les sym\u00e9tries d\u2019un probl\u00e8me, ce qui permet de r\u00e9duire la dimensionnalit\u00e9 des probl\u00e8mes. Les groupes de Lie apparaissent nativement dans l\u2019\u00e9laboration des machines quantique \u00e0 portes (<a href=\"http:\/\/\u2022 D'o\u00f9 vient la passion de Fr\u00e9d\u00e9ric Barbaresco pour les groupes de Lie. L\u2019alg\u00e8bre Lin\u00e9aire a remplac\u00e9 au si\u00e8cle dernier l\u2019alg\u00e8bre de Boole. D\u00e9j\u00e0 dans le domaine des algorithmes classiques, l\u2019alg\u00e8bre de Lie commence \u00e0 remplacer l\u2019alg\u00e8bre lin\u00e9aire : filtrage de kalman bas\u00e9 sur les groupes de Lie (collaboration avec avec Silv\u00e8re Bonnabel de l'Ecole des Mines de Paris) ; r\u00e9seaux de neurones \u00e9quivariants bas\u00e9s sur des convolution sur les groupes de Lie pour \u00eatre robustes aux transformations g\u00e9om\u00e9triques (d\u00e9veloppement des GINN \u00ab Geometry-Informed Neural Network \u00bb par Thales Research &amp; Technology pour les cam\u00e9ras Fisheye ou les donn\u00e9es radar Doppler). Cela permet d'\u00eatre ind\u00e9pendants du syst\u00e8me de coordonn\u00e9es. Les groupes de Lie ont \u00e9t\u00e9 introduit en math\u00e9matiques et en physique pour d\u00e9velopper des sch\u00e9mas ind\u00e9pendants du syst\u00e8me de coordonn\u00e9es et pour capturer les sym\u00e9tries d\u2019un probl\u00e8me, ce qui permet de r\u00e9duire la dimensionnalit\u00e9 des probl\u00e8mes. Les groupes de Lie apparaissent nativement dans l\u2019\u00e9laboration des machines quantique \u00e0 portes (th\u00e9or\u00e8me de Solovay-Kitaev : https:\/\/en.wikipedia.org\/wiki\/Solovay%E2%80%93Kitaev_theorem ). La th\u00e9orie des repr\u00e9sentations des groupes de Lie est centrale pour la physique et le calcul quantique. A un groupe de Lie, on peut y associer une \u00ab repr\u00e9sentation unitaire \u00bb du groupe sur ses \u00ab orbites coadjointes \u00bb, et un vecteur unitaire sur l\u2019espace de Hilbert via la m\u00e9thode de la \u00ab quantification g\u00e9om\u00e9trique \u00bb introduite par Jean-Marie Souriau (https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-38299-4_39). Une librairie d\u2019apprentissage sur les groupes de Lie et les vari\u00e9t\u00e9s diff\u00e9rentielles a \u00e9t\u00e9 d\u00e9velopp\u00e9e dans le domaine de l\u2019IA avec le package Python Geomstat de l\u2019INRIA. On trouve aussi les groupes de Lie en IA pour les GINN &quot;Geometry-Informed Neural Networks&quot; . Dans le domaine de la correction d'erreurs, les groupes de Lie apparaissent avec l\u2019utilisation de vari\u00e9t\u00e9s hyperboliques (Anthony Leverrer : https:\/\/www.youtube.com\/watch?v=JkG5vguZxEs ; https:\/\/arxiv.org\/abs\/1612.05080 ; https:\/\/arxiv.org\/abs\/1712.08578).\">th\u00e9or\u00e8me de Solovay-Kitaev<\/a>). La th\u00e9orie des repr\u00e9sentations des groupes de Lie est centrale pour la physique et le calcul quantique. On peut associer \u00e0 un groupe de Lie une \u00ab repr\u00e9sentation unitaire \u00bb du groupe sur ses \u00ab orbites coadjointes \u00bb, et un vecteur unitaire sur l\u2019espace de Hilbert via la <a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-38299-4_39\">m\u00e9thode de la \u00ab quantification g\u00e9om\u00e9trique \u00bb<\/a> introduite par Jean-Marie Souriau. Une librairie d\u2019apprentissage sur les groupes de Lie et les vari\u00e9t\u00e9s diff\u00e9rentielles a \u00e9t\u00e9 d\u00e9velopp\u00e9e dans le domaine de l\u2019IA avec le package Python <a href=\"https:\/\/www-sop.inria.fr\/asclepios\/projects\/GeomStats\/\">Geomstat<\/a> d&#8217;Inria. On trouve aussi les groupes de Lie en IA pour les GINN &#8220;Geometry-Informed Neural Networks&#8221; . Dans le domaine de la correction d&#8217;erreurs, les groupes de Lie apparaissent avec l\u2019utilisation de vari\u00e9t\u00e9s hyperboliques (Anthony Leverrer (<a href=\"https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-38299-4_39\">vid\u00e9o<\/a>, <a href=\"https:\/\/arxiv.org\/abs\/1712.08578\">article<\/a>).<\/li>\n<li><strong>Projet BACQ<\/strong>. Fr\u00e9d\u00e9ric Barbaresco pr\u00e9sente le <a href=\"https:\/\/teratec.eu\/library\/seminaires\/2023\/TQCI\/2305\/3_BACQ.pdf\">projet BACQ<\/a> (Benchmark Applicatifs des Calculateurs Quantiques) du programme national MetriQs du LNE. Les partenaires sont le CEA, Eviden, CNRS (Alexia Auff\u00e8ves et Robert Whitney de l&#8217;\u00e9quipe |QET&gt;) et TERATEC. MetriQs est le projet englobant qui concerne toutes les technologies quantiques. BACQ est un programme financ\u00e9 par l\u2019ANR dans le cadre de la strat\u00e9gie nationale quantique. Son objectif est de d\u00e9velopper une plateforme de benchmark des calculateurs quantiques la plus transparente possible. Elle se positionne au-dessus des travaux du QED-C qui proposent des benchmark d\u2019assez bas niveau, avec une approche d\u2019agr\u00e9gation multicrit\u00e8res bas\u00e9e sur l\u2019outil THALES MYRIAD. Les benchmarks pourraient servir \u00e0 rassurer les investisseurs et permettre d\u2019\u00e9viter un hiver quantique. Ils permettent aussi de suivre dans le temps l\u2019\u00e9volution des performances des machines. On \u00e9voque le <a href=\"https:\/\/teratec.eu\/Seminaires\/TQCI\/2023\/Seminaire_TQCI-230511.html\">s\u00e9minaire TQCI<\/a> organis\u00e9 chez Thales Research &amp; Technology \u00e0 Palaiseau en mai 2023, avec des coll\u00e8gues europ\u00e9ens, am\u00e9ricains, japonais et singapouriens. Les travaux sur le benchmarking sont r\u00e9alis\u00e9s en liaison avec Fraunhofer IKS en Allemagne, TNO et TU Delft aux Pays-Bas, Qilimanjaro et CUCO en Espagne, et le consortium QUIC au niveau Europ\u00e9en. L&#8217;acc\u00e8s aux machines sera fourni par GENCI\/CEA via TGCC et au niveau europ\u00e9en via les six clusters financ\u00e9s par EuroHPC. BACQ se focalisera sur quatre types de probl\u00e8mes g\u00e9n\u00e9riques d\u2019int\u00e9r\u00eat pour les utilisateurs finaux : syst\u00e8mes lin\u00e9aires, factorisation, simulation physique et optimisations.<\/li>\n<li><strong>Hackathon Thales organis\u00e9 avec QuantX<\/strong> en 2023. C&#8217;\u00e9tait le plus grand <a href=\"https:\/\/www.linkedin.com\/posts\/thales_worldquantumday-quantum-activity-7052602814774026240-PFQo\">Hackathon Quantique Corporate<\/a> organis\u00e9 \u00e0 l\u2019International, impliquant plus de 80 personnes dans 5 pays (FR, GE, UK, CAN, SG) et sur 10 cas d\u2019usage. Les cas d\u2019usage venaient des m\u00e9tiers de Thales et \u00e9taient \u00e9labor\u00e9s par les business lines. Dans chaque pays, les fournisseurs de QPUs ou \u00e9mulateurs \u00e9taient associ\u00e9s comme Quandela et Pasqal en France, IBM et IQM en Allemagne, QuEra au Canada, Quantinuum au Royaume Uni et Google \u00e0 Singapour. La comp\u00e9tition s\u2019est d\u00e9roul\u00e9e en deux \u00e9tapes : en phase 1, deux \u00e9quipes dans chaque pays s\u2019affrontaient sur deux cas d\u2019usage et une seule \u00e9quipe \u00e9tait s\u00e9lectionn\u00e9e par un jury local puis une phase 2 organis\u00e9e \u00e0 Thales Corporate avec un jury d\u2019experts pour un pitch m\u00ealant \u00e9l\u00e9ments technique et business entre \u00e9quipes finalistes. Les \u00e9quipes gagnantes d&#8217;Allemagne et de Singapour ont re\u00e7u un budget significatif pour faire avancer la maturit\u00e9 du cas d\u2019usage avec leur \u00e9cosyst\u00e8me local. Le prix a \u00e9t\u00e9 <a href=\"https:\/\/www.linkedin.com\/posts\/activity-7077016113837953024-DRag\">remis <\/a>au salon du Bourget par Bernhard Quendt en pr\u00e9sence de Patrice Caine, le CEO de Thales. Cela contribue aussi \u00e0 l&#8217;attractivit\u00e9 du sujet pour les jeunes. Le quantique attire les meilleurs talents. Ce hackathon avait \u00e9t\u00e9 organis\u00e9 avec QuantX et\u00a0le Lab Quantique. A noter que les crit\u00e8res de s\u00e9lection n\u2019\u00e9taient pas que techniques.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Dans le 63e \u00e9pisode des entretiens Decode Quantum, Fanny et moi-m\u00eame accueillons David Sadek et Fr\u00e9d\u00e9ric Barbaresco de Thales. C\u2019est le second \u00e9pisode avec des repr\u00e9sentants de Thales, le premier ayant \u00e9t\u00e9 enregistr\u00e9 avec Daniel Dolfi en 2020 sur les capteurs quantiques (\u00e9pisode 12). Ces \u00e9pisodes sont toujours \u00e9galement diffus\u00e9s par Frenchweb sachant qu&#8217;ici, vous [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3057],"tags":[3789,107,108,2397,3815,3559,3814,1055,3813,3616,3756,1912],"class_list":["post-21254","post","type-post","status-publish","format-standard","hentry","category-quantique","tag-bacq","tag-cea","tag-cnrs","tag-d-wave","tag-david-sadek","tag-frederic-barbaresco","tag-groupes-de-lie","tag-hackathon","tag-lne","tag-quantx","tag-singapour","tag-thales"],"views":3394,"_links":{"self":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/posts\/21254","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/comments?post=21254"}],"version-history":[{"count":0,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/posts\/21254\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/media?parent=21254"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/categories?post=21254"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.oezratty.net\/wordpress\/wp-json\/wp\/v2\/tags?post=21254"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}