- Information quantique
-
La théorie de l'information quantique, parfois abrégée simplement en information quantique, est un développement de la théorie de l'information de Claude Shannon exploitant les propriétés de la mécanique quantique, notamment le principe de superposition ou encore l'intrication. L'unité qui est utilisée pour quantifier l'information quantique est le qubit, par analogie avec le bit d'information classique.
Parmi les sous-branches de l'information quantique, on peut notamment citer :
- L'informatique quantique
- La cryptographie quantique
- Les codes correcteurs quantiques
- Les communications quantiques
Sommaire
Historique
En 1982, Richard Feynman fait le constat de la complexité à simuler des systèmes quantiques par un ordinateur classique[1]. Cette difficulté provient de la propriété que possèdent ces systèmes de pouvoir se trouver simultanément dans une superposition d'états quantiques. Il propose alors de construire un ordinateur quantique qui exploiterait le parallélisme quantique et permettrait ainsi de simuler efficacement le comportement de tout système quantique. La même année, David Benioff émet l'idée inverse d'utiliser un ordinateur quantique pour mener à bien des calculs classique de manière exponentiellement plus efficace qu'avec un ordinateur classique[2].
Parallèlement, Wootters, Zurek, et Dieks énoncent le théorème de non-clonage[3], qui stipule qu'un état quantique arbitraire ne peut être dupliqué. Ce théorème est fondamental en théorie de l'information quantique, car il impose une limite physique stricte à ce qu'il est possible de faire avec les qubits.En 1984, Charles H. Bennett et Gilles Brassard mettent au point un protocole de distribution de clé quantique, le BB84[4], permettant à deux protagonistes de partager une clé secrète de façon inconditionnellement sûre. La sécurité du protocole repose sur l'utilisation de photons comme qubits et deux principes physiques que sont le théorème de non-clonage et le postulat de réduction du paquet d'onde. Leur proposition initiale rencontre la scepticité de la communauté scientifique. Elle est due principalement au fait que les sources de photons qu'il proposent d'utiliser sont des sources de photons uniques, c'est-à-dire des sources capables d'émettre un et un seul photon à la fois. Or, il est encore impensable à cette époque que de telles sources puissent exister un jour. Leur publication est donc refusée dans toutes les revues réputées et seulement acceptée dans une sombre conférence organisée en Inde[5].
En 1985, David Deutsch publie un article[6] dans lequel il décrit le premier algorithme quantique, connu sous le nom d'algorithme de Deutsch. Bien qu'il ne possède pas réellement d'utilité pratique il est d'un intérêt théorique évident puisqu'il accomplit sa tâche, en l'occurrence déterminer si une fonction est constante ou équilibrée, plus efficacement que tout algorithme classique. Il sera généralisé en 1992 sous le nom d'algorithme de Deutsch-Jozsa[7].
En 1993, Ethan Bernstein et Umesh Vazirani démontrent qu'une machine de Turing quantique est capable de simuler tout système quantique en temps polynômial[8].
En 1994, Peter Shor dévoile l'algorithme de Shor[9]. Il marque véritablement le début de l'engouement pour le calcul quantique, car c'est le premier algorithme quantique plus efficace qu'un algorithme classique qui soit d'un intérêt pratique. En l’occurrence, il permet de factoriser un nombre entier en temps polynomial. Sa première implémentation pratique a eu lieu en 2001, et a permis de factoriser 15 en 3 × 5. Cet algorithme exploite la transformée de Fourier quantique, dont l'implémentation sur un ordinateur quantique a été démontrée la même année par Don Coppersmith[10].
En 1995, Ben Schumacher a établi le théorème équivalent au théorème du codage de source de Claude Shannon. C'est ainsi que le qubit a été défini comme unité physique d'information quantique. Aucun résultat équivalent au théorème du codage de canal n'est connu.
En 1996, Lov Grover découvre un algorithme de recherche quantique plus efficace que tout algorithme de recherche classique.
Le qubit
Article détaillé : Qubit.L'unité de mesure de l'information classique est le bit. Il ne peut prendre que deux valeurs discrètes, 0 ou 1. Un qubit peut quant à lui prendre un continuum de valeurs de la forme |ψ> = α |0> + β |1> où α et β sont des nombres complexes tels que | α | 2 + | β | 2 = 1. Un qubit est donc une superposition des kets |0> et |1>. C'est cette propriété qui est à l'origine du parallélisme quantique.
Informatique quantique
Article détaillé : Informatique quantique.L'informatique quantique est un sous-domaine de l'information quantique qui cherche à exploiter le parallélisme quantique afin de de mettre au point des ordinateurs quantiques. On peut cependant faire la distinction entre la partie software et la partie hardware.
D'un côté, les mathématiciens et informaticiens tentent de mettre au point des algorithmes quantiques, c'est-à-dire des algorithmes implémentables sur un calculateur quantique, exploitant en particulier le parallélisme quantique. Aujourd'hui, les plus connus sont l'algorithme de Shor, l'algorithme de Grover etc. D'un autre côté, on retrouve plutôt les physiciens, particulièrement des physiciens du solide, qui cherchent les systèmes physiques les plus aptes à implémenter un ordinateur quantique.
L'informatique quantique se heurte encore à ce jour à des difficultés expérimentales considérables. En particulier, un des éléments central d'un ordinateur quantique que sont les mémoires quantiques sont encore loin d'être au point, ce qui limite pour l'instant le développement à grande échelles des implémentations pratiques. Plus fondamentalement, on se heurte à un paradoxe : on demande aux qubits d'être isolés du monde extérieur pendant le calcul proprement dit, ceci afin de limiter les effets de décohérence, mais dans le même temps, on souhaite conserver une possibilité d'interaction avec le système afin d'effectuer une mesure à la fin du calcul pour obtenir un résultat. Ces deux souhaits sont très difficilement conciliables. Enfin, l'implémentation de portes quantiques efficace est également limitante. Celles-ci doivent être fiables, c'est-à-dire accomplir l'opération souhaitée avec une grande probabilité, et rapides, c'est-à-dire agir beaucoup plus rapidement que le temps de décohérence des qubits.
Il est important de signaler que les algorithmes quantiques sont par essence probabilistes, ce qui signifie qu'ils ont une certaine probabilité de fournir un résultat correct. Usuellement, on considère une probabilité de réussite de 2/3 pour les calculs de complexité. On définit ainsi la classe de complexité BQP, pour Bounded Quantum Polynomial, comme la classe des problèmes de décision solvables en temps polynomial avec une probabilité d'échec d'au plus 1/3.
A ce jour, la question de savoir si un ordinateur quantique est foncièrement plus efficace qu'un ordinateur classique est toujours ouverte. Précisément, on sait que BQP, qui est essentiellement la classe des problèmes solvables efficacement par un ordinateur quantique, englobe la classe P des problèmes de décision solvables en temps polynomial par un ordinateur classique. En d'autres termes, un ordinateur quantique est au moins aussi efficace qu'un ordinateur classique. Cependant, on ne sait pas avec certitude si BQP est strictement plus grand que P. De matière pragmatique, quand bien même un ordinateur quantique ne serait pas plus efficace qu'un ordinateur classique, on peut toujours le considérer comme un modèle de calcul au même titre que les machines de Turing ou le lambda-calcul.
Cryptographie quantique
Article détaillé : Cryptographie quantique.La cryptographie quantique cherche à développer des tâches cryptographiques impossibles classiquement ou bien à apporter des solutions alternatives à des primitives cryptographiques classiques.
Le champ le plus développé à l'heure actuelle est la distribution quantique de clé. Sa relative reconnaissance induit bien souvent un amalgame malheureux entre cryptographie quantique et distribution quantique de clé, alors que cette dernière n'est qu'un sous-ensemble de la cryptographique quantique.
La distribution quantique de clé permet à deux utilisateurs d'échanger entre eux une clé de chiffrement de manière inconditionnellement sûre, c'est-à-dire que l'information que possèderait un éventuel espion sur cette clé peut être toujours rendue arbitrairement petite . Cette inconditionnelle sécurité de la transmission est impossible à obtenir classiquement.Parmi les primitives cryptographiques étudiées, on peut citer la mise en gage quantique, le transfert inconscient quantique ou encore le tirage à pile ou face quantique.
Codes correcteurs d'erreurs quantiques
Article détaillé : Code quantique.La théorie classique des codes correcteurs ne peut pas être mise en œuvre dans le cadre de l'information quantique, puisqu'à cause du postulat de réduction du paquet d'onde toute mesure sur le système détruit définitivement ses propriétés quantiques, ce qui n'est évidemment pas souhaitable. Il est donc nécessaire de développer une théorie des codes correcteurs d'erreurs quantiques afin de corriger des états quantiques lors de leur transmission sur un canal quantique.
Bibliographie
- Le monde quantique, Dossier Pour la science n°68, juillet-septembre 2010
- Serge Haroche : cours du Collège de France (2006).
- Introduction à l'information et au calcul quantique : conférences du Collège Belgique (2009).
- Nielsen & Chuang : Quantum Computation and Quantum Information , CUP2001; ISBN 0-521-63503-9.
- Estève & co , les Houches 2003, LXXIX, experimental Q computation and information, Elsevier 2004, ISBN 0-444-51728-6
- Alber & co , Q information , SpV TMP173, 2001, ISBN 3-540-41666-8
- Paris & Rehacek , Q state estimation , SpVLNP649, 2004 , ISBN 3-540-22329-0
- Bouwmeester, Eckert , Zellinger ; the physics of Q information; SpV2001;ISBN 3-540-66778-4
- Heiss ; fundamentals of Q information , SpVLNP587, 2002; ISBN 3-540-43367-8
pour le calcul Q :
- Hirvensalo ; Q computing ; Sp2001; ISBN 3-540-66783-0
- Lomonaco & co ; AMS course 17-18/01/2000, Q computation for XXI century , AMS58(2002); ISBN 0-8218-2084-2
- Kitaev, Shen , Vyalyi ; classical &Q computation; AMS GSM47 (2002); ISBN 0-8218-2161-X
Voir aussi
- informatique quantique qui renvoie aussi à Quantiki
- logique quantique
- Téléportation quantique
Notes et références
- Richard P. Feynman, « Simulating physics with computers », dans International Journal of Theoretical Physics, 1982 [texte intégral]
- David Benioff, « Quantum Mechanical Models of Turing Machines That Dissipate No Energy », dans Phys. Rev. Lett., 1982
- W.K. Wootters and W.H. Zurek, « A Single Quantum Cannot be Cloned », dans Nature, vol. 299, 1982, p. 802-803
- C. H. Bennett and G. Brassard (July 1985). "Quantum Cryptography: Public key distribution and coin tossing" in IEEE International Conference on Computers, Systems, and Signal Processing, Bangalore. : p.175.
- Depuis la reconnaissance de la faisabilité du protocole, l'article est régulièrement cité. Il approche désormais les 2000 citations.
- David Deutsch, « Quantum theory, the Church-Turing principle and the universal quantum computer », dans Proceedings of the Royal Society of London; Series A, Mathematical and Physical Sciences, vol. 400, no 1818, July 1985, p. 97-117 [texte intégral]
- David Deutsch et Richard Jozsa, « Rapid solutions of problems by quantum computation », dans Proceedings of the Royal Society of London A, vol. 439, 1992, p. 553
- Ethan Bernstein and Umesh Vazirani (1993). "Quantum complexity theory" in Twenty-fifth annual ACM symposium on Theory of computing. : pp. 11-20.
- Peter Shor, « Polynomial-Time Algorithms For Prime Factorization And Discrete Logarithms On A Quantum Computer », dans SIAM Journal on Computing, vol. 6, 1997, p. 1484-1509 [texte intégral]
- Don Coppersmith, « An approximate Fourier transform useful in quantum factoring », dans IBM Research Report, 1994 [texte intégral]
Wikimedia Foundation. 2010.
