Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Correspondance et solidité de l'essai Qubit

Description

Cette séance de cours couvre les concepts d'exactitude et de solidité dans le contexte du test Qubit, en mettant l'accent sur les algorithmes polynômes probabilistes du temps et des trappes. L'instructeur explique les propriétés de la famille des fonctions, le mécanisme de la trappe et la propriété 2 à 1 du test. La séance de cours se penche sur l'inversion des fonctions, la signification du premier bit et les implications pour les circuits quantiques. Différents lemmas sont présentés pour illustrer les fondements théoriques du test Qubit.

Source officielle

Proximité ontologique

Mathématiques

Analyse (mathématiques): Mesure (mathématiques)

Concepts associés (32)

Quantum circuit

In quantum information theory, a quantum circuit is a model for quantum computation, similar to classical circuits, in which a computation is a sequence of quantum gates, measurements, initializations of qubits to known values, and possibly other actions. The minimum set of actions that a circuit needs to be able to perform on the qubits to enable quantum computation is known as DiVincenzo's criteria. Circuits are written such that the horizontal axis is time, starting at the left hand side and ending at the right.

Complexité en temps

En algorithmique, la complexité en temps est une mesure du temps utilisé par un algorithme, exprimé comme fonction de la taille de l'entrée. Le temps compte le nombre d'étapes de calcul avant d'arriver à un résultat. Habituellement, le temps correspondant à des entrées de taille n est le temps le plus long parmi les temps d’exécution des entrées de cette taille ; on parle de complexité dans le pire cas. Les études de complexité portent dans la majorité des cas sur le comportement asymptotique, lorsque la taille des entrées tend vers l'infini, et l'on utilise couramment les notations grand O de Landau.

Quantum programming

Quantum programming is the process of designing or assembling sequences of instructions, called quantum circuits, using gates, switches, and operators to manipulate a quantum system for a desired outcome or results of a given experiment. Quantum circuit algorithms can be implemented on integrated circuits, conducted with instrumentation, or written in a programming language for use with a quantum computer or a quantum processor. With quantum processor based systems, quantum programming languages help express quantum algorithms using high-level constructs.

Porte quantique

En informatique quantique, et plus précisément dans le modèle de de calcul, une porte quantique (ou porte logique quantique) est un circuit quantique élémentaire opérant sur un petit nombre de qubits. Les portes quantiques sont les briques de base des circuits quantiques, comme le sont les portes logiques classiques pour des circuits numériques classiques. Contrairement à de nombreuses portes logiques classiques, les portes logiques quantique sont « réversibles ».

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.

Afficher plus

Séances de cours associées (57)

Théorie des probabilités : intégration et convergence

Couvre des sujets en théorie des probabilités, en se concentrant sur l'intégrabilité uniforme et les théorèmes de convergence.

Circuits quantiques

Couvre les circuits quantiques, les portes, les états et la théorie de l'information dans le calcul quantique.

Protocoles de délégation quantique

Couvre les protocoles classiques de vérification hamiltonienne simple qubit et de délégation quantique.

Formulation variationnelle : Mesures d'information

Explore la formulation variationnelle pour mesurer le contenu de l'information et la divergence entre les distributions de probabilité.

Enchevêtrement: Inégalités de Bell

Couvre l'enchevêtrement, les inégalités de Bell, les exigences de l'ESCS, le paradoxe de l'EPE et la vérification expérimentale en mécanique quantique.

Afficher plus

Concepts associés (32)

Informatique quantique

Afficher plus