[논문 리뷰] Generalizations of the distributed Deutsch-Jozsa promise problem

Jozef Gruska, Daowen Qiu외 1명|arXiv (Cornell University)|2014. 02. 28.

Quantum Computing Algorithms and Architecture참고 문헌 43인용 수 20

한 줄 요약

이 논문은 분산된 Deutsch-Jozsa 약속 문제를 일반화하여, 당사자들이 자신의 문자열이 동일한지(해밍 거리 0) 또는 적어도 k개의 위치에서 다름을 알아내야 하는 경우로 확장한다. 여기서 k는 고정된 짝수이며 n/2 ≤ k < (1−λ)n를 만족한다. 정확한 양자 통신 복잡도는 여전히 O(log n)이지만, 결정론적 복잡도는 Ω(n)이므로 지수적 격차를 입증한다. 결과는 이산성 문제의 약속 형태로도 확장되며, 유사한 지수적 양자-고전적 격차를 보인다.

ABSTRACT

In the {\em distributed Deutsch-Jozsa promise problem}, two parties are to determine whether their respective strings $x,y\in\{0,1\}^n$ are at the {\em Hamming distance} $H(x,y)=0$ or $H(x,y)=\frac{n}{2}$. Buhrman et al. (STOC' 98) proved that the exact {\em quantum communication complexity} of this problem is ${\bf O}(\log {n})$ while the {\em deterministic communication complexity} is ${\bf Ω}(n)$. This was the first impressive (exponential) gap between quantum and classical communication complexity. In this paper, we generalize the above distributed Deutsch-Jozsa promise problem to determine, for any fixed $\frac{n}{2}\leq k\leq n$, whether $H(x,y)=0$ or $H(x,y)= k$, and show that an exponential gap between exact quantum and deterministic communication complexity still holds if $k$ is an even such that $\frac{1}{2}n\leq k

연구 동기 및 목표

• 해밍 거리가 0 또는 고정된 k ≥ n/2인 경우로 분산된 Deutsch-Jozsa 약속 문제를 일반화한다.
• 이 일반화된 문제의 정확한 양자 및 결정론적 통신 복잡도를 분석한다.
• 더 큰 k에 대해 양자와 고전적 통신 복잡도 사이의 지수적 격차가 유지되는지 조사한다.
• 이산성 문제의 약속 형태를 탐구하고 유사한 지수적 격차를 확립한다.
• 통신 복잡도 결과를 활용하여 유한 오토마타의 상태 복잡도 한계를 유도한다.

제안 방법

• 원래의 Deutsch-Jozsa 약속 문제를 해밍 거리 0 또는 정확히 k인 문자열을 구별할 수 있도록 일반화한다. 여기서 k는 고정된 짝수이며 k ≥ n/2이다.
• 암호 강화와 단계 킥백 기반의 양자 프로토콜을 사용하여 정확한 양자 통신 복잡도 O(log n)를 달성한다.
• k < (1−λ)n 조건 하에 결정론적 통신 복잡도가 Ω(n)으로 유지됨을 증명한다. 여기서 0 < λ < 1/2이다.
• 입력이 서로소이거나 적어도 λn개의 겹치는 1비트를 가진다는 조건을 갖는 이산성 문제의 약속 형태를 분석한다. 여기서 λ ≤ 1/4이다.
• 약속 이산성 문제에 대해 양자 및 확률적 통신 프로토콜을 구축한다. 통신 비용은 각각 O(log n)과 O(log n)이다.
• 통신 복잡도 하한을 활용하여 결정론적 유한 오토마타(DFA)의 상태 복잡도에 대한 지수적 하한을 도출한다.

실험 결과

연구 질문

• RQ1 해밍 거리 약속이 k = n/2에서 k ≥ n/2로 일반화되었을 때, 분산된 Deutsch-Jozsa 문제에서의 지수적 양자 이점이 유지되는가?
• RQ2 k가 짝수이고 n/2 ≤ k < (1−λ)n를 만족하며 고정된 λ > 0일 때, 일반화된 EQ_k 문제에서 정확한 양자 통신 복잡도가 여전히 O(log n)일 수 있는가?
• RQ3 양자 통신 복잡도가 결정론적 통신 복잡도보다 지수적으로 작은 이산성 문제의 약속 형태가 존재하는가?
• RQ4 통신 복잡도 결과를 활용하여 유한 오토마타의 상태 복잡도에 대한 날카로운 하한을 도출할 수 있는가?
• RQ5 해밍 무게가 0 또는 k보다 큰 경우를 구별하는 약속 문제에서 정확한 양자 질의 복잡도는 얼마인가? 여기서 k ≥ n/2이다.

주요 결과

• 0 < λ < 1/2 이며 n/2 ≤ k < (1−λ)n 를 만족하는 모든 고정된 짝수 k에 대해, EQ_k 문제의 정확한 양자 통신 복잡도는 O(log n)이다.
• EQ_k 문제의 결정론적 통신 복잡도는 Ω(n)이며, 이는 양자와 고전적 통신 복잡도 사이의 지수적 격차를 입증한다.
• DJ_k 문제(해밍 무게 0과 무게 > k를 구별)의 정확한 양자 질의 복잡도는 1이며, 결정론적 질의 복잡도는 n−k+1이다.
• λ ≤ 1/4 인 약속 이산성 문제 DISJ_λ에 대해, 양자 통신 복잡도는 최대 (log 3)/(3λ) · (3 + 2 log n)이며, 고정된 λ에 대해 O(log n)이다.
• DISJ_λ의 확률적 통신 복잡도는 최대 (log 3)/λ · log n이며, 이 역시 n에 대해 비선형이다.
• 약속 문제 A_D(n)을 해결하는 결정론적 유한 오토마타는 최소 2^Ω(n)개의 상태를 필요로 하며, 이는 DISJ_1/4의 결정론적 통신 복잡도 하한에서 유도된다.