Construction de la porte Quantum XNOR

10

J'ai essayé de demander ici d' abord, car une question similaire avait été posée sur ce site. Semble cependant plus pertinent pour ce site.

Je crois comprendre qu'une porte XOR quantique est la porte CNOT. La porte quantique XNOR est-elle une porte CCNOT?

meowzz
la source
Merci d'avoir posé votre question ici, elle est en effet excellente pour ce site.
James Wootton

Réponses:

7

Toute fonction classique à un bit où est une entrée à bits et est une sortie à bits peut être écrit comme un calcul réversible, (Notez que toute fonction de sorties peut être écrite comme juste séparées de 1 bit.)f:xyx{0,1}nny{0,1}n

fr:(x,y)(x,yf(x))
mm

Une porte quantique implémentant ceci est fondamentalement juste la porte quantique correspondant à l'évaluation de la fonction réversible. Si vous écrivez simplement la table de vérité de la fonction, chaque ligne correspond à une ligne de la matrice unitaire et la sortie vous indique quelle entrée de colonne contient un 1 (toutes les autres entrées contiennent 0).

Dans le cas de XNOR, nous avons la table de vérité standard et la table de vérité de fonction réversible Ainsi, la matrice unitaire est

xf(x)001010100111(x,y)(x,yf(x))000001001000010010011011100100101101110111111110
U=(0100000010000000001000000001000000001000000001000000000100000010).
Cela peut facilement être décomposé en termes de deux portes non contrôlées et d'un ou deux flip.

La méthode que je viens de décrire vous donne un moyen très sûr de faire la construction qui fonctionne pour tout , mais elle ne reconstruit pas parfaitement la correspondance entre XOR et non-contrôlé. Pour cela, nous devons en supposer un peu plus sur les propriétés de la fonction .f(x)f(x)

Supposons que nous pouvons décomposer l'entrée en telle que et telle sorte que pour toutes les valeurs de , le les valeurs de sont distinctes pour chaque . Dans ce cas, nous pouvons définir l'évaluation de la fonction réversible commeCela signifie que nous utilisons 1 bits de moins que la construction précédente, mais à partir de là, la technique peut être répétée.xa,ba{0,1}n1b{0,1}af(a,b)b

f:(a,b)(a,f(a,b)).

Revenons donc à la table de vérité pour XNOR. Nous pouvons voir que, par exemple, lorsque nous fixons , les deux sorties sont , donc distinctes. De même pour fixer . Ainsi, nous pouvons procéder à la construction de la fonction réversible et cela nous donne un unitaire

abf(a,b)001010100111
a=01,0a=1
abaf(a,b)0001010010101111
cNOT(1X)
U=(0100100000100001)
cNOT(1X)
DaftWullie
la source
brillant! merci pour cela et toutes les autres bonnes réponses que j'ai vues de vous (:
meowzz
4

Le quantum XNOR n'est pas un CCNOT. CCNOT prendrait 3 bits en entrée, tandis que XOR, XNOR et CNOT n'accepteraient que 2 bits ou qubits en entrée.

La raison pour laquelle nous disons que le XOR peut être considéré comme un CNOT est expliquée ici , et le même raisonnement peut être utilisé pour construire le (2 qubit) XNOR.

user1271772
la source
Si XOR == CNOT, est-ce que XNOR == SWAP?
meowzz
Cela ressemble à une question distincte.
user1271772