State Types for Simulation

The type of states that is used in the simulation checker allows to trade off efficiency versus performance.

• Classical stimuli (i.e., random computational basis states) already offer extremely high error detection rates in general and are comparatively fast to simulate, which makes them the default.

• Local quantum stimuli (i.e., random single-qubit basis states) are a little bit more computationally intensive, but provide even better error detection rates.

• Global quantum stimuli (i.e., random stabilizer states) offer the highest available error detection rate, while at the same time incurring the highest computational effort.

For details, see [3].

class StateType

Members:

computational_basis : Randomly choose computational basis states. Also referred to as classical.

random_1Q_basis : Randomly choose a single-qubit basis state for each qubit from the six-tuple (|0>, |1>, |+>, |->, |L>, |R>). Also referred to as local_random.

stabilizer : Randomly choose a stabilizer state by creating a random Clifford circuit. Also referred to as global_random.

computational_basis = <StateType.computational_basis: 0>

property name

random_1Q_basis = <StateType.random_1Q_basis: 1>

stabilizer = <StateType.stabilizer: 2>

property value