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

Back to manuscript

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

Nearby in this section