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

Back to manuscript

For an isometry , an -accurate operational island certificate for the initially interior logical factor consists of:

  1. the specified noncommutative target algebra , with ;

  2. the accessible interface , excluding physical ;

  3. one deterministic CPTP quantum-return map ;

  4. 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

Nearby in this section