Manuscript I@2 · I.tex · definition · 85631fa7
Definition: Apparatus-cutoff interface
After Enter: records, instruments, decoders, and cutoffs › D3: finite experiments, resource ledgers, and cutoffs · lines 2439–2456
An apparatus-cutoff comparison specifies:
a full model and a retained model;
state encodings and identified output interfaces;
paired operations and a declared input class;
the experiment and resource budgets;
a comparison certificate, for example
A spectral cutoff must have a finite-rank retained space with a finite qubit encoding before it is an Enter configuration. Spectral projection alone does not guarantee finite rank. A certificate for one prepared input law is not automatically a uniform channel or reference-preserving certificate.
Displayed formulas in this passage
unlabeled · line 2447