[논문 리뷰] The Quantum Query Complexity of AC0

Paul Beame, Widad Machmouchi|arXiv (Cornell University)|2010. 08. 14.

Quantum Computing Algorithms and Architecture참고 문헌 16인용 수 5

한 줄 요약

이 논문은 원래의 적대자 방법을 사용하여, 함수 f: [n] → [n]이 2대1인지 또는 거의 2대1인지 여부를 판단하는 데 Ω(n) 쿼리가 필요하다는 점을 증명함으로써, AC0 함수의 양자 쿼리 복잡도에 대해 거의 선형인 Ω(n/log n) 하한을 확립한다. 이는 조건부 문제 조건이 존재하더라도, 양자 알고리즘이 이 문제에 대해 선형 이하의 쿼리 복잡도를 달성할 수 없음을 보여주며, 이는 이전의 하한에 비해 크게 향상되었고, 일부 AC0 함수는 로그 인자 이외의 양자 가속을 저항한다는 것을 보여준다.

ABSTRACT

We show that any quantum algorithm deciding whether an input function $f$ from $[n]$ to $[n]$ is 2-to-1 or almost 2-to-1 requires $Θ(n)$ queries to $f$. The same lower bound holds for determining whether or not a function $f$ from $[2n-2]$ to $[n]$ is surjective. These results yield a nearly linear $Ω(n/\log n)$ lower bound on the quantum query complexity of $\cl{AC}^0$. The best previous lower bound known for any $\cl{AC^0}$ function was the $Ω((n/\log n)^{2/3})$ bound given by Aaronson and Shi's $Ω(n^{2/3})$ lower bound for the element distinctness problem.

연구 동기 및 목표

• 기존의 양자 쿼리 하한과 AC0 함수에 대한 추측되는 최적 하한 사이의 격차를 메우기 위해.
• 상수 깊이 다항식 크기의 회로(AC0)가 고전적 방법보다 양자 쿼리를 사용하여 상당히 더 빠르게 계산될 수 있는지 조사하기 위해.
• 2대1 대비 거의 2대1 함수 문제를 분석하여, AC0에 대해 거의 선형 하한을 확립하기 위해.
• 원래의 요소 정밀성 및 충돌 문제 결과를 확장하여, AC0 내의 조건부 문제 역시 여전히 선형 양자 쿼리가 필요하다는 것을 보여주기 위해.

제안 방법

• 저자들은 2대1 대비 거의 2대1 문제의 양자 쿼리 복잡도를 분석하기 위해 Ambainis의 원래 적대자 방법을 적용한다.
• 2대1 함수와 거의 2대1 함수 사이의 관계 R을 정의하고, 정확히 두 위치에서 다름이 있는 입력 쌍을 구성한다.
• 이 방법은 출력이 다른 유효한 쌍 (f,g) ∈ R의 수를 세고, 조합론적 추론을 통해 이러한 쌍의 수를 근사한다.
• 다른 쌍의 수와 총 쌍의 수의 비율을 계산하여 스펙트럼 노름 하한을 유도함으로써, Ω(n) 쿼리 하한을 도출한다.
• 함수 공간의 대칭성 특성을 사용하고, f와 g가 다름이 있는 입력 수를 정확히 추적한다.
• 2대1 함수는 전사적이지 않지만, 거의 2대1 함수는 전사적이라는 점을 관찰하여, 이 결과를 surjectivity 문제 ONTO: [2n−2] → [n]로 확장한다.

실험 결과

연구 질문

• RQ1 AC0 내의 함수에 대해, 낮은 회로 깊이와 크기에도 불구하고 양자 알고리즘이 선형 이하의 쿼리 복잡도를 달성할 수 있는가?
• RQ2 특히 조건부 문제에 대해, AC0 함수의 양자 쿼리 복잡도에 대한 가장 날카로운 하한은 무엇인가?
• RQ3 2대1 대비 거의 2대1 문제에 대해 양자 가속이 가능할 수 있는가, 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ4 AC0의 맥락에서, 전사성의 양자 쿼리 복잡도는 요소 정밀성 문제와 어떻게 비교되는가?
• RQ5 AC0 함수의 근사 차수는 그 양자 쿼리 복잡도와 분리될 수 있는가, 그리고 이는 어떤 의미를 갖는가?

주요 결과

• 함수 f: [n] → [n]이 2대1인지 또는 거의 2대1인지 여부를 판단하는 데 필요한 양자 쿼리 복잡도는 Ω(n)이며, 이는 거의 선형 하한을 확립한다.
• 이 결과는 보수 형태로 표현된 AC0 함수의 양자 쿼리 복잡도에 대해 Ω(n/log n) 하한을 암시한다.
• 전사성 문제 ONTO: [2n−2] → [n] 역시 Ω(n) 양자 쿼리가 필요하다. 이는 2대1 문제의 일반화이기 때문이다.
• 증명은 고급 확장 기법(예: 음수 가중치 또는 준정적 프로그래밍)을 요구하지 않고, 원래의 적대자 방법만을 사용한다.
• 이 하한은 2대1 대비 거의 2대1 문제에 대해 점근적으로 날카로운 하한이며, 이전의 Ω((n/log n)^{2/3}) 하한보다 향상되었다.
• 결과는 2대1 탐지와 같은 단순한 AC0 함수조차도 상당한 양자 가속을 저항하며, 쿼리 복잡도가 n에 대해 선형으로 증가한다는 것을 보여준다.