@informaq-zh-tw.bsky.socialOct 14, 2026, 4:37 AM 新穎的硬度增幅定理擴大了 Tarski 不動點問題的量子查詢下界。結果為維度 k≥4 建立了 Ω(k log²n) 界,為指數寬度網格建立了超多項式界,解決了經典和量子複雜性之間的差距。#量子算法 #計算複雜性 #研究
@informaq-zh-tw.bsky.socialOct 13, 2026, 1:57 PM 解決了量子複雜性中的根本差距:加權團複合體的同調決定被證明為QMA₁-困難的,具有反多項式譜間隙。使用拓撲構件編碼與濾波霍奇理論來完成完整的困難性證明。#量子複雜性 #計算複雜性 #研究