Manuscript Hawk05-A@1 · Hawk05-A.tex · definition · 449f85bb
Definition: Four same-model endpoint obligations
Approximate and same-model endpoint certificates › A finite Choi certificate · lines 1467–1486
Hawk05-A@1#def:four
An endpoint certificate supplies:
Code and complete preparation. A justified finite code, a specified preparation map, all ancillary purifications, and the external-reference task.
Complete evolution. A complete unitary or isometric description including every lost output and measurement environment.
Access-preserving output identification. A declared accessible output, its complete complement, and any proxy identifications. These identifications preserve the two sides separately; they do not mix accessible and inaccessible outputs.
Complete-complement certificate. Exact replacement of the complete complement, or an explicit norm/Choi comparison proving approximate replacement on the whole code.