[논문 리뷰] Algorithms for Quantum Branching Programs Based on Fingerprinting

Farid Ablayev, Alexander Vasiliev|arXiv (Cornell University)|2009. 11. 12.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 특성 다항식을 사용하여 부울 함수를 위한 최적의 양자 순서형 분기 프로그램(QOBDD)을 구성하는 피ン거프рин팅 기반 방법을 제시한다. 양자 피н거프린팅과 고전적 입력에 조건부로 설정된 유니터리 변환을 활용함으로써, $MOD_m$, $EQ_n$, $Palindrome_n$, $PERM_n$ 등의 함수에 대해 너비 효율적인 QOBDD를 달성하였으며, $O(n)$-너비 QOBDD를 사용한 부울 히든 서브그룹 문제의 일반화도 이루어졌다.

ABSTRACT

In the paper we develop a method for constructing quantum algorithms for computing Boolean functions by quantum ordered read-once branching programs (quantum OBDDs). Our method is based on fingerprinting technique and representation of Boolean functions by their characteristic polynomials. We use circuit notation for branching programs for desired algorithms presentation. For several known functions our approach provides optimal QOBDDs. Namely we consider such functions as Equality, Palindrome, and Permutation Matrix Test. We also propose a generalization of our method and apply it to the Boolean variant of the Hidden Subgroup Problem.

연구 동기 및 목표

• 고전적 대안보다 더 효율적인 양자 순서형 읽기 일회 분기 프로그램(QOBDD)을 체계적으로 구성하는 방법을 개발하는 것.
• 기본 부울 함수인 $MOD_m$, $EQ_n$, $Palindrome_n$, $PERM_n$ 등의 너비 최적의 QOBDD를 설계하는 데 도전하는 것.
• 피н거프린팅 기법을 양자 분기 프로그램 모델로 일반화하여 부울 버전의 히든 서브그룹 문제를 해결하는 것.
• 부울 함수의 특성 다항식과 양자 피ン거프린팅에 의한 효율적 양자 계산 간의 연결 고리를 설정하는 것.

제안 방법

• 부울 함수를 $\mathbb{Z}_{2^n}$ 위에서의 특성 다항식으로 표현함으로써, 양자 알고리즘 설계를 위한 대수적 연산을 가능하게 한다.
• 고전적 입력 변수에 조건부로 설정된 제어 유니터리 연산을 사용하여 함수 값들을 양자 상태에 인코딩함으로써 양자 피ン거프린팅을 적용한다.
• 각 지시어가 입력 비트 $\sigma_{i_j}$ 에 기반하여 유니터리 $U_j(\sigma_{i_j})$ 를 적용하는 방식으로, QOBDD를 고전적 제어를 갖는 양자 회로로 모델링한다.
• 최종 출력을 위해 $M_{\text{accept}}$ 를 통한 사영 측정을 사용하여 수용 확률 $||M_{\text{accept}}|\psi_\sigma\rangle||^2_2$ 를 계산한다.
• 두 가지 핵심 다항식인 $g_1(x)$ 와 $g_2(x)$ 를 구성한다: $g_1(x)$ 는 코셋 내부의 상수 값 검증을 위해, $g_2(x)$ 는 코셋 간의 서로 다른 값 검증을 위해 사용된다.
• 일반화된 피ン거프린팅 기법을 활용하여, 한쪽 오류만 허용하는 $O(n)$-너비 QOBDD를 히든 서브그룹 문제에 적용한다.

실험 결과

연구 질문

• RQ1 피ン거프린팅 기법을 기본 부울 함수에 대한 최적의 QOBDD를 구성하는 데 적응시킬 수 있는가?
• RQ2 부울 함수의 특성 다항식을 사용하여 효율적인 양자 분기 프로그램을 설계할 수 있는가?
• RQ3 순서형 읽기 일회 분기 프로그램을 사용할 때, $MOD_m$, $EQ_n$, $Palindrome_n$, $PERM_n$ 의 양자 복잡도는 어떻게 되는가?
• RQ4 피ン거프린팅 방법을 한쪽 오류가 허용되는 너비 효율적인 방식으로 부울 히든 서브그룹 문제를 해결하는 데 일반화할 수 있는가?

주요 결과

• 피ン거프린팅과 특성 다항식을 사용하여 $MOD_m$, $EQ_n$, $Palindrome_n$, $PERM_n$ 에 대해 최적의 QOBDD를 구성한다.
• $MOD_m$ 에서 QOBDD 너비는 $O(m)$ 이며, 기존 알려진 하한과 일치하여 최적성임을 입증한다.
• $EQ_n$ 에서 QOBDD 너비는 $O(n)$ 이며, 이 함수에 대해 최적의 효율성을 달성한다.
• $Palindrome_n$ 에서 QOBDD 너비는 $O(n)$ 이며, 고전적 OBDD에 비해 지수적 우월성을 보여준다.
• $PERM_n$ 에서 QOBDD 너비는 $O(n)$ 이며, 순열 행렬 테스트의 효율적 양자 계산을 보여준다.
• 일반화된 피ン거프린팅 접근법을 통해, 한쪽 오류를 허용하는 $O(n)$-너비 QOBDD를 부울 히든 서브그룹 문제에 적용하였으며, 여기서 $n = |G|\lceil\log(G:K)\rceil$ 이다.