[논문 리뷰] On the Pseudo-Deterministic Query Complexity of NP Search Problems

Goldwasser, Shafi, Impagliazzo, Russell외 2명|arXiv (Cornell University)|2020. 04. 28.

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

한 줄 요약

이 논문은 전체 부울 함수에 대해 결정론적 쿼리 복잡도와 양자 쿼리 복잡도 사이의 날카운 관계를 확립하며, D(f) = O(Q(f)^4)를 증명함으로써 오랫동안 남아있던 열린 문제를 해결한다. Huang의 민감도 정리와 스펙트럼 분석을 활용하여, 차수와 양자 쿼리 복잡도 사이의 제곱 관계 deg(f) = O(Q(f)^2)를 유도하고, 이를 통해 비자명한 단조 그래프 성질에 대해 최적의 Ω(n) 양자 하한을 증명한다.

ABSTRACT

Based on the recent breakthrough of Huang (2019), we show that for any total Boolean function $f$, the deterministic query complexity, $D(f)$, is at most quartic in the quantum query complexity, $Q(f)$: $D(f) = O(Q(f)^4)$. This matches the known separation (up to log factors) due to Ambainis, Balodis, Belovs, Lee, Santha, and Smotrovs (2017). We also use the result to resolve the quantum analogue of the Aanderaa-Karp-Rosenberg conjecture. We show that if $f$ is a nontrivial monotone graph property of an $n$-vertex graph specified by its adjacency matrix, then $Q(f) = Ω(n)$, which is also optimal.

연구 동기 및 목표

• . 전체 부울 함수에 대해 결정론적 쿼리 복잡도와 양자 쿼리 복잡도 사이의 간격을 좁히는 것.
• . 단조 그래프 성질에 대한 양자 아날로그인 Aanderaa–Karp–Rosenberg 추측을 해결하는 것.
• . 부울 함수의 차수와 그 양자 쿼리 복잡도 사이의 날카운 관계를 확립하는 것.
• . Huang의 민감도 정리가 스펙트럼 방법을 통해 양자 쿼리 복잡도에 어떻게 활용될 수 있는지 조사하는 것.
• . 민감도의 스펙트럼 이완을 통해 고전적 및 양자 복잡도 측정치를 통합하는 것.

제안 방법

• . 저자들은 deg(f) ≤ λ(f)^2임을 보여주는 Huang의 결과를 사용한다. 여기서 λ(f)는 민감도 그래프의 인cidenc 행렬의 스펙트럼 노름이다.
• . λ(f)를 민감도 s(f)의 스펙트럼 이완으로 정의하며, 이는 양자 적대자 방법을 상한으로 제공한다.
• . 핵심 기법은 H"older의 부등식을 적용하여 λ(f) ≤ √(s₀(f)s₁(f))를 유도하는 것이다. 이는 임의의 함수 f에 대해 성립한다.
• . λ(f)가 양자 적대자 방법을 하한으로 제공하고, 이는 Q(f)를 하한으로 제공하므로, deg(f) = O(Q(f)^2)를 증명한다.
• . 기존의 관계인 D(f) ≤ bs(f) ⋅ deg(f) 및 bs(f) = O(Q(f)^2)를 조합하여 D(f) = O(Q(f)^4)를 도출한다.
• . 단조 그래프 성질에 대해서는 deg(f) = Ω(n²)의 차수 하한을 적용하고, deg(f) = O(Q(f)^2)와 결합하여 Q(f) = Ω(n)을 유도한다.

실험 결과

연구 질문

• RQ1 . 전체 부울 함수 f에 대해 결정론적 쿼리 복잡도 D(f)와 양자 쿼리 복잡도 Q(f) 사이의 최적 관계는 무엇인가?
• RQ2 . Huang의 민감도 정리를 사용하여 양자 쿼리 복잡도에서 더 날카운 하한을 도출할 수 있는가?
• RQ3 . 비자명한 단조 그래프 성질의 양자 쿼리 복잡도는 무엇이며, 알려진 Ω(√n) 하한은 날카로운가?
• RQ4 . 차수 deg(f)와 양자 쿼리 복잡도 Q(f) 사이에 제곱 관계가 존재하는가?
• RQ5 . λ(f)와 같은 스펙트럼 방법이 양자 쿼리 복잡도에 대해 날카운 하한을 제공할 수 있는가?

주요 결과

• . 이 논문은 모든 전체 부울 함수 f에 대해 D(f) = O(Q(f)^4)임을 증명하며, 로그 인자 이외의 최고 수준의 분리와 일치한다.
• . 날카운 제곱 관계 deg(f) = O(Q(f)^2)를 확립하여 이전의 O(Q(f)^6) 하한보다 향상시켰다.
• . 비자명한 단조 그래프 성질의 양자 쿼리 복잡도는 Ω(n)이며, 이는 최적의 결과이며 양자 Aanderaa–Karp–Rosenberg 추측을 해결한다.
• . λ(f) ≤ √(s₀(f)s₁(f))를 보여주며, 민감도에 대한 스펙트럼 하한을 제공한다.
• . n개 변수에 대한 OR 함수의 경우 deg(f) = n 이고 Q(f) = Θ(√n) 이므로, deg(f) = O(Q(f)^2) 하한의 날카움을 확인한다.
• . 논문은 λ(f) ≥ E_x[s_x(f)]를 보여주며, 스펙트럼 노름과 평균 민감도를 연결하고, 스펙트럼 분석을 통해 양자 쿼리 복잡도에 대한 하한을 제공한다.