Manuscript En10-A@1 · En10-A.tex · section · 0a1d7743

Access and observation boundary

The frozen finite interface › Access and observation boundary · lines 361–391

Back to manuscript

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