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

Back to manuscript

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

Nearby in this section