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


alias of Literal[‘computational_basis’, ‘random_1Q_basis’, ‘stabilizer’]

class StateType


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