[논문 리뷰] Quantum Certificate Verification: Single versus Multiple Quantum Certificates

Hirotada Kobayashi, Keiji Matsumoto외 1명|ArXiv.org|2001. 10. 01.

Quantum Computing Algorithms and Architecture참고 문헌 18인용 수 11

한 줄 요약

이 논문은 양자 검증자가 k개의 양자 증거를 텐서 곱 형태로 사용하는 양자 복잡도 클래스 QMA(k)를 도입하며, 얽힌 상태의 양자 불가구분성으로 인해 QMA(2)가 QMA(1)보다 엄격히 더 강력하다는 것을 보여준다. 또한, k ≥ 2인 경우 한쪽 오차가 있는 QMA(k) 프로토콜로 표현할 수 있는 모든 언어가 QMA(2) 프로토콜로 시뮬레이션 가능하다는 것을 증명하여, 유한한 수의 증거가 있을 경우 두 개의 증거로도 그 능력을 포괄할 수 있음을 보여준다.

ABSTRACT

The class MA consists of languages that can be efficiently verified by classical probabilistic verifiers using a single classical certificate, and the class QMA consists of languages that can be efficiently verified by quantum verifiers using a single quantum certificate. Suppose that a verifier receives not only one but multiple certificates. In the classical setting, it is obvious that a classical verifier with multiple classical certificates is essentially the same with the one with a single classical certificate. However, in the quantum setting where a quantum verifier is given a set of quantum certificates in tensor product form (i.e. each quantum certificate is not entangled with others), the situation is different, because the quantum verifier might utilize the structure of the tensor product form. This suggests a possibility of another hierarchy of complexity classes, namely the QMA hierarchy. From this point of view, we extend the definition of QMA to QMA(k) for the case quantum verifiers use k quantum certificates, and analyze the properties of QMA(k). To compare the power of QMA(2) with that of QMA(1) = QMA, we show one interesting property of ``quantum indistinguishability''. This gives a strong evidence that QMA(2) is more powerful than QMA(1). Furthermore, we show that, for any fixed positive integer $k \geq 2$, if a language L has a one-sided bounded error QMA(k) protocol with a quantum verifier using k quantum certificates, L necessarily has a one-sided bounded error QMA(2) protocol with a quantum verifier using only two quantum certificates.

연구 동기 및 목표

• QMA(k)라는 복잡도 클래스를 체계화하고 분석하여, QMA를 k개의 얽히지 않은 양자 증거를 포함하도록 확장한다.
• 여러 개의 양자 증거가 양자 검증에서 단일 증거보다 더 많은 계산 능력을 제공하는지 조사한다.
• 다양한 k에 대해 QMA(k) 간의 관계를 규명하며, 특히 k ≥ 2인 경우 QMA(k)가 QMA(2)로 붕괴되는지 여부를 밝힌다.
• 한쪽 오차가 있는 조건에서, 양자 상태의 텐서 곱 구조를 탐지하는 데 있어 C-SWAP 알고리즘의 최적성을 확립한다.

제안 방법

• QMA를 일반화하여 QMA(k)를 도입하며, 양자 검증자가 다항 시간 내에 수행 가능한 양자 연산을 사용해 k개의 얽히지 않은 양자 증거를 검증한다.
• 상태가 어떤 균일한 상태로부터의 가까움을 정의하기 위해 충성도 측정 F(ρ,σ)를 사용하며, 이는 불가구분성 결과의 기초가 된다.
• 두 하위계 사이에 상태가 균일한 상태인지 확인하기 위해 C-SWAP 테스트를 핵심 측정 전략으로 적용한다.
• C-SWAP 알고리즘이 한쪽 오차 검증에서 균일한 상태를 최적의 POVM으로 실현하며, 거짓 긍정을 최소화함을 증명한다.
• 대칭 기반의 사영 연산자 P_sym을 사용해 대칭 상태의 공간을 정의하며, 이는 최적성 증명의 기초가 된다.
• 증거 간의 얽힘 없음을 활용하여, 세 개의 증거를 텐서 곱 구조를 통해 두 개로 압축함으로써 QMA(3) 프로토콜을 QMA(2) 프로토콜로 감소시킨다.

실험 결과

연구 질문

• RQ1 여러 개의 양자 증거가 텐서 곱 구조를 활용할 수 있다면, QMA(2)는 QMA(1)보다 엄격히 더 강력한가?
• RQ2 k ≥ 2인 경우, QMA(k) 프로토콜은 한쪽 오차가 있는 QMA(2) 프로토콜로 시뮬레이션 가능한가?
• RQ3 균일한 상태와 최대 얽힘 상태를 한쪽 오차로 구분하기 위한 최적의 양자 측정은 무엇인가?
• RQ4 세 부분으로 나누어진 상태가 두 부분으로 분해 가능함을 검증할 때, C-SWAP 알고리즘이 최소 오차 확률을 달성하는가?
• RQ5 증거가 얽히지 않았지만 사전에 증인 간의 얽힘이 존재할 경우, QMA(k)의 능력은 어떻게 영향을 받는가?

주요 결과

• 논문은 강력한 양자 불가구분성 결과를 확립한다: 임의의 ε ≤ 1 − 2−n/2에 대해, 어떤 양자 측정도 균일한 상태와 최대 얽힌 상태를 그 이상의 비트 성공 확률로 구분할 수 없다.
• QMA(2)는 QMA(1)보다 엄격히 더 강력하다. 균일한 상태와 극도로 얽힌 상태를 구분하는 문제는 단일 증거로는 해결 불가능하지만, 두 개의 증거로는 해결 가능함을 보여준다.
• k ≥ 2인 경우 한쪽 오차가 있는 QMA(k) 프로토콜로 표현할 수 있는 모든 언어는 한쪽 오차가 있는 QMA(2) 프로토콜로 시뮬레이션 가능하며, 이는 이러한 경우 QMA(k)가 QMA(2)로 붕괴됨을 의미한다.
• C-SWAP 알고리즘은 한쪽 오차 검증에서 균일한 상태를 최적의 POVM으로 실현하며, 가능한 최소 오차 확률을 달성한다.
• 균일한 구조를 탐지하기 위한 최적의 측정은 M₀ = I ⊗ P_sym로, 이는 두 하위계의 대칭 부분공간에 사영하는 것으로, 한쪽 오차 조건에서 필요하고도 충분하다.
• 증명은 C-SWAP 기반 전략보다 낮은 거짓 긍정 오차를 달성할 수 있는 측정이 존재하지 않음을 보여주며, 이는 한쪽 오차 설정에서의 최적성 확인한다.