Classification of bipartite observables II: NIP observables and the Todorcevic trichotomy

Dans le monde quantique, la manière dont nous mesurons les choses dépend fortement de la façon dont nous préparons le système avant que la mesure ne commence. Imaginez deux scientifiques, Alice et Bob, travaillant avec des systèmes quantiques distincts. Alice prépare son système dans un état spécifique, et Bob le sonde avec un détecteur. Le résultat qu'ils obtiennent est une valeur d'espérance, un nombre qui indique ce à quoi ils peuvent s'attendre en moyenne. Les physiciens imaginent souvent des préparations « idéalisées », telles qu'une particule parfaitement localisée en un seul point ou une onde lumineuse possédant une énergie infinie. Celles-ci ne sont pas réalisables physiquement, mais elles sont des limites mathématiques utiles d'expériences réelles. Une question centrale dans ce domaine est de savoir si l'ordre dans lequel nous prenons ces limites importe. Si Alice idéalise sa préparation d'abord, puis que Bob idéalise sa sonde, obtiennent-ils la même réponse que si Bob idéalisait sa sonde en premier ? Lorsque la réponse est toujours la même, la mesure est dite « stable ». Lorsque l'ordre change le résultat, la mesure est « instable ».

Pendant des décennies, les mathématiciens ont développé un cadre sophistiqué pour classer les structures en fonction de la complexité de leurs motifs. Ce cadre, né de l'étude de la logique et de la théorie des ensembles, distingue les systèmes « dociles » des systèmes chaotiques. Un concept clé est la « propriété d'indépendance », qui décrit une situation où une séquence d'événements peut être organisée pour produire tous les types de schémas de résultats possibles, peu importe leur complexité. Si un système ne possède pas cette propriété, il est considéré comme « docile » ou « NIP » (non doté de la propriété d'indépendance). Cet article fait descendre ces classifications mathématiques abstraites sur terre, en les appliant directement aux observables physiques de la mécanique quantique. Les auteurs montrent que la stabilité d'une mesure n'est pas seulement un détail technique, mais une caractéristique fondamentale qui peut être mise en correspondance avec une hiérarchie précise d'espaces mathématiques. Ils prouvent que les mesures stables correspondent à des réponses continues, tandis que les mesures dociles mais instables correspondent à une classe spécifique de fonctions qui sont des limites de fonctions continues. Plus important encore, ils démontrent que cette hiérarchie mathématique n'est pas seulement une curiosité abstraite ; elle est habitée par des phénomènes physiques réels, du comptage des photons à la structure causale de l'espace-temps lui-même.

Les chercheurs ont commencé par définir ce qu'ils entendent par une « réponse idéalisée ». Lorsqu'Alice prépare un système quantique et que Bob le mesure, le résultat peut être vu comme une fonction. Si la préparation d'Alice est idéalisée, cette fonction peut devenir discontinue, ce qui signifie qu'un infime changement dans la sonde de Bob pourrait provoquer un saut soudain dans le résultat. Les auteurs ont prouvé qu'une mesure est stable si et seulement si toute réponse idéalisée est une fonction continue. Si la mesure est instable mais reste « docile » (NIP), les réponses idéalisées ne sont pas continues, mais elles sont néanmoins bien comportementées d'une manière spécifique : elles sont les limites ponctuelles de suites de fonctions continues. Cela signifie qu'elles appartiennent à une classe de fonctions connue sous le nom de première classe de Baire. Si une mesure n'est ni stable ni docile, elle possède la propriété d'indépendance, ce qui implique un niveau de chaos où les réponses peuvent imiter le comportement des structures mathématiques les plus complexes, contenant une copie de la compactification de Stone–Čech des entiers naturels.

L'article examine ensuite une classification plus fine de ces mesures dociles et instables. En utilisant un résultat profond de la théorie des ensembles connu sous le nom de trichotomie de Todorčević, les auteurs montrent que toute mesure de ce type appartient à l'une des trois catégories distinctes suivantes. La première catégorie se compose de mesures où les réponses idéalisées forment un espace « métrisable », c'est-à-dire qu'il peut être décrit par une simple fonction de distance. La deuxième catégorie implique des espaces qui sont « héréditairement séparables », une propriété qui garantit que l'espace n'est pas trop grand, mais qui échoue à être métrisable. La troisième catégorie implique des espaces qui sont « de premier type dénombrable » (first countable), signifiant que chaque point possède une liste dénombrable de voisinages, mais qui échouent à être héréditairement séparables. Les auteurs ont découvert une contrainte physique cruciale : puisque les états quantiques peuvent être mixtes (combinés de manière probabiliste), les réponses idéalisées de toute observable physique forment toujours un ensemble convexe. Ils ont prouvé que pour de tels ensembles convexes, la deuxième catégorie (héréditairement séparable mais non métrisable) est impossible. Dans le monde physique, la séparabilité héréditaire force la métrisabilité. Cela réduit la trichotomie mathématique en une trichotomie physique : les mesures quantiques sont soit stables (métrisables), soit elles tombent dans l'une des deux classes instables, distinguées par la manière dont leurs limites se comportent.

Pour rendre ces classes abstraites concrètes, les auteurs ont identifié des systèmes physiques spécifiques qui les réalisent. La comparaison du nombre de photons, où Alice compte combien de photons elle possède et les compare au décompte de Bob, relève de la classe stable et métrisable. Les réponses sont continues, et l'ordre des limites ne change pas la continuité. En revanche, la comparaison des positions de deux particules confinées dans une boîte relève de la première classe instable. Ici, les réponses idéalisées forment un espace connu sous le nom d'espace de Helly. Les limites sont suffisamment bien comportementées pour être de premier type dénombrable, mais l'espace est trop complexe pour être métrisable. Cela se produit parce qu'une particule peut approcher un point par la gauche ou par la droite, créant une « scission » dans la réponse qui ne peut être lissée. La classe la plus complexe, qui n'est même pas de premier type dénombrable, est réalisée par l'ordre causal de l'espace-temps. Si Alice crée un événement et que Bob vérifie si celui-ci peut influencer son détecteur, la réponse dépend de savoir si l'événement se situe à l'intérieur du cône de lumière de Bob. Lorsque le cône de lumière se réduit à un point, la réponse devient discontinue d'une manière qui ne peut être capturée par une simple liste dénombrable de voisinages. De même, la comparaison des phases de deux particules sur un anneau appartient également à cette classe la plus complexe, car la géométrie circulaire permet que des sauts aux extrémités opposées du cercle s'annulent, cachant la discontinuité aux sondes simples.

L'article explore également la « heptachotomie », une classification plus détaillée qui divise ces classes en sept familles minimales de comportements. Chaque famille est réalisée par un arbre spécifique de préparations. Par exemple, une famille est réalisée par une chaîne de spins où Bob scanne la chaîne site par site, tandis qu'une autre est réalisée par une particule dans une boîte approchant un point d'un seul côté. Les auteurs montrent que ces sept familles ne sont pas de simples artefacts mathématiques mais correspondent à des scénarios physiques distincts, tels que des cônes de lumière se réduisant à des points ou des modèles correspondant à des séquences infinies. Ils démontent également que la propriété d'être « docile » n'est pas symétrique entre Alice et Bob. Une mesure peut être docile pour les réponses d'Alice mais chaotique pour celles de Bob, un phénomène illustré par une chaîne de spins scannée où l'ordre des parties importe.

Enfin, les auteurs appliquent ce cadre au modèle d'Ising quantique, un système de spins en interaction dans un champ magnétique. Ils montrent que la classification peut détecter les transitions de phase. Dans la phase ordonnée du modèle, où se produit l'aimantation spontanée, les réponses des deux phases pures forment une « paire scindée » (split pair), et la réponse de l'état symétrique se situe exactement au milieu. Cette structure correspond à la classe instable et non métrisable. Dans la phase désordonnée, où il n'y a pas d'aimantation spontanée, les réponses sont continues et stables. La preuve repose sur une nouvelle version du théorème de Lee–Yang pour le modèle d'Ising en champ transverse, montrant que la fonction de partition n'a pas de zéros dans une région spécifique du plan complexe. Cette propriété analytique garantit que la pression du système est lisse loin de zéro champ, permettant ainsi aux auteurs de lier rigoureusement la classification mathématique au diagramme de phase physique. Le travail conclut en montrant que d'autres concepts fondamentaux de la physique, tels que la relation de Banks–Casher pour la brisure de symétrie chirale et le critère de la supraconductivité, sont également des énoncés sur la stabilité de certaines limites. Dans chaque cas, la transition de la stabilité à l'instabilité marque un changement de phase physique, révélant que la structure mathématique profonde des limites est tissée dans la trame même de la réalité physique.