13 novembre 2026
- Algorithmes quantiques de gaz sur réseau pour les équations aux dérivées partielles de la mécanique des fluides / Soutenance de thèse Niccolo Fonio
Doctorant : Niccolo FONIO
Date et lieu : vendredi 13 novembre à 15h00 à Marseille, sur le campus de Luminy, dans l’amphithéâtre 12 du bâtiment B
Résumé : Les algorithmes quantiques pour les équations aux dérivées partielles (EDP) ont suscité un intérêt considérable en raison de leurs avantages computationnels potentiels. Si plusieurs approches efficaces sont été développées pour les équations linéaires, la simulation des EDP non linéaires demeure un défi majeur. En particulier, on ne sait toujours pas si les dynamiques non linéaires peuvent être représentées sous une forme compatible avec les exigences d’un calcul quantique efficace.
Cette thèse étudie les algorithmes de gaz sur réseau (lattice gas algorithms, LGA) comme une voie possible vers des algorithmes quantiques pour les EDP non linéaires. Les LGA font évoluer des entités dynamiques discrètes au moyen d’opérations locales de collision et de propagation (streaming), et ont historiquement conduit à des modèles numériques performants tels que les automates cellulaires de gaz sur réseau (lattice gas cellular automata, LGCA) et la méthode de Boltzmann sur réseau (lattice Boltzmann method, LBM). Leur structure hautement parallèle et leur lien intrinsèque avec la théorie cinétique en font des candidats naturels pour une implémentation quantique.
Nous étudions tout d’abord une formulation quantique directe des automates cellulaires de gaz sur réseau (LGCA). En exploitant le caractère stochastique de ces modèles, nous construisons un algorithme quantique à évolution temporelle pour l’équation de Burgers et montrons que la dynamique des gaz sur réseau peut naturellement engendrer un comportement macroscopique non linéaire. Nous mettons également en évidence une limitation fondamentale de cette approche : un encodage quantique efficace est incompatible avec les exigences simultanées de la propagation par marche quantique (quantum walk) et de la distinguabilité des états du gaz sur réseau. Ce résultat révèle un obstacle structurel aux implémentations quantiques des LGCA conventionnels.
Nous examinons ensuite la méthode de Boltzmann sur réseau (LBM) et montrons que ses opérateurs de collision non linéaires empêchent une concaténation efficace des pas de temps sur un ordinateur quantique pour les EDP non linéaires. Afin de surmonter cette difficulté, nous introduisons un nouveau modèle, l’algorithme adaptatif de gaz sur réseau (adaptive lattice gas algorithm, ALGA), fondé sur des populations entières de particules sur le réseau. Ce modèle fournit un cadre dans lequel les EDP non linéaires peuvent être simulées au moyen d’une évolution temporelle quantique concaténée. Il permet également de retrouver des distributions d’équilibre de type LBM grâce à des règles de collision adaptatives, mais au prix de la perte de cette propriété de concaténation des pas de temps.
Enfin, nous réexaminons les modèles hybrides classique-quantique de gaz sur réseau et montrons que leur formulation quantique conduit naturellement à une dynamique de Boltzmann sur réseau entropique. Celle-ci assure une stabilité numérique inconditionnelle tout en préservant la possibilité d’ajuster les coefficients hydrodynamiques. En nous appuyant sur ce cadre, nous développons un modèle bidimensionnel reproduisant la dynamique non linéaire anisotrope de Burgers.
Dans l’ensemble, les résultats de cette thèse mettent en évidence à la fois les potentialités et les limites des gaz sur réseau quantiques. Nous identifions les principaux obstacles qui empêchent l’obtention d’un avantage quantique direct, tout en proposant de nouvelles formulations de gaz sur réseau ouvrant des perspectives prometteuses pour la simulation quantique des équations aux dérivées partielles non linéaires.
Jury
Viv Kendon, PR, university of Strathclyde - rapporteure
Pablo Arrighi, DR INRIA, LMF - rapporteur
Matthias Moller, Associate Professor, TU Delft - examinateur
Katepalli Sreenivasan, PR, New York university - examinateur
David Meyer, PR, UCSD - examinateur
Pierre Boivin, DR CNRS, M2P2 - Président du jury
Pierre Sagaut, PR, AMU - directeur de thèse
Giuseppe Di Molfetta, PR, AMU - co-directeur de thèse