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