أثبت الباحثون أن QMA=QMA1، مما يُظهر أن أنظمة البرهان الكمية من نوع ميرلين-آرثر يمكنها تحقيق اكتمال كامل دون التضحية بالقوة الحسابية باستخدام مجموعة بوابات عامة تتكون من بوابات Hadamard و Toffoli و X.

أثبت الباحثون أن QMA=QMA1، مما يُظهر أن أنظمة البرهان الكمية من نوع ميرلين-آرثر يمكنها تحقيق اكتمال كامل دون التضحية بالقوة الحسابية باستخدام مجموعة بوابات عامة تتكون من بوابات Hadamard و Toffoli و X.
يسترجع اشتقاق الخصم الضربي الجديد حدود تعقيد الاستعلام الكمي الدقيقة للعد التقريبي، مع توفير تحليل مباشر لتطور طبقة وزن هامينج وتتبع صريح للتقدم على مستوى الاستعلام.
الدوائر الكمية ذات العمق الثابت وبوابات الإرسال المتفرع المتحكم فيها متكافئة للدوال البولينية المتماثلة. يتم تحديد حجم الإرسال المتفرع المطلوب بدقة من خلال نطاق انتقال الدالة، مما يوحد نتائج تعقيد الدوائر الكمية السابقة.