Supongamos que tenemos una descomposición de circuito de una unitaria utilizando algún conjunto de compuerta universal (por ejemplo, compuertas CNOT y unidades unitarias de qubit único). ¿Existe una forma directa de anotar el circuito de la unitaria controlada correspondiente utilizando el mismo conjunto de compuerta universal?
Por ejemplo, tome , como un circuito:
Podemos reemplazar las puertas por puertas (CNOT) para obtener :
Esto funciona porque si el qubit de control está en el estado la acción sobre el objetivo es , mientras que para se aplica al circuito de . Para diferentes , en particular si actúa en varios qubits, crear un circuito de este tipo podría ser engorroso. ¿Hay alguna receta para obtener el circuito de dado que sabes cómo construir ?
Respuestas:
Es posible que la pregunta no esté completamente bien definida, en el sentido de que para pedir una forma de calcular partir de una descomposición de U , debe especificar el conjunto de puertas que está dispuesto a usar. De hecho, es un resultado conocido que cualquier puerta de n- bits puede descomponerse exactamente usando operaciones CNOT y de un solo qubit, por lo que una respuesta ingenua a la pregunta sería: simplemente descomponga C ( U ) usando un solo qubit y CNOT s.C(U) U n CNOT C(U) CNOT
Una interpretación diferente de la pregunta es la siguiente: dada , ¿puedo calcular C ( U ) usando un conjunto de operaciones de un solo qubit y CNOT s no en el qubit de control , y CNOT s con el control siendo el primer qubit? Esto se puede hacer generalizando un resultado que se encuentra en el capítulo cuatro de Nielsen & Chuang .U C(U) CNOT CNOT
Sea una puerta de un solo qubit. Entonces se puede demostrar que U siempre se puede escribir como U = e i α A X B X C , donde X es la puerta Pauli X, y A , B y C son operaciones de un solo qubit de manera que A B C = I ( ver N&C para una prueba). Se deduce que C ( U ) = Φ 1 ( α ) A 2 C ( X ) BU U U=eiαAXBXC X A,B C ABC=I
donde Φ 1 ( α ) ≡ ( 1 0 0 e i α ) ⊗ I es una puerta de fase aplicada al primer qubit, y A 2 , B 2 , C 2 son A , B , C aplicado al segundo qubit. Esto es inmediato una vez que te das cuenta de eso, si ese primer qubit es | 0 ⟩ , entonces C ( X )
La descomposición anterior se puede utilizar para encontrar una manera ingenua de calcular para una puerta unitaria general de n- bits. La observación principal es que si U = A 1 A 2 ⋯ A m para cualquier conjunto de puertas { A 1 , . . , A m } , entonces C ( U ) = C ( A 1 ) C ( A 2 ) ⋯ C ( A m )C(U) n U=A1A2⋯Am {A1,..,Am}
Pero también sabemos que cualquier n- qubit U puede descomponerse en términos de CNOT y operaciones de un solo qubit. Se deduce que C ( U ) es una secuencia de operaciones CCNOT y C ( V ) , donde CCNOT es aquí unapuerta X aplicada a algún qubit condicionado a que otros dos qubits estén | 1 ⟩ , y V es una operación de un solo qubit en algún qubit. Pero, de nuevo, cualquier operación CCNOT (también llamadaToffoli), puede descomponerse como se muestra en la Figura 4.9 en N&C, y la C ( V )
Este método permite descomponer una puerta U unitaria general de bits usando solo CNOT y puertas de un solo qubit. Luego puede ir más allá y generalizar esto para encontrar una descomposición para el caso de qubits de control múltiple. Para esto, solo necesita una forma de descomponer las compuertas Toffoli, que nuevamente se encuentra en la Figura 4.9 de N&C.norte U CNOT
fuente
Aunque esto podría no responder a su pregunta por completo, creo que podría proporcionar alguna dirección de pensamiento. Aquí hay dos hechos importantes:
Cualquier matriz unitaria M se puede realizar en una computadora cuántica con n bits cuánticos mediante una secuencia finita de compuertas de qubit controladas y no individuales 1 .2n×2n M n
Supongamos que es una matriz unitaria 2 × 2 que satisface tr U ≠ 0 , tr ( U X ) ≠ 0 y det U ≠ 1 . Luego, seis puertas elementales son necesarias y suficientes para implementar un U- gate 2 controlado .U 2×2 tr U≠0 tr(UX)≠0 det U≠1 U
Debería ser posible extender el segundo caso al caso general , dado el primer punto, aunque no he encontrado ningún documento que lo haga explícitamente.n×n
1 Puertas elementales para computación cuántica-A. Barenco (Oxford), CH Bennett (IBM), R. Cleve (Calgary), DP DiVincenzo (IBM), N. Margolus (MIT), P. Shor (AT&T), T. Sleator (NYU), J. Smolin (UCLA ), H. Weinfurter (Innsbruck)
2 Realizaciones óptimas de puertas unitarias controladas - Guang Song, Andreas Klappenecker (Texas A&M University)
fuente