💻 컴퓨터 과학
Classical Verification of Quantum Computation Beyond the Polynomial Hierarchy
이 논문은 고전적 오라클과 비교하여, 고전적 다항 시간 검증자가 새로운 재귀적 푸리에 샘플링 변형과 하스타드의 스위칭 렘마의 한계를 극복하는 새로운 스위칭 정리를 통해, 공공 코인 대화형 증명 시스템을 사용하여 양자 다항 시간 증명자가 결정하는 다항 계층을 넘어서는 언어를 효율적으로 검증할 수 있음을 입증한다.
원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기
연구 분야의 논문에 파묻히고 계신가요?
연구 키워드에 맞는 최신 논문의 일일 다이제스트를 받아보세요 — 기술 요약 포함, 당신의 언어로.