ConteXtuAlity: an open source Python package for contextuality

Dans le monde étrange et contre-intuitif de la physique quantique, il existe un phénomène connu sous le nom de contextualité. Pour le comprendre, imaginez que vous essayiez de décrire un paysage où la couleur d'un arbre change en fonction des autres arbres que vous regardez à ses côtés. Dans notre expérience quotidienne, un objet possède des propriétés fixes ; une balle rouge est rouge, que vous soyez seul avec elle ou dans une foule. Mais dans le domaine quantique, la réponse à une question sur un système peut dépendre entièrement des autres questions posées au même moment. Il ne s'agit pas d'un défaut de nos outils de mesure, mais d'une caractéristique fondamentale de la nature. Les scientifiques cherchent depuis longtemps à quantifier précisément à quel point un système se comporte de cette manière, en distinguant le monde classique prévisible du monde quantique dépendant du contexte. Pour y parvenir, il faut des mathématiques complexes et la capacité de simuler d'innombrables scénarios, une tâche qui a traditionnellement été difficile et inaccessible à tous, sauf à une poignée de spécialistes.

Un nouveau progiciel open-source appelé ConteXtuΛlity, développé par Kim Vallée de la Sorbonne Université, vise à mettre ces calculs puissants à la portée d'un public plus large. Cet outil est conçu pour aider les chercheurs comme les étudiants à explorer les limites de la théorie quantique en automatisant l'aspect laborieux de l'optimisation mathématique. Au lieu de construire des équations complexes de zéro pour chaque nouvelle expérience, les utilisateurs peuvent désormais définir un scénario de mesures et de résultats, et le logiciel calculera instantanément des valeurs spécifiques qui révèlent à quel point le système est « contextuel ». Le progiciel se concentre sur deux nombres principaux : la fraction de contextualité, qui mesure à quel point le comportement d'un système ne peut être expliqué par la logique classique, et la fraction de signalisation, qui mesure la quantité d'informations qui semble fuiter entre différentes parties de l'expérience. En rendant ces calculs accessibles, le logiciel permet aux scientifiques de tester de nouvelles hypothèses et d'analyser des données expérimentales réelles avec une facilité sans précédent.

Le cœur du progiciel repose sur deux concepts principaux : le scénario de mesure et le modèle empirique. Un scénario de mesure est simplement une carte de ce qui peut être mesuré et de la manière dont ces mesures sont regroupées. Par exemple, dans un montage célèbre connu sous le nom de scénario KCBS, il existe cinq mesures différentes qui peuvent être appariées de manières spécifiques. Le logiciel permet à l'utilisateur de définir ces regroupements à l'aide de simples listes de noms ou de nombres. Une fois la carte tracée, le modèle empirique remplit les données. Il s'agit de la collection de résultats réels ou de probabilités observés lors d'une expérience. Le logiciel peut accepter des données provenant d'expériences réelles, telles que celles menées par Lapkiewicz et ses collègues ou Wang et ses collègues, ou il peut générer des modèles théoriques basés sur des états quantiques.

Ce qui rend cet outil particulièrement puissant, c'est sa capacité à gérer la réalité désordonnée des données expérimentales. Dans le monde réel, les mesures sont rarement parfaites. Parfois, le même dispositif physique utilisé pour mesurer une propriété dans un contexte donné se comporte légèrement différemment lorsqu'il est utilisé dans un autre contexte. Le logiciel peut tenir compte de ces différences subtiles. Par exemple, lors de l'analyse des données de l'expérience de Lapkiewicz, le chercheur a utilisé le progiciel pour montrer que s'ils traitaient deux mesures apparemment identiques comme distinctes en raison de leur mise en œuvre, la nature « contextuelle » calculée du système chutait considérablement. Cela démontre que le logiciel n'est pas seulement un calculateur, mais un instrument flexible capable de s'adapter aux contraintes et aux particularités spécifiques de différents montages expérimentaux.

Le développeur a également utilisé le progiciel pour créer des cartes visuelles de la manière dont ces propriétés quantiques se comportent. En mélangeant différents modèles théoriques, il a généré une carte thermique pour le célèbre scénario Bell-CHSH, un test standard de l'étrangeté quantique. Cette représentation visuelle a montré comment la fraction de contextualité et la fraction de signalisation changent à mesure que l'on passe d'un comportement parfaitement classique aux possibilités quantiques les plus extrêmes. Les résultats ont confirmé que le logiciel pouvait naviguer rapidement et avec précision dans ce paysage, produisant des cartes thermiques qui aident les chercheurs à visualiser les frontières entre ce qui est possible en physique classique et ce qui est possible en physique quantique.

Au-delà de l'analyse de données existantes, le progiciel est conçu pour être un terrain de jeu pour de nouvelles idées. L'auteur a montré comment un utilisateur pourrait créer une version personnalisée d'un scénario de mesure en ajoutant une règle simple, telle que l'interdiction que deux mesures soient toutes deux « actives » en même temps. Lorsqu'il a appliqué cette contrainte artificielle, le logiciel a instantanément recalculé les résultats, montrant que le système semblait être pleinement contextuel sous les nouvelles règles. Cette flexibilité suggère que l'outil peut être utilisé pour explorer des théories alternatives de la réalité, et non seulement le modèle quantique standard. Il permet aux scientifiques de poser des questions de type « et si » sur les règles fondamentales de l'univers et de voir immédiatement les conséquences mathématiques.

Pour garantir la fiabilité de l'outil, l'auteur a effectué une série de tests de performance. Il a mesuré le temps nécessaire au logiciel pour résoudre des problèmes à mesure que la taille des scénarios augmentait. Il a constaté que, bien que le temps requis pour résoudre ces problèmes augmente rapidement à mesure que les scénarios deviennent plus grands, le logiciel reste assez rapide pour gérer des situations raisonnablement complexes. Les tests ont été réalisés en utilisant différents solveurs mathématiques, confirmant que les résultats sont robustes quel que soit le moteur sous-jacent utilisé pour traiter les chiffres. Cet étalonnage donne aux utilisateurs la confiance nécessaire pour savoir que l'outil peut gérer l'échelle des problèmes qu'ils sont susceptibles de rencontrer dans leurs recherches.

Le progiciel est conçu pour être ouvert et extensible, invitant la communauté scientifique à contribuer et à étendre ses capacités. Bien qu'il se concentre actuellement sur un cadre mathématique spécifique connu sous le nom d'approche par la théorie des faisceaux (sheaf-theoretic approach), l'auteur prévoit d'ajouter le support d'autres manières de comprendre la contextualité à l'avenir. En fournissant un langage commun et un ensemble d'outils partagés, ConteXtuΛlity vise à abaisser la barrière à l'entrée pour l'étude de ces questions profondes. Il transforme un domaine qui nécessite souvent une expertise approfondie en mathématiques abstraites en un domaine où l'accent peut revenir sur la physique elle-même, permettant aux chercheurs de passer moins de temps à coder et plus de temps à comprendre la nature étrange et dépendante du contexte de notre univers.