¿Cómo demuestro que un estado de dos qubits es un estado enredado?

18

El estado de Bell es un estado enredado. ¿Pero por qué es ese el caso? ¿Cómo demuestro matemáticamente eso?|Φ+=12(|00+|11)

nbro
fuente

Respuestas:

19

Definición


Un estado de dos qubits es un estado enredado si y solo si no existen dos estados de qubit y tal que , donde denota el producto tensorial y .|ψC4| b = gamma | 0 + lambda | 1 C 2 | un | b = | Psi |a=α|0+β|1C2|b=γ|0+λ|1C2|a|b=|ψα,β,γ,λC

Entonces, para mostrar que el estado de Bell es un estado enredado, simplemente tenemos que demuestre que no existen dos estados de qubit y modo que .| un| b| Φ+=| un| bEl |Φ+=12(El |00+El |11)El |unEl |siEl |Φ+=El |unEl |si

Prueba


Suponer que

El |Φ+=El |unEl |si=(αEl |0 0+βEl |1)(γEl |0 0+λEl |1)

Ahora podemos simplemente aplicar la propiedad distributiva para obtener

El |Φ+==(αγEl |00+αλEl |01+βγEl |10+βλEl |11)

Esto debe ser igual a , es decir, debemos encontrar los coeficientes , , y , de modo quealphaßgammalambda12(El |00+El |11)αβγλ

12(|00+|11)=(αγ|00+αλ|01+βγ|10+βλ|11)

Observe que, en la expresión , queremos mantener ambos y . Por lo tanto, y , que son los coeficientes de , no pueden ser cero; en otras palabras, debemos tener y . Del mismo modo, y , que son los números complejos que multiplican no pueden ser cero, es decir, y . Entonces, todos los números complejos| 00 | 11 alpha gammaαγ|00+αλ|01+βγ|10+βλ|11|00|11αγalfa 0 gamma 0 ß lambda | 11 ß 0 lambda 0 alpha ß gamma lambda|00α0γ0βλ|11β0λ0α , , y deben ser diferentes de cero.βγλ

Pero, para obtener el estado de Bell , queremos deshacernos de y . Entonces, uno de los números (o ambos) multiplicando (y ) en la expresión , es decir, y (y, respectivamente, y ), deben ser iguales a cero. Pero acabamos de ver que , , y| 01 | 10 | 01 | 10 alfa gamma | 00 + alfa lambda | 01 + ß gamma | 10 + ß lambda | 11 alpha lambda ß gamma alpha ß gamma lambda|Φ+|01|10|01|10αγ|00+αλ|01+βγ|10+βλ|11αλβγαβγλtodos deben ser diferentes de cero. Entonces, no podemos encontrar una combinación de números complejos , , y modo queβ γ λαβγλ

12(|00+|11)=(αγ|00+αλ|01+βγ|10+βλ|11)

En otras palabras, no podemos expresar como un producto tensorial de dos estados de un qubit. Por lo tanto, es un estado enredado.| Φ +|Φ+|Φ+

Podemos realizar una prueba similar para otros estados de Bell o, en general, si queremos demostrar que un estado está enredado.

nbro
fuente
2
Wow, respondiste tu propia pregunta con una prueba hermosa y comprensible. No es algo que se vea todos los días. Esto me ayudó a agradecer.
YungGun
11

Un estado puro de dos qudit es separable si y solo si puede escribirse en la forma

|Ψ=|ψ|ϕ
para los estados individuales qudit arbitrarias |ψ y |ϕ . De lo contrario, está enredado.

Para determinar si el estado puro está enredado, uno podría intentar un método de fuerza bruta para intentar encontrar estados satisfactorios |ψ y |ϕ , como en esta respuesta. Esto es poco elegante y un trabajo duro en el caso general. Una forma más directa de demostrar si este estado puro está enredado es calcular la matriz de densidad reducida ρ para uno de los qudits, es decir, trazando el otro. El estado es separable si y solo si ρ tiene rango 1. De lo contrario, está enredado. Matemáticamente, puede probar la condición de rango simplemente evaluando Tr(ρ2). El estado original es separable si y solo si este valor es 1. De lo contrario, el estado está enredado.

Por ejemplo, imagine que uno tiene un estado separable puro |Ψ=|ψ|ϕ . La matriz de densidad reducida en A es

ρA=TrB(|ΨΨ|)=|ψψ|,
Y
Tr(ρA2)=Tr(|ψψ||ψψ|)=Tr(|ψψ|)=1.
Por lo tanto, tenemos un estado separable.

Mientras tanto, si tomamos |Ψ=12(|00+|11), entonces

ρA=TrB(|ΨΨ|)=12(|00|+|11|)=12I
y
Tr(ρA2)=14Tr(II)=12
Dado que este valor no es 1, tenemos un estado enredado.

Si desea saber acerca de la detección de enredos en estados mixtos (no estados puros), esto es menos sencillo, pero para dos qubits hay una condición necesaria y suficiente para la separabilidad: positividad bajo la operación de transposición parcial .

DaftWullie
fuente
+1 Este es un método mucho más elegante en comparación con el algoritmo de fuerza bruta.
Sanchayan Dutta
¿Qué son y B ? ¿Son estos los qudits mismos? AB
Dohleman
@Dohleman Sí, son solo etiquetas para las dos partes del sistema, una parte en manos de A (Alice) y la otra en B (Bob). En este caso son los dos qudits.
DaftWullie