[논문 리뷰] Characterizations of symmetrically partial Boolean functions with exact quantum query complexity

Daowen Qiu, Shenggen Zheng|arXiv (Cornell University)|2016. 03. 21.

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

한 줄 요약

이 논문은 정확한 양자 질의 복잡도를 갖는 대칭 부분 부울 함수의 완전한 특성화를 제공하며, 약속 문제 $DJ_n^k$에 대해 최적의 $(k+1)$-질의 양자 알고리즘을 제안한다. 정확한 양자 1질의 복잡도가 발생하는 것은 디퓨즈-조자 알고리즘으로 계산 가능한 함수일 때에만이며, $n$ 이가 홀수일 경우 $\lfloor n/2\rfloor, \lceil n/2\rceil$의 해밍 무게를 $\{0,n\}$에서 구별하기 위한 최적의 2질의 알고리즘을 확립한다.

ABSTRACT

We give and prove an optimal exact quantum query algorithm with complexity $k+1$ for computing the promise problem (i.e., symmetric and partial Boolean function) $DJ_n^k$ defined as: $DJ_n^k(x)=1$ for $|x|=n/2$, $DJ_n^k(x)=0$ for $|x|$ in the set $\{0, 1,\ldots, k, n-k, n-k+1,\ldots,n\}$, and it is undefined for the rest cases, where $n$ is even, $|x|$ is the Hamming weight of $x$. The case of $k=0$ is the well-known Deutsch-Jozsa problem. We outline all symmetric (and partial) Boolean functions with degrees 1 and 2, and prove their exact quantum query complexity. Then we prove that any symmetrical (and partial) Boolean function $f$ has exact quantum 1-query complexity if and only if $f$ can be computed by the Deutsch-Jozsa algorithm. We also discover the optimal exact quantum 2-query complexity for distinguishing between inputs of Hamming weight $\{ \lfloor n/2 floor, \lceil n/2 ceil \}$ and Hamming weight in the set $\{ 0, n\}$ for all odd $n$. In addition, a method is provided to determine the degree of any symmetrical (and partial) Boolean function.

연구 동기 및 목표

• 정확한 양자 질의 복잡도에 기반한 대칭 부분 부울 함수의 완전한 특성화를 위한 것이다.
• 디퓨즈-조자 문제를 더 넓은 범위의 약속 문제 $DJ_n^k$로 일반화하고, 이들에 대해 최적의 양자 알고리즘을 제공하기 위한 것이다.
• 차수 1 및 2인 대칭 부분 부울 함수의 정확한 양자 질의 복잡도를 결정하기 위한 것이다.
• 디퓨즈-조자 프레임워크를 사용하여 정확한 1질의 양자 계산 가능성에 대한 필요 및 충분 조건을 확립하기 위한 것이다.
• 모든 대칭 부분 부울 함수의 차수를 결정하는 일반적인 방법을 개발하여 복잡도 분류를 가능하게 하기 위한 것이다.

제안 방법

• 해밍 무게 $n/2$인 입력(출력 1)과 $\{0,1,\dots,k,n-k,n-k+1,\dots,n\}$ 내의 해밍 무게를 갖는 입력(출력 0)을 포함하며, 나머지 입력은 정의되지 않은 약속 문제 $DJ_n^k$에 대해 복잡도 $k+1$인 새로운 정확한 양자 질의 알고리즘을 제안한다.
• 모든 대칭 부분 부울 함수 중 정확한 1질의 복잡도를 갖는 경우가 디퓨즈-조자 문제와 동형일 수 있음을 증명하기 위해 디퓨즈-조자 알고리즘을 기본 도구로 사용한다.
• 특정 케이스(예: $n=4m$)에서의 결과를 일반 $n$으로 확장하기 위해 패딩 방법을 적용하며, 질의 복잡도를 유지하면서 2질의 알고리즘의 일반화를 가능하게 한다.
• 스펙트럼 성질과 질의 복잡도 행동을 분석함으로써 대칭 부분 부울 함수의 차수를 결정하는 방법을 제시한다.
• 다중 질의 양자 알고리즘에서 그로버 알고리즘을 서브루틴으로 사용하여 특정 해밍 무게를 탐지함으로써 2- 및 4질의 구성의 핵심을 형성한다.
• 등급 분석을 통한 하한을 확립하기 위해 등급 분석과 구조적 분석을 활용하여, 특정 함수(예: $\text{DW}_{n}^{k,l}$)가 2질의 이하로 계산될 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 대칭 부분 부울 함수에 대해 정확한 양자 알고리즘이 1질의로 존재하는가?
• RQ2 일반화된 약속 문제 $DJ_n^k$의 정확한 양자 질의 복잡도는 무엇인가?
• RQ3 모든 대칭 부분 부울 함수의 차수를 결정하는 일반적인 방법을 개발할 수 있는가?
• RQ4 홀수 $n$일 경우, $\lfloor n/2\rfloor, \lceil n/2\rceil$의 해밍 무게를 $\{0,n\}$에서 구별하기 위한 최적의 정확한 양자 질의 복잡도는 무엇인가?
• RQ5 패딩 방법을 사용하여 특정 범위에서의 2질의 알고리즘을 일반 매개변수 범위로 확장할 수 있는가?

주요 결과

• 약속 문제 $DJ_n^k$에 대해 복잡도 $k+1$인 최적의 정확한 양자 질의 알고리즘을 구성하였다. 이는 디퓨즈-조자 문제를 일반화한 것이다.
• 대칭 부분 부울 함수가 정확한 양자 1질의 복잡도를 갖는 것은 딱히 그 함수가 디퓨즈-조자 문제와 동형일 때에만 성립함을 증명하였다.
• 홀수 $n$에 대해, $\lfloor n/2\rfloor, \lceil n/2\rceil$의 해밍 무게를 $\{0,n\}$에서 구별하기 위한 최적의 정확한 양자 2질의 복잡도를 확립하였으며, $Q_E(f^{(4)}_n) = 2$임을 입증하였다.
• $\text{DW}_{4m}^{m,3m}$의 경우 정확한 양자 질의 복잡도 $Q_E = 2$이며, 이 결과는 $n,k,l$에 대한 특정 조건 하에서 $Q_E(\text{DW}_n^{k,l}) = 2$로 일반화되었다.
• 모든 대칭 부분 부울 함수의 차수를 결정하는 일반적인 방법을 제공하였으며, 이는 정확한 양자 질의 복잡도 분류를 가능하게 한다.
• $n/4 \leq k < n$일 경우 $Q_E(f^{(2)}_{n,k}) \leq 4$이며, 홀수 $n$에 대해 $Q_E(f^{(4)}_n) \leq 5$임을 입증하였으며, 차수 및 등급 분석을 통해 엄밀한 하한이 확립되었다.