Estrategia óptima para un juego de estado cuántico

9

Considera el siguiente juego:

Lanzo una moneda justa y, dependiendo del resultado (cara / cruz), te daré uno de los siguientes estados:

|0 or cos(x)|0+sin(x)|1.

Aquí, x es un ángulo constante conocido. Pero, no te digo qué estado te doy.

¿Cómo puedo describir un procedimiento de medición (es decir, una base de qubit ortonormal) para adivinar qué estado me dan, mientras maximizo la posibilidad de tener la razón? ¿Hay una solución óptima?

He estado estudiando computación cuántica y me encontré con este ejercicio. Realmente no sé cómo comenzar, y realmente agradecería algo de ayuda.

Creo que una buena estrategia sería realizar una transformación ortogonal con

[cos(x)sin(θ)sin(x)cos(θ)].

No puedo hacer mucho progreso ...

jjbid
fuente
Intuitivamente, la respuesta es medir en la base computacional porque podemos restringir a [ 0 , πxy cuandox=0los estados son indistinguibles y cuandox=π[0,π2]x=0 los estados son ortogonales, pero no estoy seguro de cómo probarlo. x=π2
ahelwer

Respuestas:

8

Simplemente traducimos el resultado binario de una medición de qubit a nuestra conjetura si es el primer estado o el segundo, calculamos la probabilidad de éxito para cada medición posible del qubit, y luego encontramos más el máximo de una función de dos variables (en el dos esferas).

Primero, algo que realmente no necesitaremos, la descripción precisa del estado. El estado completo del sistema que depende tanto de las superposiciones como de una moneda justa clásica puede codificarse en la matriz de densidad

ρ=12(1000)+12(cos2xsinxcosxsinxcosxsin2x)
donde la columna izquierda y la fila superior corresponden al estado base "cero" y las restantes a "uno". Es útil reescribir la matriz de densidad en términos de la base de 4 elementos de lasmatrices2×2,
ρ=12+sinxcosx2σx+(cos2xsin2x4+14)σz
Eso puede escribirse en términos del ángulo2x:
ρ=12+sin2x4σx+cos2x+14σz
Ahora, independientemente del estado mixto, este sigue siendo un sistema de dos niveles y todas las mediciones en el espacio bidimensional de Hilbert son triviales (mediciones de un númeroc) o equivalentes a la medición del giro a lo largo de un eje, es decir, medidas de
V=nσ
que es un vector 3D unitario multiplicado por el vector de las matrices de Pauli. OK, ¿qué pasa si medimosV? Los valores propios deVson más uno o menos uno. La probabilidad de cada uno puede ser obtenida de la expectativa de valor deVque es
V=Tr(Vρ)
Las trazas de productos solo contribuyen si1 cumple con1 (pero suponemos que no había ningún término enV ) oσx cumple conσx etc., en cuyo caso la traza de la matriz da un factor adicional de 2. Entonces tenemos
V=sin2x2nx+cos2x+12nz
Obtenemos el valor propio±1con las probabilidades(1±V)/2, respectivamente. Exactamente cuandocosx=0, los dos estados iniciales "cabeza y cola" son ortogonales entre sí (básicamente|0y|1) y podemos discriminar plenamente. Para hacer las probabilidades0,1, simplemente debemos elegirn=(0,0,±1)no importa para el procedimiento. ; tenga en cuenta que el signo general den

Ahora, para cosx0 , los estados no son ortogonales, es decir, "no se excluyen mutuamente" en el sentido cuántico y no podemos medir directamente si la moneda era cruz o cara porque esas posibilidades estaban mezcladas en la matriz de densidad. De hecho, la matriz de densidad contiene todas las probabilidades de todas las mediciones, por lo que si pudiéramos obtener la misma matriz de densidad mediante una mezcla diferente de estados posibles a partir del lanzamiento de monedas, los estados del qubit serían estrictamente indistinguibles.

Nuestra probabilidad de éxito será inferior al 100% si cosx0 . Pero la única forma significativa de usar el bit clásico V=±1 de la medición es traducirlo directamente a nuestra suposición sobre el estado inicial. Sin una pérdida de generalidad, nuestra traducción puede ser elegida para ser

(V=+1)|i=|0
y
(V=1)|i=cosx|0+sinx|1.
Si quisiéramos lo contrario, la identificación cruzada de las cabezas y las colas y los signos de V , simplemente podríamos lograrlo cambiando el signo general de nn .

+11

Psuccess=P(H)P(+1|H)+P(T)P(1|T).
P(H)=P(T)=1/2P(1|T)(1V)/2nz
P(1|T)=12sin2xnx2cos2xnz2
x=0x=0
P(1|H)=1nz2
1P
P(+1|H)=1+nz2
Psuccess=1+nz+1(sin2x)nx(cos2x)nz4
Psuccess=12nx4sin2x+nz4(1cos2x)
(nx,nz)=(cosα,sinα)
Psuccess=12+sin(2x+α)sinα4=12+sinxcos(x+α)2
αcos(x+α)=±1sinxα=xα=πx
Psuccess=1+|sinx|2

σzxzxπ/2σz(3cos2x)/4x=0+ϵ1/2+|x|/21/21/2+x2/2

Durante muchas horas, se publicó aquí una respuesta incorrecta (un error en las porciones finales), a pesar de que anteriormente había corregido muchos factores incorrectos de dos. Publiqué una versión ligeramente editada de esta respuesta en mi blog donde puede tener lugar alguna discusión:

El marco de referencia: un problema simple y divertido en computación cuántica

En esa página, también escribo los estados propios del operador medido en el apéndice. Los argumentos en los ángulos pueden ser sorprendentes para algunas personas que piensan que este problema es obvio en términos de las funciones de onda o que las funciones de onda después de la medición tienen que ser simples.

Luboš Motl
fuente
Es posible que necesite leer la pregunta y la respuesta con más cuidado, pero ¿no es este un caso especial del problema resuelto en arxiv.org/abs/1805.03477 ?
glS
Tal vez, no estoy familiarizado con el documento y no puedo ver que es la generalización de este problema, al menos no en cuestión de minutos. Pero no pretendo haber resuelto ningún problema de estilo de papel de vanguardia. Esta pregunta es probablemente un ejercicio en algunos libros de texto que los estudiantes deben resolver.
Luboš Motl
1

La clave está en la estrategia óptima para distinguir dos estados no ortogonales. Esto es algo llamado la medición de Helstrom, que describí aquí .

DaftWullie
fuente