충돌 자유성에 대한 간결한 양자 증명의 불가능성

1. 서론 - 충돌 문제와 그 변형인 Permutation Testing Problem(PTP)를 소개하고, 이 문제의 중요성을 설명한다. 기존에 Brassard‑Høyer‑Tapp 알고리즘이 O(n^{1/3}) 쿼리로 해결할 수 있음을 언급한다. - SZK 프로토콜이 PTP에 적용 가능함을 보이며, 이를 통해 SZK⊄BQP 오라클 분리가 알려져 있음을 정리한다. - 저자는 “전치가 맞는 경우 짧은 양자 증명(다항식 크기 증인)이 존재할 수 있는가?”라는 질문을 제기하고, 부정적인 답을 제시한다. 2. 사전 지식 및 정의 - QMA, QCMA, SZK, A₀PP 등 복잡도 클래스와 양자 쿼리 모델을 간략히 정의한다. - PTP를 공식화: 입력 함수 f: