[논문 리뷰] Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?

Hirotada Kobayashi, Keiji Matsumoto외 1명|ArXiv.org|2003. 06. 06.

Quantum Computing Algorithms and Architecture인용 수 7

한 줄 요약

이 논문은 다수의 얽히지 않은 양자 증명을 가진 양자 멜린-아서 증명 체계를 조사하며, 증명 수를 두 개로 줄일 수 있는 필요 및 충분 조건을 규명한다. 완전한 타당성의 경우, 다수의 양자 증명은 단일 증명이 제공하는 것 이상의 아서의 검증 능력을 향상시키지 못하며, 이는 양자 얽힘 제약으로 인해 고전적 다중증명 체계와 근본적인 차이를 보임을 시사한다.

ABSTRACT

This paper introduces quantum ``multiple-Merlin''-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical multi-proof systems are obviously equivalent to classical single-proof systems (i.e., usual Merlin-Arthur proof systems), it is unclear whether or not quantum multi-proof systems collapse to quantum single-proof systems (i.e., usual quantum Merlin-Arthur proof systems). This paper presents a necessary and sufficient condition under which the number of quantum proofs is reducible to two. It is also proved that, in the case of perfect soundness, using multiple quantum proofs does not increase the power of quantum Merlin-Arthur proof systems.

연구 동기 및 목표

• 양자 멜린-아서 체계에서 다수의 얽히지 않은 양자 증명이 단일 양자 증명보다 계산적 이점이 있는지 조사하기.
• 증명 수를 두 개로 줄일 수 있는 조건을 규명하기.
• 양자 검증에서 텐서 곱 상태와 얽힌 상태를 구별하는 데 있어 얽힘과 측정 제약 조건의 역할을 명확히 하기.
• 완전한 타당성 하에서 QMA(k)가 k개의 양자 증명을 가질 때 QMA(2) 또는 QMA로 붕괴되는지 여부를 조사하기.
• 고전적 체계에서 다수의 증명이 단일 증명과 동일한 반면, 양자 다중증명 체계가 단일 증명 체계보다 더 강력한지 여부와 같은 기초적 질문을 다루기.

제안 방법

• k개의 얽히지 않은 양자 증명을 가진 양자 멜린-아서 증명 체계를 도입하며, 다항 시간 양자 검증자가 k개의 양자 증명을 검증할 수 있는 문제의 집합을 QMA(k)로 정의한다.
• 분리 가능한 상태(순수 상태의 텐서 곱)와 얽힌 상태를 구별하기 위해 양성 연산자값 측정(POVM)을 사용한 검증 과정을 분석한다.
• 두 양자 상태를 구별할 때의 오차 확률을 유계로 삼기 위해 최소-최대 최적화 프레임워크를 적용한다: 하나는 분리 가능한 상태의 집합에 속하고, 다른 하나는 모든 분리 가능한 상태와의 유사도가 제한된 상태 집합에 속한다.
• d차원 힐베르트 공간 내에서 최대한 얽힌 상태와 곱 상태에 대해 균일한 사전 확률을 적용하여 대칭적인 구별 문제를 구성한다.
• 모든 곱 상태의 평균과 모든 최대 얽힘 상태의 평균이 모두 최대 혼합 상태를 생성함을 이용하여, 어떤 POVM도 이들을 신뢰성 있게 구별할 수 없음을 보인다.
• 모든 ε ≤ 1 − 2−n/2에 대해, 균일한 사전 확률 하에서 임의의 곱 상태와 임의의 최대 얽힘 상태를 구별하는 데 있어 어떤 POVM도 랜덤 추측을 초월할 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 양자 멜린-아서 체계에서 다수의 얽히지 않은 양자 증명이 단일 양자 증명보다 더 많은 계산 능력을 제공할 수 있는가?
• RQ2 k-검증자 양자 멜린-아서 체계가 2-검증자 체계로 줄일 수 있는 조건은 무엇인가?
• RQ3 양자 상태의 국소성 부재와 측정 제약 조건으로 인해 고전적 체계와 양자 다중증명 체계 사이에 근본적인 차이가 존재하는가?
• RQ4 완전한 타당성이 다수의 양자 증명이 단일 증명보다 유리한 영향을 차단하는가?
• RQ5 이중 시스템에서 임의의 곱 상태와 임의의 최대 얽힘 상태를 효과적으로 구별할 수 있는 어떤 POVM도 존재하는가?

주요 결과

• QMA(k) 체계에서 증명 수를 두 개로 줄일 수 있는 필요 및 충분 조건이 규명되었다.
• 완전한 타당성의 경우, 다수의 양자 증명은 단일 양자 증명이 가능로 하는 것 이상의 검증 능력을 아서에게 제공하지 않는다.
• 모든 ε ≤ 1−2−n/2에 대해, 2n-qubit 시스템에서 균일한 사전 확률 하에 임의의 곱 상태와 임의의 최대 얽힘 상태를 구별할 때, 어떤 POVM도 랜덤 추측을 초월할 수 없다. 이는 모든 곱 상태에 대한 유사도가 1−ε 이하로 제한된 경우에 해당한다.
• d×d 시스템에서 모든 곱 상태의 평균과 모든 최대 얽힘 상태의 평균이 모두 최대 혼합 상태를 생성하므로, 어떤 측정도 이를 구별할 수 없다.
• 단일 알려지지 않은 상태로부터 텐서 곱의 구조를 감지할 수 없는 것은, 아서가 표준 전처리를 통해 단일 증명으로 다수의 증명을 효율적으로 시뮬레이션할 수 없음을 시사한다.
• 이 결과는 이전에 상수 k에 대해서만 성립했던 결과를 다항식적으로 유계된 k에까지 확장하며, 성공 확률 강화에 의존하지 않는다는 점에서 이전의 컆ference 버전보다 개선되었다.