qiskit.quantum_info.Stinespring

class Stinespring(data, input_dims=None, output_dims=None)

Stinespring representation of a quantum channel.

The Stinespring representation of a quantum channel \(\mathcal{E}\) is a rectangular matrix \(A\) such that the evolution of a DensityMatrix \(\rho\) is given by

\[\mathcal{E}(ρ) = \mbox{Tr}_2\left[A ρ A^\dagger\right]\]

where \(\mbox{Tr}_2\) is the partial_trace() over subsystem 2.

A general operator map \(\mathcal{G}\) can also be written using the generalized Stinespring representation which is given by two matrices \(A\), \(B\) such that

\[\mathcal{G}(ρ) = \mbox{Tr}_2\left[A ρ B^\dagger\right]\]

See reference [1] for further details.

参照

1. C.J. Wood, J.D. Biamonte, D.G. Cory, Tensor networks and graphical calculus for open quantum systems, Quant. Inf. Comp. 15, 0579-0811 (2015). arXiv:1111.6950 [quant-ph]

Initialize a quantum channel Stinespring operator.

パラメータ

• (QuantumCircuit or (data) – Instruction or BaseOperator or matrix): data to initialize superoperator.

• input_dims (tuple) – the input subsystem dimensions. [Default: None]

• output_dims (tuple) – the output subsystem dimensions. [Default: None]

例外

QiskitError – if input data cannot be initialized as a a list of Kraus matrices.

Additional Information:

If the input or output dimensions are None, they will be automatically determined from the input data. This can fail for the Stinespring operator if the output dimension cannot be automatically determined.

__init__(data, input_dims=None, output_dims=None)

Initialize a quantum channel Stinespring operator.

パラメータ

• (QuantumCircuit or (data) – Instruction or BaseOperator or matrix): data to initialize superoperator.

• input_dims (tuple) – the input subsystem dimensions. [Default: None]

• output_dims (tuple) – the output subsystem dimensions. [Default: None]

例外

QiskitError – if input data cannot be initialized as a a list of Kraus matrices.

Additional Information:

If the input or output dimensions are None, they will be automatically determined from the input data. This can fail for the Stinespring operator if the output dimension cannot be automatically determined.

Methods

__init__(data[, input_dims, output_dims])	Initialize a quantum channel Stinespring operator.
add(other)	Return the linear operator self + other.
adjoint()	Return the adjoint of the operator.
compose(other[, qargs, front])	Return the composed quantum channel self @ other.
conjugate()	Return the conjugate of the QuantumChannel.
copy()	Make a deep copy of current operator.
dot(other[, qargs])	Return the right multiplied quantum channel self * other.
expand(other)	Return the tensor product channel other ⊗ self.
input_dims([qargs])	Return tuple of input dimension for specified subsystems.
is_cp([atol, rtol])	Test if Choi-matrix is completely-positive (CP)
is_cptp([atol, rtol])	Return True if completely-positive trace-preserving.
is_tp([atol, rtol])	Test if a channel is completely-positive (CP)
is_unitary([atol, rtol])	Return True if QuantumChannel is a unitary channel.
multiply(other)	Return the linear operator other * self.
output_dims([qargs])	Return tuple of output dimension for specified subsystems.
power(n)	The matrix power of the channel.
reshape([input_dims, output_dims])	Return a shallow copy with reshaped input and output subsystem dimensions.
set_atol(value)	Set the class default absolute tolerance parameter for float comparisons.
set_rtol(value)	Set the class default relative tolerance parameter for float comparisons.
subtract(other)	Return the linear operator self - other.
tensor(other)	Return the tensor product channel self ⊗ other.
to_instruction()	Convert to a Kraus or UnitaryGate circuit instruction.
to_operator()	Try to convert channel to a unitary representation Operator.
transpose()	Return the transpose of the QuantumChannel.

Attributes

atol	The default absolute tolerance parameter for float comparisons.
data	Return data.
dim	Return tuple (input_shape, output_shape).
num_qubits	Return the number of qubits if a N-qubit operator or None otherwise.
qargs	Return the qargs for the operator.
rtol	The relative tolerance parameter for float comparisons.

add(other)

Return the linear operator self + other.

DEPRECATED: use operator + other instead.

パラメータ

other (BaseOperator) – an operator object.

戻り値

the operator self + other.

戻り値の型

BaseOperator

adjoint()

Return the adjoint of the operator.

property atol

The default absolute tolerance parameter for float comparisons.

compose(other, qargs=None, front=False)

Return the composed quantum channel self @ other.

パラメータ

• other (QuantumChannel) – a quantum channel.

• qargs (list or None) – 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].

戻り値

The quantum channel self @ other.

戻り値の型

Stinespring

例外

QiskitError – if other cannot be converted to a Stinespring or has incompatible dimensions.

Additional Information:

Composition (@) is defined as left matrix multiplication for SuperOp matrices. That is that A @ B is equal to B * A. Setting front=True returns right matrix multiplication A * B and is equivalent to the dot() method.

conjugate()

Return the conjugate of the QuantumChannel.

copy()

Make a deep copy of current operator.

property data

Return data.

property dim

Return tuple (input_shape, output_shape).

dot(other, qargs=None)

Return the right multiplied quantum channel self * other.

パラメータ

• other (QuantumChannel) – a quantum channel.

• qargs (list or None) – a list of subsystem positions to apply other on. If None apply on all subsystems [default: None].

戻り値

The quantum channel self * other.

戻り値の型

Stinespring

例外

QiskitError – if other cannot be converted to a Stinespring or has incompatible dimensions.

expand(other)

Return the tensor product channel other ⊗ self.

パラメータ

other (QuantumChannel) – a quantum channel subclass.

戻り値

the tensor product channel other ⊗ self as a Stinespring object.

戻り値の型

Stinespring

例外

QiskitError – if other cannot be converted to a channel.

input_dims(qargs=None)

Return tuple of input dimension for specified subsystems.

is_cp(atol=None, rtol=None)

Test if Choi-matrix is completely-positive (CP)

is_cptp(atol=None, rtol=None)

Return True if completely-positive trace-preserving.

is_tp(atol=None, rtol=None)

Test if a channel is completely-positive (CP)

is_unitary(atol=None, rtol=None)

Return True if QuantumChannel is a unitary channel.

multiply(other)

Return the linear operator other * self.

DEPRECATED: use other * operator instead.

パラメータ

other (complex) – a complex number.

戻り値

the linear operator other * self.

戻り値の型

BaseOperator

例外

NotImplementedError – if subclass does not support multiplication.

property num_qubits

Return the number of qubits if a N-qubit operator or None otherwise.

output_dims(qargs=None)

Return tuple of output dimension for specified subsystems.

power(n)

The matrix power of the channel.

パラメータ

n (int) – compute the matrix power of the superoperator matrix.

戻り値

the matrix power of the SuperOp converted to a Stinespring channel.

戻り値の型

Stinespring

例外

QiskitError – if the input and output dimensions of the QuantumChannel are not equal, or the power is not an integer.

property qargs

Return the qargs for the operator.

reshape(input_dims=None, output_dims=None)

Return a shallow copy with reshaped input and output subsystem dimensions.

Arg:

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].

戻り値

returns self with reshaped input and output dimensions.

戻り値の型

BaseOperator

例外

QiskitError – if combined size of all subsystem input dimension or subsystem output dimensions is not constant.

property rtol

The relative tolerance parameter for float comparisons.

classmethod set_atol(value)

Set the class default absolute tolerance parameter for float comparisons.

DEPRECATED: use operator.atol = value instead

classmethod set_rtol(value)

Set the class default relative tolerance parameter for float comparisons.

DEPRECATED: use operator.rtol = value instead

subtract(other)

Return the linear operator self - other.

DEPRECATED: use operator - other instead.

パラメータ

other (BaseOperator) – an operator object.

戻り値

the operator self - other.

戻り値の型

BaseOperator

tensor(other)

Return the tensor product channel self ⊗ other.

パラメータ

other (QuantumChannel) – a quantum channel subclass.

戻り値

the tensor product channel other ⊗ self as a Stinespring object.

戻り値の型

Stinespring

例外

QiskitError – if other cannot be converted to a channel.

to_instruction()

Convert to a Kraus or UnitaryGate circuit instruction.

If the channel is unitary it will be added as a unitary gate, otherwise it will be added as a kraus simulator instruction.

戻り値

A kraus instruction for the channel.

戻り値の型

qiskit.circuit.Instruction

例外

QiskitError – if input data is not an N-qubit CPTP quantum channel.

to_operator()

Try to convert channel to a unitary representation Operator.

transpose()

Return the transpose of the QuantumChannel.