Quantum Gates

Introduction

Import the modules

from qiskit import QuantumCircuit, execute, Aer
from qiskit.visualization import plot_histogram, plot_bloch_vector
from math import pi

Plot the quantum circuit

qc.draw('mpl')

Plot the results

backend = Aer.get_backend('statevector_simulator') # Tell Qiskit how to simulate our circuit
qc.measure_all()
qc.draw()
result = execute(qc,backend).result()  #.get_statevector()  #.get_counts()
counts = result.get_counts()
plot_histogram(counts)

Quantum Gates of One Qubit

There are only two reversible gates, also identity (return the input unchanged) and NOT (return the opposite of the input), but neither is universal.

Identity gate.

Pauli X gate. $\sigma _{x}=X={\begin{bmatrix}0&1\\1&0\end{bmatrix}}=|0\rangle \langle 1|+|1\rangle \langle 0|$

Pauli Y gate $\sigma _{y}=Y={\begin{bmatrix}0&-i\\i&0\end{bmatrix}}=-i|0\rangle \langle 1|+i|1\rangle \langle 0|$

Pauli Z gate $\sigma _{z}=Z={\begin{bmatrix}1&0\\0&-1\end{bmatrix}}=|0\rangle \langle 0|-|1\rangle \langle 1|$

Hadamard gate $H={\tfrac {1}{\sqrt {2}}}{\begin{bmatrix}1&1\\1&-1\end{bmatrix}}=|+\rangle \langle 0|+|-\rangle \langle 1|$

R gate $R_{\phi }={\begin{bmatrix}1&0\\0&e^{i\phi }\end{bmatrix}}$

S gate or ${\sqrt {Z}}$ gate $S={\begin{bmatrix}1&0\\0&e^{\frac {i\pi }{2}}\end{bmatrix}}$

T gate $T={\begin{bmatrix}1&0\\0&e^{\frac {i\pi }{4}}\end{bmatrix}}$

U1 gate: $U_{1}=U_{3}(0,0,\lambda )=U_{1}={\begin{bmatrix}1&0\\0&e^{i\lambda }\\\end{bmatrix}}$

U2 gate: $U_{2}=U_{3}({\tfrac {\pi }{2}},\phi ,\lambda )={\tfrac {1}{\sqrt {2}}}{\begin{bmatrix}1&-e^{i\lambda }\\e^{i\phi }&e^{i\lambda +i\phi }\end{bmatrix}}$

qc = QuantumCircuit(1)
qc.x(0)
#qc.y(0) # Y-gate on qubit 0
#qc.z(0) # Z-gate on qubit 0
#qc.rz(pi/4, 0)
#qc.s(0)   # Apply S-gate to qubit 0
#qc.sdg(0) # Apply Sdg-gate to qubit 0
qc.t(0)   # Apply T-gate to qubit 0
qc.tdg(0) # Apply Tdg-gate to qubit 0

Two Qubit Quantum Gates

The reversibel gates are eg. identity, or CNOT.

Eg. $X\otimes H={\begin{bmatrix}0&H\\H&0\end{bmatrix}}$.

CNOT gate as a pictoram.

Eg. CNOT is a conditional gate that performs an X-gate on the second qubit, if the state of the first qubit (control) is $|1\rangle$. $CNOT={\begin{bmatrix}1&0&0&0\\0&0&0&1\\0&0&1&0\\0&1&0&0\\\end{bmatrix}}$. This matrix swaps the amplitudes of |01⟩ and |11⟩ in the statevector. ${\text{CNOT}}(x,y)=(x,x\otimes y)$.

CNOT if a control qubit is on the superposition:

${\text{CNOT}}|{-}0\rangle =|{-}0\rangle$

${\text{CNOT}}|{-}1\rangle =-|{-}1\rangle$

${\text{CNOT}}|0{+}\rangle ={\tfrac {1}{\sqrt {2}}}(|00\rangle +|11\rangle )$, which is Bell State. Entanglement, but no-communication theorem.

${\text{CNOT}}|{+}{+}\rangle =|{+}{+}\rangle )$. Unchanged.

${\text{CNOT}}|{-}{+}\rangle ={\tfrac {1}{\sqrt {2}}}(|{-}0\rangle -|{-}1\rangle )=|{-}{-}\rangle$

${\text{CNOT}}|{+}{-}\rangle =$.

${\text{CNOT}}|{-}{-}\rangle ={\tfrac {1}{2}}(|00\rangle -|01\rangle -|10\rangle +|11\rangle )=|{-}{-}\rangle$. Affects the state of the control qubit, only.

qc = QuantumCircuit(2)
qc.h(0)     # Apply H-gate to the first:
qc.cx(0,1)  # Apply a CNOT:

Any controlled quantum gate is ${\text{Controlled-U}}={\begin{bmatrix}I&0\\0&U\end{bmatrix}}$ and in Qiskit formalism is written in matrix as ${\text{Controlled-U}}={\begin{bmatrix}1&0&0&0\\0&u_{00}&0&u_{01}\\0&0&1&0\\0&u_{10}&0&u_{11}\\\end{bmatrix}}$

• 

  Controlled H

• 

  Controlled Y

• 

  Controlled Z

Controlled-Z. Because Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle H X H = Z} and $HZH=X$ we can write

qc = QuantumCircuit(2)
# also a controlled-Z
qc.h(1)
qc.cx(0,1)
qc.h(1)

Controlled-Y is

qc = QuantumCircuit(2)
# a controlled-Y
qc.sdg(1)
qc.cx(0,1)
qc.s(1)

or Controlled-H is

qc = QuantumCircuit(2)
# a controlled-H
qc.ry(pi/4,1)
qc.cx(0,1)
qc.ry(-pi/4,1)

Swap gate

An arbitrary controlled-controlled-U for any single-qubit rotation U. We need $V={\sqrt {U}}$ and $V^{\dagger }$

#The controls are qubits a and b, and the target is qubit t.
#Subroutines cu1(theta,c,t) and cu1(-theta,c,t) need to be defined
qc = QuantumCircuit(3)
qc.cu1(theta,b,t)
qc.cx(a,b)
qc.cu1(-theta,b,t)
qc.cx(a,b)
qc.cu1(theta,a,t)

Three Qubit Gates

Toffoli gate made using CNOTs.

For universal computations we need more qubits. Eg. the AND gate is not reversible, and thus we need eg. Toffoli (CCNOT) gate.

Toffoli gate performs $X$ on target qubit if both control cubits are set to state $|1\rangle$.

qc = QuantumCircuit(3)
# Toffoli with control qubits a and b and target t
qc.ccx(a,b,t)

Toffoli using CNOTs uses fewer gates.

qc = QuantumCircuit(3)
qc.ch(a,t)
qc.cz(b,t)
qc.ch(a,t)

AND gate is Toffoli gate with . . .

The nand gate

${\text{CCNOT}}(x,y,z)=(x,y,(x\land y)\otimes z)$ gives the reversible NAND ${\text{NAND}}(x,y)={\text{CCNOT}}(x,y,1)=(x,y,(x\land y)\otimes 1)$

NAND gate is