[論文レビュー] The One-Way Communication Complexity of Group Membership

Scott Aaronson, François Le Gall+2 more|arXiv (Cornell University)|Feb 18, 2009

Complexity and Algorithms in Graphs参考文献 10被引用数 3

ひとこと要約

本稿は、有限群における部分群属問題の1方向通信複雑度に対して上界を確立し、部分群が正規である場合には O(log |G|) の通信量で解決可能であり、一般には d_max が既約複素表現の最大次元であるとき O(d_max · log |G|) の通信量で解決可能であることを示している。主な貢献は、ケイリー群のスペクトルギャップを活用した表現論的プロトコルであり、有界誤差で効率的な検証を実現している。

ABSTRACT

This paper studies the one-way communication complexity of the subgroup membership problem, a classical problem closely related to basic questions in quantum computing. Here Alice receives, as input, a subgroup $H$ of a finite group $G$; Bob receives an element $x \in G$. Alice is permitted to send a single message to Bob, after which he must decide if his input $x$ is an element of $H$. We prove the following upper bounds on the classical communication complexity of this problem in the bounded-error setting: (1) The problem can be solved with $O(\log |G|)$ communication, provided the subgroup $H$ is normal; (2) The problem can be solved with $O(d_{\max} \cdot \log |G|)$ communication, where $d_{\max}$ is the maximum of the dimensions of the irreducible complex representations of $G$; (3) For any prime $p$ not dividing $|G|$, the problem can be solved with $O(d_{\max} \cdot \log p)$ communication, where $d_{\max}$ is the maximum of the dimensions of the irreducible $\F_p$-representations of $G$.

研究の動機と目的

• 有限群における部分群属問題の古典的1方向通信複雑度を特定すること。
• 全関数について、古典的および量子の1方向通信複雑度の間で超線形的なギャップが存在するかどうかを調査すること。
• 群表現理論およびスぺクトルグラフの性質を用いて、部分群属問題の効率的プロトコルを開発すること。
• 通信複雑度が |G| に関して対数的となる群を同定すること、特に定数インデックスのアーベル部分群をもつ群について。
• 群の構造および表現次元に基づいた通信コストのタイトな境界を提供すること。

提案手法

• 有限群の表現理論に焦点を当て、特に既約複素表現および F_p 上のモジュラー表現を扱う。
• アリスが部分群 H の生成集合 A を用いて、群代数の要素を量子状態に似せた形で古典的に符号化して送信するプロトコルを構築する。
• 表現空間内のベクトル間の内積を、yA ∪ Ay^{-1} によって生成されるケイリー群のスペクトルギャップを用いて制限する。
• ババイの定理を用いて、平均化作用素 S_A の作用素ノルムの下界を確立する。
• エルデシュ–レニの結果を適用し、直径 O(log |H|) で、サイズ O(log |H|) の生成集合 A を選択することで、速やかな混合およびスペクトル拡張を保証する。
• 内積 ⟨v, ρ(y)v⟩ の分析により、誤差の確率を制限し、濃度法およびノルム制御を用いて妥当性を保証する。

実験結果

リサーチクエスチョン

• RQ1 部分群属問題の1方向通信複雑度は、群表現理論の観点から上界をもつのか？
• RQ2 部分群 H が正規である場合、部分群属問題を解くための通信コストは何か？
• RQ3 既約表現の最大次元 d_max は通信複雑度にどのように影響するか？
• RQ4 定数インデックスのアーベル部分群をもつ群に対して、プロトコルが O(log |G|) の通信量を達成できるか？
• RQ5 ケイリー群のスペクトルギャップがプロトコルの妥当性を保証するために果たす役割は何か？

主な発見

• 有限群 G の正規部分群 H に対して、部分群属問題の1方向通信複雑度は O(log |G|) である。
• 任意の有限群 G に対して、複雑度は O(d_max · log |G|) で上界が与えられ、ここで d_max は G の既約複素表現の最大次元である。
• |G| を割らない素数 p に対して、複雑度は O(d_max · log p) である。ここで d_max は G の既約 F_p-表現の最大次元である。
• サイズ O(log |H|) の生成集合を用いる場合、妥当性誤差は 1 - Ω(1/([K:H]^2 log^3 |H|)) で抑えられる。
• d_max が定数であるとき、通信複雑度は O(log |G|) である。これは、定数インデックスのアーベル部分群をもつ群にちょうど一致する。
• この結果により、このような群では、古典的1方向通信複雑度が |G| に関して対数的であることが示され、定数倍の違いを除いて量子下界と一致する。