424 lines
15 KiB
Plaintext
424 lines
15 KiB
Plaintext
---
|
||
title: Clifford
|
||
description: API reference for qiskit.quantum_info.Clifford
|
||
in_page_toc_min_heading_level: 1
|
||
python_api_type: class
|
||
python_api_name: qiskit.quantum_info.Clifford
|
||
---
|
||
|
||
# Clifford
|
||
|
||
<Class id="qiskit.quantum_info.Clifford" isDedicatedPage={true} github="https://github.com/qiskit/qiskit/tree/stable/0.20/qiskit/quantum_info/operators/symplectic/clifford.py" signature="Clifford(data, validate=True)" modifiers="class">
|
||
Bases: `qiskit.quantum_info.operators.base_operator.BaseOperator`, `qiskit.quantum_info.operators.mixins.adjoint.AdjointMixin`
|
||
|
||
An N-qubit unitary operator from the Clifford group.
|
||
|
||
**Representation**
|
||
|
||
An *N*-qubit Clifford operator is stored as a length *2N* [`StabilizerTable`](qiskit.quantum_info.StabilizerTable "qiskit.quantum_info.StabilizerTable") using the convention from reference \[1].
|
||
|
||
* Rows 0 to *N-1* are the *destabilizer* group generators
|
||
* Rows *N* to *2N-1* are the *stabilizer* group generators.
|
||
|
||
The internal [`StabilizerTable`](qiskit.quantum_info.StabilizerTable "qiskit.quantum_info.StabilizerTable") for the Clifford can be accessed using the [`table`](#qiskit.quantum_info.Clifford.table "qiskit.quantum_info.Clifford.table") attribute. The destabilizer or stabilizer rows can each be accessed as a length-N Stabilizer table using [`destabilizer`](#qiskit.quantum_info.Clifford.destabilizer "qiskit.quantum_info.Clifford.destabilizer") and [`stabilizer`](#qiskit.quantum_info.Clifford.stabilizer "qiskit.quantum_info.Clifford.stabilizer") attributes.
|
||
|
||
A more easily human readable representation of the Clifford operator can be obtained by calling the [`to_dict()`](qiskit.quantum_info.Clifford#to_dict "qiskit.quantum_info.Clifford.to_dict") method. This representation is also used if a Clifford object is printed as in the following example
|
||
|
||
```python
|
||
from qiskit import QuantumCircuit
|
||
from qiskit.quantum_info import Clifford
|
||
|
||
# Bell state generation circuit
|
||
qc = QuantumCircuit(2)
|
||
qc.h(0)
|
||
qc.cx(0, 1)
|
||
cliff = Clifford(qc)
|
||
|
||
# Print the Clifford
|
||
print(cliff)
|
||
|
||
# Print the Clifford destabilizer rows
|
||
print(cliff.destabilizer)
|
||
|
||
# Print the Clifford stabilizer rows
|
||
print(cliff.stabilizer)
|
||
```
|
||
|
||
```python
|
||
Clifford: Stabilizer = ['+XX', '+ZZ'], Destabilizer = ['+IZ', '+XI']
|
||
StabilizerTable: ['+IZ', '+XI']
|
||
StabilizerTable: ['+XX', '+ZZ']
|
||
```
|
||
|
||
**Circuit Conversion**
|
||
|
||
Clifford operators can be initialized from circuits containing *only* the following Clifford gates: [`IGate`](qiskit.circuit.library.IGate "qiskit.circuit.library.IGate"), [`XGate`](qiskit.circuit.library.XGate "qiskit.circuit.library.XGate"), [`YGate`](qiskit.circuit.library.YGate "qiskit.circuit.library.YGate"), [`ZGate`](qiskit.circuit.library.ZGate "qiskit.circuit.library.ZGate"), [`HGate`](qiskit.circuit.library.HGate "qiskit.circuit.library.HGate"), [`SGate`](qiskit.circuit.library.SGate "qiskit.circuit.library.SGate"), [`SdgGate`](qiskit.circuit.library.SdgGate "qiskit.circuit.library.SdgGate"), [`CXGate`](qiskit.circuit.library.CXGate "qiskit.circuit.library.CXGate"), [`CZGate`](qiskit.circuit.library.CZGate "qiskit.circuit.library.CZGate"), [`SwapGate`](qiskit.circuit.library.SwapGate "qiskit.circuit.library.SwapGate"). They can be converted back into a [`QuantumCircuit`](qiskit.circuit.QuantumCircuit "qiskit.circuit.QuantumCircuit"), or [`Gate`](qiskit.circuit.Gate "qiskit.circuit.Gate") object using the [`to_circuit()`](qiskit.quantum_info.Clifford#to_circuit "qiskit.quantum_info.Clifford.to_circuit") or [`to_instruction()`](qiskit.quantum_info.Clifford#to_instruction "qiskit.quantum_info.Clifford.to_instruction") methods respectively. Note that this decomposition is not necessarily optimal in terms of number of gates.
|
||
|
||
<Admonition title="Note" type="note">
|
||
A minimally generating set of gates for Clifford circuits is the [`HGate`](qiskit.circuit.library.HGate "qiskit.circuit.library.HGate") and [`SGate`](qiskit.circuit.library.SGate "qiskit.circuit.library.SGate") gate and *either* the [`CXGate`](qiskit.circuit.library.CXGate "qiskit.circuit.library.CXGate") or [`CZGate`](qiskit.circuit.library.CZGate "qiskit.circuit.library.CZGate") two-qubit gate.
|
||
</Admonition>
|
||
|
||
Clifford operators can also be converted to [`Operator`](qiskit.quantum_info.Operator "qiskit.quantum_info.Operator") objects using the [`to_operator()`](qiskit.quantum_info.Clifford#to_operator "qiskit.quantum_info.Clifford.to_operator") method. This is done via decomposing to a circuit, and then simulating the circuit as a unitary operator.
|
||
|
||
**References**
|
||
|
||
1. S. Aaronson, D. Gottesman, *Improved Simulation of Stabilizer Circuits*, Phys. Rev. A 70, 052328 (2004). [arXiv:quant-ph/0406196](https://arxiv.org/abs/quant-ph/0406196)
|
||
|
||
Initialize an operator object.
|
||
|
||
## Methods
|
||
|
||
### adjoint
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.adjoint" signature="Clifford.adjoint()">
|
||
Return the adjoint of the Operator.
|
||
</Function>
|
||
|
||
### compose
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.compose" signature="Clifford.compose(other, qargs=None, front=False)">
|
||
Return the operator composition with another Clifford.
|
||
|
||
**Parameters**
|
||
|
||
* **other** ([*Clifford*](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")) – a Clifford object.
|
||
* **qargs** (*list or None*) – Optional, a list of subsystem positions to apply other on. If None apply on all subsystems (default: None).
|
||
* **front** (*bool*) – If True compose using right operator multiplication, instead of left multiplication \[default: False].
|
||
|
||
**Returns**
|
||
|
||
The composed Clifford.
|
||
|
||
**Return type**
|
||
|
||
[Clifford](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")
|
||
|
||
**Raises**
|
||
|
||
**QiskitError** – if other cannot be converted to an operator, or has incompatible dimensions for specified subsystems.
|
||
|
||
<Admonition title="Note" type="note">
|
||
Composition (`&`) by default is defined as left matrix multiplication for matrix operators, while [`dot()`](qiskit.quantum_info.Clifford#dot "qiskit.quantum_info.Clifford.dot") is defined as right matrix multiplication. That is that `A & B == A.compose(B)` is equivalent to `B.dot(A)` when `A` and `B` are of the same type.
|
||
|
||
Setting the `front=True` kwarg changes this to right matrix multiplication and is equivalent to the [`dot()`](qiskit.quantum_info.Clifford#dot "qiskit.quantum_info.Clifford.dot") method `A.dot(B) == A.compose(B, front=True)`.
|
||
</Admonition>
|
||
</Function>
|
||
|
||
### conjugate
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.conjugate" signature="Clifford.conjugate()">
|
||
Return the conjugate of the Clifford.
|
||
</Function>
|
||
|
||
### copy
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.copy" signature="Clifford.copy()">
|
||
Make a deep copy of current operator.
|
||
</Function>
|
||
|
||
### dot
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.dot" signature="Clifford.dot(other, qargs=None)">
|
||
Return the right multiplied operator self \* other.
|
||
|
||
**Parameters**
|
||
|
||
* **other** ([*Operator*](qiskit.quantum_info.Operator "qiskit.quantum_info.Operator")) – an operator object.
|
||
* **qargs** (*list or None*) – Optional, a list of subsystem positions to apply other on. If None apply on all subsystems (default: None).
|
||
|
||
**Returns**
|
||
|
||
The right matrix multiplied Operator.
|
||
|
||
**Return type**
|
||
|
||
[Operator](qiskit.quantum_info.Operator "qiskit.quantum_info.Operator")
|
||
</Function>
|
||
|
||
### expand
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.expand" signature="Clifford.expand(other)">
|
||
Return the reverse-order tensor product with another Clifford.
|
||
|
||
**Parameters**
|
||
|
||
**other** ([*Clifford*](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")) – a Clifford object.
|
||
|
||
**Returns**
|
||
|
||
**the tensor product $b \otimes a$, where $a$**
|
||
|
||
is the current Clifford, and $b$ is the other Clifford.
|
||
|
||
**Return type**
|
||
|
||
[Clifford](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")
|
||
</Function>
|
||
|
||
### from\_circuit
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.from_circuit" signature="Clifford.from_circuit(circuit)" modifiers="static">
|
||
Initialize from a QuantumCircuit or Instruction.
|
||
|
||
**Parameters**
|
||
|
||
**circuit** ([*QuantumCircuit*](qiskit.circuit.QuantumCircuit "qiskit.circuit.QuantumCircuit") *or*[*Instruction*](qiskit.circuit.Instruction "qiskit.circuit.Instruction")) – instruction to initialize.
|
||
|
||
**Returns**
|
||
|
||
the Clifford object for the instruction.
|
||
|
||
**Return type**
|
||
|
||
[Clifford](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")
|
||
|
||
**Raises**
|
||
|
||
**QiskitError** – if the input instruction is non-Clifford or contains classical register instruction.
|
||
</Function>
|
||
|
||
### from\_dict
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.from_dict" signature="Clifford.from_dict(obj)" modifiers="static">
|
||
Load a Clifford from a dictionary
|
||
</Function>
|
||
|
||
### from\_label
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.from_label" signature="Clifford.from_label(label)" modifiers="static">
|
||
Return a tensor product of single-qubit Clifford gates.
|
||
|
||
**Parameters**
|
||
|
||
**label** (*string*) – single-qubit operator string.
|
||
|
||
**Returns**
|
||
|
||
The N-qubit Clifford operator.
|
||
|
||
**Return type**
|
||
|
||
[Clifford](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")
|
||
|
||
**Raises**
|
||
|
||
**QiskitError** – if the label contains invalid characters.
|
||
|
||
#### Additional Information:
|
||
|
||
The labels correspond to the single-qubit Cliffords are
|
||
|
||
* * Label
|
||
* Stabilizer
|
||
* Destabilizer
|
||
* * `"I"`
|
||
* +Z
|
||
* +X
|
||
* * `"X"`
|
||
* -Z
|
||
* +X
|
||
* * `"Y"`
|
||
* -Z
|
||
* -X
|
||
* * `"Z"`
|
||
* +Z
|
||
* -X
|
||
* * `"H"`
|
||
* +X
|
||
* +Z
|
||
* * `"S"`
|
||
* +Z
|
||
* +Y
|
||
</Function>
|
||
|
||
### input\_dims
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.input_dims" signature="Clifford.input_dims(qargs=None)">
|
||
Return tuple of input dimension for specified subsystems.
|
||
</Function>
|
||
|
||
### is\_unitary
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.is_unitary" signature="Clifford.is_unitary()">
|
||
Return True if the Clifford table is valid.
|
||
</Function>
|
||
|
||
### output\_dims
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.output_dims" signature="Clifford.output_dims(qargs=None)">
|
||
Return tuple of output dimension for specified subsystems.
|
||
</Function>
|
||
|
||
### power
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.power" signature="Clifford.power(n)">
|
||
Return the compose of a operator with itself n times.
|
||
|
||
**Parameters**
|
||
|
||
**n** (*int*) – the number of times to compose with self (n>0).
|
||
|
||
**Returns**
|
||
|
||
the n-times composed operator.
|
||
|
||
**Return type**
|
||
|
||
[Pauli](qiskit.quantum_info.Pauli "qiskit.quantum_info.Pauli")
|
||
|
||
**Raises**
|
||
|
||
**QiskitError** – if the input and output dimensions of the operator are not equal, or the power is not a positive integer.
|
||
</Function>
|
||
|
||
### reshape
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.reshape" signature="Clifford.reshape(input_dims=None, output_dims=None, num_qubits=None)">
|
||
Return a shallow copy with reshaped input and output subsystem dimensions.
|
||
|
||
**Parameters**
|
||
|
||
* **input\_dims** (*None or tuple*) – new subsystem input dimensions. If None the original input dims will be preserved \[Default: None].
|
||
* **output\_dims** (*None or tuple*) – new subsystem output dimensions. If None the original output dims will be preserved \[Default: None].
|
||
* **num\_qubits** (*None or int*) – reshape to an N-qubit operator \[Default: None].
|
||
|
||
**Returns**
|
||
|
||
returns self with reshaped input and output dimensions.
|
||
|
||
**Return type**
|
||
|
||
BaseOperator
|
||
|
||
**Raises**
|
||
|
||
**QiskitError** – if combined size of all subsystem input dimension or subsystem output dimensions is not constant.
|
||
</Function>
|
||
|
||
### tensor
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.tensor" signature="Clifford.tensor(other)">
|
||
Return the tensor product with another Clifford.
|
||
|
||
**Parameters**
|
||
|
||
**other** ([*Clifford*](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")) – a Clifford object.
|
||
|
||
**Returns**
|
||
|
||
**the tensor product $a \otimes b$, where $a$**
|
||
|
||
is the current Clifford, and $b$ is the other Clifford.
|
||
|
||
**Return type**
|
||
|
||
[Clifford](qiskit.quantum_info.Clifford "qiskit.quantum_info.Clifford")
|
||
|
||
<Admonition title="Note" type="note">
|
||
The tensor product can be obtained using the `^` binary operator. Hence `a.tensor(b)` is equivalent to `a ^ b`.
|
||
</Admonition>
|
||
</Function>
|
||
|
||
### to\_circuit
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.to_circuit" signature="Clifford.to_circuit()">
|
||
Return a QuantumCircuit implementing the Clifford.
|
||
|
||
For N \<= 3 qubits this is based on optimal CX cost decomposition from reference \[1]. For N > 3 qubits this is done using the general non-optimal compilation routine from reference \[2].
|
||
|
||
**Returns**
|
||
|
||
a circuit implementation of the Clifford.
|
||
|
||
**Return type**
|
||
|
||
[QuantumCircuit](qiskit.circuit.QuantumCircuit "qiskit.circuit.QuantumCircuit")
|
||
|
||
**References**
|
||
|
||
1. S. Bravyi, D. Maslov, *Hadamard-free circuits expose the structure of the Clifford group*, [arXiv:2003.09412 \[quant-ph\]](https://arxiv.org/abs/2003.09412)
|
||
2. S. Aaronson, D. Gottesman, *Improved Simulation of Stabilizer Circuits*, Phys. Rev. A 70, 052328 (2004). [arXiv:quant-ph/0406196](https://arxiv.org/abs/quant-ph/0406196)
|
||
</Function>
|
||
|
||
### to\_dict
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.to_dict" signature="Clifford.to_dict()">
|
||
Return dictionary representation of Clifford object.
|
||
</Function>
|
||
|
||
### to\_instruction
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.to_instruction" signature="Clifford.to_instruction()">
|
||
Return a Gate instruction implementing the Clifford.
|
||
</Function>
|
||
|
||
### to\_matrix
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.to_matrix" signature="Clifford.to_matrix()">
|
||
Convert operator to Numpy matrix.
|
||
</Function>
|
||
|
||
### to\_operator
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.to_operator" signature="Clifford.to_operator()">
|
||
Convert to an Operator object.
|
||
</Function>
|
||
|
||
### transpose
|
||
|
||
<Function id="qiskit.quantum_info.Clifford.transpose" signature="Clifford.transpose()">
|
||
Return the transpose of the Clifford.
|
||
</Function>
|
||
|
||
## Attributes
|
||
|
||
### destabilizer
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.destabilizer">
|
||
Return the destabilizer block of the StabilizerTable.
|
||
</Attribute>
|
||
|
||
### dim
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.dim">
|
||
Return tuple (input\_shape, output\_shape).
|
||
</Attribute>
|
||
|
||
### name
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.name">
|
||
Unique string identifier for operation type.
|
||
</Attribute>
|
||
|
||
### num\_clbits
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.num_clbits">
|
||
Number of classical bits.
|
||
</Attribute>
|
||
|
||
### num\_qubits
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.num_qubits">
|
||
Number of qubits.
|
||
</Attribute>
|
||
|
||
### qargs
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.qargs">
|
||
Return the qargs for the operator.
|
||
</Attribute>
|
||
|
||
### stabilizer
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.stabilizer">
|
||
Return the stabilizer block of the StabilizerTable.
|
||
</Attribute>
|
||
|
||
### table
|
||
|
||
<Attribute id="qiskit.quantum_info.Clifford.table">
|
||
Return StabilizerTable
|
||
</Attribute>
|
||
</Class>
|
||
|