Articulo de referencia

Puerta lógica cuántica

Compuertas lógicas cuánticas comunes por nombre (incluida la abreviatura), forma(s) de circuito y las matrices unitarias correspondientes. En la computación cuántica , y específ...

Compuertas lógicas cuánticas comunes por nombre (incluida la abreviatura), forma(s) de circuito y las matrices unitarias correspondientes.

En la computación cuántica , y específicamente en el modelo de circuitos cuánticos , una puerta lógica cuántica (o simplemente puerta cuántica ) es un circuito cuántico básico que opera sobre un pequeño número de cúbits . Las puertas lógicas cuánticas son los bloques de construcción de los circuitos cuánticos, al igual que las puertas lógicas clásicas lo son para los circuitos digitales convencionales.

Según la mecánica cuántica , un sistema cuántico solo puede evolucionar unitariamente según la ecuación de Schrödinger o ser medido (a veces llamado "observado"). Las puertas cuánticas describen estas transformaciones unitarias, que ocurren cuando el sistema no se está midiendo. La expresión "puerta cuántica" aparece en relación con los procesadores cuánticos, y en este contexto se refiere a las operaciones lógicas que la computadora cuántica, a nivel de abstracción de lenguaje ensamblador (por ejemplo, OpenQASM ), puede realizar sobre los datos cuánticos ( qubits o estados cuánticos ) que procesa, aunque también pueden ser algoritmos completos (por ejemplo, la transformada cuántica de Fourier ). Sin embargo, esto solo es cierto si dichos algoritmos no contienen operaciones de medición. Cuando se miden los datos cuánticos, generalmente se transforman en bits binarios, que luego se envían a una computadora normal ("clásica"). El procesador cuántico se comporta como un coprocesador para dichos procesadores binarios clásicos.

A diferencia de muchas compuertas lógicas clásicas, las compuertas lógicas cuánticas son reversibles . Es posible realizar computación clásica utilizando únicamente compuertas reversibles. Por ejemplo, la compuerta reversible de Toffoli puede implementar todas las funciones booleanas , a menudo a costa de tener que usar bits auxiliares . La compuerta de Toffoli tiene un equivalente cuántico directo, lo que demuestra que los circuitos cuánticos pueden realizar todas las operaciones que realizan los circuitos clásicos.

Las puertas cuánticas son operadores unitarios y se describen como matrices unitarias relativas a alguna base ortonormal . Por lo general , se utiliza la base computacional , que, a menos que se compare con algo, simplemente significa que para un sistema cuántico de nivel d (como un cúbit , un registro cuántico o cútrits y cúdits ) [ 1 ] : 22–23 los vectores de la base ortonormal están etiquetados|0,|1,,|d1{\displaystyle |0\rangle ,|1\rangle ,\dots ,|d-1\rangle }o utilice la notación binaria .

Historia

La notación actual para las puertas cuánticas fue desarrollada por muchos de los fundadores de la ciencia de la información cuántica, incluidos Adriano Barenco, Charles Bennett , Richard Cleve , David P. DiVincenzo , Norman Margolus , Peter Shor , Tycho Sleator, John A. Smolin y Harald Weinfurter, [ 2 ] basándose en la notación introducida por Richard Feynman en 1986. [ 3 ]

Representación

Los estados de un solo cúbit que no están entrelazados y carecen de fase global pueden representarse como puntos en la superficie de la esfera de Bloch , escritos como|ψ=porque(θ/2)|0+miiφpecado(θ/2)|1.{\displaystyle |\psi \rangle =\cos \left(\theta /2\right)|0\rangle +e^{i\varphi }\sin \left(\theta /2\right)|1\rangle .}Las rotaciones alrededor de los ejes x, y, z de la esfera de Bloch están representadas por las puertas operadoras de rotación .

Las puertas lógicas cuánticas se representan mediante matrices unitarias . Una puerta que actúa sobrenorte{\displaystyle n}Los cúbits (un registro ) están representados por un2norte×2norte{\displaystyle 2^{n}\times 2^{n}}matriz unitaria, y el conjunto de todas esas compuertas con la operación de grupo de multiplicación de matrices [ a ] ​​es el grupo unitario U(2 n ). [ 2 ] Los estados cuánticos sobre los que actúan las compuertas son vectores unitarios en2norte{\displaystyle 2^{n}}dimensiones complejas , con la norma euclidiana compleja (la 2-norma ). [ 4 ] : 66 [ 5 ] : 56, 65 Los vectores base (a veces llamados autoestados ) son los posibles resultados si se mide el estado de los cúbits , y un estado cuántico es una combinación lineal de estos resultados. Las puertas cuánticas más comunes operan en espacios vectoriales de uno o dos cúbits, al igual que las puertas lógicas clásicas comunes operan en uno o dos bits .

Aunque las compuertas lógicas cuánticas pertenecen a grupos de simetría continuos , el hardware real es inexacto y, por lo tanto, limitado en precisión. La aplicación de las compuertas suele introducir errores, y la fidelidad de los estados cuánticos disminuye con el tiempo. Si se utiliza corrección de errores , las compuertas utilizables se restringen aún más a un conjunto finito. [ 4 ] : cap. 10 [ 1 ] : cap. 14 Más adelante en este artículo, esto se ignora, ya que el enfoque está en las propiedades de las compuertas cuánticas ideales.

Los estados cuánticos se representan típicamente mediante "kets", a partir de una notación conocida como bra-ket .

La representación vectorial de un solo cúbit es

|a=v0|0+v1|1[v0v1].{\displaystyle |a\rangle =v_{0}|0\rangle +v_{1}|1\rangle \rightarrow {\begin{bmatrix}v_{0}\\v_{1}\end{bmatrix}}.}

Aquí,v0{\displaystyle v_{0}}yv1{\displaystyle v_{1}}son las amplitudes de probabilidad complejas del cúbit. Estos valores determinan la probabilidad de medir un 0 o un 1 al medir el estado del cúbit. Consulte la sección de medición a continuación para obtener más detalles.

El valor cero está representado por la ket|0=[10]{\displaystyle |0\rangle ={\begin{bmatrix}1\\0\end{bmatrix}}}y el valor uno está representado por el ket|1=[01]{\displaystyle |1\rangle ={\begin{bmatrix}0\\1\end{bmatrix}}}.

El producto tensorial (o producto de Kronecker ) se utiliza para combinar estados cuánticos. El estado combinado para un registro de cúbits es el producto tensorial de los cúbits constituyentes. El producto tensorial se denota con el símbolo{\displaystyle \otimes }.

La representación vectorial de dos cúbits es: [ 6 ]

|ψ=v00|00+v01|01+v10|10+v11|11[v00v01v10v11].{\displaystyle |\psi \rangle =v_{00}|00\rangle +v_{01}|01\rangle +v_{10}|10\rangle +v_{11}|11\rangle \rightarrow {\begin{bmatrix}v_{00}\\v_{01}\\v_{10}\\v_{11}\end{bmatrix}}.}

La acción de la puerta sobre un estado cuántico específico se encuentra multiplicando el vector|ψ1{\displaystyle |\psi _{1}\rangle }, que representa el estado mediante la matrizU{\displaystyle U}representando la puerta. El resultado es un nuevo estado cuántico.|ψ2{\displaystyle |\psi _{2}\rangle }:

U|ψ1=|ψ2.{\displaystyle U|\psi _{1}\rangle =|\psi _{2}\rangle .}

Relación con el operador de evolución temporal

La ecuación de Schrödinger describe cómo evolucionan con el tiempo los sistemas cuánticos que no se observan , y esiddt|Ψ=H^|Ψ.{\displaystyle i\hbar {\frac {d}{dt}}|\Psi \rangle ={\hat {H}}|\Psi \rangle .}Cuando el sistema se encuentra en un entorno estable, por lo que tiene un hamiltoniano constante , la solución a esta ecuación esU(t)=miiH^t/.{\displaystyle U(t)=e^{-i{\hat {H}}t/\hbar }.}[ 1 ] : 24–25Si el tiempot{\displaystyle t}siempre es lo mismo, puede omitirse por simplicidad, y la forma en que evolucionan los estados cuánticos puede describirse comoU|ψ1=|ψ2,{\displaystyle U|\psi _{1}\rangle =|\psi _{2}\rangle ,}igual que en la sección anterior.

Es decir, una puerta cuántica es la forma en que un sistema cuántico no observado evoluciona durante un tiempo específico, o equivalentemente, una puerta es el operador de evolución temporal unitario.U{\displaystyle U}actuar sobre un estado cuántico durante un período de tiempo específico.

Ejemplos notables

Existe un número infinito incontable de puertas. Algunas de ellas han sido nombradas por varios autores, [ 1 ] [ 2 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 9 ] y a continuación se presentan algunas de las más utilizadas en la literatura.

Puerta de identidad

La puerta identidad es la matriz identidad , generalmente escrita como I , y se define para un solo cúbit como

I=[1001],{\displaystyle I={\begin{bmatrix}1&0\\0&1\end{bmatrix}},}

donde I es independiente de la base y no modifica el estado cuántico. La puerta identidad es más útil al describir matemáticamente el resultado de diversas operaciones de puerta o al analizar circuitos de múltiples cúbits.

Puertas de Pauli ( X , Y , Z )

Compuertas cuánticas (de arriba a abajo): Compuerta identidad, compuerta NOT, Pauli Y, Pauli Z

Las puertas de Pauli(incógnita,Y,Z){\displaystyle (X,Y,Z)}son las tres matrices de Pauli(σincógnita,σy,σz){\displaystyle (\sigma _{x},\sigma _{y},\sigma _{z})}y actúan sobre un único cúbit. Los ejes X , Y y Z de Pauli equivalen, respectivamente, a una rotación alrededor de los ejes x , y y z de la esfera de Bloch porπ{\displaystyle \pi }radianes. [ b ]

La puerta lógica Pauli- X es el equivalente cuántico de la puerta lógica NOT para computadoras clásicas con respecto a la base estándar.|0{\displaystyle |0\rangle },|1{\displaystyle |1\rangle }, que distingue el eje z en la esfera de Bloch . A veces se le llama inversión de bits, ya que mapea|0{\displaystyle |0\rangle }a|1{\displaystyle |1\rangle }y|1{\displaystyle |1\rangle }a|0{\displaystyle |0\rangle }De manera similar, los mapas de Pauli- Y|0{\displaystyle |0\rangle }ai|1{\displaystyle i|1\rangle }y|1{\displaystyle |1\rangle }ai|0{\displaystyle -i|0\rangle }Pauli Z abandona el estado base|0{\displaystyle |0\rangle }sin cambios y mapas|1{\displaystyle |1\rangle }a|1{\displaystyle -|1\rangle }Debido a esta naturaleza, a la Z de Pauli a veces se la denomina inversión de fase.

Estas matrices se suelen representar como

incógnita=σincógnita=NO=[0110],{\displaystyle X=\sigma _{x}=\operatorname {NOT} ={\begin{bmatrix}0&1\\1&0\end{bmatrix}},}
Y=σy=[0ii0],{\displaystyle Y=\sigma _{y}={\begin{bmatrix}0&-i\\i&0\end{bmatrix}},}
Z=σz=[1001].{\displaystyle Z=\sigma _{z}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}.}

Las matrices de Pauli son involutivas , lo que significa que el cuadrado de una matriz de Pauli es la matriz identidad .

I2=incógnita2=Y2=Z2=iincógnitaYZ=I{\displaystyle I^{2}=X^{2}=Y^{2}=Z^{2}=-iXYZ=I}

Las matrices de Pauli también son anticonmutativas , por ejemploZincógnita=iY=incógnitaZ.{\displaystyle ZX=iY=-XZ.}

La exponencial matricial de una matriz de Pauliσj{\displaystyle \sigma _{j}}es un operador de rotación , a menudo escrito comomiiσjθ/2.{\displaystyle e^{-i\sigma _{j}\theta /2}.}

Puertas controladas

Representación en circuito de una puerta U controlada

Las compuertas controladas actúan sobre 2 o más cúbits, donde uno o más cúbits actúan como control para alguna operación. [ 2 ] Por ejemplo, la compuerta NOT controlada (o CNOT o CX) actúa sobre 2 cúbits y realiza la operación NOT en el segundo cúbit solo cuando el primer cúbit está|1{\displaystyle |1\rangle }y por lo demás lo deja sin cambios. Con respecto a la base|00{\displaystyle |00\rangle },|01{\displaystyle |01\rangle },|10{\displaystyle |10\rangle },|11{\displaystyle |11\rangle }, se representa mediante la matriz unitaria hermitiana :

CNOT=[1000010000010010].{\displaystyle {\mbox{CNOT}}={\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{bmatrix}}.}

La puerta CNOT (o Pauli- X controlada ) puede describirse como la puerta que mapea los estados base.|a,b|a,ab{\displaystyle |a,b\rangle \mapsto |a,a\oplus b\rangle }, dónde{\displaystyle \oplus }es XOR .

El CNOT se puede expresar en la base de Pauli como:

CNOT=miiπ4(IZ1)(Iincógnita2)=miiπ4(IZ1)(Iincógnita2).{\displaystyle {\mbox{CNOT}}=e^{i{\frac {\pi }{4}}(I-Z_{1})(I-X_{2})}=e^{-i{\frac {\pi }{4}}(I-Z_{1})(I-X_{2})}.}

Al ser un operador unitario hermitiano, CNOT tiene la propiedad de quemiiθU=(porqueθ)I+(ipecadoθ)U{\displaystyle e^{i\theta U}=(\cos \theta )I+(i\sin \theta )U}yU=miiπ2(IU)=miiπ2(IU){\displaystyle U=e^{i{\frac {\pi }{2}}(IU)}=e^{-i{\frac {\pi }{2}}(IU)}}y es involutivo .

De forma más general, si U es una puerta que opera sobre un único cúbit con representación matricial

U=[00011011],{\displaystyle U={\begin{bmatrix}u_{00}&u_{01}\\u_{10}&u_{11}\end{bmatrix}},}

Entonces, la puerta U controlada es una puerta que opera sobre dos cúbits de tal manera que el primer cúbit sirve como control. Mapea los estados base de la siguiente manera.

Diagramas de circuitos de compuertas de Pauli controladas (de izquierda a derecha): CNOT (o X controlada), Y controlada y Z controlada.
|00|00{\displaystyle |00\rangle \mapsto |00\rangle }
|01|01{\displaystyle |01\rangle \mapsto |01\rangle }
|10|1U|0=|1(00|0+10|1){\displaystyle |10\rangle \mapsto |1\rangle \otimes U|0\rangle =|1\rangle \otimes (u_{00}|0\rangle +u_{10}|1\rangle )}
|11|1U|1=|1(01|0+11|1){\displaystyle |11\rangle \mapsto |1\rangle \otimes U|1\rangle =|1\rangle \otimes (u_{01}|0\rangle +u_{11}|1\rangle )}

La matriz que representa la U controlada es

doU=[10000100000001001011].{\displaystyle {\mbox{C}}U={\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&u_{00}&u_{01}\\0&0&u_{10}&u_{11}\end{bmatrix}}.}

Cuando U es uno de los operadores de Pauli, X , Y , Z , a veces se utilizan los términos respectivos "controlado- X ", "controlado- Y " o "controlado- Z ". [ 4 ] : 177–185 A veces esto se abrevia a simplemente C X , C Y y C Z .

En general, cualquier puerta unitaria de un solo cúbit se puede expresar comoU=miiH{\displaystyle U=e^{iH}}, donde H es una matriz hermitiana , y entonces la U controlada esdoU=mii12(IZ1)H2.{\displaystyle {\mbox{C}}U=e^{i{\frac {1}{2}}(I-Z_{1})H_{2}}.}

El control puede extenderse a compuertas con un número arbitrario de cúbits [ 2 ] y funciones en lenguajes de programación. [ 10 ] Las funciones pueden estar condicionadas a estados de superposición. [ 11 ] [ 12 ]

Control clásico

Ejemplo: El cúbitϕ{\displaystyle \phi }se mide y el resultado de esta medición es un valor booleano , que es utilizado por la computadora clásica. Siϕ{\displaystyle \phi }medidas a 1, entonces la computadora clásica le dice a la computadora cuántica que aplique la puerta U enψ{\displaystyle \psi }En los diagramas de circuitos, las líneas simples son cúbits y las líneas dobles son bits .

Las puertas también pueden controlarse mediante lógica clásica. Una computadora cuántica es controlada por una computadora clásica y se comporta como un coprocesador que recibe instrucciones de la computadora clásica sobre qué puertas ejecutar en qué cúbits. [ 13 ] : 42–43 [ 14 ] El control clásico es simplemente la inclusión u omisión de puertas en la secuencia de instrucciones para la computadora cuántica. [ 4 ] : 26–28 [ 1 ] : 87–88 Realizar mediciones en medio de un circuito cuántico, en lugar de al final del mismo, es difícil y técnicamente desafiante debido a problemas de sincronización y decoherencia . Debido a esto, no todas las computadoras cuánticas admiten estas sentencias if clásicas, donde los datos cuánticos se convierten en bits, lo que luego controla el flujo del programa. [ 15 ] [ 16 ]

Compuertas de cambio de fase

El cambio de fase es una familia de compuertas de un solo qubit que mapean los estados base.|0|0{\displaystyle |0\rangle \mapsto |0\rangle }y|1miiφ|1{\displaystyle |1\rangle \mapsto e^{i\varphi }|1\rangle }. La probabilidad de medir un|0{\displaystyle |0\rangle }o|1{\displaystyle |1\rangle }no cambia después de aplicar esta puerta, sin embargo, modifica la fase del estado cuántico. Esto es equivalente a trazar un círculo horizontal (una línea de latitud constante), o una rotación alrededor del eje z en la esfera de Bloch porφ{\displaystyle \varphi }radianes. La puerta de desplazamiento de fase está representada por la matriz:

PAG(φ)=[100miiφ]{\displaystyle P(\varphi )={\begin{bmatrix}1&0\\0&e^{i\varphi }\end{bmatrix}}}

dóndeφ{\displaystyle \varphi }es el desplazamiento de fase con el período . Algunos ejemplos comunes son la puerta T dondeφ=π4{\textstyle \varphi ={\frac {\pi }{4}}}(históricamente conocido como elπ/8{\displaystyle \pi /8}puerta), la puerta de fase (también conocida como puerta S, escrita como S , aunque S a veces se usa para puertas SWAP) dondeφ=π2{\textstyle \varphi ={\frac {\pi }{2}}}y la puerta de Pauli- Z dondeφ=π.{\displaystyle \varphi =\pi .}

Las compuertas de cambio de fase se relacionan entre sí de la siguiente manera:

Z=[100miiπ]=[1001]=PAG(π){\displaystyle Z={\begin{bmatrix}1&0\\0&e^{i\pi }\end{bmatrix}}={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}=P\left(\pi \right)}
S=[100miiπ2]=[100i]=PAG(π2)=Z{\displaystyle S={\begin{bmatrix}1&0\\0&e^{i{\frac {\pi }{2}}}\end{bmatrix}}={\begin{bmatrix}1&0\\0&i\end{bmatrix}}=P\left({\frac {\pi }{2}}\right)={\sqrt {Z}}}
T=[100miiπ4]=PAG(π4)=S=Z4{\displaystyle T={\begin{bmatrix}1&0\\0&e^{i{\frac {\pi }{4}}}\end{bmatrix}}=P\left({\frac {\pi }{4}}\right)={\sqrt {S}}={\sqrt[{4}]{Z}}}

Tenga en cuenta que la puerta de fasePAG(φ){\displaystyle P(\varphi )}no es hermitiano (excepto por todo)φ=norteπ,norteZ{\displaystyle \varphi =n\pi ,n\in \mathbb {Z} }Estas puertas son diferentes de sus conjugadas hermíticas:PAG(φ)=PAG(φ){\displaystyle P^{\dagger }(\varphi )=P(-\varphi )}. Las dos compuertas adjuntas (o transpuestas conjugadas )S{\displaystyle S^{\dagger }}yT{\displaystyle T^{\dagger }}a veces se incluyen en los conjuntos de instrucciones. [ 17 ] [ 18 ]

Puerta de Hadamard

La puerta Hadamard o Walsh-Hadamard, que recibe su nombre de Jacques Hadamard ( en francés: [ adamaʁ ] ) y Joseph L. Walsh , actúa sobre un único cúbit. Mapea los estados base.|0|0+|12{\textstyle |0\rangle \mapsto {\frac {|0\rangle +|1\rangle }{\sqrt {2}}}}y|1|0|12{\textstyle |1\rangle \mapsto {\frac {|0\rangle -|1\rangle }{\sqrt {2}}}}(crea un estado de superposición igual si se le da un estado base computacional). Los dos estados(|0+|1)/2{\displaystyle (|0\rangle +|1\rangle )/{\sqrt {2}}}y(|0|1)/2{\displaystyle (|0\rangle -|1\rangle )/{\sqrt {2}}}a veces están escritos|+{\displaystyle |+\rangle }y|{\displaystyle |-\rangle }respectivamente. La puerta Hadamard realiza una rotación deπ{\displaystyle \pi }alrededor del eje(incógnita^+z^)/2{\displaystyle ({\hat {x}}+{\hat {z}})/{\sqrt {2}}}en la esfera de Bloch y, por lo tanto, es involutiva . Está representada por la matriz de Hadamard :

Representación en circuito de la puerta de Hadamard
H=12[1111].{\displaystyle H={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}.}

Si el Hermitiano (así queH=H1=H{\displaystyle H^{\dagger }=H^{-1}=H}) La puerta Hadamard se utiliza para realizar un cambio de base , invierteincógnita^{\displaystyle {\hat {x}}}yz^{\displaystyle {\hat {z}}}. Por ejemplo,HZH=incógnita{\displaystyle HZH=X}yHincógnitaH=Z=S.{\displaystyle H{\sqrt {X}}\;H={\sqrt {Z}}=S.}

Puerta de intercambio

Representación en circuito de la compuerta SWAP

La puerta de intercambio intercambia dos cúbits. Con respecto a la base|00{\displaystyle |00\rangle },|01{\displaystyle |01\rangle },|10{\displaystyle |10\rangle },|11{\displaystyle |11\rangle }, está representado por la matriz

INTERCAMBIO=[1000001001000001].{\displaystyle {\mbox{SWAP}}={\begin{bmatrix}1&0&0&0\\0&0&1&0\\0&1&0&0\\0&0&0&1\end{bmatrix}}.}

La puerta de intercambio se puede descomponer en forma de sumatoria:

INTERCAMBIO=II+incógnitaincógnita+YY+ZZ2{\displaystyle {\mbox{SWAP}}={\frac {I\otimes I+X\otimes X+Y\otimes Y+Z\otimes Z}{2}}}

Puerta de Toffoli (CCNOT)

Representación del circuito de la compuerta de Toffoli

La puerta Toffoli, que recibe su nombre de Tommaso Toffoli y también se conoce como la puerta CCNOT o la puerta Deutsch.D(π/2){\displaystyle D(\pi /2)}, es una puerta de 3 bits que es universal para la computación clásica pero no para la computación cuántica. La puerta cuántica de Toffoli es la misma puerta, definida para 3 cúbits. Si nos limitamos a aceptar solo cúbits de entrada que sean|0{\displaystyle |0\rangle }y|1{\displaystyle |1\rangle }, entonces si los dos primeros bits están en el estado|1{\displaystyle |1\rangle }Aplica una operación de Pauli- X (o NOT) al tercer bit; de lo contrario, no hace nada. Es un ejemplo de una puerta CC-U (unitaria controlada-controlada). Dado que es el análogo cuántico de una puerta clásica, está completamente especificada por su tabla de verdad. La puerta Toffoli es universal cuando se combina con la puerta Hadamard de un solo cúbit. [ 19 ]

La puerta Toffoli está relacionada con la AND clásica ({\displaystyle \land }) y XOR ({\displaystyle \oplus }) operaciones a medida que realiza el mapeo|a,b,do|a,b,do(ab){\displaystyle |a,b,c\rangle \mapsto |a,b,c\oplus (a\land b)\rangle }sobre los estados en la base computacional.

La puerta de Toffoli se puede expresar utilizando matrices de Pauli como

Petimetre=miiπ8(IZ1)(IZ2)(Iincógnita3)=miiπ8(IZ1)(IZ2)(Iincógnita3).{\displaystyle {\mbox{Toff}}=e^{i{\frac {\pi }{8}}(I-Z_{1})(I-Z_{2})(I-X_{3})}=e^{-i{\frac {\pi }{8}}(I-Z_{1})(I-Z_{2})(I-X_{3})}.}

Puertas cuánticas universales

Tanto CNOT comoINTERCAMBIO{\displaystyle {\sqrt {\mbox{SWAP}}}}Son puertas lógicas universales de dos cúbits y pueden transformarse unas en otras.

Un conjunto de puertas cuánticas universales es cualquier conjunto de puertas al que se puede reducir cualquier operación posible en una computadora cuántica, es decir, cualquier otra operación unitaria puede expresarse como una secuencia finita de puertas del conjunto. Técnicamente, esto es imposible con cualquier conjunto de puertas menor que no numerable , ya que el número de puertas cuánticas posibles es no numerable, mientras que el número de secuencias finitas de un conjunto finito es numerable . Para resolver este problema, solo requerimos que cualquier operación cuántica pueda aproximarse mediante una secuencia de puertas de este conjunto finito. Además, para operaciones unitarias en un número constante de cúbits, el teorema de Solovay-Kitaev garantiza que esto se puede hacer de manera eficiente. La comprobación de si un conjunto de puertas cuánticas es universal se puede realizar utilizando métodos de teoría de grupos [ 20 ] y/o la relación con diseños t unitarios (aproximados) [ 21 ] . La conjetura de la brecha espectral , de ser cierta, implicaría que un conjunto de puertas cuánticas elegido genéricamente es eficientemente universal.

Algunos conjuntos de puertas cuánticas universales incluyen:

Puerta alemana

También se puede formular un conjunto de puertas cuánticas universales de una sola puerta utilizando la puerta de Deutsch parametrizada de tres cúbits.D(θ){\displaystyle D(\theta )}, [ 23 ] nombrada en honor al físico David Deutsch . Es un caso general de CC-U , o puerta unitaria controlada-controlada , y se define como

|a,b,do{iporque(θ)|a,b,do+pecado(θ)|a,b,1dopara a=b=1,|a,b,dode lo contrario.{\displaystyle |a,b,c\rangle \mapsto {\begin{cases}i\cos(\theta )|a,b,c\rangle +\sin(\theta )|a,b,1-c\rangle &{\text{for}}\ a=b=1,\\|a,b,c\rangle &{\text{otherwise}}.\end{cases}}}

Lamentablemente, una puerta Deutsch funcional ha permanecido fuera de nuestro alcance debido a la falta de un protocolo. Existen algunas propuestas para implementar una puerta Deutsch con interacción dipolo-dipolo en átomos neutros. [ 24 ]

La puerta lógica universal para la computación clásica reversible, la puerta Toffoli, es reducible a la puerta Deutsch.D(π/2){\displaystyle D(\pi /2)}, demostrando así que todas las operaciones lógicas clásicas reversibles pueden realizarse en una computadora cuántica universal.

También existen compuertas de dos cúbits simples suficientes para la universalidad. En 1996, Adriano Barenco demostró que la compuerta Deutsch puede descomponerse utilizando solo una compuerta de dos cúbits ( compuerta de Barenco ), pero es difícil de realizar experimentalmente. [ 1 ] : 93 Esta característica es exclusiva de los circuitos cuánticos, ya que no existe una compuerta clásica de dos bits que sea a la vez reversible y universal. [ 1 ] : 93 Se podrían implementar compuertas universales de dos cúbits para mejorar los circuitos reversibles clásicos en microprocesadores rápidos de bajo consumo. [ 1 ] : 93

Composición del circuito

Puertas cableadas en serie

Dos compuertas Y y X en serie. El orden en que aparecen en el cable se invierte al multiplicarlas.

Supongamos que tenemos dos compuertas A y B que actúan sobrenorte{\displaystyle n}cúbits. Cuando B se coloca después de A en un circuito en serie, el efecto de las dos compuertas se puede describir como una sola compuerta C.

do=BA{\displaystyle C=B\cdot A}

dónde{\displaystyle \cdot }es la multiplicación de matrices . La compuerta resultante C tendrá las mismas dimensiones que A y B. El orden en que aparecerían las compuertas en un diagrama de circuito se invierte al multiplicarlas. [ 4 ] : 17–18,22–23,62–64 [ 5 ] : 147–169

Por ejemplo, colocar la puerta X de Pauli después de la puerta Y de Pauli , ambas actuando sobre un solo cúbit, puede describirse como una única puerta combinada C :

do=incógnitaY=[0110][0ii0]=[i00i]=iZ{\displaystyle C=X\cdot Y={\begin{bmatrix}0&1\\1&0\end{bmatrix}}\cdot {\begin{bmatrix}0&-i\\i&0\end{bmatrix}}={\begin{bmatrix}i&0\\0&-i\end{bmatrix}}=iZ}

El símbolo del producto ({\displaystyle \cdot }) a menudo se omite.

Exponentes de puertas cuánticas

Todos los exponentes reales de matrices unitarias son también matrices unitarias, y todas las puertas cuánticas son matrices unitarias.

Los exponentes enteros positivos son equivalentes a secuencias de compuertas conectadas en serie (por ejemplo,incógnita3=incógnitaincógnitaincógnita{\displaystyle X^{3}=X\cdot X\cdot X}), y los exponentes reales son una generalización del circuito en serie. Por ejemplo,incógnitaπ{\displaystyle X^{\pi }}yincógnita=incógnita1/2{\displaystyle {\sqrt {X}}=X^{1/2}}Ambas son puertas cuánticas válidas.

U0=I{\displaystyle U^{0}=I}para cualquier matriz unitariaU{\displaystyle U}. La matriz identidad (I{\displaystyle I}) se comporta como un NOP [ 25 ] [ 26 ] y puede representarse como un cable desnudo en circuitos cuánticos, o no mostrarse en absoluto.

Todas las compuertas son matrices unitarias, de modo queUU=UU=I{\displaystyle U^{\dagger }U=UU^{\dagger }=I}yU=U1{\displaystyle U^{\dagger }=U^{-1}}, dónde{\displaystyle \dagger }es la transpuesta conjugada . Esto significa que los exponentes negativos de las compuertas son inversos unitarios de sus contrapartes exponenciadas positivamente:Unorte=(Unorte){\displaystyle U^{-n}=(U^{n})^{\dagger }}. Por ejemplo, algunos exponentes negativos de las compuertas de desplazamiento de fase sonT1=T{\displaystyle T^{-1}=T^{\dagger }}yT2=(T2)=S{\displaystyle T^{-2}=(T^{2})^{\dagger }=S^{\dagger }}.

Tenga en cuenta que para una matriz hermitianaH=H,{\displaystyle H^{\dagger }=H,}y debido a la unitariedad,HH=I,{\displaystyle HH^{\dagger }=I,}entoncesH2=I{\displaystyle H^{2}=I}para todas las puertas hermíticas. Son involutivas . Ejemplos de puertas hermíticas son las puertas de Pauli , Hadamard , CNOT , SWAP y Toffoli . Cada matriz unitaria hermíticaH{\displaystyle H}tiene la propiedad de quemiiθH=(porqueθ)I+(ipecadoθ)H{\displaystyle e^{i\theta H}=(\cos \theta )I+(i\sin \theta )H}dóndeH=miiπ2(IH)=miiπ2(IH).{\displaystyle H=e^{i{\frac {\pi }{2}}(I-H)}=e^{-i{\frac {\pi }{2}}(I-H)}.}

El exponente de una puerta es un múltiplo de la duración del tiempo durante el cual se aplica el operador de evolución temporal a un estado cuántico. Por ejemplo, en una computadora cuántica de cúbits de espín,SWAPAG{\displaystyle {\sqrt {\mathrm {SWAP} }}}La puerta podría realizarse mediante interacción de intercambio en el espín de dos electrones durante la mitad de la duración de una interacción de intercambio completa. [ 27 ]

Puertas paralelas

Dos puertasY{\displaystyle Y}yincógnita{\displaystyle X}en paralelo es equivalente a la puertaYincógnita{\displaystyle Y\otimes X}.

El producto tensorial (o producto de Kronecker ) de dos compuertas cuánticas es la compuerta que es igual a las dos compuertas en paralelo. [ 4 ] : 71–75 [ 5 ] : 148

Si combinamos la puerta Pauli- Y con la puerta Pauli- X en paralelo, como se muestra en la imagen, entonces esto se puede escribir como:

do=Yincógnita=[0ii0][0110]=[0[0110]i[0110]i[0110]0[0110]]=[000i00i00i00i000]{\displaystyle C=Y\otimes X={\begin{bmatrix}0&-i\\i&0\end{bmatrix}}\otimes {\begin{bmatrix}0&1\\1&0\end{bmatrix}}={\begin{bmatrix}0{\begin{bmatrix}0&1\\1&0\end{bmatrix}}&-i{\begin{bmatrix}0&1\\1&0\end{bmatrix}}\\i{\begin{bmatrix}0&1\\1&0\end{bmatrix}}&0{\begin{bmatrix}0&1\\1&0\end{bmatrix}}\end{bmatrix}}={\begin{bmatrix}0&0&0&-i\\0&0&-i&0\\0&i&0&0\\i&0&0&0\end{bmatrix}}}

Tanto la puerta Pauli- X como la puerta Pauli- Y actúan sobre un solo cúbit. La puerta resultantedo{\displaystyle C}actuar sobre dos cúbits.

A veces se omite el símbolo del producto tensorial y, en su lugar, se utilizan índices para los operadores. [ 27 ]

Hadamard transforma

La puertaH2=HH{\displaystyle H_{2}=H\otimes H}es la puerta de Hadamard (H{\displaystyle H}) aplicado en paralelo en 2 cúbits. Se puede escribir como:

H2=HH=12[1111]12[1111]=12[1111111111111111]{\displaystyle H_{2}=H\otimes H={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}\otimes {\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}={\frac {1}{2}}{\begin{bmatrix}1&1&1&1\\1&-1&1&-1\\1&1&-1&-1\\1&-1&-1&1\end{bmatrix}}}

Esta "puerta Hadamard paralela de dos cúbits" se aplicará, por ejemplo, al vector cero de dos cúbits (|00{\displaystyle |00\rangle }), crear un estado cuántico que tenga la misma probabilidad de ser observado en cualquiera de sus cuatro resultados posibles;|00{\displaystyle |00\rangle },|01{\displaystyle |01\rangle },|10{\displaystyle |10\rangle }, y|11{\displaystyle |11\rangle }Podemos escribir esta operación como :

H2|00=12[1111111111111111][1000]=12[1111]=12|00+12|01+12|10+12|11=|00+|01+|10+|112{\displaystyle H_{2}|00\rangle ={\frac {1}{2}}{\begin{bmatrix}1&1&1&1\\1&-1&1&-1\\1&1&-1&-1\\1&-1&-1&1\end{bmatrix}}{\begin{bmatrix}1\\0\\0\\0\end{bmatrix}}={\frac {1}{2}}{\begin{bmatrix}1\\1\\1\\1\end{bmatrix}}={\frac {1}{2}}|00\rangle +{\frac {1}{2}}|01\rangle +{\frac {1}{2}}|10\rangle +{\frac {1}{2}}|11\rangle ={\frac {|00\rangle +|01\rangle +|10\rangle +|11\rangle }{2}}}
Ejemplo: La transformada de Hadamard en un registro de 3 cúbits .|ψ{\displaystyle |\psi \rangle }.

Aquí , la amplitud de cada estado medible es 1/2 . La probabilidad de observar cualquier estado es el cuadrado del valor absoluto de la amplitud de los estados medibles, lo que en el ejemplo anterior significa que hay una probabilidad de uno entre cuatro de que observemos cualquiera de los cuatro casos individuales. Consulte la sección de medición para obtener más detalles.

H2{\displaystyle H_{2}}realiza la transformada de Hadamard en dos cúbits. De manera similar, la puertaHHHnorte veces=i=0norte1H=Hnorte=Hnorte{\displaystyle \underbrace {H\otimes H\otimes \dots \otimes H} _{n{\text{ times}}}=\bigotimes _{i=0}^{n-1}H=H^{\otimes n}=H_{n}}realiza una transformación de Hadamard en un registro denorte{\displaystyle n}cúbits.

Cuando se aplica a un registro denorte{\displaystyle n}todos los cúbits inicializados a|0{\displaystyle |0\rangle }, la transformada de Hadamard coloca el registro cuántico en una superposición con igual probabilidad de ser medido en cualquiera de sus2norte{\displaystyle 2^{n}}estados posibles:

i=0norte1(H|0)=12norte[111]=12norte(|0+|1++|2norte1)=12nortei=02norte1|i{\displaystyle \bigotimes _{i=0}^{n-1}(H|0\rangle )={\frac {1}{\sqrt {2^{n}}}}{\begin{bmatrix}1\\1\\\vdots \\1\end{bmatrix}}={\frac {1}{\sqrt {2^{n}}}}{\Big (}|0\rangle +|1\rangle +\dots +|2^{n}-1\rangle {\Big )}={\frac {1}{\sqrt {2^{n}}}}\sum _{i=0}^{2^{n}-1}|i\rangle }

Este estado es una superposición uniforme y se genera como primer paso en algunos algoritmos de búsqueda, por ejemplo, en la amplificación de amplitud y la estimación de fase .

La medición de este estado da como resultado un número aleatorio entre|0{\displaystyle |0\rangle }y|2norte1{\displaystyle |2^{n}-1\rangle }. [ e ] El grado de aleatoriedad del número depende de la fidelidad de las compuertas lógicas. Si no se mide, es un estado cuántico con amplitud de probabilidad igual.12norte{\displaystyle {\frac {1}{\sqrt {2^{n}}}}}para cada uno de sus posibles estados.

La transformación de Hadamard actúa sobre un registro|ψ{\displaystyle |\psi \rangle }connorte{\displaystyle n}cúbits tales que|ψ=i=0norte1|ψi{\textstyle |\psi \rangle =\bigotimes _{i=0}^{n-1}|\psi _{i}\rangle }como sigue:

i=0norte1H|ψ=i=0norte1|0+(1)ψi|12=12nortei=0norte1(|0+(1)ψi|1)=H|ψ0H|ψ1H|ψnorte1{\displaystyle \bigotimes _{i=0}^{n-1}H|\psi \rangle =\bigotimes _{i=0}^{n-1}{\frac {|0\rangle +(-1)^{\psi _{i}}|1\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2^{n}}}}\bigotimes _{i=0}^{n-1}{\Big (}|0\rangle +(-1)^{\psi _{i}}|1\rangle {\Big )}=H|\psi _{0}\rangle \otimes H|\psi _{1}\rangle \otimes \cdots \otimes H|\psi _{n-1}\rangle }

Aplicación en estados entrelazados

Si dos o más cúbits se consideran como un único estado cuántico, este estado combinado es igual al producto tensorial de los cúbits que lo componen. Cualquier estado que pueda escribirse como un producto tensorial de los subsistemas que lo componen se denomina estado separable . Por otro lado, un estado entrelazado es cualquier estado que no puede factorizarse tensorialmente; es decir, un estado entrelazado no puede escribirse como un producto tensorial de los estados de sus cúbits constituyentes. Se debe tener especial cuidado al aplicar compuertas a los cúbits que componen los estados entrelazados.

Si tenemos un conjunto de N cúbits entrelazados y deseamos aplicar una puerta cuántica a M < N cúbits en el conjunto, tendremos que extender la puerta para que tome N cúbits. Esta aplicación se puede realizar combinando la puerta con una matriz identidad de tal manera que su producto tensorial se convierta en una puerta que actúe sobre N cúbits. La matriz identidad (I{\displaystyle I}) es una representación de la compuerta que mapea cada estado a sí misma (es decir, no hace absolutamente nada). En un diagrama de circuito, la compuerta o matriz identidad a menudo aparecerá como un simple cable desnudo.

El ejemplo que se da en el texto. La puerta de HadamardH{\displaystyle H}solo actúa sobre 1 cúbit, pero|ψ{\displaystyle |\psi \rangle }es un estado cuántico entrelazado que abarca 2 cúbits. En nuestro ejemplo,|ψ=|00+|112{\displaystyle |\psi \rangle ={\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}.

Por ejemplo, la puerta de Hadamard (H{\displaystyle H}) actúa sobre un solo cúbit, pero si le alimentamos con el primero de los dos cúbits que constituyen el estado de Bell entrelazado|00+|112{\displaystyle {\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}No podemos escribir esa operación fácilmente. Necesitamos extender la puerta de Hadamard.H{\displaystyle H}con la puerta de identidadI{\displaystyle I}para que podamos actuar sobre estados cuánticos que abarcan dos cúbits:

K=HI=12[1111][1001]=12[1010010110100101]{\displaystyle K=H\otimes I={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}\otimes {\begin{bmatrix}1&0\\0&1\end{bmatrix}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&0&1&0\\0&1&0&1\\1&0&-1&0\\0&1&0&-1\end{bmatrix}}}

La puertaK{\displaystyle K}Ahora se puede aplicar a cualquier estado de dos cúbits, entrelazado o no. La puertaK{\displaystyle K}dejará el segundo cúbit intacto y aplicará la transformación de Hadamard al primer cúbit. Si se aplica al estado de Bell en nuestro ejemplo, podemos escribirlo como:

K|00+|112=12[1010010110100101]12[1001]=12[1111]=|00+|01+|10|112{\displaystyle K{\frac {|00\rangle +|11\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&0&1&0\\0&1&0&1\\1&0&-1&0\\0&1&0&-1\end{bmatrix}}{\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}}={\frac {1}{2}}{\begin{bmatrix}1\\1\\1\\-1\end{bmatrix}}={\frac {|00\rangle +|01\rangle +|10\rangle -|11\rangle }{2}}}

Complejidad computacional y el producto tensorial

La complejidad temporal para multiplicar dosnorte×norte{\displaystyle n\times n}-matrices es al menosΩ(norte2registronorte){\displaystyle \Omega (n^{2}\log n)}, [ 28 ] si se utiliza una máquina clásica. Debido al tamaño de una puerta que opera enq{\displaystyle q}cúbits es2q×2q{\displaystyle 2^{q}\times 2^{q}}significa que el tiempo para simular un paso en un circuito cuántico (mediante la multiplicación de las puertas) que opera sobre estados entrelazados genéricos esΩ(2q2registro(2q)){\displaystyle \Omega ({2^{q}}^{2}\log({2^{q}}))}Por este motivo, se considera intratable simular grandes sistemas cuánticos entrelazados utilizando ordenadores clásicos. Sin embargo , subconjuntos de las compuertas, como las compuertas de Clifford , o el caso trivial de circuitos que solo implementan funciones booleanas clásicas (por ejemplo, combinaciones de X , CNOT , Toffoli ), pueden simularse eficientemente en ordenadores clásicos.

El vector de estado de un registro cuántico connorte{\displaystyle n}cúbits es2norte{\displaystyle 2^{n}}entradas complejas. Almacenar las amplitudes de probabilidad como una lista de valores de punto flotante no es manejable para grandesnorte{\displaystyle n}.

Inversión unitaria de compuertas

Ejemplo: El inverso unitario del producto Hadamard-CNOT. Las tres compuertasH{\displaystyle H},I{\displaystyle I}ydonorteOT{\displaystyle \mathrm {CNOT} }son sus propios inversos unitarios.

Dado que todas las compuertas lógicas cuánticas son reversibles , cualquier composición de múltiples compuertas también lo es. Todos los productos y productos tensoriales (es decir, combinaciones en serie y en paralelo ) de matrices unitarias son también matrices unitarias. Esto significa que es posible construir la inversa de todos los algoritmos y funciones, siempre que contengan únicamente compuertas.

La inicialización, la medición, la entrada/salida y la decoherencia espontánea son efectos secundarios en las computadoras cuánticas. Sin embargo, las compuertas son puramente funcionales y biyectivas .

SiU{\displaystyle U}es una matriz unitaria , entoncesUU=UU=I{\displaystyle U^{\dagger }U=UU^{\dagger }=I}yU=U1{\displaystyle U^{\dagger }=U^{-1}}. La daga ({\displaystyle \dagger }) denota la transpuesta conjugada . También se le llama adjunta hermitiana .

Si una funciónF{\displaystyle F}es un producto demetro{\displaystyle m}puertas,F=A1A2Ametro{\displaystyle F=A_{1}\cdot A_{2}\cdot \dots \cdot A_{m}}, la inversa unitaria de la funciónF{\displaystyle F^{\dagger }}se puede construir:

Porque(UV)=VU{\displaystyle (UV)^{\dagger }=V^{\dagger }U^{\dagger }}tenemos, después de repetida aplicación sobre sí mismo

F=(i=1metroAi)=i=metro1Ai=AmetroA2A1{\displaystyle F^{\dagger }=\left(\prod _{i=1}^{m}A_{i}\right)^{\dagger }=\prod _{i=m}^{1}A_{i}^{\dagger }=A_{m}^{\dagger }\cdot \dots \cdot A_{2}^{\dagger }\cdot A_{1}^{\dagger }}

De manera similar si la funciónGRAMO{\displaystyle G}consta de dos puertasA{\displaystyle A}yB{\displaystyle B}en paralelo, entoncesGRAMO=AB{\displaystyle G=A\otimes B}yGRAMO=(AB)=AB{\displaystyle G^{\dagger }=(A\otimes B)^{\dagger }=A^{\dagger }\otimes B^{\dagger }}.

Las compuertas que son sus propias inversas unitarias se denominan operadores hermíticos o autoadjuntos . Algunas compuertas elementales, como las de Hadamard ( H ) y Pauli ( I , X , Y , Z ), son operadores hermíticos, mientras que otras, como las de cambio de fase ( S , T , P , CPhase ), generalmente no lo son.

Por ejemplo, un algoritmo de suma puede usarse para resta si se ejecuta en sentido inverso, como su inversa unitaria. La transformada cuántica inversa de Fourier es la inversa unitaria. Las inversas unitarias también pueden usarse para la descomputación . Los lenguajes de programación para computadoras cuánticas, como Q# de Microsoft , [ 10 ] QCL de Bernhard Ömer , [ 13 ] : 61 y Qiskit de IBM , [ 29 ] contienen la inversión de funciones como conceptos de programación.

Medición

Representación en circuito de una medición. Las dos líneas del lado derecho representan un bit clásico, y la línea del lado izquierdo representa un cúbit.

La medición (a veces llamada observación ) es irreversible y, por lo tanto, no es una puerta cuántica, porque asigna el estado cuántico observado a un único valor. La medición toma un estado cuántico y lo proyecta a uno de los vectores base , con una probabilidad igual al cuadrado de la longitud del vector (en la norma 2 [ 4 ] : 66 [ 5 ] : 56, 65 ) a lo largo de ese vector base. [ 1 ] : 15–17 [ 30 ] [ 31 ] [ 32 ] Esto se conoce como la regla de Born y aparece [ e ] como una operación estocástica no reversible ya que establece probabilísticamente el estado cuántico igual al vector base que representa el estado medido. En el instante de la medición, se dice que el estado " colapsa " al único valor definido que se midió. Por qué y cómo, o incluso si [ 33 ] [ 34 ] el estado cuántico colapsa en la medición, se llama el problema de la medición .

La probabilidad de medir un valor con amplitud de probabilidadϕ{\displaystyle \phi }es1|ϕ|20{\displaystyle 1\geq |\phi |^{2}\geq 0}, dónde||{\displaystyle |\cdot |}es el módulo .

Medición de un único cúbit, cuyo estado cuántico está representado por el vectora|0+b|1=[ab]{\displaystyle a|0\rangle +b|1\rangle ={\begin{bmatrix}a\\b\end{bmatrix}}}, dará como resultado|0{\displaystyle |0\rangle }con probabilidad|a|2{\displaystyle |a|^{2}}y en|1{\displaystyle |1\rangle }con probabilidad|b|2{\displaystyle |b|^{2}}.

Por ejemplo, medir un cúbit con el estado cuántico|0i|12=12[1i]{\displaystyle {\frac {|0\rangle -i|1\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\-i\end{bmatrix}}}producirá con igual probabilidad cualquiera de las dos|0{\displaystyle |0\rangle }o|1{\displaystyle |1\rangle }.

Para un solo cúbit, tenemos una esfera unitaria endo2{\displaystyle \mathbb {C} ^{2}}con el estado cuánticoa|0+b|1{\displaystyle a|0\rangle +b|1\rangle }de tal manera que|a|2+|b|2=1{\displaystyle |a|^{2}+|b|^{2}=1}. El estado puede ser reescrito como|porqueθ|2+|pecadoθ|2=1{\displaystyle |\cos \theta |^{2}+|\sin \theta |^{2}=1}, o|a|2=porque2θ{\displaystyle |a|^{2}=\cos ^{2}\theta }y|b|2=pecado2θ{\displaystyle |b|^{2}=\sin ^{2}\theta }. Nota:|a|2{\displaystyle |a|^{2}}es la probabilidad de medir|0{\displaystyle |0\rangle }y|b|2{\displaystyle |b|^{2}}es la probabilidad de medir|1{\displaystyle |1\rangle }.

Un estado cuántico|Ψ{\displaystyle |\Psi \rangle }que abarca n cúbits se puede escribir como un vector en2norte{\displaystyle 2^{n}}dimensiones complejas :|Ψdo2norte{\displaystyle |\Psi \rangle \in \mathbb {C} ^{2^{n}}}Esto se debe a que el producto tensorial de n cúbits es un vector en2norte{\displaystyle 2^{n}}dimensiones. De esta manera, se puede medir un registro de n cúbits para2norte{\displaystyle 2^{n}}estados distintos, de forma similar a como un registro de n bits clásicos puede contener2norte{\displaystyle 2^{n}}estados distintos. A diferencia de los bits de las computadoras clásicas, los estados cuánticos pueden tener amplitudes de probabilidad no nulas en múltiples valores medibles simultáneamente. Esto se denomina superposición .

La suma de todas las probabilidades para todos los resultados siempre debe ser igual a1. [ f ] Otra forma de decir esto es que el teorema de Pitágoras se generalizó ado2norte{\displaystyle \mathbb {C} ^{2^{n}}}tiene que todos los estados cuánticos|Ψ{\displaystyle |\Psi \rangle }con n cúbits debe satisfacer1=incógnita=02norte1|aincógnita|2,{\textstyle 1=\sum _{x=0}^{2^{n}-1}|a_{x}|^{2},}[ g ] dondeaincógnita{\displaystyle a_{x}}es la amplitud de probabilidad para el estado medible|incógnita{\displaystyle |x\rangle }. Una interpretación geométrica de esto es que el espacio de valores posibles de un estado cuántico|Ψ{\displaystyle |\Psi \rangle }con n cúbits es la superficie de la esfera unitaria endo2norte{\displaystyle \mathbb {C} ^{2^{n}}}y que las transformaciones unitarias (es decir, las compuertas lógicas cuánticas) que se le aplican son rotaciones sobre la esfera. Las rotaciones que realizan las compuertas forman el grupo de simetría U(2 n ) . La medición es entonces una proyección probabilística de los puntos en la superficie de esta esfera compleja sobre los vectores base que abarcan el espacio (y etiquetan los resultados).

En muchos casos, el espacio se representa como un espacio de Hilbert.H{\displaystyle {\mathcal {H}}}en lugar de algún específico2norte{\displaystyle 2^{n}}Espacio complejo de -dimensiones . El número de dimensiones (definido por los vectores base y, por lo tanto, también los posibles resultados de la medición) suele estar implícito en los operandos, por ejemplo, como el espacio de estados requerido para resolver un problema . En el algoritmo de Grover , Grover denominó a este conjunto genérico de vectores base "la base de datos" .

La selección de vectores base contra los cuales medir un estado cuántico influirá en el resultado de la medición. [ 1 ] : 30–35 [ 4 ] : 22, 84–85, 185–188 [ 35 ] Véase cambio de base y entropía de Von Neumann para más detalles. En este artículo, siempre usamos la base computacional , lo que significa que hemos etiquetado la2norte{\displaystyle 2^{n}}Vectores base de un registro de n cúbits|0,|1,|2,,|2norte1{\displaystyle |0\rangle ,|1\rangle ,|2\rangle ,\cdots ,|2^{n}-1\rangle }o bien utilice la representación binaria.|010=|0002,|110=|0012,|210=|0102,,|2norte1=|11112{\displaystyle |0_{10}\rangle =|0\dots 00_{2}\rangle ,|1_{10}\rangle =|0\dots 01_{2}\rangle ,|2_{10}\rangle =|0\dots 10_{2}\rangle ,\cdots ,|2^{n}-1\rangle =|111\dots 1_{2}\rangle }.

En mecánica cuántica , los vectores base constituyen una base ortonormal .

Un ejemplo del uso de una base de medición alternativa se encuentra en el cifrado BB84 .

El efecto de la medición en los estados entrelazados

La puerta Hadamard - CNOT , que cuando se le da la entrada|00{\displaystyle |00\rangle }produce un estado de Bell

Si dos estados cuánticos (es decir, cúbits o registros ) están entrelazados (lo que significa que su estado combinado no puede expresarse como un producto tensorial ), la medición de un registro afecta o revela el estado del otro, colapsando parcial o totalmente también su estado. Este efecto puede utilizarse para realizar cálculos y se emplea en numerosos algoritmos.

La combinación Hadamard-CNOT actúa sobre el estado cero de la siguiente manera:

CNOT(HI)|00=([1000010000010010](12[1111][1001]))[1000]=12[1001]=|00+|112{\displaystyle \operatorname {CNOT} (H\otimes I)|00\rangle =\left({\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{bmatrix}}\left({\frac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}\otimes {\begin{bmatrix}1&0\\0&1\end{bmatrix}}\right)\right){\begin{bmatrix}1\\0\\0\\0\end{bmatrix}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}}={\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}
El estado de Bell en el texto es|Ψ=a|00+b|01+do|10+d|11{\displaystyle |\Psi \rangle =a|00\rangle +b|01\rangle +c|10\rangle +d|11\rangle }dóndea=d=12{\displaystyle a=d={\frac {1}{\sqrt {2}}}}yb=do=0{\displaystyle b=c=0}Por lo tanto , puede describirse mediante el plano generado por los vectores base.|00{\displaystyle |00\rangle }y|11{\displaystyle |11\rangle }, como en la imagen. La esfera unitaria (endo4{\displaystyle \mathbb {C} ^{4}}) que representan el espacio de valores posibles del sistema de 2 cúbits interseca el plano y|Ψ{\displaystyle |\Psi \rangle }se encuentra en la superficie de las esferas unitarias. Porque|a|2=|d|2=1/2{\displaystyle |a|^{2}=|d|^{2}=1/2}, existe igual probabilidad de medir este estado a|00{\displaystyle |00\rangle }o|11{\displaystyle |11\rangle }y porqueb=do=0{\displaystyle b=c=0}Hay cero probabilidad de medirlo|01{\displaystyle |01\rangle }o|10{\displaystyle |10\rangle }.

Este estado resultante es el estado de Bell.|00+|112=12[1001]{\displaystyle {\frac {|00\rangle +|11\rangle }{\sqrt {2}}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}}}No se puede describir como un producto tensorial de dos cúbits. No hay solución para

[incógnitay][wz]=[incógnitawincógnitazywyz]=12[1001],{\displaystyle {\begin{bmatrix}x\\y\end{bmatrix}}\otimes {\begin{bmatrix}w\\z\end{bmatrix}}={\begin{bmatrix}xw\\xz\\yw\\yz\end{bmatrix}}={\frac {1}{\sqrt {2}}}{\begin{bmatrix}1\\0\\0\\1\end{bmatrix}},}

porque, por ejemplo, w necesita ser distinto de cero y cero en el caso de xw e yw .

El estado cuántico abarca los dos cúbits. Esto se llama entrelazamiento . Medir uno de los dos cúbits que componen este estado de Bell dará como resultado que el otro cúbit lógicamente debe tener el mismo valor, ambos deben ser iguales: o se encontrará en el estado|00{\displaystyle |00\rangle }o en el estado|11{\displaystyle |11\rangle }. Si medimos uno de los cúbits como por ejemplo|1{\displaystyle |1\rangle }, entonces el otro cúbit también debe ser|1{\displaystyle |1\rangle }porque su estado combinado se convirtió|11{\displaystyle |11\rangle }La medición de uno de los cúbits colapsa todo el estado cuántico que abarca los dos cúbits.

El estado GHZ es un estado cuántico entrelazado similar que abarca tres o más cúbits.

Este tipo de asignación de valor ocurre instantáneamente a cualquier distancia y esto ha sido verificado experimentalmente por QUESS en 2018 para distancias de hasta 1200 kilómetros. [ 36 ] [ 37 ] [ 38 ] Que el fenómeno parezca ocurrir instantáneamente en contraposición al tiempo que tomaría recorrer la distancia que separa los cúbits a la velocidad de la luz se llama la paradoja EPR , y es una cuestión abierta en física cómo resolver esto. Originalmente se resolvió renunciando a la suposición de realismo local , pero también han surgido otras interpretaciones . Para más información véanse los experimentos de prueba de Bell . El teorema de no comunicación demuestra que este fenómeno no puede usarse para la comunicación más rápida que la luz de información clásica .

Medición en registros con cúbits entrelazados por pares

El efecto de una transformación unitaria F sobre un registro A que se encuentra en una superposición de2norte{\displaystyle 2^{n}}estados y entrelazados por pares con el registro B. Aquí, n es 3 (cada registro tiene 3 cúbits).

Toma un registro A con n cúbits, todos inicializados a|0{\displaystyle |0\rangle }y hacerlo pasar a través de una puerta Hadamard paralela.Hnorte{\textstyle H^{\otimes n}}El Registro A entrará entonces en el estado .12nortek=02norte1|k{\textstyle {\frac {1}{\sqrt {2^{n}}}}\sum _{k=0}^{2^{n}-1}|k\rangle }que tienen igual probabilidad de cuando se miden para estar en cualquiera de sus2norte{\displaystyle 2^{n}}estados posibles;|0{\displaystyle |0\rangle }a|2norte1{\displaystyle |2^{n}-1\rangle }. Toma un segundo registro B, también con n cúbits inicializados a|0{\displaystyle |0\rangle }y realiza una operación CNOT por pares de sus cúbits con los cúbits en el registro A, de tal manera que para cada p los cúbitsApag{\displaystyle A_{p}}yBpag{\displaystyle B_{p}}forma el estado|ApagBpag=|00+|112{\displaystyle |A_{p}B_{p}\rangle ={\frac {|00\rangle +|11\rangle }{\sqrt {2}}}}.

Si ahora medimos los cúbits en el registro A, entonces se encontrará que el registro B contiene el mismo valor que A. Sin embargo, si en cambio aplicamos una puerta lógica cuántica F en A y luego medimos, entonces|A=F|BF|A=|B{\displaystyle |A\rangle =F|B\rangle \iff F^{\dagger }|A\rangle =|B\rangle }, dóndeF{\displaystyle F^{\dagger }}es la inversa unitaria de F.

Debido a cómo actúan las inversas unitarias de las puertas ,F|A=F1(|A)=|B{\displaystyle F^{\dagger }|A\rangle =F^{-1}(|A\rangle )=|B\rangle }Por ejemplo, digamos :F(incógnita)=incógnita+3(mod2norte){\displaystyle F(x)=x+3{\pmod {2^{n}}}}, entonces|B=|A3(mod2norte){\displaystyle |B\rangle =|A-3{\pmod {2^{n}}}\rangle }.

La igualdad se mantendrá independientemente del orden en que se realice la medición (en los registros A o B), siempre que F se haya ejecutado por completo. La medición puede incluso intercalarse aleatoriamente y de forma concurrente, cúbit a cúbit, ya que la asignación de mediciones de un cúbit limitará el espacio de valores posibles de los demás cúbits entrelazados.

Aunque se cumplen las igualdades, las probabilidades de medir los posibles resultados pueden cambiar como resultado de aplicar F , tal como puede ser la intención en un algoritmo de búsqueda cuántica.

Este efecto de compartición de valor mediante entrelazamiento se utiliza en el algoritmo de Shor , la estimación de fase y el conteo cuántico . El uso de la transformada de Fourier para amplificar las amplitudes de probabilidad de los estados de solución para algún problema es un método genérico conocido como " pesca de Fourier ". [ 39 ]

Síntesis de funciones lógicas

Un sumador cuántico completo , presentado por Feynman en 1986. [ 3 ] Consta únicamente de compuertas Toffoli y CNOT . La compuerta rodeada por el cuadrado punteado en esta imagen puede omitirse si no se requiere la descomputación para restaurar la salida B.

Las funciones y rutinas que solo utilizan puertas pueden describirse como matrices, al igual que las puertas más pequeñas. La matriz que representa una función cuántica que actúa sobreq{\displaystyle q}qubits tiene tamaño2q×2q{\displaystyle 2^{q}\times 2^{q}}. Por ejemplo, una función que actúa sobre un "qubyte" (un registro de 8 qubits) se representaría mediante una matriz con28×28=256×256{\displaystyle 2^{8}\times 2^{8}=256\times 256}elementos.

Las transformaciones unitarias que no están en el conjunto de puertas disponibles de forma nativa en la computadora cuántica (las puertas primitivas) pueden sintetizarse o aproximarse combinando las puertas primitivas disponibles en un circuito . Una forma de hacerlo es factorizar la matriz que codifica la transformación unitaria en un producto de productos tensoriales (es decir, circuitos en serie y en paralelo ) de las puertas primitivas disponibles. El grupo U(2q ) es el grupo de simetría para las puertas que actúan sobreq{\displaystyle q}cúbits. [ 2 ] La factorización es entonces el problema de encontrar un camino en U(2 q ) desde el conjunto generador de puertas primitivas. El teorema de Solovay-Kitaev muestra que dado un conjunto suficiente de puertas primitivas, existe una aproximación eficiente para cualquier puerta. Para el caso general con un gran número de cúbits, este enfoque directo para la síntesis de circuitos es intratable . [ 40 ] [ 41 ] Esto pone un límite a cuán grandes funciones pueden ser factorizadas por fuerza bruta en puertas cuánticas primitivas. Típicamente, los programas cuánticos se construyen en cambio utilizando funciones cuánticas relativamente pequeñas y simples, de manera similar a la programación clásica normal.

Debido a la naturaleza unitaria de las compuertas , todas las funciones deben ser reversibles y siempre deben ser mapeos biyectivos de entrada a salida. Siempre debe existir una funciónF1{\displaystyle F^{-1}}de tal manera queF1(F(|ψ))=|ψ{\displaystyle F^{-1}(F(|\psi \rangle ))=|\psi \rangle }Las funciones que no son invertibles pueden hacerse invertibles añadiendo cúbits auxiliares a la entrada o a la salida, o a ambas. Una vez que la función se ha ejecutado por completo, los cúbits auxiliares pueden dejarse sin procesar o sin modificar. Medir o colapsar de otro modo el estado cuántico de un cúbit auxiliar (por ejemplo, reinicializando su valor o mediante su decoherencia espontánea ) que no se haya descompensado puede dar lugar a errores, [ 42 ] [ 43 ] ya que su estado puede estar entrelazado con los cúbits que aún se utilizan en los cálculos.

Operaciones lógicamente irreversibles, por ejemplo la suma módulo2norte{\displaystyle 2^{n}}de dosnorte{\displaystyle n}-registros de cúbits a y b ,F(a,b)=a+b(mod2norte){\displaystyle F(a,b)=a+b{\pmod {2^{n}}}}, [ h ] se puede hacer lógicamente reversible agregando información a la salida, de modo que la entrada se pueda calcular a partir de la salida (es decir, existe una funciónF1{\displaystyle F^{-1}}). En nuestro ejemplo, esto se puede hacer pasando uno de los registros de entrada a la salida:F(|a|b)=|a+b(mod2norte)|a{\displaystyle F(|a\rangle \otimes |b\rangle )=|a+b{\pmod {2^{n}}}\rangle \otimes |a\rangle }. La salida se puede utilizar entonces para calcular la entrada (es decir, dada la salida)a+b{\displaystyle a+b}ya{\displaystyle a}, podemos encontrar fácilmente la entrada;a{\displaystyle a}se da y(a+b)a=b{\displaystyle (a+b)-a=b}) y la función se vuelve biyectiva.

Todas las expresiones algebraicas booleanas pueden codificarse como transformaciones unitarias (compuertas lógicas cuánticas), por ejemplo, mediante combinaciones de las compuertas Pauli-X , CNOT y Toffoli . Estas compuertas son funcionalmente completas en el dominio de la lógica booleana.

Existen numerosas transformaciones unitarias disponibles en las bibliotecas de Q# , QCL , Qiskit y otros lenguajes de programación cuántica . También aparece en la literatura. [ 44 ] [ 45 ]

Por ejemplo,inortedo(|incógnita)=|incógnita+1(mod2incógnitalongitud){\displaystyle \mathrm {inc} (|x\rangle )=|x+1{\pmod {2^{x_{\text{length}}}}}\rangle }, dóndeincógnitalongitud{\displaystyle x_{\text{length}}}es el número de cúbits que constituyen el registroincógnita{\displaystyle x}, se implementa de la siguiente manera en QCL: [ 46 ] [ 13 ] [ 12 ]

cond qufunct inc ( qureg x ) { // incrementar registro int i ; for i = # x - 1 to 0 step - 1 { CNot ( x [ i ], x [ 0 :: i ]); // aplicar negación controlada desde } // MSB a LSB }
El circuito generado, cuandoincógnitalongitud=4{\displaystyle x_{\text{length}}=4}Los símbolos{\displaystyle \oplus },{\displaystyle \land }y¬{\displaystyle \neg }denota XOR , AND y NOT respectivamente, y proviene de la representación booleana de Pauli- X con cero o más cúbits de control cuando se aplica a estados que están en la base computacional.

En QCL, el decremento se realiza "deshaciendo" el incremento. El prefijo !se utiliza para ejecutar en su lugar la inversa unitaria de la función. !inc(x)es la inversa de inc(x)y en su lugar realiza la operacióninortedo|incógnita=inortedo1(|incógnita)=|incógnita1(mod2incógnitalongitud){\displaystyle \mathrm {inc} ^{\dagger }|x\rangle =\mathrm {inc} ^{-1}(|x\rangle )=|x-1{\pmod {2^{x_{\text{length}}}}}\rangle }. La condpalabra clave significa que la función puede ser condicional . [ 11 ]

En el modelo de computación utilizado en este artículo (el modelo de circuito cuántico ), una computadora clásica genera la composición de puertas para la computadora cuántica, y la computadora cuántica se comporta como un coprocesador que recibe instrucciones de la computadora clásica sobre qué puertas primitivas aplicar a qué cúbits. [ 13 ] : 36–43 [ 14 ] La medición de registros cuánticos produce valores binarios que la computadora clásica puede usar en sus cálculos. Los algoritmos cuánticos a menudo contienen una parte clásica y una parte cuántica. La E/S no medida (enviar cúbits a computadoras remotas sin colapsar sus estados cuánticos) se puede usar para crear redes de computadoras cuánticas . El intercambio de entrelazamiento se puede usar para realizar algoritmos distribuidos con computadoras cuánticas que no están conectadas directamente. Ejemplos de algoritmos distribuidos que solo requieren el uso de un puñado de puertas lógicas cuánticas son la codificación superdensa , el acuerdo bizantino cuántico y el protocolo de intercambio de claves de cifrado BB84 .

Véase también

Notas

  1. La multiplicación matricial de puertas cuánticas se define como circuitos en serie .
  2. Nota: aquí se realiza una rotación completa alrededor de la esfera de Bloch.2π{\displaystyle 2\pi }radianes, a diferencia de las compuertas del operador de rotación donde se da una vuelta completa4π.{\displaystyle 4\pi .}
  3. Se puede utilizarla puerta P o Ph , ya queRz(δ)Ph(δ/2)=PAG(δ){\displaystyle R_{z}(\delta )\operatorname {Ph} (\delta /2)=P(\delta )}[ 2 ] : 11 [ 1 ] : 76–83
  4. Este conjunto genera exactamente todas las puertas unitarias posibles. Sin embargo, como la fase global es irrelevante en la salida de la medición, se pueden construir subconjuntos cuánticos universales, por ejemplo, el conjunto que contiene R y ( θ ) , R z ( θ ) y CNOT solo abarca todas las unitarias con determinante ±1, pero es suficiente para la computación cuántica.
  5. 1 2 Si esto es realmente un efecto estocástico depende de qué interpretación de la mecánica cuántica sea correcta (y si alguna interpretación puede ser correcta). Por ejemplo, la teoría de De Broglie-Bohm y la interpretación de los muchos mundos afirman el determinismo . (En la interpretación de los muchos mundos, una computadora cuántica es una máquina que ejecuta programas ( circuitos cuánticos ) que selecciona una realidad donde la probabilidad de que tenga los estados de solución de un problema es alta. Es decir, la máquina, en la mayoría de los casos, termina en una realidad donde da la respuesta correcta. Dado que todos los resultados se realizan en universos separados según la interpretación de los muchos mundos, el resultado total es determinista. Sin embargo, esta interpretación no cambia la mecánica por la cual opera la máquina).
  6. Véase Axiomas de probabilidad § Segundo axioma
  7. La hipotenusa tiene longitud 1 porque las probabilidades suman 1, por lo que el vector de estado cuántico es un vector unitario .
  8. La entrada es2norte{\displaystyle 2n}cúbits, pero la salida es simplementenorte{\displaystyle n}cúbits. El borrado de información no es una operación reversible (o unitaria ) y, por lo tanto, no está permitido. Véase también el principio de Landauer .

Referencias

  1. 1 2 3 4 5 6 7 8 9 10 11 Williams, Colin P. (2011). Exploraciones en computación cuántica . Springer . ISBN 978-1-84628-887-6.
  2. 1 2 3 4 5 6 7 Barenco, Adriano; Bennett, Charles H.; Cleve, Richard; DiVincenzo, David P.; Margolus, Norman; Shor, Peter; Sleator, Tycho; Smolin, John A.; Weinfurter, Harald (1995-11-01). "Elementary gates for quantum computation". Physical Review A . 52 (5). American Physical Society (APS): 3457– 3467. arXiv : quant-ph/9503016 . Bibcode : 1995PhRvA..52.3457B . doi : 10.1103/physreva.52.3457 . ISSN 1050-2947 . PMID 9912645 . S2CID 8764584 .   
  3. 1 2 Feynman, Richard P. (1986). "Computadoras mecánicas cuánticas". Fundamentos de la física . 16 (6). Springer Science and Business Media LLC: 507– 531. Bibcode : 1986FoPh...16..507F . doi : 10.1007/bf01886518 . ISSN 0015-9018 . S2CID 122076550 .  
  4. 1 2 3 4 5 6 7 8 9 Nielsen, Michael A.; Chuang , Isaac (2010). Computación cuántica e información cuántica . Cambridge: Cambridge University Press . ISBN 978-1-10700-217-3OCLC 43641333 
  5. 1 2 3 4 5 Yanofsky, Noson S.; Mannucci, Mirco (2013). Computación cuántica para científicos informáticos . Cambridge University Press . ISBN 978-0-521-87996-5.
  6. Preskill, John (2021-06-06). "Computación cuántica 40 años después". pp. 10– 15. arXiv : 2106.10522 [ quant-ph ]. 
  7. "Biblioteca de circuitos" . IBM ( Qiskit ).
  8. "cQASM: Operaciones de compuertas de cúbit" . QuTech. Archivado del original el 11 de mayo de 2024. Consultado el 6 de octubre de 2021 .
  9. "Espacio de nombres Microsoft.Quantum.Intrinsic" . Microsoft ( Q# ). 28 de julio de 2023.
  10. 1 2 Operaciones y funciones (documentación de Q#)
  11. 1 2 Ömer, Bernhard (2 de septiembre de 2009). "Programación cuántica estructurada" (PDF) . Instituto de Física Teórica, Universidad Tecnológica de Viena. págs. 72, 92–107 . Archivado (PDF) del original el 27 de marzo de 2022. Recuperado el 28 de julio de 2021 . 
  12. 1 2 Ömer, Bernhard (29 de abril de 2003). "Conceptos clásicos en programación cuántica". Revista Internacional de Física Teórica . 44 (7): 943– 955. arXiv : quant-ph/0211100 . doi : 10.1007/s10773-005-7071-x . S2CID 119373370 . 
  13. 1 2 3 4 Ömer, Bernhard (2000-01-20). Programación cuántica en QCL (PDF) (Tesis). Instituto de Física Teórica, Universidad Tecnológica de Viena. Archivado del original (PDF) el 1 de junio de 2022. Recuperado el 24 de mayo de 2021 .
  14. 1 2 Pauka SJ, Das W, Kalra R, Moini A, Yang Y, Trainer M, Bousquet A, Cantaloube C, Dick N, Gardner GC, Manfra MJ, Reilly DJ (2021). "Un chip CMOS criogénico para generar señales de control para múltiples cúbits". Nature Electronics . 4 (4): 64– 70. arXiv : 1912.01299 . doi : 10.1038/s41928-020-00528-y . S2CID 231715555 . 
  15. "Ejecutar circuitos dinámicos" . Plataforma cuántica de IBM (quantum.cloud.ibm.com) .
  16. "Medición en el circuito medio" . www.quera.com .
  17. "TdgGate" .Documentación en línea de Qiskit .
  18. "Puerta de la daga T" .Documentación en línea de cQASM.
  19. 1 2 Aharonov, Dorit (2003-01-09). "Una prueba simple de que Toffoli y Hadamard son cuánticamente universales". arXiv : quant-ph/0301040 .
  20. ^ Sawicki, Adán; Karnas, Katarzyna (1 de noviembre de 2017). "Universalidad de las puertas de Qudit único". Anales Henri Poincaré . 18 (11): 3515–3552 . arXiv : 1609.05780 . Código Bib : 2017AnHP...18.3515S . doi : 10.1007/s00023-017-0604-z . ISSN 1424-0661 . S2CID 253594045 .  
  21. Sawicki, Adam; Mattioli, Lorenzo; Zimborás, Zoltán (2022-05-12). "Verificación de universalidad para un conjunto de puertas cuánticas" . Physical Review A. 105 ( 5) 052602. arXiv : 2111.03862 . Bibcode : 2022PhRvA.105e2602S . doi : 10.1103/PhysRevA.105.052602 . S2CID 248761038 . 
  22. Williams, Colin P. (2011), "Quantum Gates", en Williams, Colin P. (ed.), Explorations in Quantum Computing , Texts in Computer Science, Londres, Inglaterra: Springer, pp. 51–122 , doi : 10.1007/978-1-84628-887-6_2 , ISBN  978-1-84628-887-6
  23. Deutsch, David (8 de septiembre de 1989), "Redes computacionales cuánticas", Proc. R. Soc. Lond. A , 425 (1989): 73– 90, Bibcode : 1989RSPSA.425...73D , doi : 10.1098/rspa.1989.0099 , S2CID 123073680 
  24. Shi, Xiao-Feng (22 de mayo de 2018). "Puertas Deutsch, Toffoli y cnot mediante bloqueo de Rydberg de átomos neutros" . Physical Review Applied . 9 (5) 051001. arXiv : 1710.01859 . Bibcode : 2018PhRvP...9e1001S . doi : 10.1103/PhysRevApplied.9.051001 . ISSN 2331-7019 . S2CID 118909059 .  
  25. "Operación I" . docs.microsoft.com . 28 de julio de 2023.
  26. "IGate" . qiskit.org .Documentación en línea de Qiskit .
  27. 1 2 Loss, Daniel; DiVincenzo, David P. (1998-01-01). "Computación cuántica con puntos cuánticos" . Physical Review A. 57 ( 1): 120– 126. arXiv : cond-mat/9701055 . Bibcode : 1998PhRvA..57..120L . doi : 10.1103/physreva.57.120 . ISSN 1050-2947 . Ejemplo en la ecuación 2.
  28. Raz, Ran (2002). "Sobre la complejidad del producto matricial". Actas del trigésimo cuarto simposio anual de la ACM sobre teoría de la computación . págs. 144–151 . doi : 10.1145/509907.509932 . ISBN  1-58113-495-9. S2CID 9582328 . 
  29. "UnitaryGate § UnitaryGate adjoint()" . docs.quantum.ibm.com .
  30. Griffiths, DJ (2008). Introducción a las partículas elementales (2.ª ed.) . John Wiley & Sons . págs. 115–121 , 126. ISBN  978-3-527-40601-2.
  31. Albert, David (1994). Mecánica cuántica y experiencia . Harvard University Press . pág. 35. ISBN  0-674-74113-7.
  32. Carroll, Sean M. (2019) [2003]. Espacio-tiempo y geometría: Una introducción a la relatividad general . Cambridge University Press . pp. 376–394 . ISBN  978-1-108-48839-6.
  33. Wallace, David (2012). El multiverso emergente: Teoría cuántica según la interpretación de Everett . Oxford University Press . ISBN 978-0-19-954696-1.
  34. Carroll, Sean M. (2019). Algo profundamente oculto: Mundos cuánticos y el surgimiento del espacio-tiempo . Penguin Random House . ISBN 978-1-5247-4301-7.
  35. Q# Manual en línea: Medición
  36. Juan Yin; Yuan Cao; Yu-Huai Li; Sheng-Kai Liao; Liang Zhang; Ji-Gang Ren; Wen-Qi Cai; Wei-Yue Liu; Bo Li; Hui Dai; Guang-Bing Li; Qi-Ming Lu; Yun-Hong Gong; Yu Xu; Shuang-Lin Li; Feng-Zhi Li; Ya-Yun Yin; Zi-Qing Jiang; Ming Li; Jian-Jun Jia; Ge Ren; Dong Él; Yi-Lin Zhou; Xiao-Xiang Zhang; Na Wang; Xiang Chang; Zhen-Cai Zhu; Nai-Le Liu; Yu-Ao Chen; Chao-Yang Lu; Rong Shu; Cheng-Zhi Peng; Jian-Yu Wang; Jian-Wei Pan (2017). "Distribución de entrelazamientos por satélite a lo largo de 1200 kilómetros". Óptica Cuántica . 356 (6343): 1140– 1144. arXiv : 1707.01339 . doi : 10.1126/science.aan3211 . PMID 28619937 . S2CID 5206894 .  
  37. Billings, Lee (23 de abril de 2020). "China rompe el récord de 'acción fantasmal a distancia' y se prepara para la Internet cuántica" . Scientific American .
  38. Popkin, Gabriel (15 de junio de 2017). "El satélite cuántico de China logra una 'acción fantasmal' a una distancia récord" . Science – AAAS .
  39. Aaronson, Scott (2009). "BQP y la jerarquía polinomial". arXiv : 0910.4698 [ quant-ph ].
  40. Dawson, Christopher M.; Nielsen, Michael (2006-01-01). "El algoritmo de Solovay-Kitaev" . Quantum Information and Computation . 6 (1). Sección 5.1, ecuación 23. arXiv : quant-ph/0505030 . doi : 10.26421/QIC6.1-6 .
  41. Matteo, Olivia Di (2016). "Paralelización de la síntesis de circuitos cuánticos". Quantum Science and Technology . 1 (1) 015003. arXiv : 1606.07413 . Bibcode : 2016QS & T....1a5003D . doi : 10.1088/2058-9565/1/1/015003 . S2CID 62819073 . 
  42. 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 .
  43. Manual en línea de Q#: Gestión de memoria cuántica
  44. Ryo, Asaka; Kazumitsu, Sakai; Ryoko, Yahagi (2020). "Circuito cuántico para la transformada rápida de Fourier" . Procesamiento de información cuántica . 19 (277): 277. arXiv : 1911.03055 . Bibcode : 2020QuIP...19..277A . doi : 10.1007/s11128-020-02776-5 . S2CID 207847474 . 
  45. Montaser, Rasha (2019). "Nuevo diseño de sumador/restador completo reversible usando puerta R". Revista Internacional de Física Teórica . 58 (1): 167– 183. arXiv : 1708.00306 . Bibcode : 2019IJTP...58..167M . doi : 10.1007/s10773-018-3921-1 . S2CID 24590164 . 
  46. Código fuente de QCL 0.6.4, el archivo "lib/examples.qcl"

Fuentes