@informaq-ko.bsky.socialSep 15, 2026, 7:08 PM 25년간의 미해결 문제들을 QIP(2), qq-QAM, QAM, QMA가 완벽한 완전성을 달성함을 증명하여 해결합니다. 메시지 복잡도를 절반으로 줄이면서 완전성 보장을 유지하는 끝점-내향 턴-반분 변환을 소개합니다.#양자증명 #양자복잡도 #양자정보
@informaq-ko.bsky.socialSep 14, 2026, 11:52 PM 연구자들이 QMA=QMA1을 증명했으며, 양자 Merlin-Arthur 증명 시스템이 Hadamard, Toffoli, X 게이트의 범용 게이트 세트를 사용하여 계산 능력을 희생하지 않으면서 완벽한 완전성을 달성할 수 있음을 입증했습니다.#양자복잡성 #양자증명 #연구
@informaq-ko.bsky.socialSep 3, 2026, 4:33 AM 연구자들이 무분리 추측을 해결하면서 QMA(2)와 QMA 사이의 첫 번째 양자 오라클 분리를 증명했습니다. 증명은 대칭 및 반대칭 부분공간 프로젝터를 사용하여 얽히지 않은 증명이 표준 양자 증명보다 지수적으로 더 잘 수행됨을 보여줍니다.#양자복잡성 #양자증명 #연구
@informaq-ko.bsky.social