Étant donné une décomposition pour un

13

Supposons que nous ayons une décomposition en circuit d'un unitaire en Uutilisant un ensemble de portes universel (par exemple des portes CNOT et des unitaires à qubit unique). Existe-t-il un moyen direct d'écrire le circuit du unitaire contrôlé correspondant en CUutilisant le même jeu de portes universel?

Par exemple, prenons U=iY=HXHX , comme circuit:
circuit pour U

On peut remplacer les portes X par des portes CX (CNOT) pour obtenir CU :
circuit pour CU

Cela fonctionne parce que si le qubit de contrôle est dans l'état l'action sur la cible est H 2 = I , tandis que pour | 1 il applique le circuit de U . Pour différents U , en particulier s'il agit sur plusieurs qubits, la mise au point d'un tel circuit peut être fastidieuse. Existe-t-il une recette pour obtenir le circuit de C U étant donné que vous savez comment construire U ?|0H2=I|1UUCUU

M. Stern
la source
demandez-vous comment construire une CU à partir d'un U arbitraire à un qubit? Une méthode pour ce faire peut être trouvée dans le chapitre 4 de N&C (voir par exemple la figure 4.6 dans la dernière édition), qui est fondamentalement la généralisation de la décomposition que vous avez montrée
glS
@glS oh wow, je n'étais pas au courant de ça. Ressemble exactement à mon exemple. Bon de voir comment il met en œuvre la phase . Mais ils ne semblent pas discuter de la généralisation à plus de qubits cibles? α
M. Stern

Réponses:

15

La question n'est peut-être pas entièrement bien définie, en ce sens que pour demander un moyen de calculer partir d'une décomposition de U, vous devez spécifier l'ensemble de portes que vous êtes prêt à utiliser. En effet, c'est un résultat connu que toute porte à n- qubits peut être exactement décomposée à l'aide d'opérations CNOT et à qubit unique, de sorte qu'une réponse naïve à la question serait: décomposer simplement C ( U ) à l' aide de qubit simple et de CNOT .C(U)UnCNOTC(U)CNOT

Une autre interprétation de la question est la suivante: étant donné , puis - je calculer C ( U ) en utilisant un ensemble d'opérations mono-qubit et CNOT s pas sur le qubit de commande , et CNOT s avec la commande étant le premier qubit? Cela peut être fait en généralisant un résultat trouvé dans le chapitre quatre de Nielsen & Chuang .UC(U)CNOTCNOT

Soit une porte à qubit unique. On peut alors prouver que U peut toujours s'écrire U = e i α A X B X C , où X est la porte Pauli X, et A , B et C sont des opérations à qubit unique telles que A B C = I ( voir N&C pour une preuve). Il s'ensuit que C ( U ) = Φ 1 ( α ) A 2 C ( X ) BUUU=eiαAXBXCXA,BCABC=I Φ 1 ( α ) ( 1 0 0 e i α )I est une porte de phase appliquée au premier qubit, et A 2 , B 2 , C 2 sont A , B , C appliqué au deuxième qubit. C'est immédiat une fois que vous vous rendez compte que, si ce premier qubit est | 0 , alors C ( X )

C(U)=Φ1(α)A2C(X)B2C(X)C2,
Φ1(α)(100eiα)IA2,B2,C2A,B,C|0C(X)devient une identité, et sur le deuxième qubit vous avez les opérations , qui donnent l'identité. En revanche, si le premier qubit est | 1 , puis sur le deuxième rail vous A X B X C , qui ( en même temps que la phase) est égal à U par définition.ABC|1AXBXCU

La décomposition ci-dessus peut être utilisée pour trouver un moyen naïf de calculer pour une porte unitaire générale à n bits. L'observation principale est que si U = A 1 A 2A m pour un ensemble de portes { A 1 , . . , A m } , puis C ( U ) = C ( A 1 ) C ( A 2 ) C ( A m )C(U)nU=A1A2Am{A1,..,Am} Mais nous savons également que tout U à n- qubitpeut être décomposé en termes de CNOT et d'opérations à qubit unique. Il s'ensuit que C ( U ) est une séquence d'opérations CCNOT et C ( V ) , où CCNOT est ici uneporte X appliquée à un qubit conditionné à deux autres qubits étant | 1 , et V est une opération simple qubit sur certains qubit. Mais encore une fois, toute opération CCNOT (également appeléeToffoli), peut être décomposée comme le montre la figure 4.9 dans N&C, et le C ( V )

C(U)=C(A1)C(A2)C(Am).
nUC(U)C(V)X|1VC(V) sont décomposés comme indiqué dans la première partie de la réponse.

Cette méthode permet de décomposer une porte unitaire U générale à bits en utilisant uniquement des portes CNOT et à un seul bit. Vous pouvez ensuite aller plus loin et généraliser ceci pour trouver une décomposition pour le cas de qubits de contrôle multiples. Pour cela, vous n'avez maintenant besoin que d'un moyen de décomposer les portes de Toffoli, qui se trouve à nouveau dans la figure 4.9 de N&C.nUCNOT

glS
la source
Je pense que c'est ce que je cherchais. Juste pour être sûr: Disons que la décomposition connue contient C ( X ) et des portes à qubit unique. Ensuite, pour les portes à qubit unique, nous remplaçons A i par C ( A i ) , qui est construit en suivant la description dans N&C. Et les C ( X ) sont remplacés par des portes Toffoli (qui pourraient également être décomposées). Droite? U=A1A2AmC(X)AiC(Ai)C(X)
M. Stern
@ M.Stern bien presque. Si contient un C ( X ) (qui serait plus précisément un C ( X ) i j , agissant entre i -th et j -th qubit, avec i , j > 1 ), alors la porte équivalente en C ( U ) est déjà une porte Toffoli, avec les premier et i- qubits comme contrôle et j -th qubit comme cible. Vous pouvez donc aller remplacer le Toffolis en utilisant les décompositions connuesUC(X)C(X)ijiji,j>1C(U)ij
glS
5

Bien que cela puisse ne pas répondre complètement à votre question, je pense que cela pourrait fournir une certaine direction de réflexion. Voici deux faits importants:

  • N'importe quelle matrice M unitaire peut être réalisée sur un ordinateur quantique avec n bits quantaux par une séquence finie de portes non contrôlées et à qubit unique 1 .2n×2nMn

  • Supposons que soit une matrice unitaire 2 × 2 satisfaisant tr  U 0 , tr ( U X ) 0 et det  U 1 . Ensuite, six portes élémentaires sont nécessaires et suffisantes pour mettre en œuvre une porte U contrôlée 2 .U2×2tr U0tr(UX)0det U1U

Il devrait être possible d'étendre le deuxième cas au cas général , étant donné le premier point, bien que je n'ai trouvé aucun document qui le fasse explicitement.n×n


1 Portes élémentaires pour le calcul quantique-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 Réalisations optimales de portes unitaires contrôlées - Guang Song, Andreas Klappenecker (Texas A&M University)

Sanchayan Dutta
la source