$k$-fold unbiased measurements and maximal incompatibility

La mécanique quantique est célèbre pour ses règles contre-intuitives, mais elle repose en son cœur sur une vérité simple et profonde : on ne peut pas tout mesurer à la fois. Dans le monde classique, vérifier la vitesse et la position d'une voiture n'interfère pas avec l'acte de vérifier l'une ou l'autre. Dans le domaine quantique, cependant, l'acte même de mesurer une propriété peut brouiller une autre propriété. Ce conflit fondamental, connu sous le nom d'incompatibilité de mesure, n'est pas seulement une curiosité théorique ; c'est le moteur derrière les phénomènes les plus étranges de la physique, des connexions fantomatiques entre des particules distantes à la sécurité inviolable des codes quantiques. Les scientifiques étudient depuis longtemps des paires de mesures qui sont parfaitement incompatibles, ce qui signifie que connaître le résultat de l'une ne vous apprend absolument rien sur l'autre. Ces paires sont comme deux cartes du même territoire dessinées dans des langues totalement différentes, où chaque point sur une carte correspond à un endroit aléatoire sur l'autre.

Pendant des décennies, les chercheurs se sont demandé si cette incompatibilité parfaite pouvait être étendue à des groupes de trois mesures ou plus. Pourrait-on avoir un ensemble de trois façons différentes d'observer un système quantique où chaque paire est parfaitement incompatible, et où le groupe entier est encore plus chaotique que la somme de ses parties ? La réponse, s'avère-t-il, dépend fortement de la manière dont vous observez le système. Si vous restreignez votre vue aux mesures les plus simples possibles, la réponse est un non catégorique. Mais si vous autorisez des mesures plus complexes, de rang plus élevé, la porte s'ouvre, révélant un nouveau paysage riche de structures mathématiques qui sont non seulement possibles, mais qui sont les ensembles les plus incompatibles de leur type jamais trouvés.

Les chercheurs de cette étude ont entrepris d'explorer ce territoire de dimension supérieure. Ils ont commencé par définir un nouveau concept appelé « mesures k-fois non biaisées », qui décrit un groupe de mesures où chaque sous-ensemble d'entre elles est mutuellement non biaisé. Voyez cela comme un livre de règles dictant la façon dont ces mesures doivent être liées entre elles. Ils ont découvert que si vous essayez de construire un tel groupe en utilisant uniquement les mesures les plus simples, à point unique, vous vous heurtez à un mur. Vous pouvez en avoir deux, ou dans un cas très spécifique, trois, mais vous ne pouvez pas construire un groupe plus large de ces mesures simples qui satisfasse les règles strictes de l'incompatibilité parfaite. Les mathématiques ne le permettent tout simplement pas. Ce résultat exclut la possibilité de trouver ces groupes parfaits dans les systèmes quantiques les plus simples, confirmant que la complexité de l'univers est nécessaire pour ce genre de comportement extrême.

Cependant, l'histoire change radicalement lorsque les chercheurs ont permis aux mesures d'être plus complexes. Au lieu de regarder des points uniques, ils ont regardé des mesures qui couvrent de plus grandes zones de l'espace d'état quantique. En utilisant une construction astucieuse impliquant des grilles numériques spéciales connues sous le nom de matrices de Hadamard et un ensemble de règles algébriques appelées algèbres de Clifford, ils ont réussi à construire un groupe de trois mesures qui sont parfaitement non biaisées. Ce groupe consiste en trois façons différentes de mesurer un système ayant quatre résultats possibles, où chaque mesure est d'un niveau de complexité spécifique. Cette construction n'est pas seulement une curiosité théorique ; c'est un exemple concret et fonctionnel d'un ensemble de trois mesures qui sont aussi incompatibles que la physique le permet.

L'équipe a ensuite posé une question critique : à quel point ces nouveaux groupes sont-ils incompatibles ? Pour répondre à cela, ils ont calculé une valeur spécifique qui représente la quantité de bruit ou d'erreur qu'un système peut tolérer avant que ces mesures ne cessent d'être incompatibles et ne commencent à se comporter comme des outils ordinaires et prévisibles. Ils ont découvert que pour leurs nouveaux groupes de trois mesures, cette limite de tolérance est exactement déterminée par une constante mathématique spécifique dérivée de la structure des mesures. Cela signifie qu'ils ont localisé le seuil exact où ces mesures perdent leur « tranchant » quantique. Pour le cas spécifique de trois mesures avec quatre résultats, ils ont calculé que cette limite est d'environ 0,64656, un nombre précis qui définit la frontière entre le chaos quantique et l'ordre classique.

Pour être absolument certains que ces nouveaux groupes sont effectivement les plus incompatibles possibles, les chercheurs se sont tournés vers des simulations informatiques puissantes. Ils ont utilisé une méthode sophistiquée qui recherche toute possibilité de combiner ces mesures en une seule vue unifiée. Si une telle combinaison existe, les mesures sont compatibles ; sinon, elles sont incompatibles. Leurs simulations ont montré que pour le groupe spécifique de trois mesures avec quatre résultats, l'ordinateur n'a trouvé aucun moyen de les combiner, même avec une infime erreur. Les preuves numériques étaient si fortes que l'écart entre la limite théorique et le résultat de l'ordinateur était dérisoire, suggérant que ces groupes sont effectivement les ensembles de trois mesures les plus incompatibles qui puissent exister. Bien qu'une preuve mathématique formelle pour tous les cas possibles reste un défi pour l'avenir, les preuves présentées ici sont accablantes.

Ce travail fait plus que trouver un nouvel objet mathématique ; il clarifie les limites de l'incompatibilité quantique. Il montre que si les systèmes quantiques les plus simples sont trop rigides pour supporter ces groupes complexes, l'univers possède suffisamment de flexibilité dans ses structures de dimension supérieure pour les permettre. Les chercheurs ont fourni une recette claire pour construire ces groupes et ont calculé leurs propriétés exactes, transformant une question vague sur les limites quantiques en un problème précis et soluble. En démontrant que ces structures sont non seulement possibles mais qu'elles représentent la limite extrême de l'incompatibilité, l'étude offre un nouveau point de référence pour comprendre comment les systèmes quantiques se comportent lorsqu'ils sont poussés à leurs limites absolues. Les conclusions suggèrent que les formes les plus extrêmes d'incertitude quantique ne sont pas des accidents aléatoires, mais sont régies par des motifs mathématiques profonds et élégants qui peuvent être construits et mesurés.