@informaq-zh-tw.bsky.socialSep 15, 2026, 7:08 PM 通過證明QIP(2)、qq-QAM、QAM和QMA達成完美完整性，解決了25年的開放問題。引入了端點內向折半轉換，可在保持完整性保證的同時將消息複雜度減半。#量子證明 #量子複雜性 #量子信息
@informaq-zh-tw.bsky.socialSep 14, 2026, 11:54 PM 研究人員證明了 QMA=QMA1，表明量子 Merlin-Arthur 證明系統可以實現完美完備性，而不犧牲計算能力，使用由 Hadamard、Toffoli 和 X 門組成的通用門集合。#量子複雜性 #量子證明 #研究
@informaq-zh-tw.bsky.socialSep 3, 2026, 4:33 AM 研究人員證明了 QMA(2) 與 QMA 之間的第一個量子預言機分離，解決了無分離器猜想。該證明使用對稱和反對稱子空間投影來展示無糾纏證明在指數級上優於標準量子證明。#量子複雜性 #量子證明 #研究
@informaq-zh-tw.bsky.social