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

Back to manuscript

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

Nearby in this section