[논문 리뷰] Parity vs. AC0 with Simple Quantum Preprocessing

Joseph Slote|arXiv (Cornell University)|2023. 11. 22.

Quantum Computing Algorithms and Architecture인용 수 2

한 줄 요약

이 논문은 AC0 회로에 양자 사전처리를 가미한 회로(AC0◦QNC0)가 파리티 함수를 계산하거나 관련짓는 데 성공할 수 있는지 조사한다. 그 결과, 이러한 회로가 파리티 함수와 비현저한 상관관계를 가지지 못할 것이라는 강력한 증거를 제시한다. 양자 사전처리를 QNC0 회로로 수행하더라도, 특히 앤실라를 사용하지 않는 경우에도 파리티 함수와의 상관관계는 근본적으로 없으며, 이는 비국소 게임과 근사도수와의 연결을 통해 복잡도론적 하한을 강화하는 데 기여한다. 이는 결정 문제에서 고전적 계산보다 비현저한 이점이 없을 것이라는 추측을 뒷받침한다.

ABSTRACT

A recent line of work has shown the unconditional advantage of constant-depth quantum computation, or $\mathsf{QNC^0}$, over $\mathsf{NC^0}$, $\mathsf{AC^0}$, and related models of classical computation. Problems exhibiting this advantage include search and sampling tasks related to the parity function, and it is natural to ask whether $\mathsf{QNC^0}$ can be used to help compute parity itself. We study $\mathsf{AC^0\circ QNC^0}$ -- a hybrid circuit model where $\mathsf{AC^0}$ operates on measurement outcomes of a $\mathsf{QNC^0}$ circuit, and conjecture $\mathsf{AC^0\circ QNC^0}$ cannot achieve $Ω(1)$ correlation with parity. As evidence for this conjecture, we prove: $\bullet$ When the $\mathsf{QNC^0}$ circuit is ancilla-free, this model achieves only negligible correlation with parity. $\bullet$ For the general (non-ancilla-free) case, we show via a connection to nonlocal games that the conjecture holds for any class of postprocessing functions that has approximate degree $o(n)$ and is closed under restrictions, even when the $\mathsf{QNC^0}$ circuit is given arbitrary quantum advice. By known results this confirms the conjecture for linear-size $\mathsf{AC^0}$ circuits. $\bullet$ Towards a switching lemma for $\mathsf{AC^0\circ QNC^0}$, we study the effect of quantum preprocessing on the decision tree complexity of Boolean functions. We find that from this perspective, nonlocal channels are no better than randomness: a Boolean function $f$ precomposed with an $n$-party nonlocal channel is together equal to a randomized decision tree with worst-case depth at most $\mathrm{DT}_\mathrm{depth}[f]$. Our results suggest that while $\mathsf{QNC^0}$ is surprisingly powerful for search and sampling tasks, that power is "locked away" in the global correlations of its output, inaccessible to simple classical computation for solving decision problems.

연구 동기 및 목표

• AC0◦QNC0가 파리티 함수와 비현저한 상관관계를 가지는지 조사한다.
• 양자 사전처리(QNC0)가 결정 문제 해결을 위해 고전적 AC0 회로의 성능을 향상시키는 데서 나타나는 한계를 탐색한다.
• AC0◦QNC0, 비국소 게임, 근사도수 간의 연결 고리를 확립하여 복잡도론적 하한을 강화한다.
• 양자 사전처리가 영향도나 민감도와 같은 고전적 복잡도 측도를 증가시킬 수 있는지 검토한다.

제안 방법

• QNC0 회로가 부울 함수의 푸리에 스펙트럼에 미치는 영향을 분석하며, LMN 유사 감쇠에 초점을 맞춘다.
• 비국소 게임을 활용하여, 후처리 함수의 근사도수가 o(n)일 경우 AC0◦QNC0가 파리티 함수와 일정한 상관관계를 갖지 못함을 보여준다.
• 양자 사전처리를 비국소 채널로 모델링하여 AC0◦QNC0에 대해 스위칭 렘마를 적용한다.
• 비국소 채널이 결코 고전적 랜덤성보다 결코 더 강력한 결정 트리 복잡도 감소를 제공하지 못함을 증명한다.
• 하이브리드 결정 트리를 구성하여 QNC0와 AC0 회로의 복합 구조를 시뮬레이션하며, 이들이 랜덤화된 결정 트리와 동치임을 보여준다.
• 기존의 근사도수 결과와 제약 조건에 대한 닫힘 성질을 활용하여 선형 크기의 AC0 회로에 대해 추측을 확인한다.

실험 결과

연구 질문

• RQ1 AC0◦QNC0는 파리티 함수와 비현저한 상관관계를 가지는가?
• RQ2 QNC0 회로를 통한 양자 사전처리가 고전적 계산보다 파리티를 더 효과적으로 계산하거나 근사화할 수 있는가?
• RQ3 AC0◦QNC0와 비국소 게임 간의 연결 고리가 복잡도론적 하한을 도출하는 데 기여하는가?
• RQ4 고전적 회로 복잡도 이론의 스위칭 렘마와 유사한 형태의 스위칭 렘마를 AC0◦QNC0에 적용할 수 있는가?
• RQ5 양자 사전처리가 결정 트리 깊이, 영향도, 민감도와 같은 고전적 복잡도 측도에 어떤 영향을 미치는가?

주요 결과

• 앤실라를 사용하지 않는 QNC0 회로의 경우, 조건부로 AC0가 LMN 유사 푸리에 감쇠를 보이는 임의의 함수로 대체되더라도, 파리티 함수와의 상관관계는 근본적으로 없을 뿐만 아니라 비현저할 뿐이다.
• 일반적인 QNC0 회로의 경우, 후처리 클래스의 근사도수가 o(n)이고 제약 조건에 대해 닫혀 있으면서도, 임의의 양자 조언이 존재하더라도, AC0◦QNC0가 파리티 함수와 Ω(1) 상관관계를 갖는다는 추측은 성립하지 않는다.
• 비국소 게임과의 연결 고리는 기존의 근사도수 결과를 통해 선형 크기의 AC0 회로에 대해 추측을 확인한다.
• QNC0를 통한 양자 사전처리는 고전적 랜덤성 이상의 결정 트리 복잡도 감소를 제공하지 못한다: n명의 참가자가 참여하는 비국소 채널과 복합된 임의의 함수는 최악의 경우 깊이가 DTdepth[f] 이하인 랜덤화된 결정 트리와 동치이다.
• 하이브리드 모델인 AC0◦QNC0는 QNC0의 검색 및 샘플링 작업에서의 능력에도 불구하고, 고전적 계산보다 파리티와 같은 결정 문제를 더 효율적으로 해결하는 데에는 사용될 수 없다.
• 결과적으로 QNC0의 양자적 이점은 전역 상관관계에 ‘락킹’되어 있으며, 단순한 고전적 후처리로는 접근할 수 없다.