title: Algoritmo de Deutsch-Jozsa
text: # Algoritmo de Deutsch-Jozsa
  
  En computación cuántica, el algoritmo de Deutsch-Jozsa es un algoritmo cuántico, propuesto por David Deutsch y Richard Jozsa en 1992. Fue uno de los primeros algoritmos diseñados para ejecutar sobre un computador cuántico y que tiene el potencial de ser más eficiente que los algoritmos clásicos al aprovechar el paralelismo inherente de los estados de superposición cuánticos.
  En el problema de Deutsch-Jozsa, se tiene una función (que puede considerarse como un oráculo o caja negra) f(x$_1$, x$_2$,..., x$_n$) que toma n bits de entrada x$_1$, x$_2$,..., x$_n$ y devuelve un valor binario f(x$_1$, x$_2$,..., x$_n$)= 0 ó 1. El objetivo es determinar si la función es constante (0 en todas las entradas o 1 en todas las entradas) o balanceada (devuelve 1 para la mitad de las entradas y 0 para la otra mitad). El problema es determinar cómo es la función (constante o balanceada) aplicando entradas a la caja negra y observando su salida. A modo de ejemplo, considérese la función $f(x)=x\%2$, es decir, la función que devuelve el resto de dividir la entrada entre dos. Esta función devuelve 1 si el argumento es impar y 0 si el argumento es par, por lo que se trata de una función balanceada. La función del algoritmo sería la de llegar a esta misma conclusión con el menor número posible de iteraciones, algo que en el caso clásico requeriría la evaluación repetida de la función hasta alcanzar dos resultados diferentes, y por tanto el número de iteraciones dependería del orden en el que se escogieran las variables de entrada.
  
  # Algoritmo de Deutsch-Jozsa
  ## Historia
  
  El algoritmo de Deutsch-Jozsa generaliza el algoritmo de Deutsch (1985), que resuelve el problema planteado para el caso n=1. En el año 1992 Deutsch y Jozsa encontraron la solución al problema para un número arbitrario de bits de entrada.
  
  # Algoritmo de Deutsch-Jozsa
  ## Motivación
  
  El de Deutsch-Jozsa es un ejemplo claro de problema que resulta sencillo de resolver para un ordenador cuántico pero muy complejo para un ordenador clásico, que en el peor de los casos necesita $2^{n-1}+1$ iteraciones para determinar si la función es constante o balanceada.
  Es importante remarcar que, pese a la importancia de encontrar un problema donde un ordenador cuántico arroja un mejor resultado que uno clásico, no se han encontrado hasta la fecha aplicaciones prácticas reales de este algoritmo.
  
  # Algoritmo de Deutsch-Jozsa
  ## Algoritmo de Deutsch
  
  Esta es la versión del algoritmo para una función f(x) de una sola entrada. Se utilizan dos cúbits auxiliares en los cálculos. El algoritmo se ilustra en la figura de la derecha.
  El bloque H es una puerta Hadamard cuya operación es la siguiente:
     $H(|0\rangle )={\frac {1}{\sqrt {2}}}(|0\rangle +|1\rangle )$
     $H(|1\rangle )={\frac {1}{\sqrt {2}}}(|0\rangle -|1\rangle )$
  El bloque U$_f$ denota el oráculo y realiza la operación siguiente:
     $U_{f}(|0\rangle |0\rangle )=|0\rangle |0\oplus f(0)\rangle =|0\rangle |f(0)\rangle$
     $U_{f}(|0\rangle |1\rangle )=|0\rangle |1\oplus f(0)\rangle =|0\rangle |{\overline {f(0)}}\rangle$
     $U_{f}(|1\rangle |0\rangle )=|1\rangle |0\oplus f(1)\rangle =|1\rangle |f(1)\rangle$
     $U_{f}(|1\rangle |1\rangle )=|1\rangle |1\oplus f(1)\rangle =|1\rangle |{\overline {f(1)}}\rangle$
  Además,
     $U_{f}(|0\rangle (|0\rangle -|1\rangle ))=|0\rangle |f(0)-{\overline {f(0)}}\rangle =|0\rangle |(-1)^{f(0)}(|0\rangle -|1\rangle )$
     $U_{f}(|1\rangle (|0\rangle -|1\rangle ))=|1\rangle |f(1)-{\overline {f(1)}}\rangle =|1\rangle |(-1)^{f(1)}(|0\rangle -|1\rangle )$
     $U_{f}(|x\rangle (|0\rangle -|1\rangle ))=|x\rangle |(-1)^{f(x)}(|0\rangle -|1\rangle )$
  La entrada al circuito es: $|a\rangle =|0\rangle |1\rangle$, que atraviesa dos puestas Hardamard (véase la figura) obteniéndose $|b\rangle =(1/2)(|0\rangle +|1\rangle )(|0\rangle -|1\rangle )$. Esto atraviesa el bloque U$_f$ obteniéndose
     $|c\rangle =(1/2)\{|0\rangle |(-1)^{f(0)}(|0\rangle -|1\rangle )+|1\rangle |(-1)^{f(1)}(|0\rangle -|1\rangle )\}$
  Esta expresión puede escribirse:
     $|c\rangle =\left\{{\begin{array}{ll}\pm (1/2)(|0\rangle +|1\rangle )|(|0\rangle -|1\rangle )&{\mbox{si }}~f(0)=f(1)\\\pm (1/2)(|0\rangle -|1\rangle )|(|0\rangle -|1\rangle )&{\mbox{si }}~f(0)\neq f(1)\end{array}}\right.$
  Al atravesar la última puerta de Hadamard se obtiene:
     $|d\rangle =\left\{{\begin{array}{ll}\pm {\frac {1}{\sqrt {2}}}|0\rangle (|0\rangle -|1\rangle )&{\mbox{si }}~f(0)=f(1)\\\pm {\frac {1}{\sqrt {2}}}|1\rangle (|0\rangle -|1\rangle )&{\mbox{si }}~f(0)\neq f(1)\end{array}}\right.$
  Puesto que si $f(0)=f(1),f(0)\oplus f(1)=0$ y si $f(0)\neq f(1),f(0)\oplus f(1)=1$, podemos escribir
     $\pm {\frac {1}{\sqrt {2}}}|f(0)\oplus f(1)\rangle (|0\rangle -|1\rangle )$
  Este es el resultado final: midiendo el primer qúbit de la ecuación se obtiene $f(0)\oplus f(1)$. Si resulta el valor 0, entonces la función f(x) es constante, mientras que si resulta 1, la función es balanceada.
  
  # Algoritmo de Deutsch-Jozsa
  ## Algoritmo de Deutsch-Jozsa
  
  Esta es la versión general del algoritmo para funciones f(x) de n entradas.
  En este caso, la entrada al circuito es:
     $|a\rangle =|0\rangle ^{\otimes n}|1\rangle$
  A continuación de las puertas Hadamard se obtiene:
     $|b\rangle ={\frac {1}{\sqrt {2^{n}}}}\sum _{x=0}^{2^{n}-1}|x\rangle {\frac {|0\rangle -|1\rangle }{\sqrt {2}}}$
  A la salida del bloque U$_f$ se tiene:
     $|c\rangle =\sum _{x=0}^{2^{n}-1}(-1)^{f(x)}|x\rangle {\frac {|0\rangle -|1\rangle }{\sqrt {2}}}$
  La última puerta Hadamard produce la siguiente salida
     $|d\rangle =\sum _{z=0}^{2^{n}-1}\sum _{x=0}^{2^{n}-1}(-1)^{x\cdot z+f(x)}|z\rangle {\frac {|0\rangle -|1\rangle }{\sqrt {2}}}$
  Y por último, realizando la medición, se obtiene z. En el caso en que la función f(x) sea balanceda, las contribuciones para $(0,\ldots ,0)$ se cancelan y la medida de z debe dar una combinación distinta. Por el contrario, si f(x) es constante se obtiene $(0,\ldots ,0)$ en la medida, pues el resto de las contribuciones se cancelan en este caso. Por consiguiente, comprobando si z es cero o distinto de cero se sabe que la función es, respectivamente, constante o balanceada.