Saltearse al contenido

Primitivas

En la programación tradicional, cuando se realizan operaciones como la suma de enteros o la concatenación de strings por medio de las instrucciones disponibles en un lenguaje de alto nivel, se efectúa una serie de pasos que es transparente al programador, lo que facilita su trabajo en el desarrollo. Tales pasos comprenden la acción de numerosas instrucciones de bajo nivel y son simplificadas por lenguajes de alto nivel, a modo de proveer un conjunto de herramientas que le resulte práctico al desarrollador de software. Así, se habla de primitivas de programación, a partir de las cuales se pueden construir estructuras y operaciones más complejas.

El objetivo de esta sección consiste en aportar un conjunto de primitivas que sirvan en la computación cuántica. La idea consiste en fomentar el reuso de componentes cuyo comportamiento se asume entendido, para luego utilizarlos como herramientas de “caja negra” que nos proveen soluciones inmediatas sobre problemas concretos. Esto servirá para que los desarrolladores de software cuántico dispongan de un kit de elementos que los ayude en su tarea, donde se proveen técnicas y circuitos reusables, logrando así un mayor nivel de abstracción en el desarrollo.

La codificación superdensa y teleportación cuántica son protocolos de comunicación a los cuales se puede acudir para transferir información clásica y cuántica. Para limpiar los estados cuánticos, de manera que cubits auxiliares queden en el estado 0\ket{0} y no ensucien la medición final de todos los cubits, se puede utilizar la técnica de la descomputación. Cuando se necesite realizar una búsqueda eficiente sobre un espacio no estructurado, se puede recurrir a la amplificación de amplitudes teniendo bajo consideración la especificación del oráculo, el tamaño del espacio de búsqueda y, de ser posible, la cantidad de soluciones existentes. La transformada de Fourier cuántica es útil para casos en los que se necesite aplicar la transformada de Fourier sobre algoritmos cuánticos. Por ejemplo, para la implementación del algoritmo de Shor. Finalmente, la estimación de fase permite observar la fase de un estado cuántico con mm bits de precisión.

Bibliografía:
Recomendada
Alternativa
Opcional