Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
Fidelity at singular and unnormalized blocks
Stage 1: the operational certificate › Fidelity at singular and unnormalized blocks · lines 769–774
The normalized version is a standard trace-distance/fidelity comparison FuchsVanDeGraaf; the displayed proof fixes the unnormalized convention needed here.