Bien
Anne d- Livres et vidéos
- Informatique quantique - De la physique quantique à la programmation quantique en Q#
Informatique quantique De la physique quantique à la programmation quantique en Q#
1 avis
L'engouement pour l'informatique quantique est en pleine effervescence et ce sujet complexe fait de plus en plus l'objet de publications. Ce livre s'adresse à toute personne qui souhaite découvrir les concepts et fondements de l'informatique quantique et plus particulièrement aux étudiants en informatique ou aux développeurs qui souhaitent débuter avec Q#, le langage de Microsoft adapté à la programmation quantique.
Pour tirer le...
Consulter des extraits du livre en ligne
Aperçu du livre papier
- Niveau Initié à Confirmé
- Nombre de pages 244 pages
- Parution février 2019
- Niveau Initié à Confirmé
- Parution février 2019
L'engouement pour l'informatique quantique est en pleine effervescence et ce sujet complexe fait de plus en plus l'objet de publications. Ce livre s'adresse à toute personne qui souhaite découvrir les concepts et fondements de l'informatique quantique et plus particulièrement aux étudiants en informatique ou aux développeurs qui souhaitent débuter avec Q#, le langage de Microsoft adapté à la programmation quantique.
Pour tirer le meilleur profit de la lecture de ce livre, des connaissances en mathématiques et en particulier sur les nombres complexes et le calcul matriciel sont un plus.
Dans la première partie du livre, l'auteur présente les rudiments de la physique quantique qui permettront ensuite de saisir les bases constitutives de l'informatique quantique. Le modèle de Bohr et les notions d'état quantique, de superposition quantique ou d'intrication quantique sont ainsi détaillés.
Dans la deuxième partie du livre, l'auteur étudie ensuite les grands concepts de l'informatique quantique comme le bit quantique, la porte quantique, les circuits et algorithmes quantiques ou encore l'ordinateur quantique.
La troisième partie consacrée au développement quantique avec Q# est plus tournée vers la pratique. Le lecteur apprend ainsi à installer le kit de développement Quantum, qui regroupe les outils quantiques de Microsoft, et étudie le langage Q# pour ensuite simuler ses premiers programmes quantiques au sein de cet environnement.
Pour finir, l'auteur termine avec un glossaire ainsi qu'un récapitulatif historique de la physique et de l'informatique quantiques, qui peuvent être utiles au lecteur tout au long de sa lecture.
Les chapitres du livre :
Avant-propos – De la théorie classique à la physique quantique – Modèle de Bohr et quantification de l'énergie – L'état quantique – La superposition quantique – L'intrication quantique – Le bit quantique – La porte quantique – Définition des circuits quantiques – Construire un ordinateur quantique – Microsoft Quantum Development Kit et son installation – Le langage Q# et son utilisation – Simuler des programmes quantiques en Q# – Histoire de la physique quantique – Glossaire de la physique quantique
Quizinclus dans
la version en ligne !
Pour tirer le meilleur profit de la lecture de ce livre, des connaissances en mathématiques et en particulier sur les nombres complexes et le calcul matriciel sont un plus.
Dans la première partie du livre, l'auteur présente les rudiments de la physique quantique qui permettront ensuite de saisir les bases constitutives de l'informatique quantique. Le modèle de Bohr et les notions d'état quantique, de superposition quantique ou d'intrication quantique sont ainsi détaillés.
Dans la deuxième partie du livre, l'auteur étudie ensuite les grands concepts de l'informatique quantique comme le bit quantique, la porte quantique, les circuits et algorithmes quantiques ou encore l'ordinateur quantique.
La troisième partie consacrée au développement quantique avec Q# est plus tournée vers la pratique. Le lecteur apprend ainsi à installer le kit de développement Quantum, qui regroupe les outils quantiques de Microsoft, et étudie le langage Q# pour ensuite simuler ses premiers programmes quantiques au sein de cet environnement.
Pour finir, l'auteur termine avec un glossaire ainsi qu'un récapitulatif historique de la physique et de l'informatique quantiques, qui peuvent être utiles au lecteur tout au long de sa lecture.
Les chapitres du livre :
Avant-propos – De la théorie classique à la physique quantique – Modèle de Bohr et quantification de l'énergie – L'état quantique – La superposition quantique – L'intrication quantique – Le bit quantique – La porte quantique – Définition des circuits quantiques – Construire un ordinateur quantique – Microsoft Quantum Development Kit et son installation – Le langage Q# et son utilisation – Simuler des programmes quantiques en Q# – Histoire de la physique quantique – Glossaire de la physique quantique
Quizinclus dans
la version en ligne !
- Testez vos connaissances à l'issue de chaque chapitre
- Validez vos acquis
Avant-propos
- Introduction
De la théorie classique à la physique quantique
- Du classique au quantique
- 1. Lumière et sauts d’énergie
- 2. Lumière et matière, mêmecombat
- L'atome
- La classification périodique des éléments
- La lumière
- 1. Lumière, onde-corpuscule
- 2. Le photon
Modèle de Bohr et quantification de l’énergie
- Pourquoi le modèle de Bohr ?
- 1. Introduction
- 2. Spectre électromagnétique et raiesspectrales
- 3. Postulat de Bohr
- Modèle de Bohr
- 1. Précisions concernant les orbites
- 2. Modèle de Bohr et nombres quantiques
- a. Premier nombre quantique n
- b. Second nombre quantique l
- c. Troisième nombre quantique m
- d. Quatrième nombre quantique s
- 3. Nombres quantiques et représentation de l’étatde l’électron
L’état quantique
- Vers une définition de l'état quantique
- 1. Le principe d’incertitude d’Heisenberg
- 2. La mesure quantique
- 3. Un monde probabiliste
- 4. L’approche systémique
- L'état quantique et les mathématiques
- 1. Rapide retour sur les vecteurs
- 2. Rapide retour sur le calcul matriciel
- 3. La notation bra-ket
- Fonction d'onde
- 1. La mise en évidence graphique
- 2. La fonction d’onde continue
La superposition quantique
- Introduction à la superposition quantique
- 1. En partant de l’état quantique
- 2. Outils mathématiques
- a. Premier exemple avec le spin de l’électron
- b. Rapide retour sur les nombres complexes
- c. Calcul relatif à la probabilité
- 3. Second exemple : le « dé quantique »
- 1. Interprétation du « dé quantique »
- 2. Le paradoxe du chat de Schrödinger
- a. Mise en équation
L’intrication quantique
- Première approche de l'intrication quantique
- 1. Propos introductif
- 2. Mise en évidence
- Le paradoxe EPR
- 1. Explications du paradoxe EPR
- 2. Interprétations du paradoxe EPR
- La théorie de Bell
- 1. Explications de la théorie de Bell
- 2. Intérêt des inégalitésde Bell dans le champ expérimental
- 3. « Dieu joue aux dés » (?)ou l’expérience d’Aspect
Le bit quantique
- Vers le bit quantique
- 1. Du bit au bit quantique
- 2. Sphère de Bloch
- 3. Résumé du cycle de vie d’un qubit
- Définition vectorielle du bit quantique
- 1. Exemple à un qubit
- 2. Exemple à deux qubits
La porte quantique
- Comparaison avec l'informatique quantique
- 1. Introduction
- 2. Exemple de la porte logique NOT
- 3. Exemple de la porte logique XOR
- Les portes quantiques à un qubit en entrée
- 1. Introduction
- 2. Porte de Hadamard (H)
- a. Utilisation de la porte de Hadamard
- 3. Porte de Pauli-X (NOT)
- a. Utilisation de la porte de Pauli-X
- 4. Portes de Pauli-Y et de Pauli-Z
- a. Considérations sur la porte de Pauli-Y
- b. Considérations sur la porte de Pauli-Z
- 5. Racine carrée de la porte NOT
- 6. Porte de changement de phase
- 1. Introduction
- 2. Porte cNOT (cX)
- 3. Porte SWAP (S)
- a. Présentation et description
- b. Conception de la porte SWAT à base de laporte cNOT
- 1. Porte TOF (CCNOT)
- 2. Porte Fredkin (CSWAP)
- 3. La mesure dans les schémas quantiques
Définition des circuits quantiques
- Introduction
- Produit tensoriel
- 1. Montage en série
- 2. Produit de Kronecker
- 3. Montage en parallèle
- Les états de Bell
- 1. Explications
- 2. Initialisation
- 3. Application de la porte de Hadamard
- 4. Application de la porte CNOT
- 5. Résultat et interprétation
- Téléportation quantique
- 1. Explications
- 2. Scénario de téléportation
- 3. Schéma quantique de téléportation
- 4. Interprétation
- Classification des problèmes à résoudre et complexité
- 1. L’informatique classique face à l’informatiquequantique
- a. Complexité des problèmes à résoudre
- b. Parallélisation quantique ou la puissancedu registre quantique
- 1. L’informatique classique face à l’informatiquequantique
- 1. Contexte
- 2. La complexité
- a. Première approche
- b. Complexité de l’algorithme par dichotomie
- c. Complexité d’un algorithme appliqué auproblème du voyageur de commerce
- a. Les classes P et NP
- b. Inclusions ?
- c. Les classes EXPTIME et NEXPTIME
- d. La classe NP-Complet
- 1. Introduction
- 2. L’algorithme quantique de Shor
Construire un ordinateur quantique
- Introduction
- Architecture de l'ordinateur quantique
- 1. Premiers éléments
- 2. Bit quantique logique et bit quantique physique
- Le bit quantique physique en pratique
- 1. Approche générale
- 2. Pistes de réalisation
- Détails de quelques pistes de réalisation
- 1. La piste de la résonance magnétiquenucléaire
- a. Explication du phénomène
- b. RMN et ordinateur quantique
- 1. La piste de la résonance magnétiquenucléaire
- 2. La piste « Josephson »
- a. L’effet Josephson
- b. Bit quantique à supraconducteurs
- 1. Typologie des acteurs
- 2. Un état des lieux, acteur par acteur
- a. D-Wave Systems
- b. Rigetti Computing
- c. Fujitsu
- d. Atos
- e. Google
- f. Intel
- g. IBM
- h. Microsoft
Quantum Development Kit et son installation
- Présentation générale
- 1. Annonce de la sortie
- 2. Composition du kit quantique de Microsoft
- Installation du Microsoft Quantum Development Kit
- 1. Environnements de développements ciblés
- 2. Installation avec Microsoft Visual Studio
- a. Installation de Microsoft Visual Studio
- b. Installation de Microsoft Quantum Development Kit
- 3. Installation avec Visual Studio Code
- a. Installation de Visual Studio Code
- b. Installation du .NET Core SDK
- c. Installation annexe relative à C# (facultative)
- d. Installation de Microsoft Quantum Development Kit
- e. Configuration relative à la ligne de commande
- 4. Test de la validité de l’installation
- a. Test avec Microsoft Visual Studio
- b. Test avec Visual Studio Code
- 5. Examen du projet de test de téléportation
- a. Le projet de téléportation
- b. Le fichier TeleportationSample.qs
Le langage Q# et son utilisation
- Présentation du langage Q#
- 1. Introduction
- 2. Un langage évolutif
- 3. Un langage multiparadigme
- Éléments relatifs aux signes de ponctuation
- 1. Contexte
- 2. Nomenclature relative aux signes de ponctuation
- Les types en Q#
- 1. Les types primitifs du langage
- Les structures de données
- 1. Introduction
- 2. Le tableau
- 3. Le tuple
- a. Le cas particulier du tuple singleton
- 1. Définir ses propres types en Q#
- 2. Les types encapsulés en Q#
- a. Introduction du mot-clé let
- b. Utiliser les types encapsulés
- c. Opérateur de désencapsulation
- 1. Distinction entre opération et fonction enQ#
- 2. Utiliser des « callables » dansdes « callables »
- 3. L’opération en Q#
- a. Première approche
- b. Un exemple avec tuple non vide en sortie
- c. Les mots-clés adjoint et controlled
- a. Condition if…elif
- b. Boucle for
- c. Boucle repeat...until
- 1. Le mot-clé let et l’immutabilité
- 2. Les mots-clés mutable et set
- 1. Utiliser un registre de bits quantiques
- 2. Première approche des portes quantiques enQ#
- a. Les primitives en Q#
- b. Une primitive particulière, la mesure
- a. Opération Assert
- b. Opération AssertProb
- c. Opération CNOT
- d. Opération CCNOT
- e. Opération Exp
- f. Opération ExpFrac
- g. Opération H
- h. Opération I
- i. Opération M
- j. Opération Measure
- k. Opération MultiX
- l. Opération R
- m. Opération R1
- n. Opération R1Frac
- o. Opération RFrac
- p. Opération Rx
- q. Opération Ry
- r. Opération Rz
- s. Opération Random
- t. Opération Reset
- u. Opération ResetAll
- v. Opération S
- w. Opération SWAP
- x. Opération T
- y. Opération X
- z. Opération Y
- aa. Opération Z
- 1. Les tests unitaires en Q#
- a. Contexte
- b. Création d’un projet de tests avec MicrosoftVisual Studio
- c. Création d’un projet de tests avec VisualStudio Code
- d. Écrire des tests unitaires
- e. Exécuter des tests unitaires
- a. Les outils des environnements de développement
- b. Utiliser les messages
- c. Utiliser les logs
- d. Utiliser les assertions
- e. Les fonctions de dump
- 1. Contexte
- 2. L’espace de noms Microsoft.Quantum.Core
- 3. Les espaces Microsoft.Extensions.*
- a. Microsoft.Extensions.Bitwise
- b. Microsoft.Extensions.Convert
- c. Microsoft.Extensions.Diagnostics
- d. Microsoft.Extensions.Math
- e. Microsoft.Extensions.Testing
Simuler des programmes quantiques en Q#
- Contexte
- Exemple appliqué : les états de Bell
- 1. Contexte
- 2. Les états de Bell
- 3. Création d’un projet quantique
- a. Création d’un projet quantique avec MicrosoftVisual Studio
- b. Création d’un projet quantique avec VisualStudio Code
- 4. Programmation du fichier Q#
- a. Renommage du fichier
- b. Codage du fichier Q#
- 5. Programmation du fichier de pilotage C#
- a. Code automatiquement généré
- 6. Exécuter le programme quantique
- a. Exécuter le programme quantique avec MicrosoftVisual Studio
- b. Exécuter le programme quantique avec VisualStudio Code
- 7. Simuler la superposition quantique
- 8. Simuler les états de Bell avec l’intricationquantique
- 1. Différentes situations de mesures en Q#
- a. Contexte
- b. Le projet quantique de mesure
- c. Le pilote C#
- d. Le code quantique Q# de la mesure d’un bitquantique
- e. Le code quantique Q# de la mesure d’un registrede bits quantiques
- f. Le code quantique Q# de la mesure dans labase de Bell
- a. Contexte
- b. L’algorithme quantique
- c. Le pilote C#
- d. Le code quantique Q#
- 1. Contexte
- 2. Simulateur distant avec Azure
Histoire de la physique quantique
- Contexte
- Histoire chronologique : le XIXe siècle
- 1. De 1800 aux années 1860
- 2. Années 1870
- 3. Années 1880
- 4. Années 1890
- Histoire chronologique : le XXe siècle
- 1. Années 1900
- 2. Années 1910
- 3. Années 1920
- a. Année 1922
- b. Année 1923
- c. Année 1925
- d. Année 1926
- e. Année 1927
- f. Année 1928
- g. Année 1929
- 4. Années 1930
- 5. Années 1940
- 6. Années 1950
- 7. Années 1960
- 8. Années 1970
- 9. Années 1980
- 10. Années 1990
- 1. Années 2000
- 2. Années 2010
Glossaire de la physique quantique
- Contexte
- Glossaire alphabétique

Benoît PRIEUR
Diplômé de l'ISIMA de Clermont-Ferrand, Benoît PRIEUR est depuis pendant plusieurs années ingénieur freelance. Spécialisé dans le développement avec les langages Python, C++, Rust et C#, il intervient aussi dans les domaines du Machine Learning et du NLP. Également formateur et conférencier sur diverses technologies (notamment l'informatique quantique), il écrit régulièrement des articles sur la programmation de logiciels.
En savoir plus