[論文レビュー] Tight Results on Multiregister Fourier Sampling: Quantum Measurements for Graph Isomorphism Require Entanglement

Cristopher Moore, Alexander Russell|ArXiv.org|Nov 15, 2005

Quantum Computing Algorithms and Architecture参考文献 32被引用数 3

ひとこと要約

この論文は、グラフ同型性のための効率的な量子アルゴリズムが、対称群 S_n の coset 状態の Ω(n log n) 個のもつれ測定を必要とすることを確立している。これは、隠れ部分群状態のテンソル積に対するもつれ測定からの情報抽出を制限する一般的手法を用いている。結果として、個々の測定またはもつれのない測定では十分な情報を抽出できないことが示され、グラフ同型性に関連する対称群の場合には、定数倍の誤差の範囲でこの境界がタイトであることが判明した。

ABSTRACT

We establish a general method for proving bounds on the information that can be extracted via arbitrary entangled measurements on tensor products of hidden subgroup coset states. When applied to the symmetric group, the method yields an Omega(n log n) lower bound on the number of coset states over which we must perform an entangled measurement in order to obtain non-negligible information about a hidden involution. These results are tight to within a multiplicative constant and apply, in particular, to the case relevant for the Graph Isomorphism problem. Part of our proof was obtained after learning from Hallgren, Roetteler, and Sen that they had obtained similar results.

研究の動機と目的

• 対称群 S_n の隠れ部分群に関する非負の情報を抽出するためのもつれ測定に必要な最小の coset 状態の数を特定すること。
• 非アーベル群における隠れ部分群問題において、情報理論的限界と計算可能性のギャップを埋めること。
• 個々の測定またはもつれのない測定が、グラフ同型性を効率的に解くのに不十分であることを証明すること。
• coset 状態のテンソル積に対する任意のもつれ測定による情報量の上限を定める一般的手法を確立すること。
• グラフ同型性に関連する対称群の場合、任意のもつれ測定が有用な情報を得るには Ω(n log n) レジスタが必要であることを示すこと。

提案手法

• 隠れ部分群 coset 状態のテンソル積に対する任意のもつれ測定から抽出可能な情報量を制限する一般枠組みを構築する。
• この手法を、グラフ同型性に関連する wreath product K = S_n ≀ ℤ₂ を通じて対称群 S_n に適用する。
• 表現論を用いて、coset 状態の構造を特徴づける。これには、プランシュレ測度および既約表現が含まれる。
• d_ρ < n^{n/5} を満たす ρ⊗ρ から誘導される「悪い」表現 Λ を定義し、確率的および集中不等式を用いてその寄与を評価する。
• 測定結果の分布と一様分布との全 Variation 距離を用いて、情報量の増加を定量化する。
• マルコフの不等式および尾部確率の境界を用いて、k = Ω(n log n) でない限り、測定結果の分布が一様に近くなる確率が非常に高いことを示す。

実験結果

リサーチクエスチョン

• RQ1 対称群 S_n の隠れインヴォリューションに関する非負の情報を抽出するためのもつれ測定に必要な最小の coset 状態の数は何か？
• RQ2 coset 状態に対する個々の測定またはもつれのない測定は、隠れ部分群枠組みにおいてグラフ同型性問題を解くのに十分か？
• RQ3 対称群の場合、もつれ測定に必要なレジスタ数の情報理論的限界はタイトか？
• RQ4 高次元表現におけるプランシュレ測度の影響は、隠れ部分群問題の実行可能性にどのように作用するか？
• RQ5 この手法は、プランシュレ測度の大部分が高次元表現に集中する他の群に対しても一般化可能か？

主な発見

• この論文は、対称群 S_n の隠れインボリューションに関する非負の情報を抽出するためのもつれ測定に必要な coset 状態の数に Ω(n log n) の下界を証明している。
• この境界は乗法的定数の範囲でタイトであり、Ω(n log n) より少ないレジスタ数では、もつれ測定による有用な情報は得られないことを意味する。
• C < 1/10 で k < C n log₂ n の場合、測定結果の分布と一様分布との期待全 Variation 距離は n^{-Ω(n)} にまで低下し、情報量の増加は無視できるほど小さい。
• 解析により、coset 状態に対する個々の測定またはもつれのない測定では、グラフ同型性を効率的に解くことはできないことが示された。なぜなら、十分な情報が抽出されないからである。
• この手法は、プランシュレ測度の大部分が高次元表現に集中する群に対して一般に適用可能であり、そのような群ではもつれ測定に Θ(n log n) 個の coset 状態が必要である。
• この結果から、グラフ同型性に対する任意の効率的量子アルゴリズムは、少なくとも Ω(n log n) 個の coset 状態に対するもつれ測定を用いなければならないことが示唆される。