يثبت هذا العمل أن التكرار المتوازي يقلل خطأ الصحة بمعدلات محكمة لجميع الحجج التفاعلية تحت التشفير المتماثل الشكل، حتى ضد المثبتين الكموميين. كما يتيح بناء حجج كمومية موجزة ذات عدد جولات ثابت.

يثبت هذا العمل أن التكرار المتوازي يقلل خطأ الصحة بمعدلات محكمة لجميع الحجج التفاعلية تحت التشفير المتماثل الشكل، حتى ضد المثبتين الكموميين. كما يتيح بناء حجج كمومية موجزة ذات عدد جولات ثابت.
حللنا مشكلة مفتوحة رئيسية في الحوسبة الكمومية: أثبتنا المقايضات الأمثل بين الوقت والمساحة لإيجاد التصادمات في الدوال العشوائية. تتطلب الخوارزميات الكمومية المتماثلة بالعلامات T=Ω(N^1/3) استفسارات و T²S=Ω(N log N)، مما يطابق خوارزمية BHT ويثبت الإحكام النظري.