Manuscript En02-D@4 · En02-D-v4.tex · section · e19ec871

Channels and the observer interface

Channels and the observer interface · lines 276–302

Back to manuscript

The class consists of finite deterministic protocols satisfying this assumption and . Lower bounds permit arbitrary instruments. counts delivered inputs, work, quantum records, retained data, and output. additionally counts supplier buffers. The inaccessible core, reflected environment, and correctness reference are not observer storage.

A retained output is live memory. The no-early-export rule can make operational error nonmonotone in the mandatory delivery horizon.

The exact benchmark library contains , zero allocation, destructive computational readout, classical control, and return. A classically selected Pauli costs at most one gate. Parallel register readout takes one instruction round. Allocation, transfer, and return are instantaneous in this convention.

Preparing uses one recyclable slot and at most two gates: generate a random bit by and destructive readout, then reallocate and conditionally apply .

Nearby in this section