[論文レビュー] Quantum Speedup for Network Coordination via Fourier Sparsity

Vinayak Dixit|arXiv (Cornell University)|Mar 8, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

論文は Fourier-NC を定義し、フーリエスパースなネットワーク協調問題を扱い、非アーベル群（特に S_k）に対して古典的方法より条件付きの量子スピードアップを示し、グループ構造に依存する複雑さギャップを持つことを示す。一般には NP-hard を証明し、アーベルの場合には多項式時間の量子アルゴリズムを提供、置換協調に対する条件付き超指数スピードアップについて論じる。

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-sparse コスト構造の下で eight domainのネットワーク協調問題を統一する。
• 一般的な Fourier-NC 最適化の NP-hard性と決定版の NP-完全性を示す。
• アーベル設定の多項式時間量子アルゴリズムを開発し、S_k に対する置換協調へ拡張する。
• 量子-古典ギャップを規定する構造的不変量としてアーベル指標 alpha(G) を特徴づける。
• アーベリアン、ほぼアーベリアン、強非アーベリアンの三 regime の複雑さ三分解を導入する。

提案手法

• Z_C 上の Fourier-NC を定義し、 Fourier Factorization Theorem を証明して非零 Fourier モードを O(mr で有界化する。
• エッジコストをエンコードした位相オラクルを構築し、逆量子フーリエ変換を適用して支配的な Fourier モードを回復する。
• フラストレーションフリーなグラフは正確な木ベース解を許し、フラストレーションを持つグラフはギャップを有界にする。
• 定理 4.1 による多項式時間の量子アルゴリズムとゲート数・複雑さの解析を提供する。
• 対称群 S_k へのフレームワークの拡張（Permutation Coordination）と条件付き量子利得を分析する（命題 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-sparse コスト構造を量子フーリエ技術で活用して、ネットワーク協調を古典的方法より効率的に解けるか。
• RQ2 グループ構造が Fourier-NC の量子-古典複雑さギャップの決定にどのような役割を果たすか。
• RQ3 非アーベル群、特に S_k に対して、class-function コスト設定で条件付きの指数的（または超指数的）量子利得があるか。
• RQ4 Fourier-NC のインスタンスがどの条件下でフラストレーションフリーとなり、量子手段で多項式時間解決可能か。
• RQ5 アーベリアン指標 alpha(G) がアーベリアン、ほぼアーベリアン、強非アーベリアンの移行をどう支配するか。

主な発見

• Fourier-NC は共通の Fourier-sparse 構造の下で八つの実世界ドメインを結びつけ、量子アプローチを可能にする。
• アーベル群では古典的な疎 FFT が量子の利点に一致し、r-sparse インスタンスに対する加速は多項式に制限される。
• 対称群 S_k に対して、class-function コストで最小化クラスが非自明である場合、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