Manuscript Hawk07-A@1 · Hawk07-A.tex · example · f9c0f5da

Example: Nonconstant need not mean large leakage

The unavailable phase and the false Page-cut peak · lines 679–699

Back to manuscript

For a qubit define

For , the complement is nonconstant, but

The accessible channel tends to identity as .

Indeed, the complement is a measurement in the logical basis followed by preparation of two pure states whose trace distance is . Their average gives the stated upper bound; the triangle inequality applied to the two outputs gives the matching lower bound. Appending arbitrarily large fixed residual spectators changes neither conclusion.

Displayed formulas in this passage

  • unlabeled · line 681

  • unlabeled · line 688

Nearby in this section