양자 복잡성 이론에 관한 논문에 대한 Watrous의 훌륭한 설문지를 읽고 있습니다. 그는 QMA 완성 문제가 명백한 약속 (즉, 언어)을 가지고있는 것으로 밝혀지면 놀라운 일이라고 말합니다. 왜 그렇습니까?
k-local Hamiltonian 문제가 약속 문제라는 사실과 관련이 있습니까?
또한 이것은 관련 질문으로 이어집니다. 본질적으로 "양자"가 아닌 QMA 완료 문제가 있습니까?
3
QMA가 의미 클래스로 정의되어 있기 때문에 흥미로운 일이라고 생각합니다. 이러한 완전한 문제는 구문 특성을 부여합니다. cstheory / Mathoverflow에서 구문 / 의미 적 복잡성 클래스에 대한 관련 질문을 확인하십시오.
—
Kaveh
또한,이 현상은 특히 QMA에만 국한되지 않습니다. MA와 같은 다른 의미 적으로 정의 된 클래스 인 BPP는 완전한 언어를 가지고 있지 않은 것으로 알려져 있습니다.
—
Robin Kothari
문제가 "양자 아님"이되기 위해 실제로 필요하고 충분한 조건이 무엇인지 궁금합니다. 나는 완전히 긍정적 인지도를 불러오는 문제 ( 예를 들어 주어진 CP지도가 뒤집을 수 없거나 멀리 떨어져 있지 않은가?) 또는 텐서 제품 구조 ( 예를 들어 k- 로컬 프리젠 테이션에서 주어진 양의 반 정규 연산자는 고유 값이 델타, 또는 델타보다 실질적으로 더 큰가?) 양자 채널 / 진화 또는 집계 시스템의 상태 공간으로 표시되는지 여부에 관계없이 의심스러운 양자 문제의 예일 것입니다.
—
Niel de Beaudrap