[논문 리뷰] Efficient Quantum Algorithm for Hidden Quadratic and Cubic Polynomial Function Graphs

Thomas Decker, Paweł Wocjan|ArXiv.org|2007. 03. 21.

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

한 줄 요약

이 논문은 유한체 위의 숨겨진 이차 및 삼차 다항함수를 식별하기 위한 효율적인 양자 알고리즘을 제시한다. 문제를 양자 상태 식별 문제로 환원함으로써, 일정한 성공 확률과 다항로그 스케일링 쿼리 복잡도를 달성하며, 이는 필드 크기 p에 대해 다항식 쿼리가 필요한 고전적 방법에 비해 상당한 양자 가속을 제공한다.

ABSTRACT

We introduce the Hidden Polynomial Function Graph Problem as a natural generalization of an abelian Hidden Subgroup Problem (HSP) where the subgroups and their cosets correspond to graphs of linear functions over the finite field F_p. For the Hidden Polynomial Function Graph Problem the functions are not restricted to be linear but can also be multivariate polynomial functions of higher degree. For a fixed number of indeterminates and bounded total degree the Hidden Polynomial Function Graph Problem is hard on a classical computer as its black box query complexity is polynomial in p. In contrast, this problem can be reduced to a quantum state identification problem so that the resulting quantum query complexity does not depend on p. For univariate polynomials we construct a von Neumann measurement for distinguishing the states. We relate the success probability and the implementation of this measurement to certain classical problems involving polynomial equations. We present an efficient algorithm for hidden quadratic and cubic function graphs by establishing that the success probability of the measurement is lower bounded by a constant and that it can be implemented efficiently.

연구 동기 및 목표

• 다항식의 차수를 높인 다변수 다항함수를 포함하는 아벨리안 숨겨진 부분군 문제(HSP)를 일반화하기 위해.
• 고전적 컴퓨터에서 숨겨진 다항함수 그래프를 식별하는 데 있어서 필드 크기 p에 대해 다항식 쿼리가 필요한 계산의 난이도를 다루기 위해.
• 쿼리 복잡도가 p에 독립적인 숨겨진 다항함수 그래프 문제를 해결하는 양자 알고리즘을 개발하기 위해.
• 상태 구별 가능성과 측정 성공 확률을 분석함으로써 일변수 이차 및 삼차 다항함수에 대한 효율적인 양자 알고리즘을 수립하기 위해.

제안 방법

• 표준 HSP 기법을 사용하여 숨겨진 다항함수 그래프 문제를 양자 상태 식별 문제로 환원하기 위해.
• 일변수 다항함수에 해당하는 양자 상태를 구별하기 위한 본 네만 측정을 구성하기 위해.
• 측정의 성공 확률을 특정 고전적 다항방정식의 가역성과 연관시키기 위해.
• 부크버거 알고리즘과 그로버 기반 기법을 사용하여 비정규 케이스를 분석하고 대수계의 해의 수를 유계화하기 위해.
• 이차 및 삼차 일변수 다항함수의 경우, 측정의 성공 확률가 일정값 이상으로 하한이 있음을 증명하기 위해.
• 대수기하학 및 다항식계 해법을 이용하여 측정이 효율적으로 구현될 수 있음을 보여주기 위해.

실험 결과

연구 질문

• RQ1 유한체 위의 비선형, 다변수 다항함수를 포함하는 숨겨진 부분군 문제를 일반화할 수 있는가?
• RQ2 숨겨진 다항함수 그래프를 식별하는 데 있어 양자 쿼리 복잡도는 고전적 쿼리 복잡도에 비해 어떻게 다른가?
• RQ3 양자 상태의 구별 가능성은 어떻게 활용되어 숨겨진 다항함수 그래프 문제를 효율적으로 해결할 수 있는가?
• RQ4 이차 및 삼차 다항함수에 해당하는 상태를 구별하기 위한 양자 측정의 성공 확률은 얼마인가?
• RQ5 기저 대수계의 복잡성에도 불구하고, 일변수 이차 및 삼차 다항함수에 대해 효율적인 양자 알고리즘을 구성할 수 있는가?

주요 결과

• 숨겨진 다항함수 그래프 문제의 고전적 쿼리 복잡도는 p에 대해 다항식이므로, 큰 필드에서는 고전적으로 해결하기 어려운 문제이다.
• 양자 쿼리 복잡도는 p에 독립적이며, 고정 차수의 다항함수에 대해 p에 대해 다항로그 스케일링을 달성한다.
• 일변수 이차 및 삼차 다항함수의 경우, 양자 측정의 성공 확률는 일정값 이상으로 하한이 보장되어 신뢰성 있는 식별이 가능하다.
• 대수기하학 기법(그로버 기반 계산 및 다항식계 해법 포함)을 사용하여 측정이 효율적으로 구현될 수 있다.
• 관련 대수계의 해의 수는 유계되어 있으며(최대 10개 이내), 비정규 케이스의 처리 가능성 보장된다.
• 상수 성공 확률와 효율적인 구현을 갖는 상태 식별로 문제를 환원함으로써, 알고리즘이 양자 가속을 제공한다.