Thực ra, toàn bộ máy tính lượng tử dung lỗi đều dựa trên một nền tảng toán học.
Gọi là định lý ngưỡng.
Chỉ cần tỷ lệ lỗi vật lý ở mỗi bước thao tác thấp hơn một giá trị nhất định, thì thông qua việc liên tục gia tăng mã hóa,
người ta có thể đè tỷ lệ lỗi logic của máy tính xuống một mức cực thấp.
Nhưng định lý này lại có một tiền đề.