Information quantique

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 :

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

pour le calcul Q :

Voir aussi

Notes et références

  1. Richard P. Feynman, « Simulating physics with computers », dans International Journal of Theoretical Physics, 1982 [texte intégral] 
  2. David Benioff, « Quantum Mechanical Models of Turing Machines That Dissipate No Energy », dans Phys. Rev. Lett., 1982 
  3. W.K. Wootters and W.H. Zurek, « A Single Quantum Cannot be Cloned », dans Nature, vol. 299, 1982, p. 802-803 
  4. 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. 
  5. Depuis la reconnaissance de la faisabilité du protocole, l'article est régulièrement cité. Il approche désormais les 2000 citations.
  6. 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] 
  7. 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 
  8. Ethan Bernstein and Umesh Vazirani (1993). "Quantum complexity theory" in Twenty-fifth annual ACM symposium on Theory of computing. : pp. 11-20. 
  9. 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] 
  10. Don Coppersmith, « An approximate Fourier transform useful in quantum factoring », dans IBM Research Report, 1994 [texte intégral] 

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Information quantique de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Information Quantique — L information quantique et l informatique quantique sont deux domaines qui se jouxtent : informellement, les algorithmes Q (pour « quantiques »), par exemple l algorithme de Shor, de Grover, etc., ont été davantage la création des… …   Wikipédia en Français

  • Théorie de l'information quantique — Information quantique L information quantique et l informatique quantique sont deux domaines qui se jouxtent : informellement, les algorithmes Q (pour « quantiques »), par exemple l algorithme de Shor, de Grover, etc., ont été… …   Wikipédia en Français

  • Fragilite de l'information quantique face aux mesures — Fragilité de l information quantique face aux mesures En quantique, le fait de mesurer un état détruit cet état. C est un phénomène qui est en opposition au modèle classique (celui qui nous est familier dans notre expérience quotidienne) dans… …   Wikipédia en Français

  • Fragilité De L'information Quantique Face Aux Mesures — En quantique, le fait de mesurer un état détruit cet état. C est un phénomène qui est en opposition au modèle classique (celui qui nous est familier dans notre expérience quotidienne) dans lequel le fait de prendre un mesure n affecte pas l objet …   Wikipédia en Français

  • Fragilité de l'information quantique face aux mesures — En quantique, le fait de mesurer un état détruit cet état. C est un phénomène qui est en opposition au modèle classique (celui qui nous est familier dans notre expérience quotidienne) dans lequel le fait de prendre une mesure n affecte pas l… …   Wikipédia en Français

  • Quantique — Mécanique quantique Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique …   Wikipédia en Français

  • QUANTIQUE (MÉCANIQUE) - Le formalisme de la mécanique quantique — La mécanique ondulatoire, développée initialement par de Broglie et Schrödinger à partir de 1924, nous a appris à décrire un système physique tel que l’ensemble de n particules par une fonction d’onde complexe 祥(q , t ) des coordonnées q et du… …   Encyclopédie Universelle

  • Théorie quantique de l’information — Information quantique L information quantique et l informatique quantique sont deux domaines qui se jouxtent : informellement, les algorithmes Q (pour « quantiques »), par exemple l algorithme de Shor, de Grover, etc., ont été… …   Wikipédia en Français

  • Cryptographie quantique — La cryptographie quantique, plus correctement nommée distribution quantique de clés, désigne un ensemble de protocoles permettant de distribuer une clé de chiffrement secrète entre deux interlocuteurs distants, tout en assurant la sécurité de la… …   Wikipédia en Français

  • Calculateur quantique — La Sphère de Bloch est une représentation d’un qubit Un calculateur quantique ou ordinateur[1] quantique, repose sur des propriétés quantiques de la matière : superposition et intrication d éta …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”