Decode Quantum avec Anthony Leverrier d’Inria

Publié le 4 janvier 2023 - Commenter -
PDF Afficher une version imprimable de cet article
  

Nous voici dans le 54e épisode des entretiens Decode Quantum où, avec Fanny Bouton, nous recevions Anthony Leverrier d’Inria, après avoir reçu Harold Ollivier qui coordonne la recherche dans le quantique chez Inria. Ces épisodes sont également diffusés par Frenchweb.

Anthony Leverrier est chercheur Inria depuis 2012, dans l’équipe COSMIQ anciennement SECRET (8 chercheurs, en cryptographie symétrique, et cryptographie basée sur les codes, ainsi qu’en algorithmique et correction d’erreur quantique, notamment Jean-Pierre Tillich qui avait encadré la thèse de Harold Ollivier, André Chailloux sur les algorithmes, et Maria Naya-Plasencia qui a développé la cryptanalyse quantique de la crypto symétrique). Au départ, il était ingénieur de l’école Polytechnique. Il a ensuite réalisé une thèse de doctorat à Télécom Paris sur la distribution quantique de clés puis deux post-docs à l’ICFO en Espagne et à l’ETH Zurich. Il est notamment spécialisé en codes de correction d’erreurs.

Voici comme d’habitude les points clés évoqués pendant cet entretien :

  • Comment est-il tombé dans la marmite quantique ? Il lisait Science&Vie comme adolescent mais comme c’est souvent le cas, c’est à l’X qu’il a pris goût au sujet, notamment via les cours de physique quantique de Jean-Louis Basdevant, Jean Dalibard,  Alain Aspect et Philippe Grangier. Il réalise un stage sur les lasers de puissance à Berkeley, utilisés dans les accélérateurs de particules. Il hésitait entre les lasers, les hautes énergies, la fusion nucléaire et le quantique à très basse énergie, juste avant le lancement du projet ITER à Cadarache. Les moyens mis en œuvre sont différents pour réussir dans la fusion nucléaire et les ordinateurs quantiques.
  • Sa thèse Theoretical study of continuous-variable quantum key distribution soutenue en 2009. Avec trois directeurs de thèse Gilles Zémor (qui est parti à Bordeaux), Joseph Boutros tous deux de Telecom Paris et surtout Philippe Grangier de l’IOGS. Avec le soutien de Romain Alléaume de Télécom Paris qui l’a aidé à trouver un stage chez MagiQ à Boston. Il a aussi côtoyé Eleni Diamanti à Télécom Paris alors qu’elle y était chercheuse, avant de rejoindre le LIP6. Il a même travaillé avec Marc Kaplan, devenu depuis le CEO de VeriQloud.
  • Il a été l’un des trois lauréats 2010 du Prix de Thèse ParisTech. Un prix qui n’a pas duré longtemps.
  • Il a ensuite réalisé deux post-docs : l’un dans le groupe d’Antonio Acín à l’ICFO de Barcelone en 2010-2011 sur les inégalités de Bell sans loophole (détecteurs forts, résistant mieux aux pertes et imperfections, qui a abouti à des expériences d’inégalités de Bell sans loophole en 2015, notamment à Delft puis à Vienne chez Anton Zeilinger et à l’ICFO, recherche d’axiomes permettant de dériver les postulats de la physique quantique), puis celui de Renato Renner à ETH Zürich (cryptographie quantique, non-localité, un endroit incroyable côté niveau niveau scientifique où sont passés Fernando Brandao qui maintenant chez Amazon, Richard Kueng chez John Preskill à Caltech, Marco Tomamichel qui est maintenant à Singapour, et Omar Fawzi qui est à l’Inria à Lyon).
  • Comment définir ton champ de recherche et ton activité ? Il est théoricien, pas trop coloré maths ou physique et plutôt à l’interface entre ces différents mondes.
  • L’une de ses grandes spécialités, ce sont les codes de correction d’erreur, des codes utilisés au départ pour les communications quantiques mais qui ont des dérivations pour le calcul quantique. Il continue d’ailleurs de travailler dans les deux domaines, la QKD et la correction d’erreurs pour le calcul quantique.
  • Comment s’y retrouver dans la zoologie des codes de correction d’erreur dans le calcul quantique. Rôles, usages, avantages et inconvénients. Un zoo vient d’être créé par Victor Albert de l’Université de Maryland. https://errorcorrectionzoo.org/.
  • Les codes de correction d’erreurs sont nés du besoin de créer des ordinateurs quantiques universels de grande taille. L’algorithme de factorisation de Peter Shor nécessite un grand nombre de portes (10^12 à 10^15) pour factoriser une clé RSA 2048 bits. Serge Haroche et Jean-Michel Raimond publient en 1996 un article exprimant un fort scepticisme sur la perspective de créer un ordinateur quantique de grande taille, Quantum Computing: Dream or Nightmare?, Physics Today, 1996 (2 pages). La réponse de Peter Shor sont des codes de correction d’erreur pour protéger l’information quantique. Il faut contourner diverses limitations : on ne peut pas copier l’information quantique à l’identique, comment mesurer une erreur sans trop perturber le système et dans le quantique, comment travailler avec un espace plus large avec des erreurs de flip et de phase et qui sont continues et non discrètes. Puis Dorit Aharonov publie son fameux théorème qui indique comment faire du calcul tolérant aux fautes. On protège l’information pendant que l’on fait les calculs. C’est conditionné par un taux d’erreur maximum des qubits physiques et il faut disposer d’un grand nombre de qubits physiques. Pour exécuter l’algorithme de Peter Shor sur une clé RSA 2048 bits avec des “surface code”, il faudrait disposer de 20  millions de qubits physiques avec une fidélité de 99,9%. Cela n’a pas changé depuis 2019 et nous en sommes encore très loin. Il faut traiter de la question fondamentale de la préservation de la fidélité des qubits physiques avec l’augmentation de leur nombre.
  • Les codes de correction sont exécutés après chaque opération. L’overhead généré en temps de calcul est constant. Mais cela fait exploser le nombre de qubits nécessaires. Les codes de surface ont été inventés par Alexei Kitaev. Ayant appris l’existence de l’algorithme de factorisation de Shor, il en a créé une variante. Il a proposé le “toric code” puis le “surface code” qui font le pont entre codes quantiques et topologie. La plupart des schémas de calcul tolérant aux fautes s’appuient sur ces codes.
  • Le surface code a des limitations. Il encode les qubits logiques avec un grand nombre de qubits physiques. La qualité de la protection n’est pas optimale et il existe des erreurs de poids sqrt(N) qui ne peuvent pas être corrigées. A la fin 2009. Jean-Pierre Tillich et Gilles Zémor ont trouvé une version corrigeant aussi bien mais permettant d’encoder beaucoup de qubits logiques. Ce sont des « produits d’hypergraphes » qui sont à de bons codes classiques ce qu’est le surface code pour le code de répétition. Ils font partie de la famille des codes LDPC où chaque qubit va parler à un petit nombre de qubits.
  • Nous évoquons le coût de correction qui est focalisé sur les portes T et Toffoli (utilisant de la distillation d’états magiques, très consommatrice de qubits physiques) puis les notions de tolérance de pannes pour éviter que les erreurs se propagent. La correction d’erreur permet potentiellement de créer des mémoires quantiques.
  • Les turbo-codes ont été abandonnés. Pourquoi ? Ce sont des objets classiques des années 1990. Claude Pérou de l’ENST Brest a proposé les versions classiques qui avaient de bonnes performances. C’était inspiré par l’électronique. Les codes LDPC classiques et quantiques en sont des dérivés. Les turbo-codes sont intéressants pour les communications quantiques.
  • Anthony travaille sur les codes LDPC avec deux chercheurs de Microsoft, Nicolas Delfosse (basé aux USA) et Vivien Londe (basé en France). Vivien Londe dont il a dirigé la thèse, soutenue en 2019 !  Voir par exemple Fast erasure decoder for a class of quantum LDPC codes par Nicholas Connolly, Vivien Londe, Anthony Leverrier et Nicolas Delfosse, Août 2022 (5 pages). Nicolas Delfosse a fait sa thèse avec Gilles Zémor à Bordeaux. Daniel Gottesman a montré que les codes LDPC pouvaient réduire l’overhead de la QEC. Par contre, il faut trouver de bons décodeurs et aller très vite. Les besoins sont énormes en bande passante classique avec des terabits / seconde.
  • Nous évoquons le lien entre l’efficacité des codes de correction d’erreurs et l’interconnectivité des qubits. Chaque qubit devrait parler à des qubits éloignés pour réduire l’overhead. Ce n’est pas évident avec les qubits supraconducteurs. C’est plus facile avec les ions, les atomes neutres et les photons.
  • Anthony a aussi travaillé sur les Tanner codes qui sont des variantes de codes LDPC. Voir Quantum Tanner codes par Anthony Leverrier et Gilles Zémor, Février-Septembre 2022 (35 pages).
  • Et les Floquet codes ? Ce sont des codes visant le long terme et qui ont besoin d’une très bonne connectivité entre qubits physiques. C’est une variante du code de surface proposée par chercheurs de Microsoft.
  • Enfin, il y a les codes bosoniques avec les variations des qubits de chat de Mazyar Mirrahimi/Zaki Leghtas utilisés par Alice&Bob.
  • Nous évoquons aussi le travail d’Aurélie Denys sa thésarde avec The 2T-qutrit, a two-mode bosonic qutrit par Aurélie Denys et Anthony Leverrier, Octobre 2022 (20 pages) qui exploite des qutrits (objets quantiques à trois états).
  • Notons enfin qu’Anthony coordonne aussi le défi EQIP dans le cadre du PEPR (programmes et équipements prioritaires de recherche) quantique lancé en 2021, avec une bonne dizaine de chercheurs Inria et autres comme l’équipe de Cyril Allouche chez Atos. Engineering for Quantum Information Processors.

RRR

 
S
S
S
S
S
S
S
img
img
img

Publié le 4 janvier 2023 Post de | Actualités, Quantique | 7604 lectures

PDF Afficher une version imprimable de cet article     

Reçevez par email les alertes de parution de nouveaux articles :


 

RRR

 
S
S
S
S
S
S
S
img
img
img


Ajouter un commentaire

Vous pouvez utiliser ces tags dans vos commentaires :<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong> , sachant qu'une prévisualisation de votre commentaire est disponible en bas de page après le captcha.

Last posts / derniers articles

Free downloads

Understanding Quantum Technologies 2023, a free 1,366 pages ebook about all quantum technologies (computing, telecommunications, cryptography, sensing) also available in paperback edition on Amazon:

image

Free downloads

Understanding Quantum Technologies 2023 Short version, a 24 pages with key takeaways from the eponymous book.

image

Voir aussi la liste complète des publications de ce blog.

Derniers albums photos

Depuis juillet 2014, mes photos sont maintenant intégrées dans ce site sous la forme d'albums consultables dans le plugin "Photo-Folders". Voici les derniers albums publiés ou mis à jour. Cliquez sur les vignettes pour accéder aux albums.
albth
QFDN
Expo
791 photos
albth
Remise Légion d'Honneur Philippe Herbert Jul2021
2021
15 photos
albth
Vivatech Jun2021
2021
120 photos
albth
Visite C2N Palaiseau Mar2021
2021
17 photos
albth
Annonce Stratégie Quantique C2N Jan2021
2021
137 photos
albth
Maison Bergès Jul2020
2020
54 photos
albth
Grenoble Jul2020
2020
22 photos

image

Avec Marie-Anne Magnac, j'ai lancé #QFDN, l'initiative de valorisation de femmes du numérique par la photo. Elle circule dans différentes manifestations. L'initiative rassemble près de 800 femmes du numérique (en janvier 2022) et elle s'enrichit en continu. Tous les métiers du numérique y sont représentés.

Les photos et les bios de ces femmes du numérique sont présentées au complet sur le site QFDN ! Vous pouvez aussi visualiser les derniers portraits publiés sur mon propre site photo. Et ci-dessous, les 16 derniers par date de prise de vue, les vignettes étant cliquables.
flow
Gaëlle Rannou
Gaëlle est étudiante à 42 Paris et tutrice de l’équipe pédagogique (en 2021).
flow
Jehanne Dussert
Jehanne est étudiante à l'école 42, membre d'AI For Tomorrow et d'Open Law, le Droit ouvert. Elle est aussi fondatrice de "Comprendre l'endométriose", un chatbot informant sur cette maladie qui touche une personne menstruée sur 10, disponible sur Messenger. #entrepreneuse #juridique #santé
flow
Chloé Hermary
Chloé est fondatrice d'Ada Tech School, une école d'informatique alternative et inclusive dont la mission est de former une nouvelle génération de talents diversifié à avoir un impact sur le monde. #entrepreneuse #formation
flow
Anna Minguzzi
Anna est Directrice de Recherche au CNRS au Laboratoire de Physique et Modélisation des Milieux Condensés (LPMMC) à Grenoble. #quantique
flow
Maeliza Seymour
Maeliza est CEO et co-fondatrice de CodistAI, qui permet de créer une documentation du code informatique par une IA.
flow
Candice Thomas
Candice est ingénieure-chercheuse au CEA-Leti, travaillant sur l’intégration 3D de bits quantiques au sein du projet Quantum Silicon Grenoble. #recherche #quantique
flow
Stéphanie Robinet
Stéphanie dirige un laboratoire de conception intégrée de circuits électroniques du CEA-Leti qui travaille sur des systèmes sur puces intégrés, des interfaces de capteurs, des interfaces de contrôle de qubits et de la gestion intégrée de l'énergie. #recherche #quantique
flow
Sabine Keravel
Sabine est responsable du business development pour l’informatique quantique chez Atos. #quantique #IT
flow
Céline Castadot
Céline est HPC, AI and Quantum strategic project manager chez Atos.
flow
Léa Bresque
Léa est doctorante, en thèse à l'institut Néel du CNRS en thermodynamique quantique, sous la direction d'Alexia Auffèves (en 2021). #quantique #recherche
flow
Emeline Parizel
Emeline est chef de projet web et facilitatrice graphique chez Klee Group, co-fondatrice TEDxMontrouge, gribouilleuse à ses heures perdues, joue dans une troupe de comédie musicale, co-animatrice de meetups et est sensible à l’art et à la culture. #création
flow
Elvira Shishenina
Elvira est Quantum Computing lead chez BMW ainsi que présidente de QuantX, l'association des polytechniciens du quantique. #quantique
flow
Marie-Noëlle Semeria
Marie-Noëlle est Chief Technology Officer pour le Groupe Total après avoir dirigé le CEA-Leti à Grenoble. #recherche
flow
Gwendolyn Garan
Gwendolyn est travailleuse indépendante, Game UX Designer, Game UX Researcher (GUR) et 2D Artist pour le jeu vidéo, étudiante en Master 2 Sciences du Jeu, speaker et Formatrice sur l'autisme et la neurodiversité, l'accessibilité et les systèmes de représentation dans les jeux vidéo. #création #jeuvidéo
flow
Alexandra Ferreol
Alexandra est étudiante d'un bachelor Game Design à L'Institut Supérieur des Arts Appliqués (année scolaire 2019/2020) #création #jeuvidéo
flow
Ann-elfig Turpin
Ann-elfig est étudiante en deuxième année à Lisaa Paris Jeux Vidéos (Technical artist, 3D artiste), année scolaire 2019/2020. #création #jeuvidéo

Derniers commentaires

“[…] to Olivier Ezratty, author of Understanding quantum technologies 2023, the challenge for Europe is to position itself outside of where the US and China are likely end up...”
“Désolé, je suis passé à l'anglais en 2021 sans revenir au français. Traduire un tel ouvrage (1366) pages d'une langue à l'autre est un travail herculéen, même avec des outils de traduction automatique. Sachant...”
“Je suis un artiste conceptuel, certes je garde la grande majorité de mon travail dans ma tête par défaut d'un grand mécène. Mon travail de base se situe sur le "mimétisme" qui mène aux itérations et de nombreux...”
“Better than a Harry Potter! Thanks Olivier...”
“J'ai bien aimé le commentaire sur le film Openheiner avec l'interrogation du chercheur sur l'utilisation de ses découvertes. En continuation de ces propos, je propose d'écouter le débat suivant qui m'a semblé...”

Abonnement email

Pour recevoir par email les alertes de parution de nouveaux articles :


 

RRR

 
S
S
S
S
S
S
S
img
img
img