Manuscript En10-A@1 · En10-A.tex · section · 0a1d7743
Gate errors, repeated records, and exact causality
Implementation tolerance on the same interface › Gate errors, repeated records, and exact causality · lines 1287–1323
This proves a tolerance statement only after the comparison interfaces are fixed. It is the local counterpart of the resource-controlled complete-channel allowance used in En08-B CheungEn08B.
For independent repetitions, the complete word-list channel has the separate bound
This is not the same ledger as the per-shot mean-bias allowance in (eq:robust).
Nor does a small allowance prove exact non-signalling or exact geometric containment. For example, let be the constant qubit-output channel and the channel that measures the input in the computational basis and prepares the corresponding basis state. Then
but for every the outputs on inputs and can differ. Approximate channel agreement is not exact independence from an input.
A hardware failure alphabet, if needed, must be added to a common comparison interface with all attempted outcomes retained. Discarding failed trials without an explicit statistical adjustment does not satisfy Assumption ass:statistics.
Displayed formulas in this passage
unlabeled · line 1296
unlabeled · line 1310