[논문 리뷰] On the Complexity of Quantum ACC

F. Green, Steven Homer외 1명|ArXiv.org|2000. 02. 21.

Quantum Computing Algorithms and Architecture참고 문헌 12인용 수 7

한 줄 요약

이 논문은 양자 복잡도 이론에서 열려 있는 질문을 해결하여, 모든 q > 1에 대해 양자 MODq 게이트가 상등임을 증명함으로써 QACC = QACC[q]를 보인다. 로그로 제한된 평면성 또는 게이트 수를 가진 양자 회로는 각각 P/poly 및 TC(0)에 포함됨을 입증하며, 텐서 그래프 표현과 양자 푸리에 변환 기법을 사용하여 회로 복잡도를 한정한다.

ABSTRACT

For any $q > 1$, let $\MOD_q$ be a quantum gate that determines if the number of 1's in the input is divisible by $q$. We show that for any $q,t > 1$, $\MOD_q$ is equivalent to $\MOD_t$ (up to constant depth). Based on the case $q=2$, Moore \cite{moore99} has shown that quantum analogs of AC$^{(0)}$, ACC$[q]$, and ACC, denoted QAC$^{(0)}_{wf}$, QACC$[2]$, QACC respectively, define the same class of operators, leaving $q > 2$ as an open question. Our result resolves this question, proving that QAC$^{(0)}_{wf} =$ QACC$[q] = $ QACC for all $q$. We also develop techniques for proving upper bounds for QACC in terms of related language classes. We define classes of languages EQACC, NQACC and BQACC$_{ ats}$. We define a notion $\log$-planar QACC operators and show the appropriately restricted versions of EQACC and NQACC are contained in P/poly. We also define a notion of $\log$-gate restricted QACC operators and show the appropriately restricted versions of EQACC and NQACC are contained in TC$^{(0)}$. To do this last proof, we show that TC$^{(0)}$ can perform iterated addition and multiplication in certain field extensions. We also introduce the notion of a polynomial-size tensor graph and show that families of such graphs can encode the amplitudes resulting from apply an arbitrary QACC operator to an initial state.

연구 동기 및 목표

• QACC[q]가 모든 q > 2에 대해 QACC와 동일한가라는 열려 있는 질문을 해결함으로써, Moore가 q=2에 대해 이전에 얻은 결과를 확장한다.
• 특히 EQACC, NQACC, BQACC와 같은 양자 회로 가족으로 정의된 언어 클래스에 대한 상계를 증명하는 기법을 개발한다.
• 평면성 및 게이트 수 제약 조건 하에서 제한된 QACC 회로의 계산 능력을 특성화한다.
• QACC 연산자에서 유도된 진폭이 다항 크기의 텐서 그래프를 통해 인코딩되고 계산될 수 있음을 보이며, 이는 복잡도 분석을 가능하게 한다.

제안 방법

• 임의의 QACC 연산자에 의해 입력 상태에 적용된 진폭을 인코딩하기 위한 다항 크기의 텐서 그래프 모델을 도입한다.
• 복소수 q제곱 단위근을 사용한 양자 푸리에 변환(QFT)을 활용하여 MODq 게이트를 시뮬레이션하고, 서로 다른 q에 대해 상등성을 확립한다.
• QACC 유니터리 진동 후 목표 상태를 관측할 확률의 기대값에 기반하여 언어 클래스 EQACC, NQACC, BQACC를 정의한다.
• 진폭을 텐서 그래프 내 경로의 합으로 표현하기 위해 로그-색 깊이 분해를 적용함으로써 회로 구축을 가능하게 한다.
• 평면성 제약 조건(로그-평면 QACC) 하에서는 다항 크기의 회로를 사용해 진폭을 P/poly 내에서 계산할 수 있음을 보인다.
• 게이트 수 제약 조건(로그-게이트 QACC) 하에서는 체 확장 내 반복 덧셈과 곱셈을 시뮬레이션함으로써 진폭을 TC(0) 내에서 계산할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 Moore의 q=2에 대한 결과가 남긴 열려 있는 질문을 해결하여, 모든 q > 2에 대해 QACC[q]가 QACC와 동일한가?
• RQ2 로그-평면성 또는 로그-게이트 구성으로 제한된 경우 QACC의 계산 능력이 어떻게 bounds가 설정될 수 있는가?
• RQ3 EQACC, NQACC, BQACC와 같은 언어 클래스들이 P/poly 또는 TC(0)와 같은 고전적 복잡도 클래스에 포함되는가?
• RQ4 제한된 깊이와 색 일관성을 가진 텐서 그래프를 사용하여 QACC 회로의 양자 진폭을 효율적으로 표현하고 계산할 수 있는가?
• RQ5 양자 푸리에 변환은 양자 회로에서 서로 다른 MODq 게이트 간의 상등성을 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 임의의 q,t > 1에 대해 MODq가 상수 깊이 이내에서 MODt와 동등함을 증명하며, 모든 q ≥ 2에 대해 QACC[q] = QACC인가라는 열려 있는 질문을 해결한다.
• QAC(0)_wf = QACC[q] = QACC가 모든 q ≥ 2에 대해 성립함을 입증하며, 양자 환경에서 패리티 게이트가 다른 어떤 MODq 게이트보다도 강력하지 않음을 보여준다.
• 평면성 제약 조건 하에서는 NQACC_pl^log가 P/poly에 포함되고, 게이트 수 제약 조건 하에서는 NQACC_gates^log가 TC(0)에 포함된다.
• 비슷한 결과로 EQACC_pl^log는 P/poly에 포함되고, EQACC_gates^log는 TC(0)에 포함되며, BQACC_Q에 대해서도 동일한 결과가 성립한다.
• 논문은 QACC 회로의 진폭이 로그-색 깊이를 가진 다항 크기의 텐서 그래프로 표현될 수 있음을 보이며, 이는 효율적인 회로 구축을 가능하게 한다.
• TC(0)가 체 확장 내 반복 덧셈과 곱셈을 계산할 수 있음을 증명하며, 이는 제한된 QACC 회로를 TC(0)에서 시뮬레이션하는 데 필수적이다.