Unencoded circuits: output error at most
ProvedThresholdTheorem.noisy_tv_le_fault_rate_mul_sizefault-tolerancequantum-computingquantum-error-correction
Errors accumulate at most linearly (unencoded circuits). Let be any circuit on a finite register and let . For every independent stochastic noise model with fault rate at most ,
where and are the outcome distributions of measuring all qubits after the noisy and the noiseless runs of , and is the number of locations of .
Without error correction, a circuit with components is only reliable when is small; this is the baseline that fault tolerance improves on, and the same bound is the level- case of the concatenated construction.
Preamble
import Mathlib import Definitions.Def_threshold_theorem_noise_model open ThresholdTheorem
Formal statement
namespace ThresholdTheorem
theorem noisy_tv_le_fault_rate_mul_size {Q : Type*} [Fintype Q] [DecidableEq Q]
(C : Circuit Q) (p : ℝ) (hp : p ≤ 1) (N : NoiseModel p) :
tvDist (outDist (noisyState N C)) (outDist (idealState C)) ≤ p * C.size := by sorry
end ThresholdTheorem
Source
Wikipedia, "Threshold theorem" (revision oldid=1360742213, https://en.wikipedia.org/w/index.php?title=Threshold_theorem&oldid=1360742213), section "Explanation"; the boxed statement is quoted there from M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, 10th anniversary ed., Cambridge University Press, p. 481.
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.