Fra [EC:Unruh14 - Revocable quantum timed-release encryption](https://eprint.iacr.org/2013/606.pdf). Gir en øvre skranke på [[Trace-avstand]]en til to tilstander, gitt at de oppfyller en gitt relasjon. Brukes i det opprinnelige beviset for [[One-way to hiding]]. ### Utsagn La $\ket{\psi_1}$ og $\ket{\psi_2}$ være slik at det eksisterer en $\ket{\varphi}$ slik at begge tilstandene skrives om som $\ket{\psi_i} = \ket{\psi^\prime_i} + \ket{\varphi}$ på en slik måte at både $\ket{\psi^\prime_1}$ og $\ket{\psi^\prime_2}$ er ortogonale til $\ket{\varphi}$. Da har vi at: $\tracedist{\ket{\psi_1}, \ket{\psi_2}} \leq 2 \abs{\braket{\psi^\prime_1}}$. ### Bevis To-do: Skriv inn med egen notasjon og forklaring. Beviset bruker notasjonen $F$ for "the fidelity between quantum states". Hva er dette for et konsept? Han refererer til [[Nielsen-Chuang]]