Manuscript Hawk07-B@1 · Hawk07-B.tex · section · b9785538
Batch occupancy
A specified receiver and two storage ledgers › Batch occupancy · lines 867–921
Hawk07-B@1#eq:workspace
Write
For qubit dimensions, a decoder of Choi rank has a Stinespring realization with at most
environment qubits.
Allocate a fresh output and environment, extend the Stinespring isometry on its prepared subspace to a unitary, and discard unused factors. This gives
The inaccessible active supplier register contains qubits. Keeping it separate, the corresponding upper bound on live named processing qubits is
Neither count includes an untouched test reference, retired physical record stores, or an unspecified thermal bath.
A useful ledger is therefore
with
If discarded decoder factors are implemented by Enter and their outcomes are retained, an elementary realization records at most such local bits. Its recovery need not send those bits between sites. Preparation distribution and quantum-cell transport are separate communication resources.
Arbitrary finite unitaries admit finite decompositions using continuous one-qubit gates and CNOT Barenco. We do not supply numerical values for or , nor an efficient synthesis algorithm. The matrix variable alone has real Hermitian parameters.
Displayed formulas in this passage
Hawk07-B@1#eq:workspace · line 884
unlabeled · line 870
unlabeled · line 876
unlabeled · line 891
unlabeled · line 898
unlabeled · line 905