Séance de cours

Tolérance aux fautes: Formalisme stabilisant

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

PHYS-641: Quantum Computing

After introducing the foundations of classical and quantum information theory, and quantum measurement, the course will address the theory and practice of digital quantum computing, covering fundamental and advanced topics such as recent quantum algorithms ...

Description

Cette séance de cours couvre le formalisme stabilisant, mettant l'accent sur les sous-groupes abeliens, les groupes stabilisants et les types de groupes stabilisants. Il explique le concept de formalisme stabilisateur à l'aide d'exemples et discute de la tolérance aux défauts dans la correction quantique des erreurs.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e

Vincenzo Savona

De nationalité italienne, Vincenzo Savona est né en 1969. Il effectue ses études de physique à lEcole normale supérieure de Pise et à lUniversité de Pise. Puis il entreprend une thèse de doctorat à lInstitut de physique théorique de lEPFL. Il effectue des recherches post-doctorales à lEPFL, puis à lInstitut de physique de lUniversité Humboldt de Berlin. En 2002, il revient à lEPFL pour y constituer son groupe de recherche, bénéficiant dun subside «professeur boursier» du Fonds national suisse de la recherche scientifique. En 2006, il est nommé professeur assistant tenure-track à lEPFL et intègre le NCCR de photonique quantique. En 2010 il est nommé professeur associé. Actuellement, il dirige le Laboratoire de physique théorique des nanosystèmes.

Source officielle

Proximité ontologique

Informatique théorique

Theory of computation: Informatique quantique

Concepts associés (32)

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.

Informatique quantique

L'informatique quantique est le sous-domaine de l'informatique qui traite des calculateurs quantiques et des associés. La notion s'oppose à celle d'informatique dite « classique » n'utilisant que des phénomènes de physique classique, notamment de l'électricité (exemple du transistor) ou de mécanique classique (exemple historique de la machine analytique). En effet, l'informatique quantique utilise également des phénomènes de la mécanique quantique, à savoir l'intrication quantique et la superposition.

Code quantique

Les codes quantiques sont l'équivalent quantique des codes correcteurs. La théorie des codes quantiques est donc une branche de l'information quantique qui s'applique à protéger l'information quantique des effets de la décohérence. La correction d'erreur quantique est un élément essentiel du calcul tolérant aux fautes qui doit gérer non seulement les erreurs dans l'information stockée, mais aussi dans l'application des portes quantiques, la préparation de nouveaux états ainsi que dans les opérations de mesure.

Code stabilisateur

Un code stabilisateur est un code quantique autocorrecteur qui protège k qubits en les encodant dans n qubits (avec nécessairement ). La mise en œuvre d'ordinateurs quantiques se heurte aux difficultés introduites par la présence de bruits, d'origine externe ou interne au système quantique construit, et qui perturbent les distributions probabilistes des états intriqués mesurés en fin de calcul.

One-way quantum computer

The one-way or measurement-based quantum computer (MBQC) is a method of quantum computing that first prepares an entangled resource state, usually a cluster state or graph state, then performs single qubit measurements on it. It is "one-way" because the resource state is destroyed by the measurements. The outcome of each individual measurement is random, but they are related in such a way that the computation always succeeds.

Afficher plus

Séances de cours associées (64)

Information quantique et informatique

Couvre l'information quantique, l'informatique, les algorithmes, la correction d'erreurs et les défis sur le terrain.

Tolérance aux défauts: Sous-groupe de stabilisant

Explore la tolérance aux défauts, la propagation des erreurs et le théorème Gottesman-Kill dans les sous-groupes stabilisateurs.

Computing quantique tolérant les fautes

Explore l'informatique quantique tolérante aux défauts, couvrant la tolérance aux défauts, les codes stabilisateurs, la propagation des erreurs et les portes transversales.

Code de correction d'erreur quantique de Shor

Couvre le Code de correction des erreurs quantiques de Shor et son application pour corriger les erreurs sur différents qubits physiques.

Information quantique : L'expérience à double fente chez les jeunes

Explore l'expérience à double fente de Young et le comportement des particules quantiques.

Afficher plus

Concepts associés (32)

Information quantique

Informatique quantique

Code quantique

Code stabilisateur

One-way quantum computer

Afficher plus