Manuscript En10-A@1 · En10-A.tex · section · 0a1d7743
Access and observation boundary
The frozen finite interface › Access and observation boundary · lines 361–391
The accessible data factor is , read only through its computational-basis occupation projectors
The record register has basis , and its observable algebra is
An optional laboratory spectator is untouched. An optional reference is also untouched and is included for complete channel comparisons, not as assistance to the observer. The accessible recorded-spectator algebra is
The supplier's source labels, channel environments, and measurement-device complements are outside this access boundary.
The newly returned object is alone. An existing spectator may remain on a comparison interface, but neither nor is a quantum output. Allowed continuations may read , act on , and allocate fresh names. They may not reuse the consumed names of or .
Displayed formulas in this passage
unlabeled · line 365
unlabeled · line 370
unlabeled · line 380