L'informatique quantique est basée sur des phénomènes de physique quantique, tels que superposition et intrication et elle promet de révolutionner le monde de l'informatique. La photonique est une plateforme de premier plan pour réaliser l'informatique quantique tolérante aux erreurs. Elle possède plusieurs qualités : fonctionnement à température ambiante, fabricabilité à grande échelle à l'aide des fonderies existantes pour les puces de silicium et compatibilité avec les communications optique pour interconnecter différents ordinateurs quantiques.Notre objectif principal est d'automatiser la conception de circuits quantiques photoniques et de leurs interconnexions. Avant de pouvoir fabriquer un véritable ordinateur quantique photonique, il est essentiel de simuler numériquement et d'optimiser les circuits correspondants, qui sont en pratique construits à partir de composants gaussiens tels que des squeezers, des séparateurs de faisceaux, des déphaseurs et des détections homodynes. Pour atteindre l'universalité, nous avons également besoin d'effets non gaussiens, qui peuvent être fournis par des détecteurs résolvant le nombre de photons. Nous concevons des circuits à partir de cette boîte à outils et les optimisons pour diverses applications en utilisant divers algorithmes de descente de gradient, dont certains que nous avons adaptés à notre objectif.Les principaux apports sont :1. En photonique, les représentations de l'espace de Fock et de l'espace de phase sont des formalismes utiles pour décrire les états et les transformations quantiques. Nous introduisons une représentation unifiée dans l'espace de Fock de tous les objets gaussiens en termes d'une seule relation de récurrence linéaire qui peut générer de manière récursive leurs amplitudes dans l'espace de Fock.2. On retrouve la règle de composition des opérations gaussiennes dans l'espace de Fock, qui permet d'obtenir la bonne phase globale lors de la composition des opérations gaussiennes (normalement absente), et donc d'étendre notre modèle à des états qui s'écrivent comme combinaisons linéaires de gaussiennes.3. Notre représentation récursive est différentiable, permettant à calculer des gradients. Nous adaptons ensuite l'optimisation basée sur les gradients au problème d'optimisation des circuits. Nous implémentons un optimiseur Euclidien afin d'optimiser chaque composant. Ensuite, nous étudions deux manières de prendre en compte la géométrie: d'abord, nous appliquons l'optimisation Riemannienne, en combinant toutes les opérations gaussiennes en une transformation globale pour trouver ensuite la transformation optimisée, et la décomposer en composants optiques fondamentaux. Deuxièmement, nous généralisons une version complexe du gradient naturel pour les circuits afin d'accélérer le processus d'apprentissage.4. Nous donnons également quelques stratégies optimales basées sur les tâches pour utiliser nos relations de récurrence. De nouveaux algorithmes sont proposés pour calculer, par exemple, les amplitudes d'un état mixte et la matrice de transformation des interféromètres. De plus, nous dérivons un algorithme de contraction rapide pour les transformations gaussiennes, qui nous permet de "fusionner" le calcul des amplitudes d'une transformation gaussienne et son action sur n'importe quel état.5. Avec la simulation sur des circuits quantiques photoniques différentiables construits à partir de la relation de récurrence, nous pouvons concevoir automatiquement des circuits quantiques photoniques. Nous donnons la préparation de l'état comme premier exemple ; nous trouvons des circuits capables de produire des états de haute fidélité dans un temps raisonnable. Nous pouvons aussi optimiser un interféromètre à 216 modes pour rendre une expérience d'échantillonnage de boson gaussien difficile à usurper.6. Nous avons rendu ce travail accessible dans diverses bibliothèques open source: TheWalrus, StrawberryFields, Poenta et MrMustard.
L'informatique quantique est basée sur des phénomènes de physique quantique, tels que superposition et intrication et elle promet de révolutionner le monde de l'informatique. La photonique est une plateforme de premier plan pour réaliser l'informatique quantique tolérante aux erreurs. Elle possède plusieurs qualités : fonctionnement à température ambiante, fabricabilité à grande échelle à l'aide des fonderies existantes pour les puces de silicium et compatibilité avec les communications optique pour interconnecter différents ordinateurs quantiques.Notre objectif principal est d'automatiser la conception de circuits quantiques photoniques et de leurs interconnexions. Avant de pouvoir fabriquer un véritable ordinateur quantique photonique, il est essentiel de simuler numériquement et d'optimiser les circuits correspondants, qui sont en pratique construits à partir de composants gaussiens tels que des squeezers, des séparateurs de faisceaux, des déphaseurs et des détections homodynes. Pour atteindre l'universalité, nous avons également besoin d'effets non gaussiens, qui peuvent être fournis par des détecteurs résolvant le nombre de photons. Nous concevons des circuits à partir de cette boîte à outils et les optimisons pour diverses applications en utilisant divers algorithmes de descente de gradient, dont certains que nous avons adaptés à notre objectif.Les principaux apports sont :1. En photonique, les représentations de l'espace de Fock et de l'espace de phase sont des formalismes utiles pour décrire les états et les transformations quantiques. Nous introduisons une représentation unifiée dans l'espace de Fock de tous les objets gaussiens en termes d'une seule relation de récurrence linéaire qui peut générer de manière récursive leurs amplitudes dans l'espace de Fock.2. On retrouve la règle de composition des opérations gaussiennes dans l'espace de Fock, qui permet d'obtenir la bonne phase globale lors de la composition des opérations gaussiennes (normalement absente), et donc d'étendre notre modèle à des états qui s'écrivent comme combinaisons linéaires de gaussiennes.3. Notre représentation récursive est différentiable, permettant à calculer des gradients. Nous adaptons ensuite l'optimisation basée sur les gradients au problème d'optimisation des circuits. Nous implémentons un optimiseur Euclidien afin d'optimiser chaque composant. Ensuite, nous étudions deux manières de prendre en compte la géométrie: d'abord, nous appliquons l'optimisation Riemannienne, en combinant toutes les opérations gaussiennes en une transformation globale pour trouver ensuite la transformation optimisée, et la décomposer en composants optiques fondamentaux. Deuxièmement, nous généralisons une version complexe du gradient naturel pour les circuits afin d'accélérer le processus d'apprentissage.4. Nous donnons également quelques stratégies optimales basées sur les tâches pour utiliser nos relations de récurrence. De nouveaux algorithmes sont proposés pour calculer, par exemple, les amplitudes d'un état mixte et la matrice de transformation des interféromètres. De plus, nous dérivons un algorithme de contraction rapide pour les transformations gaussiennes, qui nous permet de "fusionner" le calcul des amplitudes d'une transformation gaussienne et son action sur n'importe quel état.5. Avec la simulation sur des circuits quantiques photoniques différentiables construits à partir de la relation de récurrence, nous pouvons concevoir automatiquement des circuits quantiques photoniques. Nous donnons la préparation de l'état comme premier exemple ; nous trouvons des circuits capables de produire des états de haute fidélité dans un temps raisonnable. Nous pouvons aussi optimiser un interféromètre à 216 modes pour rendre une expérience d'échantillonnage de boson gaussien difficile à usurper.6. Nous avons rendu ce travail accessible dans diverses bibliothèques open source: TheWalrus, StrawberryFields, Poenta et MrMustard.
Conception automatisée de circuits quantiques photoniques L'informatique quantique est basée sur des phénomènes de physique quantique, tels que superposition et intrication et elle promet de révolutionner le monde de l'informatique. La photonique est une plateforme de premier plan pour réaliser l'informatique quantique tolérante aux erreurs. Elle possède plusieurs qualités : fonctionnement à température ambiante, fabricabilité à grande échelle à l'aide des fonderies existantes pour les puces de silicium et compatibilité avec les communications optique pour interconnecter différents ordinateurs quantiques.Notre objectif principal est d'automatiser la conception de circuits quantiques photoniques et de leurs interconnexions. Avant de pouvoir fabriquer un véritable ordinateur quantique photonique, il est essentiel de simuler numériquement et d'optimiser les circuits correspondants, qui sont en pratique construits à partir de composants gaussiens tels que des squeezers, des séparateurs de faisceaux, des déphaseurs et des détections homodynes. Pour atteindre l'universalité, nous avons également besoin d'effets non gaussiens, qui peuvent être fournis par des détecteurs résolvant le nombre de photons. Nous concevons des circuits à partir de cette boîte à outils et les optimisons pour diverses applications en utilisant divers algorithmes de descente de gradient, dont certains que nous avons adaptés à notre objectif.Les principaux apports sont :1. En photonique, les représentations de l'espace de Fock et de l'espace de phase sont des formalismes utiles pour décrire les états et les transformations quantiques. Nous introduisons une représentation unifiée dans l'espace de Fock de tous les objets gaussiens en termes d'une seule relation de récurrence linéaire qui peut générer de manière récursive leurs amplitudes dans l'espace de Fock.2. On retrouve la règle de composition des opérations gaussiennes dans l'espace de Fock, qui permet d'obtenir la bonne phase globale lors de la composition des opérations gaussiennes (normalement absente), et donc d'étendre notre modèle à des états qui s'écrivent comme combinaisons linéaires de gaussiennes.3. Notre représentation récursive est différentiable, permettant à calculer des gradients. Nous adaptons ensuite l'optimisation basée sur les gradients au problème d'optimisation des circuits. Nous implémentons un optimiseur Euclidien afin d'optimiser chaque composant. Ensuite, nous étudions deux manières de prendre en compte la géométrie: d'abord, nous appliquons l'optimisation Riemannienne, en combinant toutes les opérations gaussiennes en une transformation globale pour trouver ensuite la transformation optimisée, et la décomposer en composants optiques fondamentaux. Deuxièmement, nous généralisons une version complexe du gradient naturel pour les circuits afin d'accélérer le processus d'apprentissage.4. Nous donnons également quelques stratégies optimales basées sur les tâches pour utiliser nos relations de récurrence. De nouveaux algorithmes sont proposés pour calculer, par exemple, les amplitudes d'un état mixte et la matrice de transformation des interféromètres. De plus, nous dérivons un algorithme de contraction rapide pour les transformations gaussiennes, qui nous permet de "fusionner" le calcul des amplitudes d'une transformation gaussienne et son action sur n'importe quel état.5. Avec la simulation sur des circuits quantiques photoniques différentiables construits à partir de la relation de récurrence, nous pouvons concevoir automatiquement des circuits quantiques photoniques. Nous donnons la préparation de l'état comme premier exemple ; nous trouvons des circuits capables de produire des états de haute fidélité dans un temps raisonnable. Nous pouvons aussi optimiser un interféromètre à 216 modes pour rendre une expérience d'échantillonnage de boson gaussien difficile à usurper.6. Nous avons rendu ce travail accessible dans diverses bibliothèques open source: TheWalrus, StrawberryFields, Poenta et MrMustard.
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.
Emission de lumière non-classique par des cavités à cristaux photoniques La photonique quantique intégrée promet d'amener l'optique quantique vers un dispositif pratique. L'objectif principal de ce domaine est d'atteindre une intégration évolutive pour diverses applications, notamment l'informatique quantique, la simulation, la communication et la détection. Dans un circuit quantique, des photons, qui portent l'état quantique, sont générés, manipulés à l'aide de composants linéaires et non linéaires, puis détectés. L'objectif de cette étude doctorale est de contribuer au développement de sources de lumière non classique efficaces et évolutives, pour la génération d'intrication, de photons uniques et d'états comprimés. À cette fin, nous introduisons une nouvelle classe de sources basée sur des résonateurs à cristaux photoniques (PhC) et nous démontrons des performances à l'état de l'art en termes d'efficacité et de « footprint ». Les cavités PhC ont été envisagées pour l'optique quantique sans toutefois atteindre des performances suffisantes. Par conséquent, les micro-disques et anneaux ont été couramment utilisés comme sources pour la photonique quantique intégrée.Encouragés par la démonstration des premières oscillations paramétriques optiques (OPO) utilisant une cavité à cristaux photoniques, nous avons exploré l'application potentielle de cette technologie dans le domaine de l'optique quantique. En dessous du seuil, l'OPO génère des paires de photons corrélées grâce à un processus paramétrique spontané, en particulier le mélange à quatre ondes spontané. Les OPO sont couramment utilisés pour générer des paires de photons intriqués et des états « squeezés ». Il est crucial que la cavité contienne trois modes equi-espacés qui correspondent aux fréquences des photons en interaction, car cela garantit une efficacité maximale.Deux géométries de cavités à cristaux photoniques ont été considérées : Nanobeam et Bichromatic, toutes deux constituées de phosphure d'indium-gallium. Le principal résultat est la génération ultra-efficace de paires de photons corrélés dans le temps. Cela confirme nos attentes fondées sur le seuil ultra-bas de l'OPO. En tenant compte de l'état de l'art, nous montrons que l'efficacité est proportionnelle au volume d'interaction dans la cavité. Par conséquent, l'origine de l'efficacité très élevée réside dans le volume très réduit des cavités à cristaux photoniques. De plus, cela implique également une « footprint » réduite sur la puce, ce qui favorise la « scalabilité ». Nous avons ensuite caractérisé davantage les propriétés des photons générés, notamment l'intrication temps-énergie, l'émission de photons uniques annoncés et l'émission de paires de photons en régime pulsé, une étape essentielle vers la démonstration de l'intrication dit « time-bin ». De plus, des étapes préliminaires ont été entreprises pour générer des états comprimés à deux modes. En outre, nous avons également étudié la dynamique classique au-dessus du seuil OPO en échantillonnant son espace de paramètres grâce à des mesures effectuées sur un grand nombre de dispositifs. Cela nous a permis d'établir une condition pour le fonctionnement de l'OPO, en accord avec un modèle mettant en avant le rôle limitant de l'absorption non linéaire. Nous avons également mis en évidence des instabilités potentielles dans le fonctionnement de l'OPO. Enfin, nous avons commencé à aborder la question de la « scalabilité » en réalisant une analyse statistique sur plus de 650 cavités afin d'étudier l'impact des tolérances de fabrication.Ainsi, nous avons démontré des sources quantiques à base de cavités à cristaux photoniques avec un niveau exceptionnel d'efficacité. Cela suggère une nouvelle approche prometteuse pour le développement de sources évolutives au sein des circuits quantiques intégrés.
AlGaAs quantum photonics : from device engineering to quantum information protocols La photonique quantique intégrée est l'une des principales approches pour la réalisation de technologies quantiques versatiles et flexibles. Les applications les plus notables vont du calcul quantique et la simulation quantiques aux communications sécurisées. Dans cette thèse, nous relevons certains des défis actuels de la photonique quantique intégrée avec l'aide de la plate-forme AlGaAs. Grâce à sa non-linéarite optique du second ordre, son haut indice de réfraction et son important coefficient électro-optique, ce matériau est particulièrement adapté à la génération et la manipulation sur puce de paires de photons intriqués à température ambiante et aux longueurs d'onde télécom. Ce travail de thèse est divisé en deux axes de recherches parallèles : d'une part l'intégration monolithique de nouvelles fonctionnalités sur une puce photonique quantique AlGaAs et d'autre part l'application des sources AlGaAs de photons intriqués aux communications quantiques. Dans le premier projet, nous avons commencé par montrer l'intégration monolithique d'une ligne à retard électro-optique avec une source SPDC AlGaAs de paires de photons. La ligne à retard présente une tension pi/2 de 9 V, ce qui permet de contrôler l'état des photons directement sur la puce en utilisant des composants électroniques standards. En outre, nous sommes parvenus à intégrer un séparateur de polarisation large-bande avec une source AlGaAs sur une même puce monolithique. Ce dispositif a permis de montrer une séparation efficace des polarisation avec un taux de séparation excédant les 90 % sur une bande spectrale de 45 nm. Nous avons caractérisé l'indiscernabilité spectrale des photons intriqués à la sortie du séparateur de polarisation en réalisant une interférométrie Hong-Ou-Mandel. Nous avons mesuré une visibilité de 80 %, intrinsèquement limitée par la biréfringence de la source, ce qui montre que nous parvenons à séparer de manière déterministe les paires de photons directement sur puce sans altérer leur état quantique. Dans le second projet, nous exploitons la haute qualité et large bande spectral de l'état intriqué en polarisation généré par notre source SPDC AlGaAs pour construire un réseau de communication quantique reconfigurable. Nous avons tout d'abord montré la haute qualité de l'intrication en mesurant une fidélité à un état de Bell de plus de 95 % sur une bande spectrale de 26 nm. Nous avons ensuite combiné notre source avec des techniques de multiplexage flexible en longueur d'onde issues de l'industrie télécom afin de démontrer la distribution d'intrication dans un réseau reconfigurable comprenant jusqu'à 8 utilisateurs. Nous avons appliqué notre architecture à la distribution de clé quantique en montrant un faible taux d'erreurs et un haut taux de clé secrète sur une multitude de canaux fréquentiels en incluant les effets de taille finie, le tout à travers des lien fibrés à l'échelle métropolitaine. Enfin, nous avons illustré la flexibilité de notre architecture en adaptant l'allocation de bande passante à certaines contraintes du réseau telles que le déséquilibre entre les distances des liens inter-utilistateurs. L'ensemble de ces résultats montre le potentiel de la plateforme AlGaAs pour l'implémentation de technologies quantiques versatiles ainsi que leur intégration dans les futurs réseaux quantiques à grande échelle.
Information quantique basée sur la mesure avec des peignes de fréquences optiques Ce manuscrit porte sur l’étude théorique de techniques expérimentales récemment développées pour réaliser des protocoles d’information quantique en variables continues. Les états Gaussiens multi-modes produits par conversion paramétrique de peignes de fréquences optiques jouent un rôle centrale dans ce travail. Ce phénomène permet de générer de façon déterministe un grand nombre d’états Gaussiens de la lumière. L’état de sortie peut ensuite être de-Gaussifié par soustraction ou addition d’un photon dans une superposition cohérente de modes du champ, puis mesuré par détection homodyne. La thèse est organisée en trois projets principaux. Le premier concerne l’optimisation du spectre du laser de pompe pour manipuler l’état de sortie de la conversion paramétrique. Nous avons développé les outils mathématiques pour traiter des profils spectraux avec amplitude et phase spectrales arbitraires. On a ensuite utilisé un algorithme d’optimisation pour trouver les spectres maximisant des différentes propriétés de l’état de sortie. Une importance particulière est donnée à la production d’"états cluster" en variables continues. Les optimisations ont été développées pour prendre en compte les limitations expérimentales pour assurer la faisabilité des forme spectrales dans les expériences. Dans le deuxième projet nous avons étudié comment les états non-Gaussiens obtenus par soustraction d’un photon d’un état comprimé peuvent être utilisés pour le calcul quantique. Nous proposons un protocole inspiré par le paradigme de "calcul quantique basé sur la mesure" qui combine l’état de-Gaussifié et la mesure homodyne pour approximer des opérateurs unitaires non-Gaussiens. On montre que les mêmes résultats peuvent être obtenus avec des mesure projectives sur des états de photon unique. Finalement, le troisième projet porte sur le partage de secret quantique ("quantum secret sharing"). Dans les protocoles de partage de secret quantique un donneur veut distribuer de l’information codée dans un système quantique à plusieurs joueurs d’une façon qui oblige des sous-ensembles de joueurs à collaborer s’ils veulent retrouver l’information originale. Nous avons développé un protocole qui peut être transféré aux expériences de notre groupe et nous avons participé à la formulation d’une preuve de concept expérimentale. À partir de cela, nous avons dérivé des résultats généraux sur le partage et la reconstruction d’états arbitraires de la lumière en utilisant des ressources Gaussiennes.