Manuscript Hawk07-B@1 · Hawk07-B.tex · corollary · b9785538
Corollary: One selected design used on fresh copies
Convoys, relays, and the reset condition › Independent stock-prepared sessions · lines 1326–1355 · proof included or linked
Hawk07-B@1#cor:identicalconvoy
Fix , payload dimension , total full-diamond allowance , and . Use fresh copies of the same resource and port design. Select one device matrix certified to per-session full-diamond error . Then the same decoder core can be used separately in all sessions, and the convoy's joint full-diamond error is at most .
A sufficient per-session released dimension is
At first retained residual dimension , , it suffices to take
rounded upward to a power of two. The device-selection probability is at least , not a fresh input-outcome probability for each ship.
Proof. Apply Theorem thm:threshold with per-session target , and Theorem thm:convoy with . The same device property applies to every identically prepared copy; it need not be resampled.
Displayed formulas in this passage
unlabeled · line 1337
unlabeled · line 1341