Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

Dans le monde quantique, l'acte de mesurer un système n'est pas une observation passive mais une intervention active qui peut changer la réalité observée. Cela contraste radicalement avec notre expérience quotidienne, où une table reste une table que nous la regardions ou non. Pendant des décennies, les physiciens se sont coltinés à l'idée que les particules quantiques pourraient posséder des propriétés cachées, préexistantes, qui se révéleraient simplement lors de la mesure, tout comme une pièce ayant un côté pile ou face défini avant d'être lancée. Cependant, un résultat célèbre des années 1960, connu sous le nom de théorème de Kochen-Specker, a prouvé qu'une réalité aussi simple et prédéterminée ne peut exister pour les systèmes quantiques en trois dimensions ou plus. Le théorème a montré que si vous essayez d'assigner une valeur définie à chaque mesure possible qu'une particule pourrait subir, vous vous heurtez inévitablement à une contradiction logique. Les valeurs que vous assignez à un ensemble de mesures entreraient en conflit avec les valeurs que vous assignez à un autre ensemble, même si la particule elle-même n'a pas changé. Cela implique que le résultat d'une mesure dépend du contexte spécifique — les autres mesures effectuées simultanément.

Bien que ce théorème ait effectivement écarté un monde de « variables cachées » où les résultats sont strictement déterminés comme étant soit oui, soit non, une question persistante demeurait. Et si les variables cachées n'étaient pas si rigides ? Une théorie pourrait-elle exister où les résultats ne sont pas strictement oui ou non, mais prennent plutôt un ensemble limité de valeurs intermédiaires, comme un variateur de lumière n'ayant que quelques réglages ? Pendant longtemps, il n'était pas clair si une telle théorie « nondéterministe » mais toujours limitée pouvait expliquer les étranges corrélations de la mécanique quantique. Cette incertitude a laissé un vide dans notre compréhension de la profondeur avec laquelle la réalité quantique s'écarte de l'intuition classique.

Une nouvelle étude de Ravishankar Ramanathan, de l'Université de Hong Kong, comble ce fossé en démontrant que même ces théories relaxées à valeurs limitées ne peuvent expliquer le comportement quantique. Le chercheur a construit une famille spécifique d'expériences, inspirée d'un puzzle logique connu sous le nom de test de Hardy, conçue pour piéger toute théorie reposant sur des valeurs prédéterminées et indépendantes du contexte. Dans cette configuration, imaginez un système de boîtes interconnectées, chacune pouvant être soit vide, soit pleine. L'expérience consiste à vérifier des paires ou des triplets de ces boîtes selon des règles strictes : certaines combinaisons d'états vides et pleins sont interdites, tandis que d'autres sont garanties de se produire. Si les boîtes contenaient des états cachés, prédéterminés et ne dépendant pas des autres boîtes vérifiées au même moment, les règles de la logique forceraient un résultat spécifique pour une dernière boîte dans la chaîne.

Ramanathan a montré que pour toute théorie où les valeurs cachées sont tirées d'une liste finie de possibilités — par exemple, une liste contenant zéro, un et quelques nombres entre les deux — la logique de l'expérience force la dernière boîte à être vide avec un degré de certitude élevé. Cependant, lorsque la même expérience est réalisée avec un système quantique réel, spécifiquement un état quantique à trois dimensions appelé qutrit, le résultat défie cette logique. Le système quantique produit le résultat interdit avec une probabilité strictement supérieure à ce que toute théorie possédant ces valeurs cachées limitées pourrait jamais permettre. En ajustant la complexité de l'expérience, qui consiste à imbriquer ces motifs de vérification de boîtes de plus en plus profondément, les chercheurs ont prouvé que l'écart entre ce qu'une théorie à valeurs limitées prédit et ce que la mécanique quantique fait réellement peut devenir arbitrairement grand.

L'étude fournit un ensemble concret et fini de mesures qui peuvent être effectuées en laboratoire pour écarter ces théories alternatives. Contrairement aux preuves précédentes qui reposaient sur des structures mathématiques infinies ou des fonctions continues, ce travail utilise un nombre fini de projecteurs et des états quantiques spécifiques pour parvenir au même résultat. Les chercheurs ont calculé le nombre exact de mesures nécessaires pour infirmer une théorie basée sur un ensemble spécifique de valeurs autorisées. Par exemple, si une théorie autorisait une valeur cachée de 0,25, l'expérience nécessiterait vingt mesures spécifiques pour exposer la contradiction ; si la valeur autorisée était de 0,90, l'expérience nécessiterait 224 mesures. À mesure que le nombre de valeurs autorisées se rapproche de l'éventail complet des possibilités, le nombre de mesures requises augmente, mais le principe demeure : la mécanique quantique surpasse systématiquement toute théorie qui tente de l'expliquer avec un ensemble fini et discret de résultats prédéterminés.

Cette découverte a des implications significatives pour notre compréhension de la nature fondamentale de la réalité et pour le développement de technologies futures. Dans le domaine de l'information quantique, la contextualité est désormais reconnue comme une ressource précieuse, semblable à un carburant, qui alimente des tâches avancées comme la communication sécurisée et l'informatique puissante. En prouvant que la contextualité quantique est encore plus forte qu'on ne le pensait auparavant — assez forte pour écarter non seulement les variables cachées binaires mais aussi tout ensemble fini de valeurs discrètes — ce travail renforce les fondements de ces technologies. Cela suggère que la « magie » derrière les accélérations quantiques et la sécurité de la cryptographie quantique repose sur une caractéristique de la nature qui est robuste face à une classe beaucoup plus large d'alternatives classiques que nous ne le réalisions. De plus, l'étude relie ces découvertes physiques au domaine de la logique, montrant que les logiques à plusieurs valeurs finies, qui tentent de décrire la réalité avec un ensemble limité de valeurs de vérité, sont insuffisantes pour modéliser le monde quantique.

Le papier introduit également une nouvelle façon de penser la force de ces effets quantiques. Tout comme les mathématiciens classent depuis longtemps différents types de contradictions logiques, ce travail établit une hiérarchie de la manière dont un système peut être « contextuel ». Il montre que la théorie quantique échappe non seulement aux descriptions classiques les plus simples, mais aussi aux descriptions plus complexes à valeurs finies. Cela signifie que peu importe le nombre de réglages intermédiaires qu'une théorie de variable cachée tente d'utiliser, tant que le nombre de réglages est fini, elle échouera à correspondre aux prédictions de la mécanique quantique. Les chercheurs ont fourni une preuve constructive, ce qui signifie qu'ils n'ont pas seulement affirmé qu'une telle théorie est impossible ; ils ont construit le cadre mathématique et expérimental spécifique qui démontre cette impossibilité.

Regardant vers l'avenir, ces résultats ouvrent de nouvelles voies pour la vérification expérimentale. Bien que les preuves actuelles soient dépendantes de l'état, ce qui signifie qu'elles reposent sur la préparation d'un état quantique spécifique, les méthodes développées ici pourraient être adaptées pour des applications plus larges. L'étude aborde également l'aspect pratique de la génération de hasard. Comme les corrélations quantiques dans ces tests sont si fortes et si distinctes de toute alternative classique, elles offrent une voie prometteuse pour générer des nombres véritablement aléatoires qui sont sécurisés, même contre un adversaire qui pourrait tout savoir des dispositifs utilisés, à condition que les dispositifs obéissent aux lois de la mécanique quantique. La capacité d'écarter une classe aussi large de théories alternatives avec des expériences finies et réalisables marque une étape importante dans notre capacité à tester les limites mêmes de la réalité physique.