Skip to main contentIBM Quantum Documentation
This page is from an old version of Qiskit SDK. Go to the latest version

Quantum Circuits

qiskit.circuit


Overview

The fundamental element of quantum computing is the quantum circuit. A quantum circuit is a computational routine consisting of coherent quantum operations on quantum data, such as qubits. It is an ordered sequence of quantum gates, measurements and resets, which may be conditioned on real-time classical computation. A set of quantum gates is said to be universal if any unitary transformation of the quantum data can be efficiently approximated arbitrarily well as a sequence of gates in the set. Any quantum program can be represented by a sequence of quantum circuits and classical near-time computation.

In Qiskit, this core element is represented by the QuantumCircuit class. Below is an example of a quantum circuit that makes a three-qubit GHZ state defined as:

ψ=(000+111)/2|\psi\rangle = \left(|000\rangle+|111\rangle\right)/\sqrt{2}
from qiskit import QuantumCircuit
# Create a circuit with a register of three qubits
circ = QuantumCircuit(3)
# H gate on qubit 0, putting this qubit in a superposition of |0> + |1>.
circ.h(0)
# A CX (CNOT) gate on control qubit 0 and target qubit 1 generating a Bell state.
circ.cx(0, 1)
# CX (CNOT) gate on control qubit 0 and target qubit 2 resulting in a GHZ state.
circ.cx(0, 2)
# Draw the circuit
circ.draw('mpl')
../_images/circuit-1.png

Supplementary Information

Quantum Circuit with conditionals

When building a quantum circuit, there can be interest in applying a certain gate only if a classical register has a specific value. This can be done with the InstructionSet.c_if() method.

In the following example, we start with a single-qubit circuit formed by only a Hadamard gate (HGate), in which we expect to get 0|0\rangle and 1|1\rangle with equal probability.

from qiskit import transpile, QuantumRegister, ClassicalRegister, QuantumCircuit
qr = QuantumRegister(1)
cr = ClassicalRegister(1)
qc = QuantumCircuit(qr, cr)
qc.h(0)
qc.measure(0, 0)
qc.draw('mpl')
../_images/circuit-2.png
from qiskit.providers.basic_provider import BasicSimulator
backend = BasicSimulator()
tqc = transpile(qc, backend)
counts = backend.run(tqc).result().get_counts()
 
print(counts)
{'0': 524, '1': 500}

Now, we add an XGate only if the value of the ClassicalRegister is 0. That way, if the state is 0|0\rangle, it will be changed to 1|1\rangle and if the state is 1|1\rangle, it will not be changed at all, so the final state will always be 1|1\rangle.

from qiskit import transpile, QuantumRegister, ClassicalRegister, QuantumCircuit
 
qr = QuantumRegister(1)
cr = ClassicalRegister(1)
qc = QuantumCircuit(qr, cr)
qc.h(0)
qc.measure(0, 0)
 
qc.x(0).c_if(cr, 0)
qc.measure(0, 0)
 
qc.draw('mpl')
../_images/circuit-3.png
from qiskit.providers.basic_provider import BasicSimulator
backend = BasicSimulator()
tqc = transpile(qc, backend)
counts = backend.run(tqc).result().get_counts()
 
print(counts)
{'1': 1024}

Quantum Circuit Properties

When constructing quantum circuits, there are several properties that help quantify the “size” of the circuits, and their ability to be run on a noisy quantum device. Some of these, like number of qubits, are straightforward to understand, while others like depth and number of tensor components require a bit more explanation. Here we will explain all of these properties, and, in preparation for understanding how circuits change when run on actual devices, highlight the conditions under which they change.

Consider the following circuit:

from qiskit import QuantumCircuit
qc = QuantumCircuit(12)
for idx in range(5):
   qc.h(idx)
   qc.cx(idx, idx+5)
 
qc.cx(1, 7)
qc.x(8)
qc.cx(1, 9)
qc.x(7)
qc.cx(1, 11)
qc.swap(6, 11)
qc.swap(6, 9)
qc.swap(6, 10)
qc.x(6)
qc.draw('mpl')
../_images/circuit-4.png

From the plot, it is easy to see that this circuit has 12 qubits, and a collection of Hadamard, CNOT, X, and SWAP gates. But how to quantify this programmatically? Because we can do single-qubit gates on all the qubits simultaneously, the number of qubits in this circuit is equal to the width of the circuit:

qc.width()
12

We can also just get the number of qubits directly:

qc.num_qubits
12
Important

For a quantum circuit composed from just qubits, the circuit width is equal to the number of qubits. This is the definition used in quantum computing. However, for more complicated circuits with classical registers, and classically controlled gates, this equivalence breaks down. As such, from now on we will not refer to the number of qubits in a quantum circuit as the width.

It is also straightforward to get the number and type of the gates in a circuit using QuantumCircuit.count_ops():

qc.count_ops()
OrderedDict([('cx', 8), ('h', 5), ('x', 3), ('swap', 3)])

We can also get just the raw count of operations by computing the circuits QuantumCircuit.size():

qc.size()
19

A particularly important circuit property is known as the circuit depth. The depth of a quantum circuit is a measure of how many “layers” of quantum gates, executed in parallel, it takes to complete the computation defined by the circuit. Because quantum gates take time to implement, the depth of a circuit roughly corresponds to the amount of time it takes the quantum computer to execute the circuit. Thus, the depth of a circuit is one important quantity used to measure if a quantum circuit can be run on a device.

The depth of a quantum circuit has a mathematical definition as the longest path in a directed acyclic graph (DAG). However, such a definition is a bit hard to grasp, even for experts. Fortunately, the depth of a circuit can be easily understood by anyone familiar with playing Tetris. Lets see how to compute this graphically:

../_images/depth.gif

We can verify our graphical result using QuantumCircuit.depth():

qc.depth()
9

Quantum Circuit API

Quantum Circuit Construction

QuantumCircuit(*regs[, name, global_phase, ...])Create a new circuit.
QuantumRegister([size, name, bits])Implement a quantum register.
Qubit([register, index])Implement a quantum bit.
ClassicalRegister([size, name, bits])Implement a classical register.
Clbit([register, index])Implement a classical bit.
AncillaRegister([size, name, bits])Implement an ancilla register.
AncillaQubit([register, index])A qubit used as ancillary qubit.
CircuitInstructionA single instruction in a QuantumCircuit, comprised of the operation and various operands.
Register([size, name, bits])Implement a generic register.
Bit([register, index])Implement a generic bit.

Gates and Instructions

Gate(name, num_qubits, params[, label, ...])Unitary gate.
ControlledGate(name, num_qubits, params[, ...])Controlled unitary gate.
Delay(duration[, unit])Do nothing and just delay/wait/idle for a specified duration.
Instruction(name, num_qubits, num_clbits, params)Generic quantum instruction.
InstructionSet(*[, resource_requester])Instruction collection, and their contexts.
Operation()Quantum Operation Interface Class.
EquivalenceLibrary(*[, base])A library providing a one-way mapping of Gates to their equivalent implementations as QuantumCircuits.

Annotated Operations

AnnotatedOperation(base_op, modifiers)Annotated operation.
InverseModifier()Inverse modifier: specifies that the operation is inverted.
ControlModifier([num_ctrl_qubits, ctrl_state])Control modifier: specifies that the operation is controlled by num_ctrl_qubits and has control state ctrl_state.
PowerModifier(power)Power modifier: specifies that the operation is raised to the power power.

Control Flow Operations

ControlFlowOp(name, num_qubits, num_clbits, ...)Abstract class to encapsulate all control flow operations.
IfElseOp(condition, true_body[, false_body, ...])A circuit operation which executes a program (true_body) if a provided condition (condition) evaluates to true, and optionally evaluates another program (false_body) otherwise.
WhileLoopOp(condition, body[, label])A circuit operation which repeatedly executes a subcircuit (body) until a condition (condition) evaluates as False.
ForLoopOp(indexset, loop_parameter, body[, ...])A circuit operation which repeatedly executes a subcircuit (body) parameterized by a parameter loop_parameter through the set of integer values provided in indexset.
SwitchCaseOp(target, cases, *[, label])A circuit operation that executes one particular circuit block based on matching a given target against an ordered list of values.
BreakLoopOp(num_qubits, num_clbits[, label])A circuit operation which, when encountered, jumps to the end of the nearest enclosing loop.
ContinueLoopOp(num_qubits, num_clbits[, label])A circuit operation which, when encountered, moves to the next iteration of the nearest enclosing loop.

The SwitchCaseOp also understands a special value:

qiskit.circuit.CASE_DEFAULT

A special object that represents the “default” case of a switch statement. If you use this as a case target, it must be the last case, and will match anything that wasn’t already matched. For example:

from qiskit import QuantumCircuit, QuantumRegister, ClassicalRegister
from qiskit.circuit import SwitchCaseOp, CASE_DEFAULT
 
body0 = QuantumCircuit(2, 2)
body0.x(0)
body1 = QuantumCircuit(2, 2)
body1.z(0)
body2 = QuantumCircuit(2, 2)
body2.cx(0, 1)
 
qr, cr = QuantumRegister(2), ClassicalRegister(2)
qc = QuantumCircuit(qr, cr)
qc.switch(cr, [(0, body0), (1, body1), (CASE_DEFAULT, body2)], qr, cr)

When using the builder interface of QuantumCircuit.switch(), this can also be accessed as the DEFAULT attribute of the bound case-builder object, such as:

from qiskit import QuantumCircuit, QuantumRegister, ClassicalRegister
 
qr, cr = QuantumRegister(2), ClassicalRegister(2)
qc = QuantumCircuit(qr, cr)
with qc.switch(cr) as case:
    with case(0):
        qc.x(0)
    with case(1):
        qc.z(0)
    with case(case.DEFAULT):
        qc.cx(0, 1)

Parametric Quantum Circuits

Parameter(name, *[, uuid])Parameter Class for variable parameters.
ParameterVector(name[, length])ParameterVector class to quickly generate lists of parameters.
ParameterExpression(symbol_map, expr)ParameterExpression class to enable creating expressions of Parameters.

Gate Commutation

CommutationChecker([...])This code is essentially copy-pasted from commutative_analysis.py.

Random Circuits

random_circuit

qiskit.circuit.random.random_circuit(num_qubits, depth, max_operands=4, measure=False, conditional=False, reset=False, seed=None)

GitHub

Generate random circuit of arbitrary size and form.

This function will generate a random circuit by randomly selecting gates from the set of standard gates in qiskit.circuit.library.standard_gates. For example:

from qiskit.circuit.random import random_circuit
 
circ = random_circuit(2, 2, measure=True)
circ.draw(output='mpl')
../_images/circuit-5.png

Parameters

  • num_qubits (int) – number of quantum wires
  • depth (int) – layers of operations (i.e. critical path length)
  • max_operands (int) – maximum qubit operands of each gate (between 1 and 4)
  • measure (bool) – if True, measure all qubits at the end
  • conditional (bool) – if True, insert middle measurements and conditionals
  • reset (bool) – if True, insert middle resets
  • seed (int) – sets random seed (optional)

Returns

constructed circuit

Return type

QuantumCircuit

Raises

CircuitError – when invalid options given

Exceptions

Almost all circuit functions and methods will raise a CircuitError when encountering an error that is particular to usage of Qiskit (as opposed to regular typing or indexing problems, which will typically raise the corresponding standard Python error).

CircuitError

exception qiskit.circuit.CircuitError(*message)

GitHub

Base class for errors raised while processing a circuit.

Set the error message.

Was this page helpful?
Report a bug or request content on GitHub.