L'utilisation de l'intrication dans les jeux non-coopératifs, et la puissance de calcul des ordres causaux indéfinis Cette thèse explore deux phénomènes fondamentaux en physique : la non-localité, étudiée à travers l'utilisation de l'intrication dans les jeux non coopératifs; et la possibilité d'ordres causaux indéfinis, remettant en question l'hypothèse courante selon laquelle les procédures computationnelles doivent être exécutées dans un ordre séquentiel bien défini.Nos objectifs sont doubles. Nous cherchons d'abord à mieux comprendre l'utilisation de l'intrication dans les jeux multipartites avec intérêts conflictuels. Ces situations sont rarement abordées en théorie de l'information quantique, mais elles sont centrales en théorie des jeux, où intervient la notion d'équilibre de Nash. Renforcer le lien entre ces deux domaines pourrait offrir de nouvelles perspectives sur l'utilisation de l'intrication dans des scénarios non locaux. Nous analysons en particulier deux types de ressources quantiques : l'une où les joueurs ont un accès direct à un état quantique intriqué, et une seconde, que nous introduisons ici, où ils reçoivent des conseils classiques issus de dispositifs quantiques. Bien que ces deux ressources soient équivalentes dans des contextes coopératifs, nous montrons qu'elles diffèrent dans les jeux à intérêts conflictuels, menant à des équilibres de Nash distincts et à des solutions potentiellement différentes en termes de bien-être social.Dans la seconde partie, nous cherchons à mieux comprendre la puissance de calcul des ordres causaux indéfinis. Alors que le modèle standard des circuits quantiques suppose que les opérations sont appliquées selon un ordre causal bien défini, la possibilité de relaxer cette contrainte pour permettre des procédures de calcul causalement indéfinis a récemment suscité un vif intérêt, notamment via le formalisme des supermaps quantiques. Plusieurs avantages ad hoc, tant computationnels qu'en traitement de l'information, ont été mis en évidence, soulevant la question de savoir si de tels avantages peuvent être démontrés dans un cadre unifié de théorie de la complexité. Les supermaps étant mieux comprises comme un modèle de calcul utilisant des boîtes noires, nous commençons par étendre la notion de complexité de requête des fonctions booléennes au cadre computationnel généralisé des supermaps, tant dans le cas classique que quantique. Ensuite, en utilisant des supermaps à plusieurs tours (multi-round), nous définissons également des protocoles de communication bipartites et multipartites avec communication causalement indéfinie, ainsi que la notion généralisée de complexité de communication des fonctions booléennes qui en découle. En étendant ces différentes mesures de complexité aux scénarios causalement indéfinis, nous évaluons les limites et les avantages des ordres causaux indéfinis dans un cadre rigoureux de théorie de la complexité, le même cadre dans lequel sont habituellement formulées les séparations entre ordinateurs classiques et quantiques.
L'utilisation de l'intrication dans les jeux non-coopératifs, et la puissance de calcul des ordres causaux indéfinis Cette thèse explore deux phénomènes fondamentaux en physique : la non-localité, étudiée à travers l'utilisation de l'intrication dans les jeux non coopératifs; et la possibilité d'ordres causaux indéfinis, remettant en question l'hypothèse courante selon laquelle les procédures computationnelles doivent être exécutées dans un ordre séquentiel bien défini.Nos objectifs sont doubles. Nous cherchons d'abord à mieux comprendre l'utilisation de l'intrication dans les jeux multipartites avec intérêts conflictuels. Ces situations sont rarement abordées en théorie de l'information quantique, mais elles sont centrales en théorie des jeux, où intervient la notion d'équilibre de Nash. Renforcer le lien entre ces deux domaines pourrait offrir de nouvelles perspectives sur l'utilisation de l'intrication dans des scénarios non locaux. Nous analysons en particulier deux types de ressources quantiques : l'une où les joueurs ont un accès direct à un état quantique intriqué, et une seconde, que nous introduisons ici, où ils reçoivent des conseils classiques issus de dispositifs quantiques. Bien que ces deux ressources soient équivalentes dans des contextes coopératifs, nous montrons qu'elles diffèrent dans les jeux à intérêts conflictuels, menant à des équilibres de Nash distincts et à des solutions potentiellement différentes en termes de bien-être social.Dans la seconde partie, nous cherchons à mieux comprendre la puissance de calcul des ordres causaux indéfinis. Alors que le modèle standard des circuits quantiques suppose que les opérations sont appliquées selon un ordre causal bien défini, la possibilité de relaxer cette contrainte pour permettre des procédures de calcul causalement indéfinis a récemment suscité un vif intérêt, notamment via le formalisme des supermaps quantiques. Plusieurs avantages ad hoc, tant computationnels qu'en traitement de l'information, ont été mis en évidence, soulevant la question de savoir si de tels avantages peuvent être démontrés dans un cadre unifié de théorie de la complexité. Les supermaps étant mieux comprises comme un modèle de calcul utilisant des boîtes noires, nous commençons par étendre la notion de complexité de requête des fonctions booléennes au cadre computationnel généralisé des supermaps, tant dans le cas classique que quantique. Ensuite, en utilisant des supermaps à plusieurs tours (multi-round), nous définissons également des protocoles de communication bipartites et multipartites avec communication causalement indéfinie, ainsi que la notion généralisée de complexité de communication des fonctions booléennes qui en découle. En étendant ces différentes mesures de complexité aux scénarios causalement indéfinis, nous évaluons les limites et les avantages des ordres causaux indéfinis dans un cadre rigoureux de théorie de la complexité, le même cadre dans lequel sont habituellement formulées les séparations entre ordinateurs classiques et quantiques.
Les travaux récents en fondements de la théorie quantique (des champs) et en information quantique relativiste tentent de mieux comprendre les effets des contraintes de causalité imposées aux opérations physiques sur la structure des corrélations quantiques. Le premier chapitre de cette thèse est consacré à l'étude des implications conceptuelles de la non-localité quantique, notion qui englobe celle d'intrication dans un sens précis. Nous détaillons comment les récentes approches informationnelles tentent de saisir la structure des corrélations non-locales, ainsi que les questions que ces dernières soulèvent concernant la capacité d'un observateur localisé à isoler un système de son environnement. Le second chapitre détaille les effets de l'invariance de Poincaré sur la détection et la quantification de l'intrication. Cette invariance impose que tous les systèmes soient modélisés en dernière instance dans le cadre de la théorie des champs, ce qui implique qu'aucun système à énergie finie ne puisse être localisé, ainsi que la divergence de toute mesure d'intrication pour des observateurs localisés. Nous fournissons une solution à ces deux problèmes en démontrant l'équivalence générique qui existe entre une résolution spatiale finie des appareils de mesure et l'exclusion des degrés de liberté de haute énergie de la définition du système observé. Cette équivalence permet une interprétation épistémique du formalisme quantique standard décrivant les systèmes localisés non-relativistes et leurs corrélations, clarifiant ainsi l'origine des mesures finies d'intrication pour de tels systèmes. Le dernier chapitre explore un cadre théorique récemment introduit qui prédit l'existence de corrélations quantiques sans ordre causal défini. Procédant par analogie avec le cas des corrélations non-locales, nous présentons quelques principes informationnels contraignant la structure de ces corrélations dans le but de mieux en comprendre l'origine physique.
La théorie de l'information quantique s'est développée à une vitesse fulgurante au cours des vingt dernières années, avec des analogues et extensions des théorèmes de codage de source et de codage sur canal bruité pour la communication unidirectionnelle. Pour la communication interactive, un analogue quantique de la complexité de la communication a été développé, pour lequel les protocoles quantiques peuvent performer exponentiellement mieux que les meilleurs protocoles classiques pour certaines tâches classiques. Cependant, l'information quantique est beaucoup plus sensible au bruit que l'information classique. Il est donc impératif d'utiliser les ressources quantiques à leur plein potentiel. Dans cette thèse, nous étudions les protocoles quantiques interactifs du point de vue de la théorie de l'information et étudions les analogues du codage de source et du codage sur canal bruité. Le cadre considéré est celui de la complexité de la communication: Alice et Bob veulent faire un calcul quantique biparti tout en minimisant la quantité de communication échangée, sans égard au coût des calculs locaux. Nos résultats sont séparés en trois chapitres distincts, qui sont organisés de sorte à ce que chacun puisse être lu indépendamment. Étant donné le rôle central qu'elle occupe dans le contexte de la compression interactive, un chapitre est dédié à l'étude de la tâche de la redistribution d'état quantique. Nous prouvons des bornes inférieures sur les coûts de communication nécessaires dans un contexte interactif. Nous prouvons également des bornes atteignables avec un seul message, dans un contexte d'usage unique. Dans un chapitre subséquent, nous définissons une nouvelle notion de complexité de l'information quantique. Celle-ci caractérise la quantité d'information, plutôt que de communication, qu'Alice et Bob doivent échanger pour calculer une tâche bipartie. Nous prouvons beaucoup de propriétés structurelles pour cette quantité, et nous lui donnons une interprétation opérationnelle en tant que complexité de la communication quantique amortie. Dans le cas particulier d'entrées classiques, nous donnons une autre caractérisation permettant de quantifier le coût encouru par un protocole quantique qui oublie de l'information classique. Deux applications sont présentées: le premier résultat général de somme directe pour la complexité de la communication quantique à plus d'une ronde, ainsi qu'une borne optimale, à un terme polylogarithmique près, pour la complexité de la communication quantique avec un nombre de rondes limité pour la fonction « ensembles disjoints ». Dans un chapitre final, nous initions l'étude de la capacité interactive quantique pour les canaux bruités. Étant donné que les techniques pour distribuer de l'intrication sont bien étudiées, nous nous concentrons sur un modèle avec intrication préalable parfaite et communication classique bruitée. Nous démontrons que dans le cadre plus ardu des erreurs adversarielles, nous pouvons tolérer un taux d'erreur maximal de une demie moins epsilon, avec epsilon plus grand que zéro arbitrairement petit, et ce avec un taux de communication positif. Il s'ensuit que les canaux avec bruit aléatoire ayant une capacité positive pour la transmission unidirectionnelle ont une capacité positive pour la communication interactive quantique. Nous concluons avec une discussion de nos résultats et des directions futures pour ce programme de recherche sur une théorie de l'information quantique interactive.
Compatibilité et non-localité L'un des concepts majeurs introduit par la théorie quantique est celui de la compatibilité des mesures quantiques. Il existe certains types de mesures qui ne peuvent pas être effectuées en même temps. Ainsi, on dit que les mesures sont compatibles si on peut mesurer en même temps et d'autre sont incompatibles. L'autre concept majeur de la mécanique quantique est celui de la nonlocalité qui est l'un des concepts les plus contre-intuitifs de la physique quantique. Ce concept majeur est dû à John Bell qui a montré que la mécanique quantique est intrinsèquement non locale. Ainsi, on parle de violation des inégalités de Bell par la mécanique quantique. Aujourd'hui, la nonlocalité est comprise à travers les jeux nonlocaux. Un jeux nonlocal consiste en deux joueurs ou plus Alice et Bob jouant contre un arbitre. Ce dernier posera un certain nombre de questions aux joueurs qui devront générer un certain nombre de réponses en utilisant une stratégie classique ou quantique. Il se trouve que le maximum des réponses qu'Alice et Bob peuvent générer est intrinsèquement relié à une norme tensorielle caractérisant le jeu. Dans ce formalisme, l'utilisation des stratégies classiques est relié à la norme de la matrice du jeux lui-même, ainsi la violation des inégalités de Bell se traduit par une inégalité stricte entre les normes tensorielles. Le but de cette thèse consiste à comprendre l'incompatibilité des mesures quantiques ainsi que le lien avec les inégalités de Bell. Dans un premier temps, nous avons introduit la compatibilité des mesures quantiques sous un nouveau point de vue, et analysé les types de bruit qu'on peut effectuer à fin de rendre le système compatible. Ce nouveau point de vue consiste à comprendre et à analyser l'effet de la dimension de l'espace de Hilbert sur l'incompatibilité des mesures. Par ailleurs à fin de rendre des mesures compatibles, on peut introduire l'effet d'un bruit. Comme application, certains états connu sous le nom de MUB sont de nature incompatible, on montre même si on rajoute du bruit aux MUB celle-ci restant incompatible, il existe une isométrie et un espace de Hilbert de dimension plus petite rendant les MUB compatibles. Dans un deuxième temps, nous avons analysé le lien intrinsèque reliant l'incompatibilité des mesures quantique et la violation des inégalités de Bell. Pour cela, on a considéré le cadre des jeux nonlocaux, où les mesures d'Alice sont fixées. Il est connu qu'une violation des inégalités de Bell nécessite l'utilisation des mesures incompatibles. Par ailleurs, si Alice veut savoir si elle observera une violation des inégalités de Bell si elle utilise des mesures incompatibles. Pour cela, elle doit calculer deux normes tensorielles d'un tenseur construit à partir de ses mesures. Ces normes tensorielles vont caractériser d'une part la compatibilité des mesures d'Alice et d'autre part la violation des inégalités de Bell. Dans ce cadre naturel, comprendre le lien entre incompatibilité des mesures quantiques et la violation des inégalités de Bell, revient à comparer les deux normes tensorielles. Or, il se trouve que pour le jeu CHSH ces deux normes sont égales, mais on peut montrer généralement qu'elles ne le sont pas. On peut se demander s'il existe d'autre types de jeux satisfaisant cette égalité des normes tensorielles ? Il se trouve que nous avons montré qu'avec des conditions suffisantes, seul le jeux CHSH à constante multiplicative près donne l'égalité entre les normes tensorielles.
Relations causales multipartites en théorie quantique Ces dernières années, une grande attention a été portée à l'étude des relations causales en théorie quantique. Plus particulièrement, il a été montré qu'il est possible de concevoir des scénarios dans lesquelles des parties réalisent des opérations qui sont compatibles avec la théorie quantique, mais qui ne peuvent pas être intégrées dans une structure causale globale. De tels ordres causaux indéfinis sont intéressants d'un point de vue fondamental, mais aussi sous l'angle de l'informatique quantique, étant donné qu'ils sortent du paradigme habituel des circuits quantiques, dans lequel on présuppose un ordre causal bien défini. L'objectif principal de cette thèse est d'étudier des relations causales indéfinies dans des scénarios comportant plus de deux parties. Comparées au cas bipartite, les situations multipartites font apparaître des aspects et problèmes nouveaux qui nécessitent d’être clarifiés afin de comprendre fondamentalement les structures causales quantiques indéfinies, et de mettre en évidence leurs implications et leur utilité potentielle pour l’informatique quantique.Une approche particulière pour étudier des relations causales quantiques est le formalisme des matrices de processus. Dans ce formalisme, le concept de la non-séparabilité causale a été introduit afin de qualifier des scénarios qui ne sont pas compatibles avec un ordre causal. Dans le chapitre 2, nous étudions comment généraliser ce concept au cas multipartite, comment caractériser des processus multipartites causalement (non)-séparables, et comment certifier la non-séparabilité causale multipartite. Un autre sujet important est de déterminer quels scénarios quantiques avec un ordre causal indéfini sont physiquement réalisables, et comment ils peuvent être réalisés concrètement. Dans le chapitre 3, nous introduisons deux nouvelles classes de processus quantiques multipartites qui sont réalisables en pratique et nous caractérisons les matrices de processus correspondantes. En particulier, nous définissons la classe des circuits quantiques avec un ordre causal contrôlé de manière quantique. L'exemple le plus simple d'un tel circuit est le quantum switch : un protocole dans lequel l'ordre entre deux opérations est contrôlé par un qubit dans un état de superposition, et qui définit un processus causalement non-séparable. La classe que nous introduisons contient des exemples plus généraux de processus causalement non-séparables avec de nouvelles propriétés. Nous montrons ensuite comment la caractérisation des processus de cette classe nous permet d'étudier de nouvelles applications de la non-séparabilité causale. Dans le chapitre 4, nous étudions un effet particulier de communication quantique dans un scénario avec un contrôle cohérent entre deux canaux quantiques. Ceci nous conduit à une analyse plus générale de la notion de canal quantique contrôlé de façon cohérente, qui implique certaines subtilités. Dans le chapitre 5, nous abordons un autre problème inhérent aux scénarios multipartites, qui est de savoir si un phénomène donné est véritablement multipartite (<< genuinely multipartite >>) ou non. Plus particulièrement, nous étudions des corrélations (non)-causales << véritablement multipartites >>. Dans le chapitre 6, nous mettons en évidence que des valeurs faibles anormales sont possibles sans post-sélection. Enfin, dans le chapitre 7, nous montrons qu'une certaine classe de matrices de processus tripartites, à savoir celles qui sont unitairement extensibles, ont une réalisation sur des sous-systèmes dits temporellement délocalisés, c'est-à-dire des sous-systèmes quantiques qui ne sont pas associés à un temps bien défini. Cette classe est plus grande que la classe des circuits quantiques avec un ordre causal contrôlé de manière quantique. Un point intéressant est qu'elle contient des processus qui violent des inégalités causales.
Protocoles de chiffrement quantiques de plusieurs parties en environnements réalistes Cette thèse se situe à l’interface entre la théorie quantique et les expériences, en mettant l’accent sur les protocoles pratiques qui peuvent être mises en place en utilisant la technologie présente. Notre objectif est de contribuer à la construction d’un cadre général pour la conception et la mise en oeuvre de schémas de chiffrement quantiques qui permettront d’améliorer la sécurité des futurs réseaux de télécommunication. En outre, cette thèse veut avancer la recherche pertinente sur la physique quantique et l’informatique, en améliorant notre compréhension du phénomène d’intrication. Les corrélations des états intriqués ne peuvent pas être reproduites par des moyens classiques, ce qui permet d’effectuer des tâches (par exemple la téléportation et le codage super-dense) qui sont autrement impossibles. Il est donc d’une importance majeure d’être capables de vérifier si un état quantique est intriqué. Dans cette thèse, nous montrons comment vérifier efficacement si une source physique peut créer des états intriqués multipartites et les partager avec de nombreuses parties, dont certains sont malhonnêtes et collaborent avec la source. Ce protocole pourrait s’avérer essentiel pour tout type de calcul quantique entre les parties méfiantes et pourrait aussi faciliter la délégation sécurisée des tâches de calcul aux serveurs quantiques puissants qui ne sont pas fiables. Finalement, nous étudions le lien entre la théorie des jeux et la non-localité quantique, dans le cadre de jeux bayésiens. Nous examinons comment l’intrication partagé aide les joueurs gagner un jeu avec une probabilité plus élevée que les ressources classiques pourraient atteindre.
Corrélations quantiques et structures causales Les travaux récents en fondements de la théorie quantique (des champs) et en information quantique relativiste tentent de mieux comprendre les effets des contraintes de causalité imposées aux opérations physiques sur la structure des corrélations quantiques. Le premier chapitre de cette thèse est consacré à l'étude des implications conceptuelles de la non-localité quantique, notion qui englobe celle d'intrication dans un sens précis. Nous détaillons comment les récentes approches informationnelles tentent de saisir la structure des corrélations non-locales, ainsi que les questions que ces dernières soulèvent concernant la capacité d'un observateur localisé à isoler un système de son environnement. Le second chapitre détaille les effets de l'invariance de Poincaré sur la détection et la quantification de l'intrication. Cette invariance impose que tous les systèmes soient modélisés en dernière instance dans le cadre de la théorie des champs, ce qui implique qu'aucun système à énergie finie ne puisse être localisé, ainsi que la divergence de toute mesure d'intrication pour des observateurs localisés. Nous fournissons une solution à ces deux problèmes en démontrant l'équivalence générique qui existe entre une résolution spatiale finie des appareils de mesure et l'exclusion des degrés de liberté de haute énergie de la définition du système observé. Cette équivalence permet une interprétation épistémique du formalisme quantique standard décrivant les systèmes localisés non-relativistes et leurs corrélations, clarifiant ainsi l'origine des mesures finies d'intrication pour de tels systèmes. Le dernier chapitre explore un cadre théorique récemment introduit qui prédit l'existence de corrélations quantiques sans ordre causal défini. Procédant par analogie avec le cas des corrélations non-locales, nous présentons quelques principes informationnels contraignant la structure de ces corrélations dans le but de mieux en comprendre l'origine physique.