Techniques d'Information Quantique pour la Métrologie Quantique La métrologie quantique est une discipline prometteuse de l'information quantique qui connaît actuellement une vague de percées expérimentales et de développements théoriques. L'objectif principal de la métrologie quantique est d'estimer des paramètres inconnus aussi précisément que possible. En utilisant des ressources quantiques comme sondes, il est possible d'atteindre une précision de mesure qui serait autrement impossible en utilisant les meilleures stratégies classiques. Par exemple, en ce qui concerne la tâche d'estimation de la phase, la précision maximale (la limite d'Heisenberg) est un gain de précision quadratique par rapport aux meilleures stratégies classiques. Bien entendu, la métrologie quantique n'est pas la seule technologie quantique qui connaît actuellement des avancées. Le thème de cette thèse est l'exploration de la manière dont la métrologie quantique peut être améliorée par d'autres techniques quantiques lorsque cela est approprié, à savoir : les états graphiques, la correction d'erreurs et la cryptographie. Les états de graphes sont une ressource incroyablement utile et polyvalente dans l'information quantique. Nous aidons à déterminer l'étendue de l'applicabilité des états de graphes en quantifiant leur utilité pour la tâche de métrologie quantique de l'estimation de phase. En particulier, l'utilité d'un état de graphe peut être caractérisée en fonction de la forme du graphe correspondant. À partir de là, nous concevons une méthode pour transformer tout état de graphe en un état de graphe plus grand (appelé "bundled graph states") qui sature approximativement la limite de Heisenberg. En outre, nous montrons que les états de graphe constituent une ressource robuste contre les effets du bruit (le déphasage et un petit nombre d'effacements) et que la limite quantique de Cramér-Rao peut être saturée par une simple stratégie de mesure. Le bruit issu de l’environnement est l'un des principaux obstacles à la métrologie quantique, qui limite la précision et la sensibilité qu'elle peut atteindre. Il a été démontré que si le bruit environnemental peut être distingué de la dynamique de la tâche de métrologie quantique, des applications fréquentes de correction d'erreurs peuvent être utilisées pour combattre les effets du bruit. En pratique, cependant, la fréquence de correction d'erreurs requise pour maintenir une précision de type Heisenberg est impossible à atteindre pour les technologies quantiques actuelles. Nous explorons les limites de la métrologie quantique améliorée par la correction d'erreurs en prenant en compte les contraintes et les obstacles technologiques, à partir desquels nous établissons le régime dans lequel la limite d'Heisenberg peut être maintenue en présence de bruit. La mise en œuvre complète d'un problème de métrologie quantique est technologiquement exigeante : des états quantiques intriqués doivent être générés et mesurés avec une grande fidélité. Une solution, dans le cas où l'on ne dispose pas de tout le matériel quantique nécessaire, consiste à déléguer une tâche à un tiers. Ce faisant, plusieurs problèmes de sécurité se posent naturellement en raison de la possibilité d'interférence d'un adversaire malveillant. Nous abordons ces questions en développant la notion de cadre cryptographique pour la métrologie quantique. Nous montrons que la précision du problème de la métrologie quantique peut être directement liée à la solidité d'un protocole cryptographique employé. En outre, nous développons des protocoles cryptographiques pour une variété de paramètres motivés par la cryptographie, à savoir : la métrologie quantique sur un canal quantique non sécurisé et la métrologie quantique avec une tâche déléguée à une partie non fiable. Les réseaux de détection quantique ont suscité un intérêt croissant dans la communauté de la métrologie quantique au cours des dernières années. Ils constituent un choix naturel pour les problèmes distribués dans l'espace et les problèmes multiparamètres.[...]
Techniques d'Information Quantique pour la Métrologie Quantique La métrologie quantique est une discipline prometteuse de l'information quantique qui connaît actuellement une vague de percées expérimentales et de développements théoriques. L'objectif principal de la métrologie quantique est d'estimer des paramètres inconnus aussi précisément que possible. En utilisant des ressources quantiques comme sondes, il est possible d'atteindre une précision de mesure qui serait autrement impossible en utilisant les meilleures stratégies classiques. Par exemple, en ce qui concerne la tâche d'estimation de la phase, la précision maximale (la limite d'Heisenberg) est un gain de précision quadratique par rapport aux meilleures stratégies classiques. Bien entendu, la métrologie quantique n'est pas la seule technologie quantique qui connaît actuellement des avancées. Le thème de cette thèse est l'exploration de la manière dont la métrologie quantique peut être améliorée par d'autres techniques quantiques lorsque cela est approprié, à savoir : les états graphiques, la correction d'erreurs et la cryptographie. Les états de graphes sont une ressource incroyablement utile et polyvalente dans l'information quantique. Nous aidons à déterminer l'étendue de l'applicabilité des états de graphes en quantifiant leur utilité pour la tâche de métrologie quantique de l'estimation de phase. En particulier, l'utilité d'un état de graphe peut être caractérisée en fonction de la forme du graphe correspondant. À partir de là, nous concevons une méthode pour transformer tout état de graphe en un état de graphe plus grand (appelé "bundled graph states") qui sature approximativement la limite de Heisenberg. En outre, nous montrons que les états de graphe constituent une ressource robuste contre les effets du bruit (le déphasage et un petit nombre d'effacements) et que la limite quantique de Cramér-Rao peut être saturée par une simple stratégie de mesure. Le bruit issu de l’environnement est l'un des principaux obstacles à la métrologie quantique, qui limite la précision et la sensibilité qu'elle peut atteindre. Il a été démontré que si le bruit environnemental peut être distingué de la dynamique de la tâche de métrologie quantique, des applications fréquentes de correction d'erreurs peuvent être utilisées pour combattre les effets du bruit. En pratique, cependant, la fréquence de correction d'erreurs requise pour maintenir une précision de type Heisenberg est impossible à atteindre pour les technologies quantiques actuelles. Nous explorons les limites de la métrologie quantique améliorée par la correction d'erreurs en prenant en compte les contraintes et les obstacles technologiques, à partir desquels nous établissons le régime dans lequel la limite d'Heisenberg peut être maintenue en présence de bruit. La mise en œuvre complète d'un problème de métrologie quantique est technologiquement exigeante : des états quantiques intriqués doivent être générés et mesurés avec une grande fidélité. Une solution, dans le cas où l'on ne dispose pas de tout le matériel quantique nécessaire, consiste à déléguer une tâche à un tiers. Ce faisant, plusieurs problèmes de sécurité se posent naturellement en raison de la possibilité d'interférence d'un adversaire malveillant. Nous abordons ces questions en développant la notion de cadre cryptographique pour la métrologie quantique. Nous montrons que la précision du problème de la métrologie quantique peut être directement liée à la solidité d'un protocole cryptographique employé. En outre, nous développons des protocoles cryptographiques pour une variété de paramètres motivés par la cryptographie, à savoir : la métrologie quantique sur un canal quantique non sécurisé et la métrologie quantique avec une tâche déléguée à une partie non fiable. Les réseaux de détection quantique ont suscité un intérêt croissant dans la communauté de la métrologie quantique au cours des dernières années. Ils constituent un choix naturel pour les problèmes distribués dans l'espace et les problèmes multiparamètres.[...]
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.
Grâce à leur grande sensibilité intrinsèque, les plateformes d'atomes froids constituent des systèmes de choix pour la réalisation de mesures de haute précision. Le travail présenté dans cette thèse vise à répondre à la question suivante : quelle est la précision maximale pouvant être atteinte pour la mesure d'un paramètre physique donné en un laps de temps fini ? Pour aborder cette problématique, le formalisme de l'information de Fisher s'avère particulièrement adapté. Selon ce formalisme, la précision sur l'estimation d'un paramètre reposant sur les résultats d'une expérience est bornée par l'inverse de la racine carrée du nombre de mesures, multiplié par l'information de Fisher. Deux notions d'information de Fisher doivent être distinguées : l'information de Fisher classique, qui détermine la précision accessible pour un protocole de mesure donné, et l'information de Fisher quantique, qui borne l'information de Fisher classique quel que soit le protocole de mesure et définit la quantité maximale d'information accessible indépendamment du choix des mesures réalisées. L'objectif de ce travail a ainsi été de développer des méthodes de maximisation de l'information de Fisher, tant classique que quantique, afin d'améliorer la précision des mesures. Ces méthodes ont ensuite été mises en œuvre sur notre dispositif expérimental constitué d'un condensat de Bose-Einstein d'atomes de rubidium-87, placé dans un réseau optique périodique contrôlable en phase et en amplitude. L'état du condensat dans ce réseau peut être manipulé à l'aide d'outils de contrôle optimal, permettant de préparer des états quantiques arbitraires. L'état quantique du système est ensuite mesuré dans l'espace des impulsions par un processus de temps de vol, donnant un accès direct aux probabilités d'occupation des états d'impulsion quantifiés du système. Nous avons montré comment l'utilisation conjointe du formalisme de l'information de Fisher et du contrôle optimal permet d'optimiser la précision de la mesure d'un paramètre physique en temps fini à partir de ces distributions de probabilités accessibles. Le manuscrit s'organise en cinq chapitres. Un premier chapitre est consacré à la description du dispositif expérimental, incluant le principe du refroidissement des atomes et la modélisation numérique du système dans un réseau optique unidimensionnel. Le second chapitre présente le formalisme de l'information de Fisher de manière générale, en détaillant les notions d'information de Fisher classique et quantique ainsi que leur lien avec la précision des mesures, et en abordant la recherche de protocoles de mesure optimaux permettant d'atteindre l'information de Fisher quantique. Le troisième chapitre applique ce formalisme à la mesure précise de la profondeur du potentiel périodique du réseau optique. Le quatrième chapitre est dédié au contrôle optimal et à son utilisation pour piloter finement l'état quantique du système sous contraintes expérimentales réalistes. Enfin, le dernier chapitre montre comment ces outils de contrôle optimal peuvent être exploités pour mettre en œuvre des protocoles de mesure optimisés en temps fini d'une force appliquée au système, qu'il s'agisse d'une accélération du réseau ou d'une force d'origine magnétique. Nous montrons que les dynamiques optimisées par le contrôle optimal dans le but de maximiser l'information de Fisher présentent de fortes similarités avec des dynamiques issues de l'interférométrie. En particulier, l'évolution de l'information de Fisher obtenue à partir de ces optimisations est très proche de celle associée à des séquences interférométriques explicitement définies. Par ailleurs, nous montrons que la structure de la dynamique peut être modifiée en fonction des contraintes expérimentales imposées lors de l'optimisation. Ce chapitre se conclut par la mise en œuvre réussie de ces protocoles pour la mesure optimisée d'une force induite par une accélération ou par un gradient de champ magnétique.
Protocoles pratiques pour les réseaux de communication quantique Dans cette thèse, nous étudions les réseaux des états optiques quantiques intriqués avec différents degrés de complexité, avec une attention particulière portée à leur application dans des scénarios de communication quantique. Le but de la communication quantique est de permettre à deux ou plusieurs parties de communiquer d'une façon qui serait impossible avec de la technologie classique. L'archétype de ce domaine est la distribution de clé quantique ou quantum key distribution (QKD), qui permet à deux agents de partager une clé aléatoire secrète pour effectuer des communications sécurisées, en empêchant, au même temps, qu'un troisième agent malveillant puisse obtenir connaissance de leur clé. Dans ce manuscrit, cependant, nous explorons des scénarios de communication quantique qui vont au-delà de la QKD standard afin de tester les nombreuses possibilités offertes par les réseaux de dispositifs quantiques interconnectés, aussi appelés internet quantique. Spécifiquement, nous présentons trois types de réseaux quantiques, qui correspondent à trois niveaux de complexité d'internet quantique. Dans chaque niveau, nous décrivons le scénario de communication, les exigences physiques nécessaires pour construire l'architecture spécifique et un nouveau protocole qui ne peut pas être reproduit sans des ressources quantiques. Dans cette document, nous veillons particulièrement à la "praticité" des protocoles, notamment le fait que leur implémentation doit être possible dans des conditions réalistes avec technologie existante, au moins comme preuve du principe. Le premier concerne un protocole quantique à preuves interactives qui montre pour la première fois une preuve expérimentale d'un avantage quantique dans un cadre interactif. Dans ce scénario, il y a un prouveur avec de la puissance calculatoire illimitée qui veut convaincre un vérifieur honnête de l'existence d'une certaine solution d'un problème mathématique complexe, en lui envoyant une partie de la preuve sous forme d'états quantiques. Notre construction permet au vérifieur de vérifier l'assertion du prouveur sans recevoir la solution entière. Nous prouvons que sans ressources quantiques, le protocole de vérification exigerait un temps exponentiel en la taille de la solution, menant à un avantage quantique en terme de temps de calcul, avantage que nous avons démontré dans notre laboratoire. Le deuxième porte sur un protocole de vote électronique qui exploite un état quantique multipartite intriqué non fiable pour réaliser une élection sans s'appuyer sur des autorités électorales, dont le résultat peut être vérifié publiquement sans compromettre la robustesse de la construction et qui peut être implémenté aisément avec les technologies de pointe existantes pour un petit nombre de votant. À l'invers des résultats précédents, notre protocole n'exige pas une émission simultanée et marche aussi dans des scénarios bruyants, où la sécurité est limitée par la fidélité de l'état quantique utilisé. Enfin, nous simulons des états comprimés de la lumière de nombreux modes comme des réseaux quantique Gaussien à variables continues avec des topologies complexes, nous caractérisons leur corrélations et nous estimons l'intensification de leur coût pendant que les réseaux grandissent avec une théorie de ressource de compression. Nous prouvons un résultat qui permet de renforcer l'intrication entre deux nœuds du réseau si on mesure les chemins multiples qui les connectent et nous utilisons cet effet pour concevoir un protocole de routage d'intrication dont les performance sont particulièrement efficace dans des réseaux complexes grands.
Contrôler des systèmes quantiques avec une précision arbitraire semble être un défi insurmontable en raison de l'influence de l'environnement se manifestant sous forme d'erreurs dans les algorithmes quantiques. Cependant, il existe des protocoles de tolérance aux fautes qui résolvent ce problème en stockant l'information quantique de manière redondante dans un état à plusieurs qubits. Il est crucial d'optimiser ces protocoles, en les adaptant aux processus de génération du bruit, dans le but de minimiser l'ajout d'espace et de temps aux calculs quantiques. Les méthodes actuelles se basent sur un cycle d'optimisation comprenant la caractérisation du matériel, la modélisation du bruit et des simulations numériques. Pour la majorité des études sur la tolérance aux fautes, le bruit est modélisé comme l'application stochastique de matrices de Pauli. Cette approche, communément appelé le modèle d'erreurs de Pauli est l'exemple typique de décohérence induite par l'environnement. Les probabilités associées à chacune des matrices de Pauli définissent le taux d'erreurs. Même si ce modèle d'erreurs est utilisé pour réaliser des preuves analytiques et effectuer des simulations classiques, le niveau de précision de ce dernier dépend de la nature quantique de la source d'erreurs. Toutefois, un dispositif quantique réaliste est affecté par un processus bruyant qui n'est pas très bien approximé par le modèle d'erreurs de Pauli. Un exemple extrême étant les erreurs cohérentes causées par rotation excessive d'un qubit. De plus, un modèle général de bruit quantique illustre beaucoup plus de caractéristiques que le modèle simplifié de Pauli. La notion de taux d'erreurs est alors moins bien définie dans ces cas. Ainsi, nous avons besoin d'une mesure appropriée pour quantifier l'effet du bruit qui s'intègre bien aux preuves de tolérance aux fautes. Pour ce faire, il existe plusieurs options dont la fidélité et la norme diamant. Les simulations numériques ont été centrales au développement des protocoles de tolérance aux fautes. Généralement, des simulations impliquant des modèles de bruits spécifiques sont utilisées pour évaluer l'efficacité de ces méthodes. Dans le cas du modèle simplifié d'erreurs de Pauli, la source du bruit est simulée par un algorithme classique appliquant une matrice de Pauli tirée selon une distribution prédéterminée. Cependant, il n'est généralement pas nécessaire d'assumer que le bruit est généré de façon stochastique. Par exemple, il est possible de décrire le bruit comme une évolution temporelle du système. Malgré cela, il existe des techniques pour mesurer numériquement la performance d'un protocole de tolérance aux fautes. Dans la présente thèse, nous faisons une étude critique des méthodes actuelles d'optimisation des protocoles de tolérances aux fautes et nous appuyons nos analyses sur des observations provenant de simulations numériques. D'abord, nous montrons que les protocoles de tolérance aux fautes sont sensibles à certains détails du modèle bruits qui ne sont pas bien décrits pas les métriques standards. Alors que la valeur d'une métrique peut être la même pour deux processus bruyants, nous observons que la performance d'un protocole de tolérance aux fautes peut différer grandement pour ces deux processus. Ainsi, nous avons défini de nouvelles métriques ne reposant pas sur les méthodes standards. Ces métriques s'appuient plutôt sur des méthodes d'apprentissage automatique qui considèrent les propriétés importantes des processus bruyants et qui permettent de prédire avec plus de précision la performance d'un protocole de tolérance aux fautes. Par la suite, nous argumentons que la présence d'événements rares détériore la précision des simulations numériques. En d'autres termes, les événements bruyants qui affectent significativement la performance d'un protocole de tolérances aux fautes sont rarement observés, ce qui engendre une grande erreur statistique dans les estimations numériques. Pour pallier partiellement à ce problème, nous présentons des méthodes d'échantillonnages préférentielles. Toutefois, la recherche de meilleures méthodes demeure ouverte. Finalement, la mauvaise qualité des précisions des métriques et la difficulté des simulations numériques nous amènent à conclure que la portée des méthodes actuelles d'optimisation des protocoles de tolérances aux fautes est très limitée. Nous supposons qu'une caractérisation expérimentale d'un tel protocole sur un ordinateur quantique de taille modeste permettrait de surmonter ces difficultés. Cela pourrait paver le chemin à la réalisation d'un ordinateur quantique tolérant les fautes.
Intermédiaire essentiel au dialogue entre théorie et vérification expérimentale, la mesure n'a de sens que si la précision des résultats est élevée. La métrologie en laboratoire s'attache à augmenter autant que possible la précision avec laquelle l'expérimentateur a accès à la valeur d'un paramètre. Le bruit quantique affectant la mesure impose une limite sur la précision maximale accessible à partir d'états quasi-classiques: la limite quantique standard (SQL). La métrologie quantique cherche à utiliser les caractéristiques propres à la mécanique quantique pour la dépasser et se rapprocher le plus possible de la limite ultime, physiquement non franchissable, appelée limite de Heisenberg. Dans ce mémoire, nous avons développé une stratégie de mesure d'un champ électromagnétique contenant moins d'un photon basée sur l'utilisation de corrélations atome-champ dans une expérience d'électrodynamique quantique en cavité. L'idée est de mesurer l'amplitude de ce petit champ en sondant la perturbation qu'il introduit sur un état intriqué atome-champ mésoscopique déjà présent dans une cavité supraconductrice. Nous avons pu démontrer que le choix de notre mesure est, en principe, optimal grâce aux outils que sont l'information de Fisher (dépendant du processus de mesure) et l'information de Fisher dite quantique (qui elle n'en dépend pas), liées à la précision sur la mesure par des inégalités de type Cramér-Rao. Expérimentalement, nous avons très largement dépassé la précision obtenue sur l'amplitude du champ électromagnétique par une mesure classique et nous nous sommes rapprochés de la limite de Heisenberg autant que les imperfections expérimentales nous le permettaient.
High dimension and symmetries in quantum information theory S'il fallait résumer le sujet de cette thèse en une expression, cela pourrait être quelque chose comme: phénomènes de grande dimension (mais néanmoins finie) en théorie quantique de l'information. Cela étant dit, essayons toutefois de développer brièvement. La physique quantique a inéluctablement affaire à des objets de grande dimension. Partant de cette observation, il y a, en gros, deux stratégies qui peuvent être adoptées: ou bien essayer de ramener leur étude à celle de situations de plus petite dimension, ou bien essayer de comprendre quels sont les comportements universels précisément susceptibles d'émerger dans ce régime. Nous ne donnons ici notre préférence à aucune de ces deux attitudes, mais au contraire oscillons constamment entre l'une et l'autre. Notre but dans la première partie de ce manuscrit (Chapitres 5 et 6) est de réduire autant que possible la complexité de certains processus quantiques, tout en préservant, évidemment, leurs caractéristiques essentielles. Les deux types de processus auxquels nous nous intéressons sont les canaux quantiques et les mesures quantiques. Dans les deux cas, la complexité d'une transformation est mesurée par le nombre d'opérateurs nécessaires pour décrire son action, tandis que la proximité entre la transformation d'origine et son approximation est définie par le fait que, quel que soit l'état d'entrée, les deux états de sortie doivent être proches l'un de l'autre. Nous proposons des solutions universelles (basées sur des constructions aléatoires) à ces problèmes de compression de canaux quantiques et d'amenuisement de mesures quantiques, et nous prouvons leur optimalité. La deuxième partie de ce manuscrit (Chapitres 7, 8 et 9) est, au contraire, spécifiquement dédiée à l'analyse de systèmes quantiques de grande dimension et certains de leurs traits typiques. L'accent est mis sur les systèmes multi-partites et leurs propriétés ayant un lien avec l'intrication. Les principaux résultats auxquels nous aboutissons peuvent se résumer de la façon suivante: lorsque les dimensions des espaces sous-jacents augmentent, il est générique pour les états quantiques multi-partites d'être à peine distinguables par des observateurs locaux, et il est générique pour les relaxations de la notion de séparabilité d'en être des approximations très grossières. Sur le plan technique, ces assertions sont établies grâce à des estimations moyennes de suprema de processus gaussiens, combinées avec le phénomène de concentration de la mesure. Dans la troisième partie de ce manuscrit (Chapitres 10 et 11), nous revenons pour finir à notre état d'esprit de réduction de dimensionnalité. Cette fois pourtant, la stratégie est plutôt: pour chaque situation donnée, tenter d'utiliser au maximum les symétries qui lui sont inhérentes afin d'obtenir une simplification qui lui soit propre. En reliant de manière quantitative symétrie par permutation et indépendance, nous nous retrouvons en mesure de montrer le comportement multiplicatif de plusieurs quantités apparaissant en théorie quantique de l'information (fonctions de support d'ensembles d'états, probabilités de succès dans des jeux multi-joueurs non locaux etc.). L'outil principal que nous développons dans cette optique est un résultat de type de Finetti particulièrement malléable