Supposons que nous ayons une décomposition en circuit d'un unitaire en utilisant 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 utilisant le même jeu de portes universel?
Par exemple, prenons , comme circuit:
On peut remplacer les portes par des portes (CNOT) pour obtenir :
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 ?
Réponses:
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) U n CNOT C(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 .U C(U) CNOT CNOT
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 ) BU U U=eiαAXBXC X A,B C ABC=I
où Φ 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 )
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 2 ⋯ A m pour un ensemble de portes { A 1 , . . , A m } , puis C ( U ) = C ( A 1 ) C ( A 2 ) ⋯ C ( A m )C(U) n U=A1A2⋯Am {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 )
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.n U CNOT
la source
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×2n M n
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 .U 2×2 tr U≠0 tr(UX)≠0 det U≠1 U
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)
la source