Informatique quantique

Vue d'ensemble

Un ordinateur quantique représente les informations sous forme de qubits, dont l'état peut contenir des combinaisons cohérentes de valeurs de base. Les portes quantiques transforment les états communs de sorte que les amplitudes de probabilité interfèrent avant que la mesure ne produise des résultats classiques.

Fondements techniques

Le calcul quantique représente un registre de n qubits dans un espace vectoriel complexe de dimension deux à la puissance n, mais les algorithmes accèdent à cet état uniquement via des opérations et des mesures autorisées. Les portes unitaires créent des modèles d'interférence et les portes intriquées génèrent des corrélations inaccessibles aux qubits indépendants. La complexité du circuit prend en compte le nombre de portes, la profondeur et la connectivité, tandis que les estimations pratiques des ressources incluent également la préparation et la lecture de l'état. Les accélérations quantiques proviennent de la structure du problème, comme dans l'estimation de phase, l'amplification d'amplitude et la recherche de période, plutôt que de l'évaluation de chaque réponse classique et de leur lecture toutes en même temps.

Comment ça marche

Les algorithmes sont conçus pour amplifier des résultats utiles ou estimer des propriétés difficiles d'accès de manière classique. Les implémentations physiques incluent des circuits supraconducteurs, des ions piégés, des atomes neutres, des photons et des spins. La correction d'erreurs code les informations logiques sur de nombreux qubits physiques imparfaits.

Méthodes de mesure et de recherche

Le matériel est caractérisé par les temps de relaxation et de déphasage, la fidélité des portes et des mesures, la diaphonie et les fuites en dehors du sous-espace de calcul. L'analyse comparative randomisée estime l'erreur moyenne, tandis que l'analyse comparative de la tomographie et du cycle fournit des diagnostics plus riches mais plus coûteux. Les comparaisons utiles incluent la durée d'exécution totale, la probabilité de succès et le prétraitement classique, et non le seul nombre de qubits. L'atténuation des erreurs extrapole ou annule le bruit sans tolérance totale aux pannes, tandis que la correction des erreurs quantiques mesure de manière répétée les syndromes pour détecter les pannes tout en préservant les informations logiques. Les seuils de code de surface nécessitent toujours une surcharge importante en qubits physiques et un décodage classique rapide.

Idées clés

• Un qubit ne révèle pas toutes les amplitudes lorsqu'il est mesuré ; la mesure renvoie des données classiques limitées.
• L'avantage quantique est spécifique à un problème plutôt qu'une accélération universelle.
• Les machines utiles tolérantes aux pannes nécessitent des taux d'erreur inférieurs à des seuils exigeants et une surcharge importante.

Frontière actuelle de la recherche

Des recherches à court terme vérifient si les simulateurs analogiques ou les circuits spécialisés produisent des résultats scientifiquement utiles au-delà des méthodes classiques. Les feuilles de route tolérantes aux pannes optimisent la production d'états magiques, la synthèse de portes logiques et la connectivité spécifique à l'architecture. Les réseaux quantiques introduisent l'intrication distribuée et les processeurs modulaires, tandis que le calcul aveugle et vérifiable aborde la confiance. Les revendications d’avantage nécessitent des références transparentes par rapport à des algorithmes classiques puissants exécutés sur des tâches comparables. Les défis ouverts incluent le bruit corrélé, le contrôle cryogénique ou optique évolutif, la fabricabilité et les estimations des ressources pour la chimie, l'optimisation et la cryptanalyse qui incluent la précision, le chargement des données et les coûts de correction des erreurs.

Pourquoi c'est important

Les applications prometteuses incluent la simulation de systèmes quantiques, certaines tâches d'optimisation et algébriques, ainsi que de nouvelles capacités cryptographiques. Ce domaine stimule également les progrès en matière de contrôle, de cryogénie et de mesure de précision.

Limites et questions ouvertes

Les processeurs actuels sont bruyants et limités en termes d'échelle. La question de savoir si une application proposée surpasse la meilleure méthode classique doit être établie grâce à des estimations minutieuses des ressources et des références équitables.