[논문 리뷰] Quantum Oracle Classification - The Case of Group Structure

Mark Zhandry|arXiv (Cornell University)|2015. 10. 28.

Quantum Computing Algorithms and Architecture참고 문헌 8인용 수 4

한 줄 요약

이 논문은 아벨 군에 값을 갖는 함수를 출력으로 하는 군 구조를 가진 오라클을 포함하는 광범위한 문제 클래스에 대해 양자 질의 복잡도를 완전히 특성화한다. 함수에 대해 군 준동형사상을 계산하는 것이 목표이며, 성공 확률이 정확히 해야 할 세지 문제에 의해 결정됨을 규명하여, 패리티, 오라클 평가, 다항식 보간 등 결과들을 통합하고, 이러한 설정에서의 양자 질의 복잡도에 대해 날카로운 경계를 제시한다.

ABSTRACT

The Quantum Oracle Classification (QOC) problem is to classify a function, given only quantum black box access, into one of several classes without necessarily determining the entire function. Generally, QOC captures a very wide range of problems in quantum query complexity. However, relatively little is known about many of these problems. In this work, we analyze the a subclass of the QOC problems where there is a group structure. That is, suppose the range of the unknown function A is a commutative group G, which induces a commutative group law over the entire function space. Then we consider the case where A is drawn uniformly at random from some subgroup A of the function space. Moreover, there is a homomorpism f on A, and the goal is to determine f(A). This class of problems is very general, and covers several interesting cases, such as oracle evaluation; polynomial interpolation, evaluation, and extrapolation; and parity. These problems are important in the study of message authentication codes in the quantum setting, and may have other applications. We exactly characterize the quantum query complexity of every instance of QOC with group structure in terms of a particular counting problem. That is, we provide an algorithm for this general class of problems whose success probability is determined by the solution to the counting problem, and prove its exact optimality. Unfortunately, solving this counting problem in general is a non-trivial task, and we resort to analyzing special cases. Our bounds unify some existing results, such as the existing oracle evaluation and parity bounds. In the case of polynomial interpolation and evaluation, our bounds give new results for secret sharing and information theoretic message authentication codes in the quantum setting.

연구 동기 및 목표

• 오라클이 아벨 군 G에 값을 갖는 함수로 매핑되고, 함수 공간 위에서 준동형사상을 계산하는 것이 목표인 문제의 양자 질의 복잡도를 이해하는 것.
• 오라클 평가, 패리티, 다항식 보간과 같은 기존의 양자 질의 복잡도 결과들을 하나의 프레임워크로 통합하고 일반화하는 것.
• 군의 구조에 대한 수의 문제로 문제를 축소시켜 정확한 양자 질의 복잡도 경계를 설정하는 것.
• 비밀 공유 및 메시지 인증 코드와 같은 설정에서 양자 우월성의 한계를 분석하는 것.
• 특정 사례, 예를 들어 제한된 질의 수에서의 다항식 외삽 및 보간에 대해 날카로운 상한과 하한을 제공하는 것.

제안 방법

• 함수 공간을 점별 덧셈에 대해 군으로 모델링하며, 공역은 유한 아벨 군 G이다.
• 오라클 A가 함수 공간의 부분군 A에서 균일하게 랜덤하게 선택되고, A 위에서 정의된 준동형사상 f에 대해 f(A)를 계산하는 것이 목표이다.
• 양자 알고리즘의 성공 확률을 유한체 위에서 선형 방정식계의 해를 세는 문제로 축소한다.
• 선형 대수학, 특히 유한체 위의 선형 대수학과 바르단드 행렬의 성질을 사용하여 준동형사상의 서로 다른 출력 수를 분석한다.
• 쌍대성과 대칭성 원리를 적용하여, 서로 다른 z-값(출력)의 수가 양자 알고리즘의 성공 확률과 정확히 일치함을 보여준다.
• 명시적인 오라클 구성 방법을 사용하여 하한 경계가 달성됨을 보여주는 구성적 접근을 취한다.

실험 결과

연구 질문

• RQ1 함수 공간의 부분군 A에서 균일하게 선택된 A에 대해, A가 아벨 군 G로 매핑되는 경우, 준동형사상 f를 계산하는 데 필요한 정확한 양자 질의 복잡도는 무엇인가?
• RQ2 양자 질의 복잡도가 군 G의 구조와 준동형사상 f에 따라 어떻게 달라지는가?
• RQ3 패리티, 오라클 평가, 다항식 보간과 같은 문제에 대해, 양자 알고리즘의 성공 확률이 정확히 어떤 수의 문제로 특성화될 수 있는가?
• RQ4 Z2에서의 패리티에 대한 양자 가속(요소 2배)이 비이진 군으로 일반화될 수 있으며, 이는 군 크기에 따라 어떻게 변하는가?
• RQ5 질의 수가 제한되고 다항식 차수가 질의 수를 초과할 경우, 다항식 외삽 및 보간에 대해 날카로운 경계는 무엇인가?

주요 결과

• 군 구조를 가진 QOC 문제에 대해 어떤 양자 알고리즘의 성공 확률은 정확히 유한체 위에서의 수의 문제의 서로 다른 해의 수에 의해 결정되며, 이것이 특성화의 核심이다.
• 다항식 외삽에서 d = 2q - 1인 경우, 최대 성공 확률은 최대 (|F| - 1)/q이며, 이 경계는 q가 |F| - 1를 나누면 정확히 달성된다.
• d < 2q - 1일 경우, 다항식은 높은 확률로 여전히 보간 가능하며, 성공 확률은 최소 1 - ((d/2 + 1)! + d + 1)/|F| 이상을 확보한다.
• Z2에서 패리티의 경우, 완벽한 성공을 위해 필요한 양자 질의 복잡도는 정확히 ⌈|X|/2⌉이며, 이는 최적이다.
• N개의 출력을 갖는 오라클 평가의 경우, N이 상수일 때 성공 확률은 k에 대해 상수 배수로 제한되지만, N ≫ k일 경우 O(k/N)로 감소하여 이 영역에서는 제한된 양자 우월성이 나타난다.
• 결과들은 오라클 평가, 패리티, 다항식 보간에 대한 이전의 경계를 통합하고 일반화하며, 이들이 모두 동일한 기초적인 수의 문제의 특수한 경우임을 보여준다.