Manuscript En05-A@1 · En05-A.tex · proposition · f076e703
Proposition: Exact relay attainment
Sharp signalling speed · lines 871–892 · proof included or linked
En05-A@1#prop:attain
On with the metric, for every there is an -perturbation pair with and readout laws . Consequently .
Proof. Take , , and place a classical bit at . At step , choose the phase containing the interval
Relocate the record from its right endpoint to its left endpoint. All other updates may be identities.
After ticks, the record is at . Reading it gives . The two runs differ only in the initial bit at and use identical rules. The lower bound combines with Proposition prop:upper.
Displayed formulas in this passage
unlabeled · line 882