Manuscript XXII-D@1 · XXII-D.tex · definition · 17889d18
Definition: Required resource ledger
Locality and resource bounds require a model › Footprint sites are not automatically peak memory · lines 1201–1223
XXII-D@1#def:ledger
A finite protocol records at least
where:
is the number and type of process-resource uses;
counts gates under a stated elementary gate convention;
is execution depth or calibrated rounds;
is peak live quantum memory;
is the distinct-site or port footprint;
is classical communication, distinguished from storage;
is total auxiliary allocation, distinguished from peak use.
The error allowances and endpoint estimates are recorded alongside this vector, with their dependence on .
Displayed formulas in this passage
unlabeled · line 1204