Manuscript XXII-F@1 · XXII-F.tex · section · 67821705
Four distinct ledgers
Separate quantum transport and resource contracts › Four distinct ledgers · lines 1064–1086
XXII-F@1#eq:resource-bound
An external untouched reference is unavailable to the decoder. If a validation procedure prepares one, its preparation, storage, and measurements belong to the validation ledger.
A count of compatible channel-comparison factors is not automatically an elementary gate depth. Footprint sites are not automatically peak memory. A retained coherent dilation and an adaptive implementation of the same channel can have different memory costs CheungEn02A,CheungEn02B.
No numerical or asymptotic resource bound follows from the cone. A uniform approximation claim needs supplied finite functions
componentwise, or a clearly weaker per-target bound. These functions and their proofs are additional protocol data. The ledger definition does not construct them.
Displayed formulas in this passage
XXII-F@1#eq:resource-bound · line 1078