Manuscript Hawk06-A@1 · Hawk06-A.tex · definition · c59fe67c
Definition: Operational island certificate
The operational island criterion · lines 391–411
Hawk06-A@1#def:island
For an isometry , an -accurate operational island certificate for the initially interior logical factor consists of:
the specified noncommutative target algebra , with ;
the accessible interface , excluding physical ;
one deterministic CPTP quantum-return map ;
the reference-preserving bound
Exact certificates have . The term “island” refers to this logical reconstruction assignment. It does not designate an independently variable physical residual factor.
Displayed formulas in this passage
unlabeled · line 403