Manuscript En10-A@1 · En10-A.tex · section · 0a1d7743
An explicit finite dilation and schedule
Resource, estimation, and residual ledgers › An explicit finite dilation and schedule · lines 1327–1366
En10-A@1#eq:dilation
A fresh environment qubit , initially in , realizes the antiqubit relaxation by the isometry
An explicit unitary extension is obtained by applying:
a rotation on , controlled by ;
.
Here . The two formulas in (eq:dilation) follow directly.
Destructive Enter of , with its outcome not exported, gives the two Kraus branches and consumes the environment's laboratory name. Destructive Enter of then produces the exported word.
A complete one-shot schedule, after the supplier delivers the data registers, is:
allocate in ;
apply and in parallel;
apply ;
apply the controlled environment rotation;
apply ;
Enter and forget its unexported outcome;
Enter and export both outcome bits.
Forgetting the unexported classical value is an interface operation. No physical cyclic erasure cost is assigned to it.
Displayed formulas in this passage
En10-A@1#eq:dilation · line 1331