Articulo de referencia

Descomputación

Se crea una conjunción lógica de los cinco controles a partir de compuertas Toffoli y bits auxiliares. Se utiliza la descomputación para restaurar los bits auxiliares a sus esta...

Se crea una conjunción lógica de los cinco controles a partir de compuertas Toffoli y bits auxiliares. Se utiliza la descomputación para restaurar los bits auxiliares a sus estados originales antes de finalizar.

La descomputación es una técnica, utilizada en circuitos reversibles , para limpiar los efectos temporales en los bits auxiliares para que puedan reutilizarse. [ 1 ]

La descomputación es un paso fundamental en los algoritmos de computación cuántica . El hecho de que los efectos intermedios se hayan descomputado o no afecta la forma en que los estados interfieren entre sí al medir los resultados. [ 2 ]

El proceso está motivado principalmente por el principio de medición implícita , [ 3 ] que establece que descartar un registro durante el cálculo es físicamente equivalente a medirlo. No descompilar los registros basura puede tener consecuencias no intencionadas. Por ejemplo, si tomamos el estado{\displaystyle }12(|0|gramo0+|1|gramo1){\displaystyle {\frac {1}{\sqrt {2}}}(|0\rangle |g_{0}\rangle +|1\rangle |g_{1}\rangle )}dóndegramo0{\displaystyle g_{0}}ygramo1{\displaystyle g_{1}}son registros basura. Entonces, si no aplicamos ninguna otra operación a esos registros, según el principio de medición implícita, el estado entrelazado ha sido medido, lo que resulta en un colapso a o|0|gramo0{\displaystyle |0\rangle |g_{0}\rangle }o|1|gramo1{\displaystyle |1\rangle |g_{1}\rangle }con probabilidad12{\displaystyle {\frac {1}{2}}}Lo que hace que esto sea indeseable es que el colapso de la función de onda ocurre antes de que el programa finalice y, por lo tanto, puede que no produzca el resultado esperado.

Referencias

  1. Aaronson, Scott; Grier, Daniel; Schaeffer, Luke (2015). "La clasificación de las operaciones de bits reversibles". arXiv : 1504.05155 [ quant-ph ].
  2. Aaronson, Scott (2002). "Límite inferior cuántico para el muestreo recursivo de Fourier". Información cuántica y computación . 3 (2): 165– 174. arXiv : quant-ph/0209060 . Bibcode : 2002quant.ph..9060A . doi : 10.26421/QIC3.2-7 .
  3. Nielsen, Michael A.; Chuang, Isaac L. (2010). Computación cuántica e información cuántica ( Edición del 10.º aniversario). Cambridge: Cambridge University Press. ISBN  978-1107002173.