cirq.qis.CliffordTableau

Tableau representation of a stabilizer state

(based on Aaronson and Gottesman 2006).

The tableau stores the stabilizer generators of the state using three binary arrays: xs, zs, and rs.

Each row of the arrays represents a Pauli string, P, that is an eigenoperator of the state vector with eigenvalue one: P|psi> = |psi>.

num_qubits The number of qubits in the system.
initial_state The computational basis representation of the state as a big endian int.

rs

xs

zs

Methods

copy

View source

destabilizers

View source

Returns the destabilizer generators of the state. These are n operators {S_1,S_2,...,S_n} such that along with the stabilizer generators above generate the full Pauli group on n qubits.

inverse

View source

Returns the inverse Clifford tableau of this tableau.

matrix

View source

Returns the 2n * 2n matrix representation of the Clifford tableau.

stabilizers

View source

Returns the stabilizer generators of the state. These are n operators {S_1,S_2,...,S_n} such that S_i |psi> = |psi>

then

View source

Returns a composed CliffordTableau of this tableau and the second tableau.

Then composed tableau is equal to (up to global phase) the composed unitary operation of the two tableaux, i.e. equivalent to applying the unitary operation of this CliffordTableau then applying the second one.

Args
second The second CliffordTableau to compose with.

Returns
The composed CliffordTableau.

Raises
TypeError If the type of second is not CliffordTableau.
ValueError If the number of qubits in the second tableau mismatch with this tableau.

__eq__

View source

Return self==value.

__matmul__

View source