Manuscript En02-B@1 · En02-B-v1.tex · corollary · ca28dee4

Corollary: Same-task coherent/adaptive separation

A finite perfect-code tree and decoder schedules › A declared module class · lines 1452–1467 · proof included or linked

En02-B@1#cor:separation

Back to manuscript

In the streaming model that forbids destruction of any delivered carrier until all have arrived, the optimal peak for is . The adaptive module construction implements that same channel with peak .

Proof. The retained-coherent convention forces all input carriers to remain live at the last arrival. The unitary and terminal syndrome readout attain that peak. The adaptive bound is Theorem thm:tree. Channel uniqueness prevents a change of the off-code task.

Nearby in this section