Proof of Theorem 6 — with $s=\lceil\log_2(2\pi/\Delta)\rceil$, every phase $\theta\in[\Delta/2,\pi-\Delta/2]$ has $|\langle0^s|\omega\rangle|\le1/2$

Initializing...

Proof of Theorem 6 — with $s=\lceil\log_2(2\pi/\Delta)\rceil$, every phase $\theta\in[\Delta/2,\pi-\Delta/2]$ has $|\langle0^s|\omega\rangle|\le1/2$ · Prove2Me