⚛️ quantum physics

Certifying Randomness or its Lack Thereof for General Network Scenarios

Cet article étend la certification de l'aléa indépendant du dispositif aux scénarios de réseaux généraux en adaptant la technique d'inflation pour certifier l'aléa contre des adversaires allant au-delà du quantique dans les configurations de bilocalité et de triangle, tout en fournissant également des méthodes pour certifier l'absence d'aléa et en discutant des défis conceptuels clés dans le domaine.

Auteurs originaux : Maria Ciudad Alañón, Daniel Centeno, Andrew Watford, Elie Wolfe

Publié 2026-09-30

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Maria Ciudad Alañón, Daniel Centeno, Andrew Watford, Elie Wolfe

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Le hasard véritable est une denrée rare et précieuse dans notre univers. Dans le monde quotidien, les choses semblent aléatoires uniquement parce que nous manquons d'informations complètes ; un lancer de pièce semble imprévisible, mais si nous connaissions la force exacte du lancer, la résistance de l'air et la surface sur laquelle elle atterrit, nous pourrions prédire le résultat avec une certitude parfaite. C'est ce qu'on appelle le hasard épistémique, ou le hasard né de l'ignorance. Cependant, la physique quantique offre quelque chose de bien plus profond : le hasard intrinsèque. Il s'agit d'une imprévisibilité fondamentale ancrée dans la trame même de la réalité, où aucune quantité de connaissances sur le passé ne peut jamais déterminer le futur. Ce concept n'est pas seulement une curiosité philosophique ; c'est le socle de la communication sécurisée moderne. Si nous pouvons prouver qu'un nombre est véritablement aléatoire, nous pouvons l'utiliser pour créer des clés de chiffrement mathématiquement impossibles à casser.

Pendant des décennies, les scientifiques ont testé ce hasard intrinsèque à l'aide d'une configuration connue sous le nom de scénario de Bell, où deux observateurs distants mesurent des particules qui sont liées d'une manière mystérieuse. Lorsque leurs résultats violent des limites mathématiques spécifiques, cela prouve que l'univers ne suit pas un script pré-écrit caché, et que les résultats sont véritablement imprévisibles. Mais l'univers est plus complexe que deux personnes partageant simplement un secret. Ces dernières années, les chercheurs ont commencé à explorer les « réseaux quantiques », où plusieurs sources indépendantes envoient des informations à plusieurs parties simultanément, créant des réseaux de connexion complexes. La question restait la suivante : pouvons-nous toujours certifier que le hasard véritable existe dans ces réseaux compliqués, et pouvons-nous prouver quand il n'existe pas ? Une équipe de physiciens a maintenant franchi une étape importante en développant de nouvelles méthodes pour répondre à ces questions dans ces scénarios de réseaux généraux.

Les chercheurs se sont concentrés sur deux formes de réseaux spécifiques : le scénario de la « bilocalité », qui implique trois parties connectées par deux sources indépendantes, et le scénario du « triangle », où trois parties sont connectées en boucle par trois sources indépendantes. Pour aborder le problème, ils ont adapté une puissante technique de calcul appelée la technique d'inflation. Imaginez que vous essayez de vérifier si une machine complexe fonctionne correctement en construisant une version plus grande et plus détaillée d'elle-même pour voir comment les pièces interagissent ; la technique d'inflation fonctionne de manière similaire. En élargissant mathématiquement le réseau en une version hypothétique plus grande, les chercheurs pouvaient tester si les données observées pouvaient être expliquées par un système classique prévisible ou si elles nécessitaient l'imprévisibilité fondamentale de la mécanique quantique. Ils ont supposé le pire scénario pour la sécurité : un espion ayant accès à toutes les sources d'information du réseau mais ne pouvant pas les contrôler, représentant une menace encore plus puissante que ce que la théorie quantique standard permet.

En utilisant cette méthode, l'équipe a démontré avec succès que le hasard intrinsèque peut être certifié dans ces scénarios de réseau. Ils ont analysé plusieurs modèles de données spécifiques, y compris ceux inspirés par de célèbres exemples théoriques, et ont découvert que pour certaines parties du réseau, les résultats étaient effectivement imprévisibles. Par exemple, dans le scénario de la bilocalité, ils ont montré que la partie centrale, qui reçoit des informations de deux sources différentes, peut tout de même générer un hasard certifiable, un phénomène qui ne se produit pas dans les configurations plus simples à deux parties. Dans le scénario du triangle, ils ont prouvé que le hasard existe même lorsque les parties n'ont pas de réglages à choisir, s'appuyant entièrement sur la structure même du réseau. Ces découvertes sont significatives car elles montrent que la sécurité de la génération de nombres aléatoires peut être étendue à des architectures de réseaux plus complexes et réalistes, à condition que les sources d'information soient indépendantes.

Cependant, le travail a également abordé l'autre revers de la médaille : prouver quand le hasard est absent. C'est une idée reçue courante que si un système se comporte de manière non classique, il doit être aléatoire. Les chercheurs ont montré que ce n'est pas toujours le cas. Ils ont développé un second ensemble de méthodes de calcul pour certifier qu'un adversaire pourrait prédire parfaitement les résultats d'une partie spécifique, même si les données globales du réseau semblaient non classiques. Ils y sont parvenus en construisant des modèles causaux spécifiques où la partie en question recevait uniquement des informations classiques et prévisibles de ses sources, tandis que le reste du réseau gérait les parties complexes et non classiques. Dans un exemple frappant, ils ont appliqué cela à une distribution de données spécifique connue sous le nom de RGB3. Ils ont découvert que, bien que le motif global soit non classique, une partie spécifique du réseau en triangle pouvait être prédite avec une certitude absolue par un espion. Cela prouve que la non-classicité ne garantit pas automatiquement le hasard pour chaque individu dans le réseau.

L'étude souligne une distinction cruciale entre le hasard du résultat d'une seule personne et le hasard du résultat combiné du groupe. Il est possible qu'un réseau produise des données qui sont imprévisibles dans leur ensemble, alors que chaque participant individuel a un résultat prévisible. Les chercheurs ont constaté que leurs méthodes pouvaient certifier l'absence de hasard pour des individus spécifiques en montrant que leurs données pouvaient être expliquées par des modèles où ils ne recevaient que des entrées classiques. Cependant, ils ont également noté une limite : si un réseau est si complexe qu'une partie ne peut pas expliquer ses données par un modèle où elle reçoit au plus une source non classique, leurs outils actuels ne peuvent pas déterminer si le hasard est présent ou absent. Cela laisse une question ouverte pour l'avenir : existe-t-il des réseaux si complexes qu'ils cachent leur hasard à ces méthodes de détection ?

En fin de compte, cette recherche fournit une nouvelle boîte à outils pour comprendre le flux d'information et d'imprévisibilité dans les systèmes complexes. En adaptant la technique d'inflation, l'équipe a montré comment certifier la présence de hasard véritable dans les réseaux et, tout aussi important, comment certifier son absence. Ces découvertes affinent notre compréhension de l'endroit où la sécurité peut être garantie dans les futurs réseaux quantiques. Bien que ce travail soit actuellement théorique, se concentrant sur les principes fondamentaux de la façon dont le hasard se comporte dans ces structures, il pose les jalons d'expériences futures. À mesure que nous progressons vers un monde d'appareils quantiques interconnectés, savoir exactement où et quand le hasard véritable existe — et où il n'est qu'une illusion de complexité — sera essentiel pour construire des systèmes véritablement sécurisés.

Résumé Technique : Certification du caractère aléatoire ou de son absence pour des scénarios de réseaux généraux

Énoncé du problème
La certification du caractère aléatoire intrinsèque est un élément fondamental de la théorie de l'information quantique, crucial pour des applications telles que la communication sécurisée et la distribution de clés quantiques. Bien que la certification de l'aléa indépendante des dispositifs basée sur les violations d'inégalités de Bell soit bien établie dans le scénario de Bell bipartite standard, ce travail traite de l'extension de ces concepts à des structures causales plus complexes connues sous le nom de réseaux quantiques.

Un défi central dans les scénarios de réseau est que l'ensemble des corrélations compatibles avec plusieurs sources indépendantes est non convexe, contrairement au scénario de Bell standard. De plus, l'article distingue deux tâches distinctes :

Certifier la présence d'aléa : Déterminer si un adversaire (Eve) ne peut pas prédire parfaitement les résultats de mesure d'une partie.
Certifier l'absence d'aléa : Déterminer si un adversaire peut prédire parfaitement les résultats, même lorsque la distribution de probabilité observée est non classique. Les auteurs soulignent que la non-classicité ne garantit pas l'aléa intrinsèque ; des phénomènes d'« aléa lié » (bound randomness) existent, où les corrélations violent les inégalités de Bell tout en restant parfaitement prévisibles.

L'étude opère sous des hypothèses spécifiques :

Modèle d'adversaire : Eve est un adversaire « au-delà du quantique » (limitée uniquement par le non-signalement ou les théories probabilistes généralisées) qui peut « écouter » (mesurer) toutes les sources mais ne peut pas les « contrôler ».
Paramètres : Les réglages de mesure sont publics et accessibles à Eve, modélisés comme des enregistrements provenant de sources bipartites.
Fermeture du laboratoire : Eve ne peut pas accéder aux informations générées strictement à l'intérieur des laboratoires privés des parties honnêtes.
Hypothèse IID : Les événements sont supposés être identiquement et indépendamment distribués, excluant les attaques cohérentes.

Méthodologie
Les auteurs emploient deux approches computationnelles complémentaires pour traiter le problème de certification :

Certifier la présence (Approximation externe) :
Pour certifier que l'aléa existe, les auteurs adaptent la Technique d'Inflation. Cette méthode construit une approximation externe de l'ensemble des distributions de probabilité compatibles avec une structure causale donnée (DAG) étendue pour inclure un espion.
- Ils utilisent l'inflation sans fanout (non-fanout inflation), qui est appropriée pour certifier l'aléa contre des adversaires au-delà du quantique.
- Le problème est formulé comme une optimisation de programmation linéaire pour maximiser la probabilité de devinette de l'adversaire ( $p_{guess}$ ) sous la contrainte que la distribution marginale des parties honnêtes corresponde aux données observées.
- Si la probabilité de devinette maximale est strictement inférieure à 1, l'aléa intrinsèque est certifié.
Certifier l'absence (Approximation interne) :
Pour certifier que l'aléa n'existe pas (c'est-à-dire que les résultats sont prévisibles), la Technique d'Inflation est insuffisante car la compatibilité avec une inflation ne garantit pas l'existence d'un modèle causal valide. À la place, les auteurs proposent des constructions internes (modèles causaux explicites) :
- Méthode des Parents Classiques : Ils construisent des modèles causaux où la partie spécifique en question reçoit uniquement des sources classiques, tandis que d'autres sources dans le réseau peuvent être non classiques (post-quantiques). Si un tel modèle reproduit la distribution non classique observée, les résultats de la partie sont prévisibles.
- Méthode des Parents Non Classiques : Reconnaissant que certaines corrélations manquent d'aléa même si une partie doit recevoir une source non classique, ils intègrent un scénario de Bell au sein du réseau. Si le scénario de Bell intégré permet une prédiction parfaite (comme démontré dans les travaux antérieurs de Ramanathan et al.), la corrélation du réseau manque également d'aléa pour cette partie.
- Ces méthodes impliquent la résolution de programmes linéaires (pour la bilocalité) et de programmes bilinéaires (pour les scénarios de triangle) afin de trouver des modèles causaux réalisables.

Contributions clés et résultats

Extension aux réseaux : L'article étend avec succès la certification de l'aléa indépendante des dispositifs du scénario de Bell standard aux scénarios de réseaux généraux, spécifiquement les réseaux de bilocalité et de triangle.
Certification de la présence : En utilisant l'inflation sans fanout, les auteurs certifient l'aléa pour diverses distributions :
- Dans le scénario de bilocalité, ils certifient l'aléa pour Alice et Bob pour une distribution inspirée de Fritz, et pour la partie centrale (Charlie) dans un protocole de commutation d'intrication (entanglement swapping). Notamment, ils démontrent que l'aléa peut être certifié pour des parties « sans réglage » (setting-less) dans les réseaux, un phénomène absent des scénarios de Bell standard.
- Dans le scénario de triangle, ils certifient l'aléa pour des distributions compatibles avec les théories quantiques et post-quantiques.
Certification de l'absence : Les auteurs fournissent des preuves computationnelles que certaines distributions non classiques manquent d'aléa monopartite :
- Pour le scénario de bilocalité, ils montrent que la distribution inspirée de Fritz permet que les résultats de Charlie soient prédits par un adversaire, car la corrélation peut être modélisée avec une seule source classique entre Bob et Charlie.
- Pour le scénario de triangle, ils analysent la distribution RGB3. Ils construisent un modèle causal où Charlie ne reçoit que des sources classiques (avec la source non classique entre Alice et Bob), prouvant que les résultats de Charlie sont prévisibles malgré le caractère non classique de la distribution. Des modèles analogues montrent la prédictibilité pour Alice et Bob également.
Distinction des types d'aléa : Le travail clarifie la distinction entre l'aléa monopartite et l'aléa multipartite (conjoint). Une distribution peut manquer d'aléa pour les parties individuelles alors que les résultats conjoints de plusieurs parties restent imprévisibles.

Signification et limites
L'article présente sa signification comme une étape fondamentale pour comprendre la certification de l'aléa dans des structures causales complexes. Il souligne que les hypothèses concernant la structure causale (par exemple, l'indépendance des sources) sont critiques ; une distribution qui semble déterministe dans un scénario de Bell standard peut présenter un aléa certifié lorsqu'elle est analysée sous une structure de réseau.

Les auteurs notent explicitement les limites de leur approche actuelle :

Portée de la certification de l'absence : Leurs méthodes pour certifier l'absence d'aléa reposent sur la construction de modèles où une partie possède au plus une source non classique. Ils reconnaissent que les corrélations « Entièrement Non Locales de Réseau » (où les parties ont plusieurs parents non classiques) peuvent résister à cette explication, et il reste une question ouverte de savoir si de telles corrélations produisent nécessairement un aléa certifiable.
Quantification : Le travail se concentre sur la présence ou l'absence binaire d'aléa, et non sur le degré quantitatif d'aléa.
Structures exogènes : L'analyse est restreinte aux structures causales exogènes (où les nœuds latents n'ont pas de parents). Les auteurs notent que les scénarios non exogènes peuvent modifier les résultats et laissent cela à l'étude future.
Applications : Bien que le cadre théorique soit établi, l'article ne propose pas d'implémentations expérimentales spécifiques ni d'applications cryptographiques immédiates, laissant l'utilité pratique de la certification de l'aléa basée sur les réseaux comme un domaine de recherche futur ouvert.

Articles similaires