[논문 리뷰] Exact quantum query complexity of weight decision problems.

Xiaoyu He, Xiaoming Sun외 2명|arXiv (Cornell University)|2018. 01. 17.

Quantum Computing Algorithms and Architecture참고 문헌 32인용 수 3

한 줄 요약

이 논문은 체비셰프 다항식과 새로운 양자 패딩 기법을 도입함으로써 가중치 결정 문제의 정확한 양자 질의 복잡도를 규명한다. 길이 $ n $ 인 이진 문자열의 해밍 무게가 $ k $ 또는 $ l $인지를 구분하는 문제에 대해, 대부분의 $ (k/n, l/n) $ 비율과 큰 $ n $ 에서는 상한과 하한이 최대 한 개의 질의 이내로 다름으로써 정확한 질의 복잡도가 밀도 있게 특성화된다.

ABSTRACT

The weight decision problem, which requires to determine the Hamming weight of a given binary string, is a natural and important problem, with applications in cryptanalysis, coding theory, fault-tolerant circuit design and so on. In particular, both Deutsch-Jozsa problem and Grover search problem can be interpreted as special cases of weight decision problems. In this work, we investigate the exact quantum query complexity of weight decision problems, where the quantum algorithm must always output the correct answer. More specifically we consider a partial Boolean function which distinguishes whether the Hamming weight of the length-$n$ input is $k$ or it is $l$. Our contribution includes both upper bounds and lower bounds for the precise number of queries. Furthermore, for most choices of $(\frac{k}{n},\frac{l}{n})$ and sufficiently large $n$, the gap between our upper and lower bounds is no more than one. To get the results, we first build the connection between Chebyshev polynomials and our problem, then determine all the boundary cases of $(\frac{k}{n},\frac{l}{n})$ with matching upper and lower bounds, and finally we generalize to other cases via a new \emph{quantum padding} technique. This quantum padding technique can be of independent interest in designing other quantum algorithms.

연구 동기 및 목표

• 길이 $ n $ 인 비트 문자열에서 해밍 무게가 $ k $ 또는 $ l $인지 구분하는 부분 부울 함수의 정확한 양자 질의 복잡도를 결정하는 것.
• 가중치 결정 문제의 질의 복잡도에 대한 기존 상한과 하한 사이의 격차를 줄이는 것.
• 충분히 큰 $ n $ 에서 대부분의 $ (k/n, l/n) $ 비율에 대해 날카러진 경계를 설정하는 것.
• 경계 사례를 초월해 일반적인 $ (k/n, l/n) $ 비율로 결과를 일반화하기 위해 새로운 양자 패딩 기법을 도입하고 적용하는 것.

제안 방법

• 가중치 결정 문제와 체비셰프 다항식의 성질 사이의 수학적 연결 고리를 설정하는 것.
• 상한과 하한이 정확히 일치하는 모든 경계 사례 $ (k/n, l/n) $ 를 식별하고 해결하는 것.
• 양자 패딩 기법을 사용해 경계 사례의 해를 일반적인 $ (k/n, l/n) $ 비율으로 확장하는 것.
• 항상 정확한 답을 반환하는 정확한 양자 알고리즘을 구성하기 위해 양자 알고리즘 기법을 적용하는 것.
• 체비셰프 다항식에서 유도된 스펙트럼 방법과 다항식 차수 경계를 사용해 질의 복잡도를 분석하는 것.
• 직교 다항식의 渐近적 행동과 문제의 구조적 분석을 결합하여 날카러진 경계를 증명하는 것.

실험 결과

연구 질문

• RQ1 해밍 무게가 $ k $ 또는 $ l $인 $ n $-비트 문자열을 확실히 구분하기 위해 필요한 정확한 양자 질의 수는 얼마인가?
• RQ2 기존 기법을 사용해 정확한 질의 복잡도를 정확히 규명할 수 있는 $ (k/n, l/n) $ 비율은 어떤 것인가?
• RQ3 가중치 결정 문제의 상한과 하한 사이의 격차는 어떻게 최소화하거나 제거할 수 있는가?
• RQ4 경계 사례에서의 정확한 질의 복잡도 결과를 임의의 $ (k/n, l/n) $ 비율으로 일반화하기 위한 일반적인 방법을 개발할 수 있는가?
• RQ5 정확성과 날카러운 경계를 달성하기 위해 사용할 수 있는 새로운 양자 알고리즘 기법은 무엇인가?

주요 결과

• 대부분의 $ (k/n, l/n) $ 비율과 충분히 큰 $ n $ 에서 정확한 양자 질의 복잡도의 상한과 하한 사이 격차는 최대 한 개의 질의 이내이다.
• 상한과 하한이 정확히 일치하는 모든 경계 사례 $ (k/n, l/n) $ 에 대해 정확한 질의 복잡도가 완전히 특성화되어 있다.
• 양자 패딩 기법은 경계 사례에서의 정확한 결과를 일반적인 $ (k/n, l/n) $ 비율으로 일반화할 수 있게 하며, 날카러운 경계를 유지한다.
• 체비셰프 다항식과 가중치 결정 문제 사이의 연결 고리는 질의 경계를 유도하기 위한 강력한 분석 프레임워크를 제공한다.
• 결과는 드류드-조자 및 그로버 검색 문제들이 더 일반적인 가중치 결정 문제 프레임워크의 특수한 사례임을 보여준다.
• 본 연구는 가중치 결정 문제의 정확한 양자 질의 복잡도가 광범위한 매개변수 영역에서 날카러진 경계를 가짐을 규명한다.