Quantum randomness beyond projective measurements

Imaginez que vous essayez de générer un nombre vraiment aléatoire, comme en lançant une pièce ou en roulant un dé, mais que vous voulez être absolument certain que personne d'autre (même un hacker ultra-intelligent doté d'un ordinateur quantique) ne puisse prédire le résultat avant qu'il ne se produise. Dans le monde de la physique quantique, cela est possible car la nature elle-même est fondamentalement imprévisible.

Cet article, écrit par Fionnuala Curran, explore combien de hasard « vrai » nous pouvons extraire de différents types de mesures quantiques. Considérez une mesure quantique comme une machine qui prend un état quantique (une particule) et crache un nombre. L'objectif est de trouver les meilleurs réglages de machine pour obtenir les nombres les plus imprévisibles possibles.

Voici une décomposition des idées principales de l'article en utilisant des analogies du quotidien :

1. Le Déroulement : La Pièce Imprévisible

En physique classique, si vous savez exactement comment une pièce est lancée, vous pouvez prédire si elle tombera sur pile ou face. En physique quantique, même si vous connaissez tout de la configuration, le résultat reste un mystère. C'est ce qu'on appelle le hasard intrinsèque.

Cependant, toutes les « machines » quantiques (mesures) ne se valent pas. Certaines sont « extrémales », ce qui signifie qu'elles sont les types de machines les plus fondamentaux, qu'on ne peut pas décomposer en mélanges aléatoires plus simples. L'article se demande : Laquelle de ces machines fondamentales nous donne le plus de hasard ?

2. Le Dé « Déformé » : Tricher pour Gagner

Les auteurs introduisent d'abord une nouvelle famille de mesures qu'ils appellent les mesures « Skewed SIC » (déformées).

L'Analogie : Imaginez un dé standard où chaque chiffre (de 1 à 6) a une chance égale de sortir. C'est un dé « équitable ». Mais que se passe-t-il si vous avez un dé spécial, légèrement tordu, qui atterrit généralement sur 1, mais si vous le lancez juste comme il faut, il devient parfaitement équitable ?
La Découverte : Ces mesures « déformées » sont conçues de telle sorte que si vous leur injectez un type spécifique d'état quantique (un état « pur »), elles produisent un résultat parfaitement uniforme et aléatoire. Mieux encore, elles peuvent le faire pour n'importe quelle taille de système quantique (n'importe quelle dimension) où existe un type spécifique de mesure (appelé SIC). Cela résout une énigme sur la façon d'obtenir le hasard maximal possible (2 log d bits) dans un contexte dépendant du dispositif.

3. Le Dé « Non-Biaisé » : Jouer Équitablement

Ensuite, l'article examine les mesures « non-biaisées ». Ce sont des machines où, si vous leur injectez un état « bidon » complètement aléatoire, chaque issue est également probable.

L'Analogie : Imaginez un tétraèdre (une pyramide à quatre faces triangulaires) flottant dans l'espace. Les sommets de cette pyramide représentent les résultats possibles d'une mesure.
La Découverte : Les auteurs ont découvert une règle simple : la quantité de hasard que vous obtenez dépend de la proximité de votre état quantique de départ par rapport au centre de cette pyramide.
- Si votre état est juste au milieu, vous obtenez moins de hasard.
- Si votre état est loin, vous obtenez plus.
- Ils ont calculé exactement combien de hasard vous obtenez pour n'importe quel état dans un système à 2 dimensions (un qubit, ou un bit quantique).

4. Le « SIC » contre les « Ciseaux »

L'article compare deux types spécifiques de ces mesures en forme de pyramide :

La Mesure SIC (Symmetric Informationally Complete - Complète Informationnellement Symétrique) : C'est la « parfaite » pyramide. Toutes les faces sont identiques, et c'est le meilleur outil pour cartographier (tomographie) à quoi ressemble un état quantique.
- La Surprise : Bien que le SIC soit le meilleur pour mesurer les états, les auteurs ont découvert qu'il est en réalité le pire pour générer du hasard parmi les mesures non-biaisées. Il possède le « moins » de hasard intrinsèque. C'est comme une règle très précise qui est terrible pour générer des nombres aléatoires.
Les Mesures « Ciseaux » : Les auteurs ont inventé une nouvelle famille de mesures qu'ils appellent « Ciseaux ».
- L'Analogie : Imaginez que les faces de la pyramide sont comme les lames d'une paire de ciseaux. Vous pouvez ouvrir ou fermer les lames en changeant un seul angle.
- La Découverte : À mesure que vous « fermez » les ciseaux (changez l'angle), la mesure devient moins « équitable » (biaisée), mais elle se rapproche de plus en plus de la génération de la quantité de hasard maximale possible.
- Ils ont montré que dans les dimensions 2, 3 et 4, vous pouvez régler ces mesures « Ciseaux » pour obtenir presque autant de hasard que théoriquement possible, même sans biaiser excessivement les résultats.

5. La Grande Image

L'article cartographie essentiellement le paysage du hasard quantique :

Les mesures déformées peuvent vous donner le hasard absolu maximal si vous connaissez votre état de départ.
Les mesures non-biaisées (comme la famille des Ciseaux) peuvent vous rapprocher très près de ce maximum sans avoir besoin de biaiser les résultats.
La célèbre mesure SIC, bien que excellente pour d'autres tâches, est en réalité la « moins aléatoire » du lot non-biaisé.

Résumé

Considérez cet article comme un guide pour un propriétaire de casino qui souhaite construire les machines à sous les plus imprévisibles.

Ils ont trouvé un moyen de construire une machine « déformée » qui est parfaitement aléatoire pour des joueurs spécifiques.
Ils ont analysé des machines « équitables » et ont découvert que la machine la plus symétrique, qui a l'air parfaite (le SIC), est en réalité la moins aléatoire.
Ils ont conçu une nouvelle machine « Ciseaux » qui peut être ajustée pour être presque parfaitement aléatoire, prouvant que vous n'avez pas besoin de tricher (biaiser la machine) pour obtenir le meilleur hasard ; vous devez simplement régler l'angle correctement.

L'article conclut en résolvant complètement les mathématiques pour les systèmes 2D et en fournissant une feuille de route sur la façon d'atteindre le hasard maximal dans des dimensions supérieures en utilisant ces nouveaux outils « Ciseaux ».

Résumé technique : Aléa quantique au-delà des mesures projectives

Énoncé du problème
L'imprévisibilité intrinsèque des mesures quantiques est une ressource fondamentale pour la génération de nombres aléatoires quantiques (QRNG). Dans des scénarios adverses, la sécurité de cet aléa repose sur l'incapacité d'un espion (Ève), qui pourrait détenir des corrélations quantiques ou classiques avec le dispositif de mesure, de prédire correctement les résultats. Bien que les mesures extrémales — celles qui ne peuvent pas être décomposées en un mélange probabiliste d'autres mesures — soient connues pour être sûres contre de tels adversaires, une question quantitative spécifique demeure ouverte : exactement combien d'aléa intrinsèque peut être généré par une mesure extrémale donnée ?

Des travaux antérieurs ont établi que l'entropie minimale conditionnelle maximale (une mesure de l'aléa) réalisable en dimension $d$ est bornée par $2 \log d$ bits. Cependant, la caractérisation de l'aléa généré par des classes spécifiques de mesures extrémales, en particulier les mesures non biaisées, pour des états d'entrée arbitraires est restée incomplète. Cet article comble le manque de compréhension de l'aléa intrinsèque des mesures à opérateurs positifs (POVM) extrémales de rang un non biaisées et explore si des familles spécifiques de mesures peuvent saturer la limite théorique de $2 \log d$ bits.

Méthodologie
Les auteurs opèrent dans un cadre dépendant du dispositif, en supposant une caractérisation complète à la fois de l'état quantique $\rho$ et de la POVM $M$ . L'aléa intrinsèque est quantifié via l'entropie minimale conditionnelle, $H_{\min}(\rho, M) = -\log P_{\text{guess}}(\rho, M)$ , où $P_{\text{guess}}$ est la probabilité de devinette optimale d'un espion. Cette probabilité est définie comme le maximum sur toutes les décompositions probabilistes de l'état $\rho$ en états purs $\{p_j, \rho_j\}$ :
$P_{\text{guess}}(\rho, M) = \max_{\{p_j, \rho_j\}} \sum_j p_j \text{tr}(\rho_j M_j).$

L'article emploie plusieurs outils mathématiques :

Géométrie convexe et fidélité : Les auteurs relient la probabilité de devinette à la fidélité quantique entre l'état d'entrée et l'enveloppe convexe des projecteurs de mesure.
Programmation semi-définie (SDP) : Les problèmes d'optimisation concernant la discrimination d'états et les probabilités de devinette sont formulés et résolus en utilisant la dualité SDP et les conditions de Karush-Kuhn-Tucker (KKT).
Représentation par vecteur de Bloch : Pour les systèmes de qubits ( $d=2$ ), l'analyse utilise la notation des vecteurs de Bloch pour paramétrer explicitement les mesures extrémales non biaisées et résoudre pour les états optimaux.
Covariance de groupe et symétrie : L'étude exploite les propriétés des mesures informationnellement complètes symétriques (SIC) et introduit de nouvelles familles de mesures qui en sont dérivées.

Contributions et résultats clés

1. Mesures SIC biaisées et aléa maximal
Les auteurs introduisent une famille de POVM SIC « biaisées ». Contrairement aux SIC standards, qui sont non biaisées et produisent une distribution uniforme à partir de l'état totalement mélangé, les SIC biaisées sont biaisées. Cependant, ce biais leur permet de produire une distribution de probabilité uniforme à partir d'états purs spécifiques ou d'états bruyants de manière isotrope.

Résultat : Les auteurs prouvent que dans toute dimension $d$ où une mesure SIC existe, on peut construire une mesure SIC biaisée qui génère l'aléa intrinsèque maximal possible ( $2 \log d$ bits) à partir de n'importe quel état pur ou état bruyant de manière isotrope.
Signification : Cela résout partiellement une question ouverte concernant l'atteignabilité de l'aléa maximal dans un cadre indépendant du dispositif source, car ces mesures sont informationnellement complètes (MIC).

2. Mesures extrémales non biaisées en dimensions générales
Pour toute POVM extrémale de rang un non biaisée avec $n$ résultats en dimension $d$ , les auteurs dérivent une formule générale pour la probabilité de devinette :
$P_{\text{guess}}(\rho, M) = \frac{d}{n} \max_{\sigma \in \mathcal{P}} F(\rho, \sigma),$
où $\mathcal{P}$ est l'enveloppe convexe des projecteurs de mesure et $F$ est la fidélité quantique.

Bornes inférieures : Cela conduit à une borne inférieure indépendante de l'état sur l'entropie minimale conditionnelle de $\log(n/d)$ bits.
Rigueur : Les auteurs prouvent que pour les mesures extrémales non biaisées avec $n < d^2$ résultats, la probabilité de devinette est strictement supérieure à $1/d^2$ , ce qui signifie que la borne maximale de $2 \log d$ bits ne peut pas être saturée sans biaiser les résultats ou utiliser $d^2$ résultats.

3. Solution explicite pour les mesures de qubits ( $d=2$ )
L'article fournit une caractérisation complète des mesures de qubits extrémales non biaisées (avec 2, 3 ou 4 résultats).

Paramétrisation : Toutes les MIC de qubits extrémales non biaisées (4 résultats) sont montrées comme étant covariantes par groupe et peuvent être décrites par deux angles, $\delta$ et $\alpha$ .
États optimaux : Les auteurs identifient les états purs spécifiques qui minimisent la probabilité de devinette pour toute MIC de qubit non biaisée donnée. Ces états se révèlent être les normales aux faces du tétraèdre formé par les vecteurs de mesure.
SIC contre autres : Un résultat contre-intuitif est présenté : parmi toutes les mesures de qubits extrémales non biaisées à quatre résultats, la mesure SIC (qui est optimale pour la tomographie d'état quantique) produit le moins d'aléa intrinsèque. Elle présente la probabilité de devinette la plus élevée ( $P_{\text{guess}} = \frac{1}{4}(1+l)$ , où $l$ est maximisé pour les SIC).

4. La famille de mesures « Ciseaux »
Pour approcher la borne d'aléa maximal de $2 \log d$ bits sans biaiser les résultats (ce qui nécessiterait des mesures non extrémales ou biaisées), les auteurs introduisent une famille à un paramètre de mesures « ciseaux ».

Qubits : En dimension 2, le réglage de $\alpha=0$ dans la paramétrisation générale produit une famille paramétrée par $\delta$ . Lorsque $\delta \to 0$ , la mesure approche d'une limite non extrémale, et la probabilité de devinette pour des états bruyants spécifiques approche la limite théorique.
Dimensions supérieures : Les auteurs étendent ce concept aux dimensions 3 et 4. Ils définissent des familles de MIC non biaisées (en utilisant les opérateurs de Weyl-Heisenberg pour $d=3$ et une généralisation spécifique pour $d=4$ ) qui incluent une mesure SIC comme point spécifique dans l'espace des paramètres. À mesure que le paramètre approche d'une valeur limite, les mesures approchent d'un état non extrémal qui génère un aléa arbitrairement proche de $2 \log d$ bits.

Signification et affirmations
L'article prétend résoudre le problème de la caractérisation de l'aléa intrinsèque pour les mesures extrémales de rang un non biaisées en dimension deux explicitement pour tout état. Il établit que, bien que les mesures SIC soient optimales pour la tomographie, elles sont sous-optimales pour la génération d'aléa intrinsèque parmi les MIC non biaisées.

La contribution théorique principale est la démonstration que l'aléa maximal ( $2 \log d$ bits) peut être généré de manière dépendante du dispositif dans toute dimension où une SIC existe, à condition d'utiliser les mesures SIC biaisées proposées. De plus, les familles « ciseaux » offrent une voie pour approcher cet aléa maximal en utilisant des mesures non biaisées, comblant ainsi le fossé entre les stratégies extrémales et non extrémales. Les résultats valent pour les scénarios indépendants du dispositif source en raison de la complétude informationnelle des mesures discutées.

Les auteurs concluent avec modestie, notant que, bien qu'ils aient caractérisé ces mesures, il reste une question ouverte de savoir si les familles de type « ciseaux » en dimensions supérieures seront utiles pour la génération d'aléa indépendante du dispositif, et comment ces résultats se traduisent dans des scénarios réalistes impliquant du bruit.