Dada una descomposición para una

13

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?UCU

Por ejemplo, tome , como un circuito:U=iY=HXHX
circuito para U

Podemos reemplazar las puertas por puertas (CNOT) para obtenerXCXCU :
circuito para CU

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 ?|0H2=I|1UUCUU

M. Stern
fuente
¿Estás preguntando cómo construir una CU a partir de una U arbitraria de un qubit? Puede encontrar un método para hacerlo en el capítulo 4 de N&C (véase, por ejemplo, la figura 4.6 en la última edición), que es básicamente la generalización de la descomposición que mostró
glS
@glS oh wow, no estaba al tanto de eso. Se ve exactamente como mi ejemplo. Es bueno ver cómo implementa la faseα . ¿Pero no parecen discutir la generalización a más qubits objetivo?
M. Stern

Respuestas:

15

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)UnCNOTC(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 .UC(U)CNOTCNOT

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 ) BUUU=eiαAXBXCXA,BCABC=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 )

C(U)=Φ1(α)A2C(X)B2C(X)C2,
Φ1(α)(100eiα)IA2,B2,C2A,B,C|0C(X)se convierte en una identidad, y en el segundo qubit tienes las operaciones , que dan la identidad. Por otro lado, si el primer qubit es | 1 , a continuación, en la segunda banda que tiene A X B X C , que (junto con la fase) es igual a U por definición.ABC|1AXBXCU

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 2A m para cualquier conjunto de puertas { A 1 , . . , A m } , entonces C ( U ) = C ( A 1 ) C ( A 2 ) C ( A m )C(U)nU=A1A2Am{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 )

C(U)=C(UN1)C(UN2)C(UNmetro).
norteUC(U)C(V)XEl |1VC(V) se descomponen como se muestra en la primera parte de la respuesta.

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.norteUCNOT

glS
fuente
Creo que eso es lo que estaba buscando. Solo para asegurarnos: Digamos que la descomposición conocida contiene C ( X ) y puertas de un solo qubit. Luego, para puertas de un solo qubit, reemplazamos A i por C ( A i ) , que se construye siguiendo la descripción en N&C. Y las C ( X ) son reemplazadas por puertas Toffoli (que también podrían descomponerse). ¿Derecho? U=A1A2AmC(X)AiC(Ai)C(X)
M. Stern
@ M.Stern bien casi. Si contiene una C ( X ) (que más precisamente sería una C ( X ) i j , actuando entre i -th y j -th qubit, con i , j > 1 ), entonces la puerta equivalente en C ( U ) ya es una puerta Toffoli, con el primer e i -qubits como control y el j -th qubit como objetivo. Por lo tanto, puede ir y reemplazar el Toffolis usando las descomposiciones conocidasUC(X)C(X)ijiji,j>1C(U)ij
glS
5

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×2nMn

  • 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 .U2×2tr U0tr(UX)0det U1U

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)

Sanchayan Dutta
fuente