A Note on Oracle Separations for BQP

Lijie Chen

In 2009, using the $\text{Fourier Checking}$ problem, Aaronson claimed to construct the relativized worlds such that $\text{BQP}\not\subset \mathsf{BP}{\mathsf{P}}_{\mathsf{path}}$ and $\textsf{B…