Manuscript Em05-A@1 · Em05-A-v1.tex · remark · 9cac0def
Remark: What must be certified separately
Certified approximation interfaces · lines 1191–1224
A transmission interval does not automatically certify:
a physical gravitational identification;
the implementation of the decoder;
the accuracy of a phase correction;
a common identification of residual wavefunctions across different experiments;
a comparison of their physical complementary channels.
State residual bounds of the kind developed in Em04-A are useful interfaces, but a single-state bound is not automatically a referenced channel bound. A channel certificate must control the specified channel on arbitrary referenced inputs.
For an implemented phase error , the noiseless decoded channel instead has the form
Its half-diamond error is at most
Indeed the relevant unitary channel has distance from the identity: its numerical range has minimal modulus , and the pure referenced output distance is the square root of one minus the squared overlap. This phase allowance and any additional implementation error must be charged rather than absorbed into an unverified ideal-phase statement.
Displayed formulas in this passage
unlabeled · line 1209
unlabeled · line 1214