[논문 리뷰] A Survey of Quantum Property Testing

Ashley Montanaro, Ronald de Wolf|arXiv (Cornell University)|2013. 10. 08.

Quantum Mechanics and Applications참고 문헌 139인용 수 48

한 줄 요약

이 종합적 서베이는 양자 성질 테스팅을 세 영역으로 분류하여 포괄적인 개요를 제공한다: 고전적 성질을 위한 양자 테스터(예: 쇼어 또는 시몬 알고리즘을 이용한 지수적 속도 향상), 양자 물체를 위한 고전적 테스터(예: 자기 테스팅 양자 게이트), 그리고 양자 성질을 위한 양자 테스터(예: 상태 동일성, 분리 가능성 또는 유니타리 교환성 테스팅). 주요 기여는 기존 결과들을 통합하고 체계화하는 것으로, 양자 복잡도 이론 분야의 열린 문제들과 양자 성질 테스팅이 양자 PCP 정리 증명에 기여할 잠재적 역할을 부각시킨다.

ABSTRACT

The area of property testing tries to design algorithms that can efficiently handle very large amounts of data: given a large object that either has a certain property or is somehow "far" from having that property, a tester should efficiently distinguish between these two cases. In this survey we describe recent results obtained for quantum property testing. This area naturally falls into three parts. First, we may consider quantum testers for properties of classical objects. We survey the main examples known where quantum testers can be much (sometimes exponentially) more efficient than classical testers. Second, we may consider classical testers of quantum objects. This is the situation that arises for instance when one is trying to determine if quantum states or operations do what they are supposed to do, based only on classical input-output behavior. Finally, we may also consider quantum testers for properties of quantum objects, such as states or operations. We survey known bounds on testing various natural properties, such as whether two states are equal, whether a state is separable, whether two operations commute, etc. We also highlight connections to other areas of quantum information theory and mention a number of open questions.

연구 동기 및 목표

• 세 영역으로 나누어 진전 중인 양자 성질 테스팅 분야를 체계화하고 서베이하는 것: 고전적 물체를 위한 양자 테스터, 양자 시스템을 위한 고전적 테스터, 양자 물체를 위한 양자 테스터.
• 특정 문제들—예를 들어 점프, 군 이론적 성질, 함수 대칭성—에 대해 고전적 성질 테스터보다 지수적 또는 상당한 속도 향상을 달성하는 양자 알고리즘을 식별하고 분석하는 것.
• 양자 성질 테스팅과 더 넓은 양자 복잡도 이론 간의 연결 고리를 탐색하는 것—예를 들어 양자 PCP 추측과 QMA(k) = QMA(2)와 같은 복잡도 클래스 포함 관계의 의미.
• 특히 효율적인 양자 테스터를 갖는 성질을 특정하는 것과 고전적 성질 테스팅 개념을 양자 영역으로 확장하는 데 있어 열린 문제들과 연구 방향을 부각하는 것.

제안 방법

• 양자 성질 테스팅을 세 주요 설정으로 분류함: 고전적 물체를 위한 양자 테스터, 양자 시스템을 위한 고전적 테스터, 양자 물체를 위한 양자 테스터.
• 쿼리 복잡도를 효율적으로 구성하기 위한 기초 도구로 앰플리튜드 강화, 버니스타인-바지라니, 시몬, 쇼어, 암바인스의 알고리즘과 같은 주요 양자 알고리즘을 검토함.
• 다항식 및 적대자 방법을 적용하여 양자 성질 테스터의 쿼리 복잡도에 하한을 도출함으로써 가능한 속도 향상의 한계를 설정함.
• 거리 측정법(예: 트레이스 거리, 허점도)을 사용하여 양자 상태 및 과정 테스팅에서 '유사성'과 '이질성'을 수학적으로 정의함으로써 테스터 성능의 엄밀한 분석을 가능하게 함.
• 양자 게이트 및 유니타리 연산의 자기 테스팅 프로토콜을 분석함—완전한 상태 톰오그래피 없이도 고전적 입력-출력 행동을 기반으로 양자 연산을 검증함.
• 양자 복잡도 이론과의 연결 고리를 탐색함—예를 들어 QMA(k) = QMA(2)와 같은 복잡도 클래스 등가성 증명에 양자 성질 테스터를 활용하고, 양자 PCP 추측에 대한 함의를 논의함.

실험 결과

연구 질문

• RQ1 양자 알고리즘이 점프, 대칭성 또는 군 이론적 함수와 같은 자연스러운 고전적 성질에 대해 고전적 성질 테스터보다 지수적 속도 향상을 달성할 수 있는가?
• RQ2 고전적 입력-출력 행동을 어떻게 활용하여 양자 연산이나 상태의 정확성을 검증할 수 있는가—즉, 양자 장치에 대한 고전적 자기 테스팅의 한계는 무엇인가?
• RQ3 등가성, 분리 가능성 또는 제품 구조와 같은 양자 상태의 기본 성질을 테스팅하기 위한 양자 쿼리 복잡도는 무엇인가?
• RQ4 양자 성질 테스터가 양자 복잡도 이론적 추측, 예를 들어 양자 PCP 추측을 증명하거나 뒷받침하는 데 얼마나 활용될 수 있는가?
• RQ5 어떤 양자 또는 고전적 성질의 클래스들이 효율적인 양자 테스터를 갖는가? 그리고 이러한 성질을 일반적으로 특성화할 수 있는가?

주요 결과

• 베르니스타인-바지라니 및 시몬 알고리즘을 활용하여 점프, 대칭 함수, 특정 군 이론적 성질과 같은 성질에 대해 양자 테스터가 고전적 테스터보다 지수적 속도 향상을 달성함.
• 양자 게이트 및 유니타리에 대해 자기 테스팅 프로토콜이 존재함—고전적 입력과 출력 관측만으로도 양자 연산을 검증할 수 있으며, 장치 독립적 양자 계산에 적용 가능함.
• 양자 상태를 위한 양자 테스터는 고정된 순수 상태와의 동일성, 제품 구조, 유니타리 불변 성질 등을 효율적으로 테스팅할 수 있으며, 일반적으로 쿼리 복잡도가 시스템 크기의 로그 비례로 증가함.
• 유니타리 연산에 대해서는 양자 테스터가 교환성, 파울리 또는 클리포드 군에 속하는지 여부, 그리고 유니타리 점프인지 여부를 테스팅할 수 있으며, 복잡도가 시스템 크기와 독립적인 경우가 많음.
• 양자 성질 테스터 분석은 QMA(k) = QMA(2) 증명과 같은 주요 복잡도 이론적 결과에 기여함으로써, 양자 복잡도 이론에서의 기초적 역할을 입증함.
• 양자 PCP 추측은 여전히 열려 있으나, 양자 성질 테스팅이 이를 증명하는 데 길을 열 수 있으며, 이는 고전적 성질 테스터가 고전적 PCP 정리 증명에 기여한 것과 유사함.