[논문 리뷰] Oracle Separation of QMA and QCMA with Bounded Adaptivity

Shalev Ben-David, Srijita Kundu|arXiv (Cornell University)|2024. 01. 01.

graph theory and CDMA systems인용 수 1

한 줄 요약

이 논문은 쿼리가 소수의 라운드로 이루어지며, 각 라운드에 다수의 병렬 쿼리가 허용되는, 적응성의 제한된 양상에서 QMA와 QCMA 사이의 오라클 분리성을 확립한다. 관계에 대한 '미끄러움'의 개념을 도입하고 이전의 구성 방식을 단순화함으로써, 저자들은 이 제한된 적응성 모델에서 QMA가 QCMA를 엄격히 포함함을 증명하며, 이러한 조건 하에서 양자 증거가 고전 증거보다 더 강력함을 보여준다.

ABSTRACT

We give an oracle separation between QMA and QCMA for quantum algorithms that have bounded adaptivity in their oracle queries; that is, the number of rounds of oracle calls is small, though each round may involve polynomially many queries in parallel. Our oracle construction is a simplified version of the construction used recently by Li, Liu, Pelecanos, and Yamakawa (2023), who showed an oracle separation between QMA and QCMA when the quantum algorithms are only allowed to access the oracle classically. To prove our results, we introduce a property of relations called \emph{slipperiness}, which may be useful for getting a fully general classical oracle separation between QMA and QCMA.

연구 동기 및 목표

• 제한된 적응성 양자 쿼리 알고리즘의 맥락에서 양자 증거(QMA)가 고전 증거(QCMA)보다 더 강력한가를 규명하는 것.
• 양자 알고리즘이 소수의 쿼리 라운드만 수행하는 더 자연스러운 모델으로 이전의 QMA와 QCMA 사이의 오라클 분리성을 확장하는 것.
• Li 등(2023)이 고전 오라클 액세스 하에서 유사한 분리를 달성한 최근의 구성 방식을 단순화하고 일반화하는 것.
• 관계에서 '미끄러움'의 개념을 도입하여, QMA와 QCMA 사이의 일반적인 고전 오라클 분리성을 증명하는 데 사용할 수 있는 새로운 도구로 삼는 것.

제안 방법

• 저자들은 Yamakawa와 Zhandry의 작업에서 영감을 얻은 관계 문제를 정의하며, 이는 특정한 구조 없이도 양자적 우월성을 보여준다.
• 관계에서 '미끄러움'의 성질을 도입하여, 쿼리 모델에서 양자 증거와 고전 증거를 구별할 수 있는 구조적 특성을 포괄한다.
• 입력 쌍이 오라클 분포의 지지 집합에서 1로 고정되는 수를 제한하기 위해 재귀적 대각선화 방법을 사용하며, 이는 충분한 입력 공간이 여전히 미할당된 상태로 유지되도록 보장한다.
• 오라클에 대한 분포의 시퀀스를 사용하여 점진적으로 부분 할당을 정밀화하고, 양자 알고리즘이 제한된 적응성 하에서 0-입력과 1-입력을 구별할 수 없도록 보장한다.
• 유니터리 시뮬레이션과 트레이스 거리 한계를 활용하여, 두 오라클이 큰 비구조적 입력 집합에서만 다를 경우, 양자 알고리즘이 이를 신뢰성 있게 구별할 수 없다는 것을 보여준다.
• 양자 알고리즘이 두 다른 오라클에 대해 출력 상태 간의 총 변화 거리(총변화거리)를 제한함으로써, QCMA가 문제를 해결할 수 있다면 모순이 발생함을 도출한다.

실험 결과

연구 질문

• RQ1 쿼리 라운드 수가 상수인 제한된 적응성 쿼리 모델에서 QMA는 QCMA를 엄격히 포함하는가?
• RQ2 관계에서의 '미끄러움' 성질이 고전 오라클 모델에서 QMA와 QCMA 사이의 일반적인 오라클 분리성을 구성하는 데 충분한가?
• RQ3 Li 등(2023)의 구성 방식을 제한된 적응성 설정으로 단순화하고 적응시킬 수 있는가, 이로 인해 분리성이 손상되지 않는가?
• RQ4 관계 문제에서의 양자 우월성이 제한된 적응성 하에서 QMA와 QCMA 사이의 분리성을 암시하는가?
• RQ5 이 논문에서 사용된 기법을 표준 고전 오라클 모델에서 QMA와 QCMA 사이의 완전한 오라클 분리성을 증명하는 데 확장할 수 있는가?

주요 결과

• 논문은 제한된 적응성 쿼리 모델에서 QMA와 QCMA 사이에 엄격한 오라클 분리성을 확립하며, 이 조건 하에서 QMA가 QCMA보다 더 강력함을 보여준다.
• 저자들은 관계에서 '미끄러움'의 개념을 도입하여, 쿼리 모델에서 양자 증거와 고전 증거를 구별할 수 있는 구조적 성질을 제공한다.
• 0-입력에 대해 어떤 QCMA 증거도 높은 확률로 성공할 수 없지만, QMA 증거는 중첩과 얽힘을 활용할 수 있기 때문에 성공할 수 있음을 보장한다.
• 오라클 분포에 걸쳐 고정된 입력 쌍의 수는 느리게 증가하며, 2^{o(n)} 이하로 제한되어 있어, 큰 수의 입력이 여전히 미할당된 상태로 유지되며, 이는 분리성에 핵심적이다.
• 증명은 제한된 적응성 하에서 양자 알고리즘이 0-입력과 1-입력을 구별할 수 없음을 보여주며, 이는 QCMA가 문제를 해결할 수 있다면 모순이 발생함을 의미한다.
• 최종적으로, 두 오라클에 대해 양자 알고리즘의 출력 상태 간의 트레이스 거리가 최대 1/10 이하로 제한되며, 이는 0-입력에서의 수용 확률이 1/2를 초과할 수 없음을 암시한다. 이는 QMA의 성공 가정과 모순된다.