Manuscript En05-B@1 · En05-B.tex · corollary · 8b626460
Corollary: Sharp isotropic continuum maximal speed
Continuum no-signalling and sharp operational speed · lines 1718–1742 · proof included or linked
En05-B@1#cor:maxspeed
Define continuum event signalling by matched sender modifications localized in arbitrarily small neighborhoods of an event , a common finite readout at , and a nonzero unconditioned readout-law gap. For positive-duration pairs,
Every Euclidean direction attains the boundary speed in this limiting sense.
Proof. If the ratio exceeds , a sufficiently small neighborhood of is at positive distance from . Theorem thm:DOD excludes a gap. Thus .
Theorem thm:relay supplies a matched boundary pair in every direction with gap one. Its two limiting readout laws are still , proving the reverse inequality.
Displayed formulas in this passage
unlabeled · line 1724