Manuscript En05-A@1 · En05-A.tex · theorem · f076e703

Theorem: Original-metric cone violation

Exceptional blocks and original-metric necessity › Transmission and complete operational input · lines 1106–1121 · proof included or linked

En05-A@1#thm:longrange

Back to manuscript

A lossless one-tick record transport from to gives a -perturbation pair with readout laws at . Hence the original-metric signalling speed of the extension is at least .

A lossless one-tick name transport has the same conclusion by transporting a computational-basis bit and reading it at .

Proof. Prepare the two possible bit values at , use the same transport channel in both runs, and apply the common terminal readout at . Initial snapshots agree away from . The signal arrives in one tick over original-metric distance .

Nearby in this section