Nous présentons un manuscrit décrivant l’évolution du cadre thermodynamique infor-mationnel appliqué à la Phase 2 du projet OECQ, en ciblant le passage à l’échelle de 100 qubits et de modes photoniques. Face à l’émergence d’un bruit de champ moyen et à une explosion combinatoire de la diaphonie, nous introduisons un formalisme de partitionnement modulaire algorithmique supervisé par l’architecture OECQ-V2. En intégrant une métrique de couplage conforme et une fonctionnelle de complexité compressée étendue, nous modélisons la transition de phase thermodynamique séparant le régimede calcul actif de l’état d’abstention totale. Lors de ce basculement, l’extraction théorique d’une chaleur latente quantique d’abstention, notée Sabst, permet de figer l’entropie de von Neumann et de stabiliser thermiquement les puces. Les simulations pré-industrielles appliquées au cas d’usage QUBO d’EDF montrent qu’en introduisant un facteur de modularité topologique M, le système maintient un score global de réalisabilité RQ supérieur à 2,0, avec une réduction annoncée de la dissipation sur les plateformes photoniques et cat qubits. Ce manuscrit établit ainsi les bases physiques et logicielles d’une informatique quantique industrielle à haute efficience énergétique
Nous présentons un manuscrit décrivant l’évolution du cadre thermodynamique infor-mationnel appliqué à la Phase 2 du projet OECQ, en ciblant le passage à l’échelle de 100 qubits et de modes photoniques. Face à l’émergence d’un bruit de champ moyen et à une explosion combinatoire de la diaphonie, nous introduisons un formalisme de partitionnement modulaire algorithmique supervisé par l’architecture OECQ-V2. En intégrant une métrique de couplage conforme et une fonctionnelle de complexité compressée étendue, nous modélisons la transition de phase thermodynamique séparant le régimede calcul actif de l’état d’abstention totale. Lors de ce basculement, l’extraction théorique d’une chaleur latente quantique d’abstention, notée Sabst, permet de figer l’entropie de von Neumann et de stabiliser thermiquement les puces. Les simulations pré-industrielles appliquées au cas d’usage QUBO d’EDF montrent qu’en introduisant un facteur de modularité topologique M, le système maintient un score global de réalisabilité RQ supérieur à 2,0, avec une réduction annoncée de la dissipation sur les plateformes photoniques et cat qubits. Ce manuscrit établit ainsi les bases physiques et logicielles d’une informatique quantique industrielle à haute efficience énergétique
Les ordinateurs quantiques exploitent les principes de la physique quantique pour encoder et traiter l'information, avec le potentiel de surpasser les capacités des ordinateurs classiques dans certains domaines. Cette thèse explore l'une des technologies majeures du calcul quantique : l'optique linéaire, où les calculs sont effectués à l'aide de photons traversant des circuits d'optique linéaire.Si ces circuits sont bien compris et simulables à petite échelle, leur véritable intérêt apparaît à grande échelle lorsqu'ils atteignent des régimes hors de portée du calcul classique. Cette thèse s'intéresse à cette transition sous deux aspects : sur le plan calculatoire d'une part, en développant des modèles plus efficaces pour repousser les limites des simulations classiques, et sur le plan formel d'autre part, en modélisant à un niveau plus abstrait les circuits optiques et leurs interactions.En simulation, l'un des défis majeurs est le calcul efficace des probabilités de sortie des circuits. Nous présentons dans cette thèse de nouveaux algorithmes pour calculer plusieurs de ces probabilités, où l'utilisation de la mémoire est optimisée pour significativement réduire le temps de calcul. Ce travail mène au développement de Perceval, une plateforme logicielle open-source dédiée au calcul quantique photonique.Sur le plan théorique, nous introduisons un cadre formel et diagrammatique qui capture pleinement la structure des processus d'optique linéaire. Plus précisément, nous utilisons le formalisme des langages graphiques pour modéliser ces circuits. Nous établissons une théorie équationnelle complète, démontrant que deux circuits équivalents d'optique linéaire peuvent toujours être réécrits localement avec notre ensemble d'équations.Enfin, nous montrons comment nos contributions ont des applications à la fois en physique et en informatique quantique théorique. En particulier, nous étendons notre théorie équationnelle complète des circuits optiques à une théorie équationnelle complète pour les circuits quantiques, résolvant ainsi un problème ouvert des dernières décennies.
Les ordinateurs quantiques exploitent les principes de la physique quantique pour encoder et traiter l'information, avec le potentiel de surpasser les capacités des ordinateurs classiques dans certains domaines. Cette thèse explore l'une des technologies majeures du calcul quantique : l'optique linéaire, où les calculs sont effectués à l'aide de photons traversant des circuits d'optique linéaire.Si ces circuits sont bien compris et simulables à petite échelle, leur véritable intérêt apparaît à grande échelle lorsqu'ils atteignent des régimes hors de portée du calcul classique. Cette thèse s'intéresse à cette transition sous deux aspects : sur le plan calculatoire d'une part, en développant des modèles plus efficaces pour repousser les limites des simulations classiques, et sur le plan formel d'autre part, en modélisant à un niveau plus abstrait les circuits optiques et leurs interactions.En simulation, l'un des défis majeurs est le calcul efficace des probabilités de sortie des circuits. Nous présentons dans cette thèse de nouveaux algorithmes pour calculer plusieurs de ces probabilités, où l'utilisation de la mémoire est optimisée pour significativement réduire le temps de calcul. Ce travail mène au développement de Perceval, une plateforme logicielle open-source dédiée au calcul quantique photonique.Sur le plan théorique, nous introduisons un cadre formel et diagrammatique qui capture pleinement la structure des processus d'optique linéaire. Plus précisément, nous utilisons le formalisme des langages graphiques pour modéliser ces circuits. Nous établissons une théorie équationnelle complète, démontrant que deux circuits équivalents d'optique linéaire peuvent toujours être réécrits localement avec notre ensemble d'équations.Enfin, nous montrons comment nos contributions ont des applications à la fois en physique et en informatique quantique théorique. En particulier, nous étendons notre théorie équationnelle complète des circuits optiques à une théorie équationnelle complète pour les circuits quantiques, résolvant ainsi un problème ouvert des dernières décennies.
Dans cet article, nous faisons le point sur l’élaboration et l’usage potentiel des ordinateurs quantiques tolérants aux fautes capables de traiter de manière fiable des calculs complexes en surmontant les erreurs et le bruit inhérent aux systèmes quantiques. Dans un premier temps, les intérêts attendus en gains de performance par le calcul quantique sont évoqués ainsi que leurs limites à la fois théoriques et pratiques. Dans un second temps, la nécessaire correction d’erreurs quantiques est abordée. Cette dernière passe par l’encodage de l’information logique, que l’on souhaite protéger, sur un grand nombre de qubits physiques délocalisés afin d’avoir un qubit fiable. Tout en estimant qu’il faut au maximum mille qubits physiques pour obtenir un qubit logique fiable, nous soulignons la difficulté majeure que constitue le passage à l’échelle du nombre de qubits physiques pour résoudre des problèmes réels. Sont ensuite énoncées les différentes technologies de qubits ainsi que leurs enjeux. Puis est abordée la problématique du passage à l’échelle de manière modulaire par l’interconnexion de petits modules quantiques. Une quatrième partie mentionne les enjeux économiques et la coopétition avec les calculateurs classiques et l’IA. Tout en soulignant les progrès en cours et en observant la position française sur cinq voies technologiques, nous appelons aussi à la prudence au regard d’effets d’annonce.
Cette thèse s’inscrit dans le cadre de l’information quantique avec des variables continues, en utilisant des états quantiques du champ électromagnétique. En combinant les outils propres aux variables discrètes, o`u la lumière est décrite en termes de photons, avec les outils des variables continues, où la lumière est décrite en termes de quadratures, nous pouvons étudier théoriquement et produire expérimentalement des états non-classiques, ainsi que des protocoles élémentaires d’information quantique. Ainsi, nous avons produit expérimentalement un état «chat de Schrödinger», superposition quantique de deux états lumineux quasi-classiques, sur lequel nous avons appliqué une porte quantique introduisant une phase dans la superposition. Nous avons ensuite analysé la qualité de cette porte en utilisant un modèle simple de notre expérience. Nous nous sommes ensuite intéressés aux corrélations quantiques, mesurées par la discorde quantique, pour une classe d’états particulièrement importants en information quantique. Nous avons quantifié la précision de nos mesures en les comparant aux bornes de Cramér-Rao classique et quantique. Enfin, nous avons étudié théoriquement l’utilisation d’un amplificateur quantique non-déterministe en cryptographie quantique. Cet amplificateur possède la propriété de pouvoir amplifier des états quantiques sans en amplifier le bruit quantique associé. Ainsi, nous avons montré qu’il permet une amélioration de la distance maximale de transmission d’une clé secrète, ainsi qu’une amélioration de la résistance au bruit introduit par le canal quantique.
Cette thèse s’inscrit dans le cadre de l’information quantique avec des variables continues, en utilisant des états quantiques du champ électromagnétique. En combinant les outils propres aux variables discrètes, o`u la lumière est décrite en termes de photons, avec les outils des variables continues, où la lumière est décrite en termes de quadratures, nous pouvons étudier théoriquement et produire expérimentalement des états non-classiques, ainsi que des protocoles élémentaires d’information quantique. Ainsi, nous avons produit expérimentalement un état «chat de Schrödinger», superposition quantique de deux états lumineux quasi-classiques, sur lequel nous avons appliqué une porte quantique introduisant une phase dans la superposition. Nous avons ensuite analysé la qualité de cette porte en utilisant un modèle simple de notre expérience. Nous nous sommes ensuite intéressés aux corrélations quantiques, mesurées par la discorde quantique, pour une classe d’états particulièrement importants en information quantique. Nous avons quantifié la précision de nos mesures en les comparant aux bornes de Cramér-Rao classique et quantique. Enfin, nous avons étudié théoriquement l’utilisation d’un amplificateur quantique non-déterministe en cryptographie quantique. Cet amplificateur possède la propriété de pouvoir amplifier des états quantiques sans en amplifier le bruit quantique associé. Ainsi, nous avons montré qu’il permet une amélioration de la distance maximale de transmission d’une clé secrète, ainsi qu’une amélioration de la résistance au bruit introduit par le canal quantique.
Dynamique hors-équilibre des systèmes quantiques ouverts et fermés Cette thèse est consacrée à l'étude de la dynamique de hors-équilibre dans les systèmes quantiques fermés et ouverts. La question de l'obtention d'équations dynamiques numériquement efficaces pour simuler de tels systèmes, qui souffrent d'une malédiction de dimensionnalité lorsqu'ils sont de grande taille est au centre de la thèse, ainsi que les divers nouveaux résultats physiques qui peuvent être obtenus grâce à ces équations efficaces. La question de l'obtention de représentations efficaces des états quantiques est également centrale, à travers la construction d'Ansatz. En particulier, nous présentons la méthode du sous-espace dynamique, une nouvelle méthode numérique pour la simulation de l'évolution temporelle de systèmes quantiques ouverts avec une entropie modérée. En représentant la matrice densité par un sous-espace constitué de M états purs, la complexité de l'intégration de l'équation maîtresse de Lindblad est considérablement réduite, et l'algorithme obtenu est entièrement déterministe. Nous appliquons ensuite cette méthode pour modéliser des algorithmes quantiques bruités, en simulant un algorithme quantique bruité de transformation de Fourier qui est au centre de l'algorithme de Shor pour la factorisation de nombre premiers. Nous trouvons une loi d'échelle pour l'erreur en fonction du taux de dissipation, et le comportement de l'infidélité par rapport au circuit idéal est modélisé en fonction des états initiaux qui sont fournis en entrée à l'algorithme. Ensuite, l'application des méthodes d'apprentissage automatique à la mécanique quantique est présentée, à travers la classe d'Ansatz des états quantiques neuronaux (NQS). La construction générale des NQS est introduite, ainsi que sa relation avec d'autres Ansatz tels que les réseaux tensoriels. Ensuite, le problème de la simulation de la dynamique des systèmes fermés avec NQS est étudié, ainsi que les problèmes courants liés à la géométrie de l'espace des paramètres qui peuvent survenir. Un schéma alternatif est introduit et appliqué aux quenches dépendantes du temps dans les systèmes critiques, où le mécanisme de Kibble-Zurek peut être étudié. Enfin, différentes constructions d'Ansatz pour les systèmes ouverts sont présentées, notamment la combinaison de la méthode du sous-espace dynamique avec un Ansatz neuronal. Enfin, nous étudions théoriquement la propagation de l'intrication dans les systèmes photoniques dissipatifs à forte interaction, motivés par la réalisation expérimentale récente de telles plateformes. Nos résultats montrent qu'en dépit du caractère dissipatif du système étudié, la propagation de l'intrication est ballistique avec une vitesse en accord avec l'image de quasiparticules impliquées dans la dynamique, des doublons et des holons photoniques. Notre analyse révèle que la dissipation est fortement asymétrique dans les deux cas étudiés de l'injection d'un doublon ou de son extraction, avec une influence plus forte dans le cas de l'extraction.