Gate Model

\[% https://latex.wikia.org/wiki/List_of_LaTeX_symbols % https://www.overleaf.com/learn/latex/Main_Page % % latex commands for quantum mechanics: bra & kets \newcommand{\bra}[1]{\left<#1\right|} \newcommand{\ket}[1]{\left|#1\right>} \newcommand{\bk}[2]{\left<#1\middle|#2\right>} \newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>} % % general shortcuts \newcommand{\bm}[1]{\boldsymbol{#1}} % bold math \newcommand{\super}[2]{#1 {}^{#2}} % superscript \newcommand{\half}{\frac{1}{2}} % % hats together with subscripts or superscript (e.g. for angular momentum) \newcommand{\hatb}[1]{\bm{\hat{#1}}} % hat + bold \newcommand{\hatsub}[2]{\hat{{#1}_{#2}}} % hat + subscript \newcommand{\hatsup}[2]{\super{\hat{#1}}{#2}} % hat + superscript \newcommand{\hatsubsup}[3]{\super{\hat{#1}}{#3}_{#2}} % hat + sub + superscript % % Pauli operators \newcommand{\pauliX}{\hatsubsup{\sigma}{X}{}} \newcommand{\pauliY}{\hatsubsup{\sigma}{Y}{}} \newcommand{\pauliZ}{\hatsubsup{\sigma}{Z}{}} \newcommand{\pauliP}{\hatsubsup{\sigma}{+}{}} \newcommand{\pauliM}{\hatsubsup{\sigma}{-}{}} \newcommand{\pauliPM}{\hatsubsup{\sigma}{\pm}{}} % % derivates \newcommand{\odv}[2]{\frac{\textrm{d} #1}{\textrm{d} #2}} \newcommand{\pdv}[2]{\frac{\partial #1}{\partial #2}}\]

Requirements for the implementation

DiVincenzo [32] proposed five criteria necessary to successfully implement a quantum computer 1 3:

  1. A scalable physical system with well characterized qubits

  2. The ability to initialize the state of the qubits to a simple fiducial state, such as \(\ket{000 \ldots}\)

  3. Long relevant decoherence times, much longer than the gate operation time

  4. A “universal” set of quantum gates

  5. A qubit-specific measurement capability

Gates and circuits

Operations on qubits in a quantum computer are realized using so-called gates acting on either only one qubit or on several of them. A quantum circuit describes a sequence of gates applied to a set of qubits.

Single-qubit gates can be represented as \(2 \times 2\) matrices acting in the qubit’s state space spanned by its basis vectors \(\ket{0}\) and \(\ket{1}\).

Table 1 Examples of single-qubit gates

Name

Symbol

Representation

Hadamard

\(\boxed{H}\)

\(\frac{1}{\sqrt{2}} \begin{bmatrix} 1 & 1 \\ 1 & -1 \end{bmatrix}\)

Pauli-X

\(\boxed{X}\)

\(\begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}\)

Pauli-Y

\(\boxed{Y}\)

\(\begin{bmatrix} 0 & -i \\ i & 0 \end{bmatrix}\)

Pauli-Z

\(\boxed{Z}\)

\(\begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}\)

Phase

\(\boxed{S}\)

\(\begin{bmatrix} 1 & 0 \\ 0 & i \end{bmatrix}\)

\(\pi / 8\)

\(\boxed{T}\)

\(\begin{bmatrix} 1 & 0 \\ 0 & e^{i \pi / 4} \end{bmatrix}\)

The most common and useful multiple-qubit gates implement controlled operations, where the state of one control qubit conditions the execution of an operation on one or several target qubits. The two most common are:

  • CNOT: controlled-NOT gate

    \[\begin{split}\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \end{bmatrix}\end{split}\]
  • Toffoli gate: a “controlled-controlled-NOT” gate involving two control qubits and one target qubit. “It performs an X on the target only if both controls are in the state \(\ket{1}\). The final state of the target is then equal to either the AND or the NAND of the two controls, depending on whether the initial state of the target was \(\ket{0}\) or \(\ket{1}\).” 4 It is a universal reversible gate, which means that any classical reversible circuit can be constructed from Toffoli gates, as for example the AND gate as described previously.

Universal set of gates

2 It can be proven that there exists sets of gates with which any arbitrary unitary operation can be approximated to arbitrary accuracy by a quantum circuit.

Examples are:

  • CNOT and single qubit unitaries in general

  • CNOT and Hadamard gate, phase gate, \(\pi / 8\) in particular

Nevertheless, not all unitary operations can be efficiently implemented.

Worth mentioning are also the Clifford gates: quantum circuits that consist only of Clifford gates can be efficiently simulated with a classical computer, see Clifford operators.

References

1

“Introduction”, lecture 01 [L1]

2

“Universal quantum gates”, section 4.5 [B3]

3

“Summary of the quantum circuit model of computation”, section 4.6 [B3]

4

More Circuit Identities in [M1]