[논문 리뷰] Oracle Separations for Quantum Statistical Zero-Knowledge

Sanketh Menda, John Watrous|arXiv (Cornell University)|2018. 01. 26.

Cryptography and Data Security참고 문헌 26인용 수 6

한 줄 요약

이 논문은 오ракูล에 대해 양자 통계적 제로지식(QSZK)이 UP ∩ coUP을 포함하지 않음을 보여주는 오라클 분리 결과를 제시하며, 랜덤 오라클에 대해 확률 1로 QSZK는 UP을 포함하지 않는다. 이 결과들은 상대화된 양자 회로에서 출력 상태 식별을 위한 양자 적대자 방법의 경계를 확장하여, 상대화된 환경에서 QSZK의 능력을 제한하는 데 기반한다. 이는 Ben-David와 Kothari의 기법을 확장한 것이다.

ABSTRACT

This paper investigates the power of quantum statistical zero knowledge interactive proof systems in the relativized setting. We prove the existence of an oracle relative to which quantum statistical zero-knowledge does not contain UP intersect coUP, and we prove that quantum statistical zero knowledge does not contain UP relative to a random oracle with probability 1. Our proofs of these statements rely on a bound on output state discrimination for relativized quantum circuits based on the quantum adversary method of Ambainis, following a technique similar to one used by Ben-David and Kothari to prove limitations on a query complexity variant of quantum statistical zero-knowledge.

연구 동기 및 목표

• 상대화된 복잡도 이론에서 양자 통계적 제로지식(QSZK)의 한계를 조사하는 것.
• 오라클이 존재하는 상황에서 QSZK가 UP ∩ coUP 또는 UP과 같은 클래스를 포함하는지 여부를 판단하는 것.
• QSZK가 상대화된 설정 하에서 UP ∩ coUP 및 UP보다 엄격히 약한지를 입증하는 것.
• 양자 적대자 방법을 상대화된 양자 회로에서 출력 상태 식별을 분석할 수 있도록 확장하는 것.

제안 방법

• 저자들은 Ambainis의 양의 가중치 양자 적대자 방법을 사용하여 상대화된 양자 회로에서 출력 상태의 구별 가능성에 대한 경계를 설정한다.
• 오라클을 쿼리하는 양자 회로의 출력 상태 간의 트레이스 거리 분석을 수행하며, 이는 피델리티와 관련지어지고 Fuchs-van de Graaf 부등식을 활용한다.
• 오라클 쿼리에 기반한 언어 L(A)를 구성하며, 0^n의 소속 여부는 오라클 블랙박스에 대한 회로의 행동에 의해 결정된다.
• 확률적 추론을 사용: 랜덤 오라클에 대해, 임의의 다항식 시간 균일한 양자 회로 가족은 L(A)를 정확히 결정하지 못할 확률이 1이다. 이는 조화급수 유사한 급수의 발산에 기인한다.
• 분석 결과, 소수의 쿼리를 수행하는 회로는 특정 오라클 집합을 충분한 피델리티로 구별할 수 없으며, 이로 인해 일정 확률로 잘못된 결정을 내린다.
• 두 번째 Borel–Cantelli 보조정리를 적용하여, 어떤 회로 가정도 무한히 많은 입력에 대해 L(A)를 정확히 계산할 수 없음을 증명하며, 이는 L(A) ∉ QSZK^A 이며 확률 1로 성립함을 의미한다.

실험 결과

연구 질문

• RQ1 어떤 오라클에 대해 QSZK는 UP ∩ coUP을 포함하는가?
• RQ2 랜덤 오라클에 대해 QSZK는 UP을 포함하는가? 확률 1로 성립하는가?
• RQ3 양자 적대자 방법을 사용하여 상대화된 양자 회로에서 출력 상태 식별을 경계할 수 있는가?
• RQ4 특히 UP에 속하는 문제를 결정하는 능력 측면에서, 오라클이 존재할 경우 QSZK의 한계는 무엇인가?
• RQ5 양자 회로가 오라클 집합을 구별하지 못하는 것은 상대화된 세계에서 QSZK와 UP 사이의 엄격한 분리로 이어지는가?

주요 결과

• 어떤 오라클 A가 존재하여 UP ∩ coUP가 QSZK^A에 포함되지 않음을 보여주며, 이는 상대화된 분리를 입증한다.
• 랜덤 오라클에 대해 확률 1로 UP가 QSZK^A에 포함되지 않으며, 이는 QSZK가 랜덤 오라클 모델에서 UP보다 엄격히 약하다는 것을 보여준다.
• 임의의 다항식 시간 균일한 양자 회로 가정이 구성된 언어 L(A)를 정확히 결정하지 못할 실패 확률은 각 입력 길이 n에 대해 최소 1/(3n) 이상이다.
• 급수 ∑(1/(3n))의 발산은, 무한히 많은 입력이 랜덤 오라클 하에서 확률 1로 잘못 결정됨을 의미한다.
• 양자 적대자 방법은 출력 상태 식별 가능성에 대해 충분히 날카로운 경계를 제공하여, 어떤 회로 가정도 L(A)의 정확한 계산을 불가능하게 한다.
• 결과적으로 QSZK는 심지어 상대화된 설정에서도 UP 또는 UP ∩ coUP에 속하는 문제를 포괄할 수 없으며, 이는 양자 통계적 제로지식의 본질적 한계를 드러낸다.