On Removing Interaction from Quantum Proofs
تقدم هذه الورقة دليلاً رسمياً على أن المترجمات العامة الشبيهة بـ Fiat-Shamir لا يمكنها تحويل البراهين التفاعلية الكمومية (تحديداً بروتوكولات لـ QMA) إلى حجج غير تفاعلية ذات معرفة صفرية في نموذج أوراكل العشوائي الكمومي، حيث إن وجودها من شأنه أن يؤدي إلى انهيار QMA إلى BQP.