[논문 리뷰] Quantum Speedup for Network Coordination via Fourier Sparsity

Vinayak Dixit|arXiv (Cornell University)|2026. 03. 08.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

이 논문은 Fourier-NC를 정의한다, 즉 푸리에-희소 네트워크 조정 문제를 제시하고, 비가환 그룹(특히 S_k)에서 고전 방법에 비해 조건부 양자 속도향상을 보이며, 그룹 구조에 의존하는 복잡도 차이가 존재한다. 일반적으로 NP-완성을 증명하고, 가환 경우에는 다항 시간 양자 알고리즘을 제공하며, 순열 조정에 대한 조건부 초지수급 속도향상을 논의한다.

ABSTRACT

Network coordination - synchronising traffic signals, scheduling trains, assigning communication slots requires minimising pairwise costs across coupled systems. These problems are NP-hard yet share a common Fourier-sparse structure exploitable by quantum algorithms. We introduce the Fourier Network Coordination problem (Fourier-NC),unifying eight application domains. For abelian and dihedral groups, classical sparse Fourier transforms match quantum in the same oracle model, limiting the advantage to at most polynomial. The genuine separation emerges for the symmetric group Sk: a conditional super-exponential speedup of k! -> poly(k) for class-function costs with non-trivial minimisers. When the minimising conjugacy class is structurally determined, the problem lies in NP (int) BQP and is conditionally outside P (Corollary 6.5), placing it in the intermediate complexity regime alongside integer factorisation and graph isomorphism. We formalise the abelian index α(G) = [G : Amax] as the structural invariant governing the quantum-classical gap and identify a three-regime complexity trichotomy: abelian ({α= 1, classical sFFT suffices), nearly abelian (α= dmax, polynomial advantage), and strongly non-abelian (α>>dmax, super-exponential advantage).

연구 동기 및 목표

• 여덟 개 도메인에 걸쳐 Fourier-희소 비용 구조 아래에서 네트워크 조정 문제를 통합한다.
• 일반적인 Fourier-NC 최적화의 NP-난해성 및 결정 버전의 NP-완전성을 보인다.
• 가환 설정에 대한 다항 시간 양자 알고리즘을 개발하고 이를 S_k의 순열 조정으로 확장한다.
• 가환 지수 alpha(G)를 양자-고전 격차를 지배하는 구조적 불변량으로 규명한다.
• 세 가지 규칙의 복잡도 삼분법(가환, 거의 가환, 강하게 비가환)을 도입한다.

제안 방법

• Z_C 위에 Fourier-NC를 정의하고 Fourier Factorization Theorem을 증명하여 비영 Fourier 모드를 O(mr)로 상한한다.
• 가중치를 인코딩하는 위상 오라클을 구성하고 역 퀀텀 푸リエ 변환을 적용하여 지배적인 Fourier 모드를 복구한다.
• frustration-free 그래프는 정확한 트리 기반 해를 허용하는 반면, frustration이 있는 그래프는 경계된 격차를 야기한다.
• 게이트 수 분석과 복잡도 경계가 포함된 다항 시간 양자 알고리즘(정리 4.1)을 제공한다.
• 대칭 군 S_k(순열 조정)에 대한 프레임워크를 확장하고 조건부 양자 이점(결의 6.7, 보충 6.5)을 분석한다.

Figure 1: Fourier spectrum $|\hat{H}(k)|$ for a single edge ( $C=10$ ). Left: 2-sparse ( $r=2$ )—only 2 non-zero entries on the anti-diagonal $k_{j}=-k_{i}\bmod C$ . Centre: dense but cyclic ( $r=C$ ) with $O(C)$ modes, Grover quadratic speedup. Right: unstructured— $O(C^{2})$ modes, no quantum shor

실험 결과

연구 질문

• RQ1 Fourier-희소 비용 구조를 양자 푸리에 기법으로 활용해 네트워크 조정을 고전 방법보다 더 효율적으로 해결할 수 있는가?
• RQ2 Fourier-NC의 양자-고전 복잡도 차이를 결정하는 데 있어 군(group) 구조가 어떤 역할을 하는가?
• RQ3 특히 S_k에서 비가환 그룹에 대해 클래스 함수 비용 설정에서 조건부 지수적(또는 초지수적) 양자 이점이 있는가?
• RQ4 어떤 조건에서 Fourier-NC 인스턴스가 frustration-free이고 양자 수단으로 다항 시간 내에 해결될 수 있는가?
• RQ5 가환 지수 alpha(G)가 가환, 거의 가환, 그리고 강하게 비가환 체제 간 전이를 어떻게 지배하는가?

주요 결과

• Fourier-NC는 공통의 Fourier-희소 구조 아래 여덟 개의 현실 세계 도메인을 연결하여 양자 접근을 가능하게 한다.
• 가환 그룹의 경우 고전적 희소 FFT가 양자 이점을 상쇄하여 r-희소 인스턴스에 대해 속도 향상을 다항식으로 제한한다.
• 대칭 군 S_k에 대해, 비자명 최소해를 가진 클래스 함수 비용에 대해 조건부 초지수급 속도향상이 k!에서 다항(k)로의 달성을 보인다.
• Fourier Factorization는 문제를 O(mr)개의 활성 Fourier 모드로 축소하여 적절한 조건하에 다항 시간 양자 알고리즘을 가능하게 한다.
• 최소화되는 공액류 클래스가 구조적으로 결정되면 Fourier-NC는 NP ∩ BQP에 속하고 조건부로 P 바깥이 된다(DMPC 결과).
• 가환 지수 alpha(G)가 양자-고전 격차를 지배하여 세 가지 체제: 가환(alpha=1), 거의 가환(alpha=d_max), 강하게 비가환(alpha >> d_max)을 낳는다.

Figure 2: Quantum circuit for Algorithm 1. (a) High-level circuit: each of the $n$ vertex registers is prepared in a uniform superposition via Hadamard gates, the phase oracle $U_{H}$ encodes all edge constraints as a product of pairwise unitaries $U_{ij}$ , and an inverse QFT extracts the Fourier-m