$\mathsf{BQP} \subseteq \mathsf{IP}$ Does Not Relativize

تحل هذه الورقة سؤالاً مفتوحاً طال أمده من خلال بناء أوراكل (oracle) لا تندرج ضمنه $\mathsf{BQP} \not\subseteq \mathsf{IP}$، وذلك باستخدام مسألة "Forrelation" ونتائج هيكلية جديدة لإثبات أن البراهين التفاعلية الكلاسيكية لا يمكنها التحقق بكفاءة من الحوسبة الكمومية في إطار نسبي.

المؤلفون الأصليون: Adam Bouland, Andrew Huang, Anand Natarajan, Itay Shalit, Avishay Tal