Dans le monde calme et abstrait de l'informatique quantique, les chercheurs traquent constamment un type spécifique d'illusion numérique : la capacité de faire paraître quelque chose de complètement aléatoire à un observateur, même si cela a été créé par une règle simple et cachée. Ce concept, connu sous le nom de pseudorandomisation (ou pseudo-aléatorité), est l'épine dorsale de la cryptographie moderne. Dans le monde classique, où les ordinateurs traitent des bits d'information, nous disposons d'outils bien compris pour créer ces illusions. Nous pouvons générer des chaînes de nombres ou des fonctions à l'apparence aléatoire qui se comportent de manière imprévisible, tout en étant reproductibles si l'on connaît la clé secrète. Ces outils nous permettent de construire des verrous sécurisés pour nos vies numériques.

Cependant, le monde quantique opère selon des lois différentes. Au lieu de simples bits, les ordinateurs quantiques manipulent des états délicats de la matière qui peuvent exister dans plusieurs configurations simultanément. Cela ouvre la porte à de nouveaux types d'aléas, mais cela crée aussi un paysage déroutant. Les scientifiques ont découvert plusieurs façons de générer ces illusions quantiques. Certaines méthodes créent des états quantiques à l'apparence aléatoire, qui sont comme des instantanés d'un système. D'autres créent des transformations à l'apparence aléatoire, qui sont comme les actions qui changent un système d'un état à un autre. Pendant longtemps, il n'était pas clair si ces deux types d'outils étaient fondamentalement liés. Un procédé capable de créer un instantané à l'apparence aléatoire pourrait-il être utilisé pour construire une machine effectuant une action à l'apparence aléatoire ? Ou sont-ils des phénomènes entièrement distincts, comme les pommes et les oranges, qui ne peuvent être convertis l'un en l'autre ?

Un chercheur de l'Institut de science et de technologie de Corée, Minki Hhan, a désormais tracé une ligne nette entre ces deux concepts. Dans une nouvelle étude, Hhan prouve qu'il est possible d'avoir un monde où l'on peut facilement créer des instantanés quantiques à l'apparence aléatoire, mais où il est mathématiquement impossible de construire une machine qui effectue une action à l'apparence aléatoire. Cette découverte tranche une question de longue date sur la structure de la sécurité quantique. Elle révèle que la capacité de générer un état aléatoire n'accorde pas automatiquement le pouvoir d'effectuer une transformation aléatoire. Les deux sont des capacités distinctes, et l'une n'implique pas l'autre, même lorsque le chercheur est autorisé à utiliser tous les tours du répertoire quantique, y compris de l'espace mémoire supplémentaire et des opérations complexes et non standard.

Pour comprendre comment cette séparation a été trouvée, imaginez une vaste bibliothèque de livres. Dans cette bibliothèque, un « générateur d'états de type fonction pseudo-aléatoire » est une machine qui, lorsqu'on lui donne un code spécifique, produit un livre unique qui semble avoir été écrit par un processus chaotique et aléatoire. Une « unitaire pseudo-aléatoire », en revanche, est une machine qui, lorsqu'on lui donne un code, effectue un mélange complexe et aléatoire du contenu de toute la bibliothèque. La question était : si vous avez une machine capable de produire ces livres à l'apparence aléatoire, pouvez-vous l'utiliser pour construire la machine de mélange ? Intuitivement, on pourrait penser que si l'on peut créer les pièces, on peut assembler l'ensemble. Mais le travail de Hhan montre que cette intuition échoue dans le domaine quantique.

La preuve repose sur une perspective mathématique astucieuse qui traite la construction de ces machines quantiques comme une application lisse et continue. Au lieu de considérer la machine comme un bloc de code rigide, Hhan l'a perçue comme un paysage où de petites variations de l'entrée entraînent de petites variations de la sortie. En étudiant la « pente » ou le taux de variation de ce paysage, le chercheur a découvert une faiblesse cachée dans toute tentative de construction d'une machine de mélange aléatoire utilisant uniquement des générateurs d'états aléatoires. L'analyse mathématique a montré que la pente de ce paysage est intrinsèquement plate et limitée. C'est comme si la machine essayait de gravir une colline, mais que le terrain est si plat qu'elle ne peut pas gagner assez de hauteur pour atteindre le sommet de la véritable aléatorité.

Cette platitude est une conséquence directe de la façon dont la machine interagit avec les états quantiques. La machine qui génère des états aléatoires n'a besoin d'opérer que sur une tranche minuscule et de faible dimension du vaste espace quantique. Cependant, une véritable machine de mélange aléatoire doit agir sur l'espace entier, massif. Lorsque le chercheur a tenté de forcer la machine à petite tranche à agir sur l'espace total, la « dérivée » mathématique — la mesure de la sensibilité de la sortie aux changements de l'entrée — est restée trop faible. Ce manque de sensibilité signifie que la sortie de la machine est trop prévisible. Elle se concentre autour d'un comportement moyen unique plutôt que de se disperser dans la distribution sauvage et chaotique qu'une machine véritablement aléatoire produirait.

Pour rendre cela concret, le chercheur a construit un scénario spécifique utilisant un oracle de « type état de fonction de type Haar commun ». Il s'agit d'un outil théorique qui fournit un approvisionnement en états quantiques aléatoires. Dans ce scénario, le chercheur a montré que si une machine pouvait réussir à générer des états à l'apparence aléatoire grâce à cet outil, toute tentative d'utiliser ces états pour construire une machine de mélange aléatoire échouerait. La machine résultante se comporterait toujours d'une manière qu'un observateur avisé pourrait distinguer d'un comportement véritablement aléatoire. L'observateur pourrait détecter que la machine n'est pas réellement aléatoire parce que son comportement est trop concentré, trop lisse, et manque de la variation chaotique nécessaire.

L'étude a également abordé une faille potentielle. Des critiques pourraient arguer que l'échec ne se produit que parce que la machine est restreinte dans la quantité de mémoire supplémentaire qu'elle peut utiliser. Peut-être que si la machine était autorisée à utiliser un espace supplémentaire massif, elle pourrait surmonter la platitude du paysage. La preuve de Hhan écarte explicitement cette possibilité. La séparation tient même lorsque la machine est autorisée à utiliser un nombre arbitraire d'unités de mémoire supplémentaire et même lorsque la machine est autorisée à être imparfaite ou non unitaire. La distinction fondamentale demeure : la capacité de générer un état aléatoire n'implique pas la capacité d'effectuer une transformation aléatoire.

Ce résultat a des implications significatives pour l'avenir de la cryptographie quantique. Pendant des années, les chercheurs ont tenté de construire des systèmes quantiques sécurisés en liant ces différents types d'aléas, supposant que si l'un existe, les autres doivent suivre. Cette nouvelle découverte suggère que la voie vers des systèmes quantiques sécurisés est plus fragmentée qu'on ne le pensait auparavant. Cela signifie que pour construire un verrou quantique véritablement sûr, nous ne pouvons pas simplement compter sur les outils qui génèrent des états aléatoires. Nous devons trouver des méthodes entièrement nouvelles pour créer les transformations aléatoires qui protègent nos données.

Le travail souligne également une différence plus profonde entre la préparation d'un état quantique et l'exécution d'une opération quantique. Dans le monde quantique, créer une configuration spécifique et à l'apparence aléatoire est une tâche fondamentalement différente de la création d'une machine capable de réorganiser aléatoirement n'importe quelle configuration. Le papier démontre que ce ne sont pas seulement des étapes différentes d'un même processus, mais des capacités distinctes qui requièrent des ressources différentes. Cette distinction n'est pas une simple technicité ; c'est une caractéristique fondamentale de la manière dont l'information quantique se comporte.

En utilisant une technique qui analyse les dérivées de ces applications quantiques, le chercheur a fourni une nouvelle façon de regarder la structure de l'aléatorité quantique. Cette approche, qui traite la construction d'algorithmes quantiques comme un problème géométrique, offre un nouveau prisme puissant pour étudier les limites de ce que les ordinateurs quantiques peuvent accomplir. Elle suggère qu'il existe des contraintes géométriques inhérentes à la manière dont l'information quantique peut être manipulée, des contraintes qui empêchent certains types d'aléatorité d'être générés à partir d'autres.

L'étude ne prétend pas que la pseudo-aléatorité quantique est impossible. Au contraire, elle confirme que ces outils existent. Cependant, elle clarifie les limites de leur puissance. Elle nous dit que nous ne pouvons pas supposer que l'existence d'un type d'aléa quantique garantit l'existence d'un autre. Cette clarté est essentielle pour construire la prochaine génération de technologies quantiques. Elle force les chercheurs à être plus précis sur ce qu'ils peuvent et ne peuvent pas construire, garantissant que les fondations de la sécurité quantique ne soient pas bâties sur des hypothèses fragiles.

En fin de compte, l'article révèle un paysage de possibilités quantiques plus complexe et nuancé qu'une simple hiérarchie. Il montre que le monde quantique n'est pas une structure unique et unifiée où un outil peut être facilement converti en un autre. Au contraire, c'est une collection de régions distinctes, chacune ayant ses propres règles et limitations. La capacité de générer un état aléatoire est une région, et la capacité d'effectuer une transformation aléatoire en est une autre. Bien qu'elles puissent sembler similaires de loin, elles sont séparées par un abîme mathématique profond qui ne peut être franchi en ajoutant simplement plus de mémoire ou en utilisant des circuits plus complexes. Cette découverte fournit une carte plus claire pour l'avenir de l'informatique quantique, guidant les chercheurs vers les bons outils pour les bonnes tâches et les éloignant de l'espoir infondé qu'une seule solution puisse résoudre tous les problèmes.