Brevisima - Introduccion Comp Cuant

A Daz Caro, J. Samborski Forlese Introduccin a la Computacin Cuntica sn - p.
1
Brevsima Introduccin a la Computacin Cuntica
Alejandro Daz Caro
, Julin Samborski Forlese
Departamento de Ciencias de la Computacin - FCEIA - UNR
diazcaro@fceia.unr.edu.ar,

juliansf@gmail.com
A Daz Caro, J. Samborski Forlese Introduccin a la Computacin Cuntica sn - p. 2
Introduccin
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Qu es?
La computacin cuntica es un paradigma de computacin
distinto al de la computacin clsica.
Se basa en el uso de qubits en lugar de bits, y da lugar a
nuevas puertas lgicas que hacen posibles nuevos
algoritmos.
Una misma tarea puede tener diferente complejidad en
computacin clsica y en computacin cuntica, lo que ha
dado lugar a una gran expectacin, ya que algunos
problemas intratables pasan a ser tratables.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algo habrn hecho...
1936 Alan Turing inventa la MT para demostrar que

existan problemas matemticos que no eran computables.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algo habrn hecho...

Ley de Moore Dismunicin en tamao, mayor poder de
cmputo. Sin embargo, los problemas que requieren
recursos exponenciales siguen causando problemas.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algo habrn hecho...

1982 Richard Feynman sugiere que simular sistemas

cunticos necesariamente requiere recursos
exponenciales. Sin embargo la naturaleza es capaz de
simularlo de manera eciente!
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algo habrn hecho...


1985 David Deutsch describe el primer modelo para una

Quantum Turing Machine basada en la utilizacin de datos
y control cunticos.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algo habrn hecho...


1985 David Deutsch describe el primer modelo para una

Quantum Turing Machine basada en la utilizacin de datos
y control cunticos.
1993 Charles Bennett y otros cientcos de IBM disearon

el experimento de Teleportacin.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algo habrn hecho... (cont.)
1994 Peter Shor describe un algoritmo cuntico para

factorizar nmeros que es exponencialmente ms rpido
que cualquier algoritmo clsico conocido. El potencial de
ese algoritmo atrajo mucha inversin de entes estatales y
privados.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa

privados.
1998 Isaac Chuang dirige el grupo de Berkeley que

desarrolla la primera computadora cuntica de 1 qubit.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa

privados.

2001 Un grupo de IBM desarrolla una computadora

cuntica capaz de controlar 7 qubits, con ella prueban el
algoritmo de Shor factorizando el nmero 15.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa

privados.

2001 Un grupo de IBM desarrolla una computadora

cuntica capaz de controlar 7 qubits, con ella prueban el
algoritmo de Shor factorizando el nmero 15.
Diciembre de 2005 Rainer Blatt y su grupo de Innsbruck

realizan una computadora cuntica de 8 qubits (1 qubyte) y
Daniel Stick y su grupo de Michigan logran el primer chip
capaz de controlar un qubit.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algunos conceptos
Unidad mnima de informacin clsica: BIT.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algunos conceptos
Unidad mnima de informacin cuntica: QuBIT.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algunos conceptos
Un qubit puede existir como 0, como 1 o como una
superposicin de 0 y 1. Esto permite que se puedan
realizar cmputos sobre ambos valores a la vez.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algunos conceptos
Pensemos esto: con una computadora clsica que manipule
tan slo 500 bits poco podra hacerse, pero para igualar a
una computadora cuntica que manipule 500 qubits
necesitaramos manipular 2
500
bits!
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algunos conceptos
Pensemos esto: con una computadora clsica que manipule
tan slo 500 bits poco podra hacerse, pero para igualar a
una computadora cuntica que manipule 500 qubits
necesitaramos manipular 2
500
bits!
2
500
1000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Cmo se piensa cunticamente?
Los algoritmos cunticos requieren pensar en trminos de
superposicin, lo cual trae aparejado un cambio de concepto
para los programadores actuales.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Veamos un ejemplo concreto:
Problema: Encontrar un camino a travs de un laberinto.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Solucin Clsica: Regla de la mano derecha. En cada
bifurcacin, siempre se tomar el camino hacia la derecha.
Este mtodo no garantiza encontrar el camino ms corto
pero si la salida.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Solucin Clsica: Regla de la mano derecha. En cada
bifurcacin, siempre se tomar el camino hacia la derecha.
Este mtodo no garantiza encontrar el camino ms corto
pero si la salida.
Solucin Cuntica: Tomamos todos los caminos a la vez y, ni
bien se encuentre una solucin, vemos cul ha sido el
camino que se ha tomado. Esto garantiza no slo que
encontramos la salida, sino que adems, es la ms corta.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algoritmos Cunticos
Actualmente existen tres grandes divisiones en el rea de los
algoritmos cunticos que pueden ser caracterizados como:
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algoritmos Cunticos
El problema del subgrupo escondido, que incluye al
algoritmo de Shor como caso particular.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algoritmos Cunticos
El problema de bsqueda y optimizacin que incluye el
algoritmo de Grover.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algoritmos Cunticos
El problema de bsqueda y optimizacin que incluye el
algoritmo de Grover.
Algoritmos basados en caminos aleatorios cunticos.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Algoritmos Cunticos (cont.)
Los algoritmos cunticos que actualmente ms importancia
tienes son:
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
tienes son:
Algoritmo de bsqueda de Grover (O(
n)).
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
tienes son:
n)).
Algoritmo de Shor (O((log
2
n)
3
))
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
tienes son:
n)).
2
n)
3
))
Algoritmo de Kitaev que sirve para calcular el orden de un
grupo.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
tienes son:
n)).
2
n)
3
))
grupo.
Algoritmo de Watrous para calcular el orden de grupos
solubles.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
tienes son:
n)).
2
n)
3
))
grupo.
Algoritmo de Watrous para calcular el orden de grupos
solubles.
Descomposicin de Grupos Finitos Abelianos.
Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Implementaciones???
Se estn probando varias formas para lograr controlar qubits:
Heteropolymers.
Ion Traps.
Cavidades Cunticas Electrodinmicas.
Resonancia Magntica Nuclear.
Quantum Dots.
Kane Computer (MNR).
Josephson Junctions.
Topological Quantum Computer

Introduccin
Qu es?
Algo habrn hecho...
Algo habrn hecho...
(cont.)
Algunos conceptos
Cmo se piensa
cunticamente?
Algoritmos Cunticos
Algoritmos Cunticos
(cont.)
Implementaciones???
Lenguajes Cunticos
Qubits
Algo de Criptografa
Lenguajes Cunticos
QCL (Quantum Computation Language, inspirado en C)

[ Omer 1998]
QPL (Quantum Programming Language, control clsico y

datos cunticos) [Selinger 2004]
QML (Quantum ML) [Altenkirch and Grattage 2005]
QHaskell [Vizzotto and Da Rocha Costa 2006]

Qubits
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
para 1 qubit (cont.)
Otro ejemplo
Otro ejemplo (cont.)
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
Algoritmo de Deutsch
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Un qubit
Un qubit es un vector de la forma
_
_
donde , C y
| |
2
+ | |
2
= 1.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Un qubit
_
_
donde , C y
| |
2
+ | |
2
= 1.
Se considera una base del espacio de qubits, por ejemplo:
__
1
0
_
,
_
0
1
__
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Un qubit
_
_
donde , C y
| |
2
+ | |
2
= 1.
__
1
0
_
,
_
0
1
__
entonces un qubit tendr la forma
_
1
0
_
+
_
0
1
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Un qubit
_
_
donde , C y
| |
2
+ | |
2
= 1.
__
1
0
_
,
_
0
1
__
entonces un qubit tendr la forma
_
1
0
_
+
_
0
1
_
Llamaremos |0 al vector
_
1
0
_
y |1 al vector
_
0
1
_
, as, a
cualquier qubit | lo escribiremos como
| = |0 + |1
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Compuertas Cunticas para 1 qubit
Una Compuerta Cuntica para 1 qubit ser una matriz U tal
que
UU
= U
U = I
donde U
= (U
)
T
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
que
UU
= U
U = I
donde U
= (U
)
T
Por ejemplo:
X =
_
0 1
1 0
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
que
UU
= U
U = I
donde U
= (U
)
T
Por ejemplo:
X =
_
0 1
1 0
_
Veamos cmo acta esta compuerta sobre un qubit |
cualquiera:
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
que
UU
= U
U = I
donde U
= (U
)
T
Por ejemplo:
X =
_
0 1
1 0
_
cualquiera:
X| =
_
0 1
1 0
_
(|0 + |1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
que
UU
= U
U = I
donde U
= (U
)
T
Por ejemplo:
X =
_
0 1
1 0
_
cualquiera:
X| =
_
0 1
1 0
_
(|0 + |1) =
_
0 1
1 0
_
_
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
que
UU
= U
U = I
donde U
= (U
)
T
Por ejemplo:
X =
_
0 1
1 0
_
cualquiera:
X| =
_
0 1
1 0
_
(|0 + |1) =
_
0 1
1 0
_
_
_
=
_
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
que
UU
= U
U = I
donde U
= (U
)
T
Por ejemplo:
X =
_
0 1
1 0
_
cualquiera:
X| =
_
0 1
1 0
_
(|0 + |1) =
_
0 1
1 0
_
_
_
=
_
_
= |0 +|1
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Compuertas Cunticas para 1 qubit (cont.)
En los qubits de la base cannica vemos que
X|0 = |1 , X|1 = |0
Por lo cual, la compuerta X es comunmente llamada
compuerta NOT.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Compuertas Cunticas para 1 qubit (cont.)
En los qubits de la base cannica vemos que
X|0 = |1 , X|1 = |0
Por lo cual, la compuerta X es comunmente llamada
compuerta NOT.
En general, la aplicacin de una compuerta cuntica a un
qubit se puede ver de la siguiente manera:
U(|0 + |1) = U |0 +U |1
Por lo cual, con slo describir de qu manera acta en una
base, ya habremos descripto la compuerta completamente.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
Veamos cmo acta sobre la base {|0 , |1}
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
=
1
2
(|0 +|1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
=
1
2
(|0 +|1)
a este vector lo llamaremos |+
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
=
1
2
(|0 +|1)
H|1
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
=
1
2
(|0 +|1)
H|1 =
1
2
_
1 1
1 1
_
_
0
1
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
=
1
2
(|0 +|1)
H|1 =
1
2
_
1 1
1 1
_
_
0
1
_
=
1
2
_
1
1
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
=
1
2
(|0 +|1)
H|1 =
1
2
_
1 1
1 1
_
_
0
1
_
=
1
2
_
1
1
_
=
1
2
(|0 |1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Otro ejemplo
H =
1
2
_
1 1
1 1
_
H|0 =
1
2
_
1 1
1 1
_
_
1
0
_
=
1
2
_
1
1
_
=
1
2
(|0 +|1)
H|1 =
1
2
_
1 1
1 1
_
_
0
1
_
=
1
2
_
1
1
_
=
1
2
(|0 |1)
a este vector lo llamaremos |
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Como podemos ver
|+ =
1
2
_
1
1
_
=
1
2
(|0 +|1)
y
| =
1
2
_
1
1
_
=
1
2
(|0 |1)
son ortogonales, por lo tanto forman base:
B = {|+ , |}
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Medicin
Otros operadores muy importantes son los operadores
medicin, los cuales actan de la siguiente manera:
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Medicin
Sea la base B = {|x , |y}, entonces
M
B
(|x + |y)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Medicin
Sea la base B = {|x , |y}, entonces
M
B
(|x + |y) =
_
|x con probabilidad ||
2
|y con probabilidad ||
2
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits
Para extender este sistema a 2 qubits haremos un producto
tensorial entre las bases de cada sistema de 1 qubit.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits
Qu es un Producto Tensorial?
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits
Qu es un Producto Tensorial?
Qu es es una pregunta demasiado grande para esta
presentacin... digamos simplemente cmo calcularlo
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Producto tensorial entre matrices
_
_
_
_
_
_
a
11
a
12
. . . a
1n
a
21
a
22
. . . a
2n
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
a
m2
. . . a
mn
_
_
_
_
_
_
B
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
_
_
_
_
_
_
a
11
a
12
. . . a
1n
a
21
a
22
. . . a
2n
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
a
m2
. . . a
mn
_
_
_
_
_
_
B =
_
_
_
_
_
_
a
11
B a
12
B . . . a
1n
B
a
21
B a
22
B . . . a
2n
B
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
B a
m2
B . . . a
mn
B
_
_
_
_
_
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
_
_
_
_
_
_
a
11
a
12
. . . a
1n
a
21
a
22
. . . a
2n
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
a
m2
. . . a
mn
_
_
_
_
_
_
B =
_
_
_
_
_
_
a
11
B a
12
B . . . a
1n
B
a
21
B a
22
B . . . a
2n
B
.
.
.
.
.
.
.
.
.
.
.
.
a
m1
B a
m2
B . . . a
mn
B
_
_
_
_
_
_
Producto tensorial entre vectores: dem matrices
_
_
_
_
_
_
v
1
v
2
.
.
.
v
n
_
_
_
_
_
_
w =
_
_
_
_
_
_
v
1
.w
v
2
.w
.
.
.
v
n
.w
_
_
_
_
_
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Producto tensorial entre bases: Es el producto tensorial
entre todos los vectores de una base con los de la otra.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Ejemplo: B
1
= {|0 , |1} B
1
= {|+ , |}
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Ejemplo: B
1
= {|0 , |1} B
1
= {|+ , |}
entonces:
B
1
B
2
= {|0 |+ , |0 | , |1 |+ , |1 |}
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Ejemplo: B
1
= {|0 , |1} B
1
= {|+ , |}
entonces:
B
1
B
2
= {|0 |+ , |0 | , |1 |+ , |1 |}
Para simplicar, |x |y lo notamos |xy.
O sea:
B
1
B
2
= {|0+ , |0 , |1+ , |1}
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Ejemplo: B
1
= {|0 , |1} B
1
= {|+ , |}
entonces:
B
1
B
2
= {|0 |+ , |0 | , |1 |+ , |1 |}
O sea:
B
1
B
2
= {|0+ , |0 , |1+ , |1}
Otro ejemplo: B
1
= B
2
= {|0 , |1}
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Ejemplo: B
1
= {|0 , |1} B
1
= {|+ , |}
entonces:
B
1
B
2
= {|0 |+ , |0 | , |1 |+ , |1 |}
O sea:
B
1
B
2
= {|0+ , |0 , |1+ , |1}
Otro ejemplo: B
1
= B
2
= {|0 , |1}
B
1
B
2
= {|00 , |01 , |10 , |11}
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Ejemplo: B
1
= {|0 , |1} B
1
= {|+ , |}
entonces:
B
1
B
2
= {|0 |+ , |0 | , |1 |+ , |1 |}
O sea:
B
1
B
2
= {|0+ , |0 , |1+ , |1}
Otro ejemplo: B
1
= B
2
= {|0 , |1}
B
1
B
2
= {|00 , |01 , |10 , |11}
Entonces podemos expresar un 2-qubit con respecto a esta
ltima base as:
| =
1
|00 +
2
|01 +
3
|10 +
4
|11
donde
4
i=1
|
i
|
2
= 1
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Un ejemplo ms:
1
2
(|00 +|01 +|10 +|11)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Un ejemplo ms:
1
2
(|00 +|01 +|10 +|11)
=
1
2
[|0 (|0 +|1) +|1 (|0 +|1)]
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Un ejemplo ms:
1
2
(|00 +|01 +|10 +|11)
=
1
2
[|0 (|0 +|1) +|1 (|0 +|1)]
=
1
2
(|0 +|1)
1
2
(|0 +|1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Un ejemplo ms:
1
2
(|00 +|01 +|10 +|11)
=
1
2
[|0 (|0 +|1) +|1 (|0 +|1)]
=
1
2
(|0 +|1)
1
2
(|0 +|1)
= |+ |+ = |++
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Un ejemplo ms:
1
2
(|00 +|01 +|10 +|11)
=
1
2
[|0 (|0 +|1) +|1 (|0 +|1)]
=
1
2
(|0 +|1)
1
2
(|0 +|1)
= |+ |+ = |++
si aqu medimos el primer qubit con M
{|0,|1}
quedar:
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Dos qubits (cont.)
Un ejemplo ms:
1
2
(|00 +|01 +|10 +|11)
=
1
2
[|0 (|0 +|1) +|1 (|0 +|1)]
=
1
2
(|0 +|1)
1
2
(|0 +|1)
= |+ |+ = |++
si aqu medimos el primer qubit con M
{|0,|1}
quedar:
|0
1
2
(|0 +|1) =
1
2
(|00 +|01) con probabilidad
1
2
y
|1
1
2
(|0 +|1) =
1
2
(|10 +|11) con probabilidad
1
2
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Enredo cuntico (Entanglement)
No siempre podremos expresar un 2-qubit como producto
tensorial de dos 1-qubit.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Ejemplo:
1
2
|00 +
1
2
|11.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Ejemplo:
1
2
|00 +
1
2
|11.
En este caso, al realizar una medicin sobre el primer qubit
con M
{|0,|1}
vemos que obtenemos:
|00 |11
O sea, al medir el primer qubit, tambin obtenemos el
segundo.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Ejemplo:
1
2
|00 +
1
2
|11.
En este caso, al realizar una medicin sobre el primer qubit
con M
{|0,|1}
vemos que obtenemos:
|00 |11
O sea, al medir el primer qubit, tambin obtenemos el
segundo.
A esta propiedad se la llama enredo cuntico
(entanglement) y se dice que estos dos qubits estn
enredados (entangled).
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo
Consideremos una funcin f : {0, 1} {0, 1}.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo
y una compuerta cuntica U
f
tal que
U
f
|x, y = |x, y f(x)
donde simboliza la suma mdulo 2
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo
f
tal que
U
f
|x, y = |x, y f(x)
Por la denicin anterior tenemos que
U
f
|x, 0 = |x, f(x)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo
f
tal que
U
f
|x, y = |x, y f(x)
Por la denicin anterior tenemos que
U
f
|x, 0 = |x, f(x)
Ahora consideremos el siguiente circuito
|0
H
U
f |
|0
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo (cont.)
Veamos
|00
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo (cont.)
Veamos
|00
H(1)
2
(|0 +|1) |0
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo (cont.)
Veamos
|00
H(1)
2
(|0 +|1) |0 =
1
2
(|00 +|10)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo (cont.)
Veamos
|00
H(1)
2
(|0 +|1) |0 =
1
2
(|00 +|10)
U
f
2
(|0, f(0) +|1, f(1))
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Paralelismo (cont.)
Veamos
|00
H(1)
2
(|0 +|1) |0 =
1
2
(|00 +|10)
U
f
2
(|0, f(0) +|1, f(1))
La salida de este circuito nos da un estado que es
superposicin de todos los resultados posibles de la
aplicacin de la funcin f. En principio esta no sera una
idea muy prctica, ya que no podemos saber un valor
particular de f.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
El objetivo de este algoritmo es saber si una funcin es
constante.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
constante.
Representamos el algoritmo con el siguiente circuito
|0
H
U
f
H
FE
|1
H
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
constante.
|0
H
U
f
H
FE
|1
H
|01
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
constante.
|0
H
U
f
H
FE
|1
H
|01
H(1, 2)
2
(|0 +|1)
1
2
(|0 |1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
constante.
|0
H
U
f
H
FE
|1
H
|01
H(1, 2)
2
(|0 +|1)
1
2
(|0 |1) = |+
1
2
(|0 |1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
constante.
|0
H
U
f
H
FE
|1
H
|01
H(1, 2)
2
(|0 +|1)
1
2
(|0 |1) = |+
1
2
(|0 |1)
El siguiente paso es aplicar la compuerta U
f
. Veamos qu
sucede con cada una de las posibilidades
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Algoritmo de Deutsch (cont.)
|+
1
2
(|0 |1)
=
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0
=
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0 =
1
2
(|0, f(0) +|1, f(1))
=
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0 =
1
2
(|0, f(0) +|1, f(1))
U
f
|+, 1
=
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0 =
1
2
(|0, f(0) +|1, f(1))
U
f
|+, 1 =
1
2
(|0, 1 f(0) +|1, 1 f(1))
=
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0 =
1
2
(|0, f(0) +|1, f(1))
U
f
|+, 1 =
1
2
(|0, 1 f(0) +|1, 1 f(1))
por lo tanto
U
f
|+
_
|0 |1
2
_
=
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0 =
1
2
(|0, f(0) +|1, f(1))
U
f
|+, 1 =
1
2
(|0, 1 f(0) +|1, 1 f(1))
por lo tanto
U
f
|+
_
|0 |1
2
_
=
1
2
U
f
(|+, 0 |+, 1)
=
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0 =
1
2
(|0, f(0) +|1, f(1))
U
f
|+, 1 =
1
2
(|0, 1 f(0) +|1, 1 f(1))
por lo tanto
U
f
|+
_
|0 |1
2
_
=
1
2
U
f
(|+, 0 |+, 1)
=
1
2
(U
f
|+, 0 U
f
|+, 1) =
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
|+
1
2
(|0 |1)
U
f
|+, 0 =
1
2
(|0, f(0) +|1, f(1))
U
f
|+, 1 =
1
2
(|0, 1 f(0) +|1, 1 f(1))
por lo tanto
U
f
|+
_
|0 |1
2
_
=
1
2
U
f
(|+, 0 |+, 1)
=
1
2
(U
f
|+, 0 U
f
|+, 1) =
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
Entonces, si f(0) = f(1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
=
1
2
(|00 +|11 |01 |10)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
=
1
2
(|00 +|11 |01 |10) =
_
|0 |1
2
__
|0 |1
2
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
=
1
2
(|00 +|11 |01 |10) =
_
|0 |1
2
__
|0 |1
2
_
= |
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
=
1
2
(|00 +|11 |01 |10) =
_
|0 |1
2
__
|0 |1
2
_
= |
y si f(0) = f(1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
=
1
2
(|00 +|11 |01 |10) =
_
|0 |1
2
__
|0 |1
2
_
= |
y si f(0) = f(1)
=
1
2
(|00 +|10 |01 |11)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
=
1
2
(|00 +|11 |01 |10) =
_
|0 |1
2
__
|0 |1
2
_
= |
y si f(0) = f(1)
=
1
2
(|00 +|10 |01 |11) =
_
|0 +|1
2
__
|0 |1
2
_
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
1
2
_
1
2
(|0, f(0) +|1, f(1))
1
2
(|0, 1 f(0) +|1, 1 f(1))
_
=
1
2
(|0, f(0) +|1, f(1) |0, 1 f(0) |1, 1 f(1))
=
1
2
(|00 +|11 |01 |10) =
_
|0 |1
2
__
|0 |1
2
_
= |
y si f(0) = f(1)
=
1
2
(|00 +|10 |01 |11) =
_
|0 +|1
2
__
|0 |1
2
_
= |+
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Resumiendo:
_
| si f(0) = f(1)
|+ si f(0) = f(1)
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Resumiendo:
_
| si f(0) = f(1)
|+ si f(0) = f(1)
Haciendo una medicin con M
{|+,|}
sobre el primer qubit
podemos distinguir en cul de los dos casos estamos.
Introduccin
Qubits
Un qubit
Compuertas Cunticas
para 1 qubit
Compuertas Cunticas
Otro ejemplo
Medicin
Dos qubits
Dos qubits (cont.)
Dos qubits (cont.)
Dos qubits (cont.)
Enredo cuntico
(Entanglement)
Paralelismo
Paralelismo (cont.)
(cont.)
(cont.)
(cont.)
Algo de Criptografa
Resumiendo:
_
| si f(0) = f(1)
|+ si f(0) = f(1)
Haciendo una medicin con M
{|+,|}
sobre el primer qubit
podemos distinguir en cul de los dos casos estamos.
En este algoritmo no se puede apreciar del todo la ganancia,
pero s la idea de paralelismo. Aqu realizo tan slo una
aplicacin de la funcin f (mediante la compuerta U
f
) y en el
algoritmo clsico equivalente necesito aplicarla 2 veces, por
lo tanto no hay una ganancia demasiado signicativa. La
diferencia est en que la generalizacin de este algoritmo a
funciones de N {0, 1} (algoritmo de Deutsch-Jozsa) sigue
necesitando una sla aplicacin de la funcin f mientras que
el caso clsico necesita 2
N
aplicaciones.
Algo de Criptografa
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
One Time Pad
Este es un modo de criptografa clsica que consiste en
compartir una secuencia de bits (clave) del largo del
mensaje a transmitir y aplicar la operacin (reversible) XOR
para cifrar y decifrar.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
One Time Pad
Este es un modo de criptografa clsica que consiste en
compartir una secuencia de bits (clave) del largo del
mensaje a transmitir y aplicar la operacin (reversible) XOR
para cifrar y decifrar.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84
QKD = Quantum Key Distribution
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84
BB84 = Bennett, Brassard, 1984
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84
BB84 = Bennett, Brassard, 1984
BB84 fue el primer protocolo 100% seguro de distribucin

de claves.
La clave consiste en una cadena de bits, con la cual se

puede aplicar One Time Pad
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
La idea es transmitir una clave binaria por un canal inseguro.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
La idea es transmitir una clave binaria por un canal inseguro.
Para transmitir el bit 0, Alice (el emisor) puede elegir al azar
la base {|0 , |1} (a la que llamaremos esquema +) y
considerar 0 |0, o la base {| , |+} (a la que llamaremos
esquema ) y considerar 0 |. Analogamente al bit 1 lo
codicamos como |1 en el esquema + o como |+ en el
esquema .
Bob realizar una medicin sobre el estado recibido
eligiendo al azar entre el esquema + y el esquema .
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
Veamos paso a paso cmo se realiza el proceso completo
de intercambio de claves.
1: Alice comienza a transmitir una secuencia aleatoria de 0 y
1 alternando los esquemas + y en forma aleatoria.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
2: Bob recibe la secuencia y va alternando las mediciones
entre los esquemas + y al azar.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
3: Alice le transmite a Bob la sucesin de esquemas
empleados.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
empleados.
4: Bob le informa a Alice en qu casos adivin el esquema de
origen.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
empleados.
origen.
5: Usando solamente los bits de los esquemas idnticos a
dos puntas, ambos han denido una sucesin aleatoria de
bits que servir como one-time pad de encriptacin para
transmisiones futuras por cualquier canal.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
empleados.
origen.
5: Usando solamente los bits de los esquemas idnticos a
dos puntas, ambos han denido una sucesin aleatoria de
bits que servir como one-time pad de encriptacin para
transmisiones futuras por cualquier canal.
6: Alice y Bob intercambian hashes de las claves (en
bloques) para aceptarla o descartarla.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
Ejemplo:
Esquemas de Alice + + +
Valores de Alice | |0 |0 |+ | |0
Esquemas de Bob + + + +
Valores de Bob |0 |+ |0 |+ |1 |0
Coincidencias

Clave 0 1 0
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
Este protocolo es absolutamente inviolable.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
Supongamos que Cliff espa el canal de comunicacin entre
Alice y Bob e intenta recuperar la clave. Cliff est en la
misma situacin que Bob y no conoce cul esquema es el
correcto, + o . Por lo tanto elige al azar y se equivocar en
promedio, la mitad de las veces (tal como si quisiera adivinar
la clave directamente).
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
Supongamos que Cliff espa el canal de comunicacin entre
Alice y Bob e intenta recuperar la clave. Cliff est en la
misma situacin que Bob y no conoce cul esquema es el
correcto, + o . Por lo tanto elige al azar y se equivocar en
promedio, la mitad de las veces (tal como si quisiera adivinar
la clave directamente).
En el paso 5 Alice y Bob se ponen de acuerdo en cules
valores tomar en cuenta (las coincidencias de la secuencia
de esquemas). Esta informacin no le sirve de nada a Cliff
porque slo en la mitad de las veces habr usado el detector
correcto, de manera que malinterpretar sus valores nales.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
QKD-BB84 (cont.)
Adems el QKD brinda un mtodo para que Alice y Bob
puedan detectar el potencial espionaje de Cliff:
Imaginemos que Alice enva un 0 con el esquema (|),
Cliff usa el esquema + forzando al qubit a denirse como |0
|1. Si Bob usa el esquema y mide | coincide con lo
enviado por Alice, pero si mide |+ Alice y Bob descubriran
esa discrepancia durante el intercambio de hashes, por lo
tanto descartaran el bloque.
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
FIN
M
{|Preguntas?,|Gracias!}
1
2
(|Preguntas? +|Gracias!)
Introduccin
Qubits
Algo de Criptografa
One Time Pad
QKD-BB84
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
QKD-BB84 (cont.)
FIN
FIN
M
{|Preguntas?,|Gracias!}
1
2
(|Preguntas? +|Gracias!)
= |Gracias!

Brevisima - Introduccion Comp Cuant

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Brevisima - Introduccion Comp Cuant

Diunggah oleh

Hak Cipta:

Format Tersedia

A Daz Caro, J. Samborski Forlese Introduccin a la Computacin Cuntica sn - p.

, Julin Samborski Forlese

Departamento de Ciencias de la Computacin - FCEIA - UNR

1936 Alan Turing inventa la MT para demostrar que

1936 Alan Turing inventa la MT para demostrar que

1936 Alan Turing inventa la MT para demostrar que

1982 Richard Feynman sugiere que simular sistemas

1936 Alan Turing inventa la MT para demostrar que

1982 Richard Feynman sugiere que simular sistemas

1985 David Deutsch describe el primer modelo para una

1936 Alan Turing inventa la MT para demostrar que

1982 Richard Feynman sugiere que simular sistemas

1985 David Deutsch describe el primer modelo para una

1993 Charles Bennett y otros cientcos de IBM disearon

1994 Peter Shor describe un algoritmo cuntico para

1994 Peter Shor describe un algoritmo cuntico para

1998 Isaac Chuang dirige el grupo de Berkeley que

1994 Peter Shor describe un algoritmo cuntico para

1998 Isaac Chuang dirige el grupo de Berkeley que

2001 Un grupo de IBM desarrolla una computadora

1994 Peter Shor describe un algoritmo cuntico para

1998 Isaac Chuang dirige el grupo de Berkeley que

2001 Un grupo de IBM desarrolla una computadora

Diciembre de 2005 Rainer Blatt y su grupo de Innsbruck

Cavidades Cunticas Electrodinmicas.

Resonancia Magntica Nuclear.

Kane Computer (MNR).

Topological Quantum Computer

QCL (Quantum Computation Language, inspirado en C)

QPL (Quantum Programming Language, control clsico y

QML (Quantum ML) [Altenkirch and Grattage 2005]

QHaskell [Vizzotto and Da Rocha Costa 2006]

BB84 fue el primer protocolo 100% seguro de distribucin

La clave consiste en una cadena de bits, con la cual se

Anda mungkin juga menyukai