تثبت نظريات تضخيم الصعوبة المبتكرة الحدود الدنيا للاستعلام الكمي لمسائل النقطة الثابتة لتارسكي. تؤسس النتائج حدود Ω(k log²n) للبُعد k≥4 وحدود فوق متعددة الحدود للشبكات ذات العرض الأسي، مما يحل الفجوات بين التعقيد الكلاسيكي والكمي.

تثبت نظريات تضخيم الصعوبة المبتكرة الحدود الدنيا للاستعلام الكمي لمسائل النقطة الثابتة لتارسكي. تؤسس النتائج حدود Ω(k log²n) للبُعد k≥4 وحدود فوق متعددة الحدود للشبكات ذات العرض الأسي، مما يحل الفجوات بين التعقيد الكلاسيكي والكمي.
يحل الفجوة الأساسية في التعقيد الكمي: تحديد تماثل مركبات الحلقة المرجحة هو QMA₁-صعب مع فجوات طيفية معكوسة متعددة الحدود. يستخدم ترميزات الأدوات الطوبولوجية ونظرية Hodge المرشحة لإثبات صعوبة كامل.