Quantum Behaviors Are Not Semialgebraic

Dans le monde étrange de la physique quantique, les particules peuvent se lier de manières qui défient notre expérience quotidienne. Lorsque deux particules ainsi liées sont mesurées par des observateurs distants, les résultats qu'ils obtiennent ne sont pas aléatoires au sens habituel ; ils sont corrélés selon un motif qu'aucun plan préétabli ordinaire ne pourrait produire. Ce phénomène, connu sous le nom de non-localité quantique, est le moteur des formes de communication les plus sécurisées et des ordinateurs les plus puissants du futur. Pour comprendre comment ces machines fonctionnent, les scientifiques cartographient chaque motif de résultats possible que la mécanique quantique autorise. Ils appellent ces motifs des « comportements ». Pendant des décennies, les chercheurs se sont demandé si l'ensemble de ces motifs quantiques possédait une description mathématique simple et finie. Plus précisément, ils se demandaient si les règles régissant ces motifs pouvaient être consignées à l'aide d'un nombre limité d'équations et d'inégalités algébriques, tout comme les règles d'un jeu pourraient être listées dans un livret de règles. Cette question, posée par le physicien Boris Tsirelson en 1993, est restée sans réponse, laissant un vide dans notre compréhension de la géométrie fondamentale du monde quantique.

Une équipe de chercheurs a maintenant apporté une réponse définitive à cette question de longue date, et le résultat est une surprise. Ils ont prouvé que l'ensemble de tous les comportements quantiques possibles ne peut être décrit par aucune collection finie d'équations et d'inégalités polynomiales. En termes plus simples, la forme du monde quantique est trop complexe pour être capturée par un livret de règles fini d'formules algébriques. Les chercheurs se sont concentrés sur une configuration expérimentale spécifique où deux personnes, effectuant chacune quatre mesures différentes avec deux issues possibles, partagent un lien quantique. En construisant une courbe lisse très spécifique des résultats possibles passant par cette configuration, ils ont montré que les points où la mécanique quantique autorise réellement un résultat sont dispersés le long de cette courbe d'une manière qu'aucune description algébrique finie ne peut capturer. Les points autorisés forment une séquence qui se rapproche de plus en plus d'un point classique unique et simple, mais les écarts entre eux ne disparaissent jamais. Comme toute description algébrique finie devrait inclure une étendue continue de la courbe près de ce point, et comme la réalité quantique n'autorise que des points spécifiques et isolés à cet endroit, la description échoue.

Cette découverte écarte la possibilité que l'ensemble quantique puisse être défini exactement par un nombre fini de contraintes, même si nous autorisons des variables supplémentaires ou des combinaisons d'équations plus complexes. Elle montre également que les meilleures méthodes actuelles pour approximer les comportements quantiques, connues sous le nom de hiérarchie de Navascués–Pironio–Acín, ne pourront jamais être parfaites. Ces méthodes fonctionnent en créant une série d'approximations de plus en plus précises, mais les chercheurs ont démontré que, peu importe jusqu'où l'on va dans cette série, on inclura toujours des résultats impossibles près de la bordure de l'ensemble quantique. L'étude révèle que la frontière entre ce qui est possible et ce qui est impossible en mécanique quantique n'est pas une surface lisse et simple, mais une structure dentelée et infiniment détaillée qui résiste à être fixée par des formules finies.

Les chercheurs sont arrivés à cette conclusion en concevant un chemin mathématique qui relie différents scénarios quantiques. Ils ont créé une courbe où les résultats dépendent d'un nombre unique changeant. Le long de cette courbe, ils ont découvert que la mécanique quantique ne permet des résultats qu'à des valeurs spécifiques et discrètes de ce nombre, qui se rapprochent de plus en plus à mesure qu'elles approchent d'une limite. À l'extrémité même de cette séquence se trouve un résultat qui peut être expliqué par la physique classique, sans étrangeté quantique. Cependant, les points quantiques menant à cette limite classique ne sont pas un bloc solide ; ils sont comme une série de pierres de gué qui s'approchent infiniment du rivage sans jamais fusionner avec une plage continue. Les chercheurs ont prouvé que toute tentative de décrire l'ensemble quantique avec un nombre fini de règles algébriques inclurait inévitablement toute l'étendue de la courbe menant au rivage, incluant ainsi des résultats que la mécanique quantique interdit. Cela prouve que l'ensemble quantique n'est pas « semi-algébrique », un terme technique signifiant qu'il ne peut être décrit par un ensemble fini de conditions polynomiales.

Les implications de cette découverte s'étendent au-delà de la forme de l'ensemble quantique. Elle montre que la complexité des corrélations quantiques est intrinsèque et ne peut être simplifiée, même si nous regardons le système de loin ou si nous essayons de l'approximer. Les chercheurs ont également montré que cette complexité persiste même lorsque nous considérons les modèles mathématiques les plus généraux de la mécanique quantique, y compris ceux où les mesures ne sont pas limitées à une taille fixe. Ils ont démontré que la difficulté de décrire ces comportements n'est pas seulement une question de calcul, mais une propriété géométrique fondamentale. Le fait que l'ensemble quantique ne soit pas semi-algébrique signifie qu'il n'existe pas de liste finie de règles qui puisse séparer parfaitement les résultats quantiques possibles de ceux qui sont impossibles. Cela a des conséquences profondes sur la façon dont nous pensons caractériser les dispositifs quantiques et sur les limites de ce que nous pouvons prouver à leur sujet en utilisant des outils mathématiques standards.

L'étude souligne également un contraste fascinant entre le comportement quantique complet et une version simplifiée qui ne regarde que les corrélations entre les mesures. Alors que la version simplifiée peut être décrite par des règles finies, l'image complète, qui inclut les probabilités de chaque résultat possible, ne le peut pas. Cela suggère que l'information supplémentaire contenue dans les probabilités complètes est ce qui crée l'infinité de la complexité. Les chercheurs ont montré que même si les points quantiques se rapprochent de plus en plus d'un point classique, la nature quantique du système ne s'estompe pas de manière fluide ; au contraire, elle reste distincte et discrète jusqu'au bord même. Ce comportement défie l'intuition selon laquelle les systèmes quantiques complexes devraient finir par ressembler à des systèmes classiques simples à mesure que l'on approche d'une limite.

En fin de compte, ce travail tranche une question vieille de plusieurs décennies en montrant que le monde quantique est plus complexe qu'on ne le pensait. Ce n'est pas une forme qui peut être pleinement capturée par un ensemble fini d'équations algébriques. La preuve des chercheurs est rigoureuse et couvre tous les principaux modèles de la mécanique quantique, ne laissant aucune place au doute. Leurs conclusions suggèrent que pour comprendre et décrire pleinement les comportements quantiques, nous devrons peut-être aller au-delà des descriptions algébriques finies et embrasser des structures infinies plus complexes. Cela ne signifie pas que nous ne pouvons pas travailler avec la mécanique quantique, mais cela signifie que nos outils mathématiques pour la décrire ont des limitations inhérentes. L'ensemble quantique reste un paysage riche et complexe qui résiste à une catégorisation simple, nous rappelant que l'univers est souvent plus subtil et détaillé que nos meilleures équations ne peuvent pleinement l'exprimer.