Operators (qiskit.opflow)#

バージョン 0.24.0 で非推奨: The qiskit.opflow module is deprecated and will be removed no earlier than 3 months after the release date. For code migration guidelines, visit https://qisk.it/opflow_migration.

Operators and State functions are the building blocks of Quantum Algorithms.

A library for Quantum Algorithms & Applications is more than a collection of algorithms wrapped in Python functions. It needs to provide tools to make writing algorithms simple and easy. This is the layer of modules between the circuits and algorithms, providing the language and computational primitives for QA&A research.

We call this layer the Operator Flow. It works by unifying computation with theory through the common language of functions and operators, in a way which preserves physical intuition and programming freedom. In the Operator Flow, we construct functions over binary variables, manipulate those functions with operators, and evaluate properties of these functions with measurements.

The Operator Flow is meant to serve as a lingua franca between the theory and implementation of Quantum Algorithms & Applications. Meaning, the ultimate goal is that when theorists speak their theory in the Operator Flow, they are speaking valid implementation, and when the engineers speak their implementation in the Operator Flow, they are speaking valid physical formalism. To be successful, it must be fast and physically formal enough for theorists to find it easier and more natural than hacking Matlab or NumPy, and the engineers must find it straightforward enough that they can learn it as a typical software library, and learn the physics naturally and effortlessly as they learn the code. There can never be a point where we say 「below this level this is all hacked out, don’t come down here, stay in the interface layer above.」 It all must be clear and learnable.

Before getting into the details of the code, it’s important to note that three mathematical concepts unpin the Operator Flow. We derive most of the inspiration for the code structure from John Watrous’s formalism (but do not follow it exactly), so it may be worthwhile to review Chapters I and II, which are free online, if you feel the concepts are not clicking.

1. An n-qubit State function is a complex function over n binary variables, which we will often refer to as n-qubit binary strings. For example, the traditional quantum 「zero state」 is a 1-qubit state function, with a definition of f(0) = 1 and f(1) = 0.

2. An n-qubit Operator is a linear function taking n-qubit state functions to n-qubit state functions. For example, the Pauli X Operator is defined by f(Zero) = One and f(One) = Zero. Equivalently, an Operator can be defined as a complex function over two n-qubit binary strings, and it is sometimes convenient to picture things this way. By this definition, our Pauli X can be defined by its typical matrix elements, f(0, 0) = 0, f(1, 0) = 1, f(0, 1) = 1, f(1, 1) = 0.

3. An n-qubit Measurement is a functional taking n-qubit State functions to complex values. For example, a Pauli Z Measurement can be defined by f(Zero) = 0 and f(One) = 1.

注釈

While every effort has been made to make programming the Operator Flow similar to mathematical notation, in some places our hands are tied by the design of Python. In particular, when using mathematical operators such as + and ^ (tensor product), beware that these follow Python operator precedence rules. For example, I^X + X^I will actually be interpreted as I ^ (X+X) ^ I == 2 * I^X^I. In these cases, you should use extra parentheses, like (I ^ X) + (X ^ I), or use the relevant method calls.

Below, you’ll find a base class for all Operators, some convenience immutable global variables which simplify Operator construction, and two groups of submodules: Operators and Converters.

Operator Base Class#

The OperatorBase serves as the base class for all Operators, State functions and measurements, and enforces the presence and consistency of methods to manipulate these objects conveniently.

OperatorBase()

Deprecated: A base class for all Operators: PrimitiveOps, StateFns, ListOps, etc.

Operator Globals#

The operator_globals is a set of immutable Operator instances that are convenient building blocks to reach for while working with the Operator flow.

One qubit Pauli operators:

X, Y, Z, I

Clifford+T, and some other common non-parameterized gates:

CX, S, H, T, Swap, CZ

One qubit states:

Zero, One, Plus, Minus

Submodules#

Operators#

The Operators submodules include the PrimitiveOp, ListOp, and StateFn class groups which represent the primary Operator modules.

primitive_ops

Primitive Operators (qiskit.opflow.primitive_ops)

list_ops

List Operators (qiskit.opflow.list_ops)

state_fns

State Functions (qiskit.opflow.state_fns)

Converters#

The Converter submodules include objects which manipulate Operators, usually recursing over an Operator structure and changing certain Operators』 representation. For example, the PauliExpectation traverses an Operator structure, and replaces all of the OperatorStateFn measurements containing non-diagonal Pauli terms into diagonalizing circuits following by OperatorStateFn measurement containing only diagonal Paulis.

converters

Converters (qiskit.opflow.converters)

evolutions

Operator Evolutions (qiskit.opflow.evolutions)

expectations

Expectations (qiskit.opflow.expectations)

gradients

Gradients (qiskit.opflow.gradients)

Utility functions#

qiskit.opflow.commutator(op_a, op_b)[ソース]#

Deprecated: Compute commutator of op_a and op_b.

\[AB - BA.\]

バージョン 0.24.0 で非推奨: The function qiskit.opflow.utils.commutator() is deprecated as of qiskit-terra 0.24.0. It will be removed no earlier than 3 months after the release date. For code migration guidelines, visit https://qisk.it/opflow_migration.

パラメータ:
戻り値:

the commutator

戻り値の型:

OperatorBase

qiskit.opflow.anti_commutator(op_a, op_b)[ソース]#

Deprecated: Compute anti-commutator of op_a and op_b.

\[AB + BA.\]

バージョン 0.24.0 で非推奨: The function qiskit.opflow.utils.anti_commutator() is deprecated as of qiskit-terra 0.24.0. It will be removed no earlier than 3 months after the release date. For code migration guidelines, visit https://qisk.it/opflow_migration.

パラメータ:
戻り値:

the anti-commutator

戻り値の型:

OperatorBase

qiskit.opflow.double_commutator(op_a, op_b, op_c, sign=False)[ソース]#

Deprecated: Compute symmetric double commutator of op_a, op_b and op_c. See McWeeny chapter 13.6 Equation of motion methods (page 479)

If sign is False, it returns

\[[[A, B], C]/2 + [A, [B, C]]/2 = (2ABC + 2CBA - BAC - CAB - ACB - BCA)/2.\]

If sign is True, it returns

\[\lbrace[A, B], C\rbrace/2 + \lbrace A, [B, C]\rbrace/2 = (2ABC - 2CBA - BAC + CAB - ACB + BCA)/2.\]

バージョン 0.24.0 で非推奨: The function qiskit.opflow.utils.double_commutator() is deprecated as of qiskit-terra 0.24.0. It will be removed no earlier than 3 months after the release date. For code migration guidelines, visit https://qisk.it/opflow_migration.

パラメータ:
戻り値:

the double commutator

戻り値の型:

OperatorBase

Exceptions#

exception qiskit.opflow.OpflowError(*message)[ソース]#

Deprecated: For Opflow specific errors.

Set the error message.

バージョン 0.24.0 で非推奨: The class qiskit.opflow.exceptions.OpflowError is deprecated as of qiskit-terra 0.24.0. It will be removed no earlier than 3 months after the release date. For code migration guidelines, visit https://qisk.it/opflow_migration.