Bases mutuellement impartiales

Dans la théorie de l'information quantique, les bases mutuellement impartiales dans l'espace de Hilbert Cd sont deux bases orthonormées et tel que le carré de l'amplitude (en) du produit scalaire (en) entre tous les états de base et est l'inverse de la dimension d[1]:

Donc, elles ne sont pas orthogonales.

Ces bases sont dites impartiales selon le sens suivant: si un système est établi dans un état appartenant à l'une des bases, alors tous les résultats de mesure avec une autre base se produiront avec les mêmes probabilités.

Aperçu

modifier

La notion de bases mutuellement impartiales a d'abord été introduit par Schwinger en 1960[2], et la première personne à considérer des applications de bases mutuellement impartiales a été Ivanovic[3], avec le problème de la détermination de l'état quantique.

Un autre domaine où les bases mutuellement impartiales peuvent être appliquées est la distribution de clés quantique , plus précisément dans l'échange sécurisé de clés quantiques[4]. Les bases mutuellement impartiales sont utilisées dans de nombreux protocoles puisque que le résultat est aléatoire quand une mesure est faite sur une base impartiale par rapport à celle dont l'état a été préparé, établi. Lorsque deux parties distantes partagent deux états quantiques non orthogonaux, les tentatives d'usurpation en les distinguant par des mesures affecteront le système, ce qui peut être détecté. Alors que de nombreux protocoles de cryptographie quantique se sont appuyés sur des technologies à 1 bit, l'utilisation d'états de plus grande dimension, tels que les qutrits, permet une meilleure sécurité contre l'écoute, l'usurpation. Ce qui motive l'étude des bases mutuellement impartiales dans des espaces de plus grande dimension.

D'autres utilisations de bases mutuellement impartiales incluent la reconstruction d'état quantique[5], les codes de correction d'erreur quantique[6],[7], la détection de l'intrication quantique[8], et le dénommé "problème du roi"[9],[10].

Problème de l'existence

modifier

Soit   le nombre maximum de bases mutuellement impartiales dans l'espace de Hilbert d-dimensionnelle Cd. C'est une question ouverte[11] combien de bases mutuellement impartiales,   on peut trouver dans Cd, avec d comme arbitraire.

En général, si

 

est la factorisation en puissance de nombres premiers de d, où

 

le nombre maximal de bases mutuellement impartiales peut être construit et satisfait

 

Il en résulte que, si la dimension d'un espace de Hilbert d est une puissance entière d'un nombre premier, alors il est possible de trouver d + 1 bases mutuellement impartiales. Ceci peut être vu dans l'équation précédente, car la décomposition en nombres premiers de d est tout simplement  . Donc,

 

Ainsi, le nombre maximum de bases mutuellement impartiales est connu lorsque d est une puissance entière d'un nombre premier, mais il n'est pas connu pour l’arbitraire d.

Exemples d'ensembles de bases mutuellement impartiales

modifier

Exemple pour d = 2

modifier

Les trois bases

 
 
 

fournissent l'exemple le plus simple de bases mutuellement impartiales dans C2. Les bases ci-dessus sont composées des vecteurs propres du spin des matrices de Pauli   et leur produit  .

Exemple pour d = 4

modifier

Pour d = 4, un exemple de d + 1 = 5 bases mutuellement impartiales où chaque base est notée Mj, 0 ≤ j ≤ 4, est donné comme suit[12] :

 
 
 
 
 

Méthodes pour trouver des bases mutuellement impartiales

modifier

Soit   et   deux opérateurs unitaires dans l'espace de Hilbert C,d tels que

 

Pour des facteurs de phase  . Si   est une racine primitive de l'unité, par exemple   alors les bases propres de   et   sont mutuellement impartiales.

En choisissant la base propre de   comme, base standard , nous pouvons générer une autre base qui lui est mutuellement impartiale à l'aide de la matrice de Fourier. Les éléments de la matrice de Fourier sont donnés par

 

D'autres bases qui sont mutuellement impartiales à la fois par rapport à la base standard et de la base générée par la matrice de la transformée de Fourier peuvent être générées à l'aide des groupes de Weyl. La dimension de l'espace de Hilbert est importante lors de la génération des ensembles de bases mutuellement impartiales en utilisant des groupes de Weyl. Lorsque d est un nombre premier, les usuelles d + 1 bases mutuellement impartiales peuvent être générés à l'aide de groupes de Weyl. Lorsque d n'est pas un nombre premier, il est alors possible que le nombre maximal de bases mutuellement impartiales pouvant être générées à l'aide de cette méthode soit 3.

Méthode des opérateurs unitaires utilisant des champs finis[13] (en)

modifier

Lorsque d = p est premier, on définit les opérateurs unitaire   et   par

 
 

  est la base standard et   est une racine de l'unité.

Alors les bases propres des opérateurs d + 1 sont mutuellement impartiales:

 

Lorsque   est une puissance d'un nombre premier, nous utilisons le champ fini   un ensemble maximal de d + 1 bases mutuellement impartiales. Nous étiquetons les éléments de la base de calcul de Cd en utilisant le champ fini:  .

Nous définissons les opérateurs   and   de la manière suivante :

 
 

 

est un caractère additif sur le champ de l'addition et de la multiplication dans les technologies clés génériques et de la   et c'est  .

Ensuite, nous formons d + 1 ensembles d'opérateurs unitaires de commutations :

  et   pour chaque  

Les bases propres communes des opérateurs d'un ensemble sont mutuellement impartiales par rapport à celles de tout autre ensemble. Nous avons donc d + 1 bases mutuellement impartiales.

Méthode matricielle de Hadamard

modifier

Étant donné qu'une base dans un espace de Hilbert est la base standard, alors toutes les bases impartiales par rapport à cette base peuvent être représentées par les colonnes d'une matrice complexe de Hadamard multipliées par un facteur de normalisation. Pour d = 3 ces matrices auraient la forme

 

Le problème de trouver un ensemble de k+1 bases mutuellement impartiales correspond à la recherche de k matrices de Hadamard complexes impartiales.

Un exemple d'une famille de matrices de Hadamard à un paramètre dans un espace de Hilbert à 4 dimensions est  

Le problème de trouver un ensemble maximal de MUBs lorsque d = 6

modifier

La plus petite dimension qui n'est pas une puissance entière d'un nombre premier est d = 6. C'est aussi la plus petite dimension pour laquelle le nombre de bases mutuellement impartiales n'est pas connu. Les méthodes utilisées pour déterminer le nombre de bases mutuellement impartiales lorsque d est une puissance entière d'un nombre premier ne peuvent pas être utilisées dans ce cas. La recherche d'un ensemble de quatre bases mutuellement impartiales lorsque d = 6, à la fois par l'utilisation de matrices de Hadamard et des méthodes numériques[14],[15] ont été infructueuses. La croyance générale est que le nombre maximum de bases mutuellement impartiales pour d = 6 est  [1].

Relations d'incertitude entropiques et MUBs

modifier

Il existe une caractérisation alternative des bases mutuellement impartiale qui les considère en termes de relations d'incertitude[16].

Les relations d'incertitude entropiques sont analogues au principe d'incertitude de Heisenberg, et Maassen et Uffink[17] ont constaté que, pour les deux bases   et   :

  et   et   est l'entropie respective des bases   et   lors de la mesure d'un état donné.

Les relations d'incertitude entropiques sont souvent préférables[18] au principe principe d'incertitude de Heisenberg, car elles ne sont pas formulées en termes d'état à mesurer, mais en termes de c.

Dans des scénarios tels que la distribution de clés quantique, nous nous efforçons de mesurer des bases telles que la connaissance complète d'un état par rapport à une base implique une connaissance minimale de l'état par rapport aux autres base. Ceci implique une forte entropie des résultats de mesure et nous les appelons donc fortes relations d'incertitude entropiques.

Pour deux bases, la limite inférieure de la relation d'incertitude est maximisée lorsque les bases mesurées sont impartiales, puisque les bases mutuellement impartiales sont au maximum incompatibles: le résultat d'une mesure dans une base impartiale dans laquelle l'état est préparé est complètement aléatoire. pour un espace de dimension d, nous avons[19] :

 

pour toute paire de bases mutuellement impartiales   et  . Cette borne est optimale[20] : Si on mesure l'état de l'une des bases le résultat a l'entropie 0 dans cette base et l'entropie   dans les autres.

Si la dimension de l'espace est une puissance de nombres premiers, on peut construire d + 1 MUBs, et ensuite il a été trouvé que[21]

 

ce qui est plus fort que la relation que nous obtiendrions en associant les ensembles et en utilisant ensuite l'équation de Maassen et de Uffink. Nous avons donc une caractérisation de d + 1 bases mutuellement impartiales comme celles pour lesquelles les relations d'incertitude sont les plus fortes.

Bien que le cas pour deux bases et pour d + 1 bases sont bien étudiés, on en sait très peu sur les relations d'incertitude pour des bases mutuellement impartiales dans d'autres circonstances[22].

Quand on considère plus de deux, et moins de   bases, on sait qu'il existe de grands ensembles de bases mutuellement impartiales qui présentent très peu d'incertitude[23]. Cela signifie que le simple fait d'être mutuellement impartiale n'entraîne pas une grande incertitude, sauf lorsqu'on envisage des mesures sur seulement deux bases. Pourtant, il existe d'autres mesures qui sont très incertaines[24].

Bases mutuellement impartiales dans les espaces de Hilbert de dimension infinie

modifier

Bien qu'il y ait eu des recherches sur des bases mutuellement impartiales dans l'espace de Hilbert de dimension infinie, leur existence reste une question ouverte. On suppose que, dans un espace de Hilbert continu, deux bases orthonormées   et   sont dites mutuellement impartiales si[25]

 

Pour la position généralisée et les moments des états propres  et  , la valeur de k est

 

L'existence de bases mutuellement impartiales dans un espace continu de Hilbert reste ouverte au débat, car des recherches supplémentaires sur leur existence sont nécessaires avant que des conclusions puissent être tirées.

Les états des positions   et les états des moments   sont des vecteurs propres des opérateurs Hermitien   et  , respectivement. Weigert et Wilkinson ont d'abord remarqué qu'une combinaison linéaire de ces opérateurs possède des bases propres, qui ont certaines caractéristiques typiques des bases mutuellement impartiales. Un opérateur   a des fonctions propres proportionnelles à   avec   et les valeurs propres correspondantes  . Si nous paramétrons   et   comme   et  , le chevauchement entre n'importe quel état propre de la combinaison linéaire et n'importe quel état propre de l'opérateur de position (les deux états normalisés au delta de Dirac) est constant, mais dépendant de  :

 

  et   représente les fonctions propres de   et  .

Références

modifier
  1. a et b I. Bengtsson, Three ways to look at mutually unbiased bases, https://arxiv.org/abs/quant-ph/0610216.
  2. J. Schwinger, « Unitary Operator Bases, Harvard University », Proc. Natl. Acad. Sci. U.S.A., vol. 46,‎ , p. 570–9 (PMID 16590645, PMCID 222876, DOI 10.1073/pnas.46.4.570, Bibcode 1960PNAS...46..570S, lire en ligne)
  3. I. D. Ivanovic, « Geometrical description of quantal state determination », J. Phys. A., vol. 14,‎ , p. 3241–3245 (DOI 10.1088/0305-4470/14/12/019, Bibcode 1981JPhA...14.3241I)
  4. M. Planat et al, A Survey of Finite Algebraic Geometrical Structures Underlying Mutually Unbiased Quantum Measurements, http://hal.ccsd.cnrs.fr/docs/00/07/99/18/PDF/MUB_FP.pdf.
  5. W. K. Wootters et B. D. Fields, « Optimal State-Determination by Mutually Unbiased Measurements », Ann. Phys., vol. 191,‎ , p. 363–381 (DOI 10.1016/0003-4916(89)90322-9, Bibcode 1989AnPhy.191..363W)
  6. D. Gottesman, « Class of quantum error-correcting codes saturating the quantum Hamming bound », Phys. Rev. A, vol. 54,‎ , p. 1862–1868 (DOI 10.1103/physreva.54.1862, Bibcode 1996PhRvA..54.1862G, arXiv quant-ph/9604038)
  7. A. R. Calderbank, « , Quantum Error Correction and Orthogonal Geometry », Phys. Rev. Lett., vol. 78,‎ , p. 405–408 (DOI 10.1103/physrevlett.78.405, Bibcode 1997PhRvL..78..405C, arXiv quant-ph/9605005)
  8. C. Spengler, M. Huber, S. Brierley et T. Adaktylos, « Entanglement detection via mutually unbiased bases », Phys. Rev. A, vol. 86,‎ , p. 022311 (DOI 10.1103/physreva.86.022311, Bibcode 2012PhRvA..86b2311S, arXiv 1202.5058)
  9. L. Vaidman, « How to ascertain the values of   and   of a spin-1/2 particle », Phys. Rev. Lett., vol. 58,‎ , p. 1385–1387 (DOI 10.1103/PhysRevLett.58.1385, Bibcode 1987PhRvL..58.1385V)
  10. B.-G. Englert et Y. Aharonov, « The mean king's problem: prime degrees of freedom », Phys. Lett. A, vol. 284,‎ , p. 1–5 (DOI 10.1016/s0375-9601(01)00271-7, Bibcode 2001PhLA..284....1E, arXiv quant-ph/0101134)
  11. T. Durt, B.-G. Englert, I. Bengtsson et K. Życzkowski, « On mutually unbiased bases », Int. J. Quantum Information, vol. 8,‎ , p. 535–640 (DOI 10.1142/s0219749910006502, arXiv 1004.3348)
  12. A. Klappenecker, M. Roetteler, Constructions of Mutually Unbiased Bases, 2003, https://arxiv.org/abs/quant-ph/0309120.
  13. S. Bandyopadhyay, P. O. Boykin, V. Roychowdhury, F. Vatan, A new proof for the existence of mutually unbiased bases, 2001, https://arxiv.org/abs/quant-ph/0103162.
  14. P. Butterley, W. Hall "Numerical evidence for the maximum number of mutually unbiased bases in dimension six, 2007, https://arxiv.org/abs/quant-ph/0701122.
  15. S. Brierley et S. Weigert, « Maximal sets of mutually unbiased quantum states in dimension six », Phys. Rev. A, vol. 78,‎ , p. 042312 (DOI 10.1103/physreva.78.042312, Bibcode 2008PhRvA..78d2312B, arXiv 0808.1614)
  16. I.I. Hirschman et Jr, « A note on entropy », American Journal of Mathematics, vol. 79,‎ , p. 152–156 (DOI 10.2307/2372390).
  17. H. Maassen, J.B.M. Uffink: Generalized entropic uncertainty relations: Phys. Rev. Lett. 60, 1103–1106 (1988).
  18. I. Damgard, S. Fehr, R. Renner, L. Salvail, C. Schaner(2006), https://arxiv.org/abs/quant-ph/0612014.
  19. D. Deutsch, « Uncertainty in Quantum Measurements », Physical Review Letters, vol. 50, no 9,‎ , p. 631–633 (DOI 10.1103/physrevlett.50.631, Bibcode 1983PhRvL..50..631D).
  20. A. Ambainis, Limits on entropic uncertainty relations for 3 and more MUBs, https://arxiv.org/abs/0909.3720.
  21. S. Wehner and A. Winter, 2010 New J. Phys. 12 025009: http://iopscience.iop.org/1367-2630/12/2/025009/.
  22. S. Wu, S. Yu et K. Mølmer, « Entropic uncertainty relation for mutually unbiased bases », Phys. Rev. A, vol. 79,‎ , p. 022104 (DOI 10.1103/physreva.79.022104, Bibcode 2009PhRvA..79b2104W, arXiv 0811.2298).
  23. M. Ballester et S. Wehner, « Entropic uncertainty relations and locking: tight bounds for mutually unbiased bases », Physical Review A, vol. 75,‎ , p. 022319 (DOI 10.1103/PhysRevA.75.012319, Bibcode 2007PhRvA..75a2319C, arXiv quant-ph/0606244).
  24. S. Wehner et A. Winter, « Higher entropic uncertainty relations for anti-commuting observables », Journal of Mathematical Physics, vol. 49,‎ , p. 062105 (DOI 10.1063/1.2943685, Bibcode 2008JMP....49f2105W, arXiv 0710.1185).
  25. S. Weigert, M. Wilkinson, Mutually Unbiased Bases for Continuous Variables, Phys. Rev. A 78, 020303(R) (2008), https://arxiv.org/abs/0802.0394.