폴리 및 로그 심도 양자 회로 사이의 안구 분리

다음은 Aaronson의 양자 컴퓨팅 이론에 대한 10 개의 반-세계 도전 과제에 나타나는 문제 입니다.

가요$\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}}$ 즉, 어떠한 양자 알고리즘의 "양"부분은 압축 될 수 의 깊이 '우리에게 제공 다항식 고전 후 처리를 다시 할 의향이 있습니까? (이것은 쇼어 알고리즘에 해당되는 것으로 알려져있다.) 그렇다면, 범용 양자 컴퓨터를 구축하는 것이 일반적으로 생각되는 것보다 훨씬 쉽다! 덧붙여서, 와 사이 에서 오라클을 분리 하는 것은 어렵지 않지만 문제는 이러한 오라클이 "인스턴스화"하는 구체적인 기능이 있는지 여부입니다.$\mathrm{polylog}(n)$$\mathsf{BQP}$$\mathsf{BPP}^{\mathsf{BQNC}}$

되었습니다 Jozsa에 의해 추측 질문에 대한 대답은 양자 계산 "의 '측정 기반 모델의 예이다 :. 현지 측정, 적응 지역 게이트 및 효율적인 고전적인 후 처리가 허용되는 참조 이 관련 게시물을 .

질문 . 이 클래스 사이에서 현재 알려진 oracular 분리 (또는 적어도 Aaronson이 참조하는 oracle 분리)에 대해 알고 싶습니다.

죄송합니다. 내가 썼을 때 나는 너무 아 was 다. 현재 기술을 사용하여 B Q P 와 B P P B Q N C 사이의 오라클 분리를 증명할 수 있다고 생각하지만 아직 완료되지 않았습니다 (문제를 처음 생각한 후 12 년 후)! 그리고 누가 그것을했는지에 대한 논문의 가치가있을 것입니다. 어쩌면 귀하의 게시물 이이 문제를 마침내 해결하도록 동기를 부여하는 데 도움이 될 것입니다!$BQP$$BPP^{BQNC}$