Noise Model Simulation
A circuit noise model specifies where errors act, which degrees of freedom they affect, and which experimental assumptions are being idealized. Matching one reported error probability does not uniquely determine the channel. This page develops numerical distinctions that matter when comparing circuit predictions.
Helpful background. Quantum-channel validation checks physical maps; density-matrix circuit simulation applies them.
Channels attached to gates
Section titled “Channels attached to gates”For ideal gate , an implementation may use or . These agree only under special commutation conditions. Store the placement and target order explicitly.
A Pauli channel is
Its action on a Bloch component is diagonal; for example . This supplies a direct regression test of probabilities and Pauli labels.
“Depolarizing probability” has multiple conventions. The map corresponds to , whereas choosing a nonidentity Pauli with total probability gives . Compare equations before comparing parameters.
Coherent versus stochastic error
Section titled “Coherent versus stochastic error”An overrotation repeatedly applied times accumulates angle . Starting from , the return probability is
Replacing the error by independently sampled flips with probability gives
Matching a single-gate infidelity cannot make these curves agree for all . A useful validation circuit repeats an identity-equivalent sequence to expose coherent accumulation. Randomization may change that accumulation; it must be included as an operation, not assumed.
The comparison can be made exact. The average gate infidelity relative to the identity is for the unitary overrotation and for the stochastic channel. Thus matches their single-gate average infidelity, as well as their one-step return probability on . Nevertheless, for small errors the return losses scale differently:
The first expansion requires , and the second requires . This benchmark compares two specified channels with the same scalar calibration; it does not infer the coherent fraction from that scalar. For a qubit, averaging the state fidelities over the six Pauli eigenstates reproduces the uniform pure-state average and provides a small numerical check.
Likewise, idle noise should depend on duration. Under Markovian amplitude damping a duration uses . Giving every gate the same probability despite unequal duration changes the physical model.
Readout, correlation, and leakage
Section titled “Readout, correlation, and leakage”A classical readout confusion matrix maps ideal outcome probabilities to reported ones:
Its columns are normalized in this convention. Readout confusion at the end does not alter the premeasurement quantum state; a quantum error before measurement may do so. For mid-circuit feedback, even a classical reporting error changes later control.
Correlated errors require joint channels or shared stochastic variables. Independent one-qubit maps cannot reproduce a common fluctuating field with the same single-qubit marginals. Leakage requires extra levels or an explicit erasure flag; silently projecting leaked population back into the qubit subspace is postselection.
For a discrete correlation test, apply with probability and identity otherwise. Each qubit separately has a -flip probability , but is unchanged by the joint channel. Independent flips with those same marginal probabilities instead give Bell fidelity : exactly one flip takes to its orthogonal phase partner. At , the fidelities are respectively one and one half. Single-qubit calibration data cannot distinguish these two joint models.
Validation and sensitivity
Section titled “Validation and sensitivity”Check every map’s complete positivity and trace preservation, then test a circuit where error placement has an analytic consequence. For example, damping after an gate on produces excited probability , whereas damping before that gate produces one.
Separate parameter uncertainty from numerical error. Vary plausible coherent fractions, temporal correlations, readout rates, and gate durations rather than reporting a single curve as a device prediction. Fixed parameters define a reproducible model, not a calibration claim.
Exercise
Section titled “Exercise”A readout device reports 1 with probability when the true bit is 0, and reports 0 with probability when the true bit is 1. Find the reported excitation probability.
Solution
For true excited probability , . If , the output carries no information about , so inversion is singular. Near that limit readout correction amplifies statistical error.
References
Section titled “References”- Magesan, E., Gambetta, J. M., and Emerson, J., “Characterizing quantum gates via randomized benchmarking,” Physical Review A 85, 042311 (2012), arXiv:1109.6887 — error models and operational error measures.
- Watrous, J., The Theory of Quantum Information, Cambridge University Press (2018), author’s text — channels and distinguishability.