[論文レビュー] Limitations of Quantum Coset States for Graph Isomorphism

Sean Hallgren, Martin Roetteler+1 more|arXiv (Cornell University)|Nov 15, 2005

Quantum Computing Algorithms and Architecture参考文献 14被引用数 5

ひとこと要約

この論文は、グラフ同型性のための量子アルゴリズムが、コセット状態に基づくものにおいて、有用な情報を抽出するには、少なくとも Ω(n log n) 個の状態にわたる高レベルのエンタングルメント測定が必要であることを示している。このため、このような測定を実装することが極めて困難であるため、このようなアプローチは実用的でない。この結果は、GL(n, F_{p^m}) や G^n などの他の非アーベル群に対しても、特定の条件下で拡張可能であり、単一または少数の状態に対する測定では、隠れた部分群に関する情報が指数的にわずかであることが示されている。

ABSTRACT

It has been known for some time that graph isomorphism reduces to the hidden subgroup problem (HSP). What is more, most exponential speedups in quantum computation are obtained by solving instances of the HSP. A common feature of the resulting algorithms is the use of quantum coset states, which encode the hidden subgroup. An open question has been how hard it is to use these states to solve graph isomorphism. It was recently shown by Moore, Russell, and Schulman that only an exponentially small amount of information is available from one, or a pair of coset states. A potential source of power to exploit are entangled quantum measurements that act jointly on many states at once. We show that entangled quantum measurements on at least Ω(n log n) coset states are necessary to get useful information for the case of graph isomorphism, matching an information theoretic upper bound. This may be viewed as a negative result because highly entangled measurements seem hard to implement in general. Our main theorem is very general and also rules out using joint measurements on few coset states for some other groups, such as GL(n, F_{p^m}) and G^n where G is finite and satisfies a suitable property.

研究の動機と目的

• グラフ同型性問題における隠れた部分群に関する多項式的に有用な情報を抽出するための、エンタングルメント測定に必要なコセット状態の最小数を特定すること。
• 対称群や関連する群に対する非アーベル隠れた部分群問題（HSP）を解く際の量子コセット状態の限界を分析すること。
• 共同測定に基づく効率的な量子アルゴリズムに必要なコセット状態の数に対する情報理論的下界を確立すること。
• 特定の構造的条件下で、GL(n, F_{p^m}) や G^n などの他の非アーベル群にこれらの結果を一般化すること。
• 単一または少数のコセット状態に依存する既存のアプローチが、コセット状態法によるグラフ同型性の効率的解法に不十分であることを示すこと。

提案手法

• 著者たちは、k 個のコセット状態に作用するPOVMが誘導する分布間の全 Variation 距離を分析し、隠れた部分群に関する情報抽出の程度を測定している。
• 有限群の表現理論と特徴指標理論を用いて、異なる候補部分群に対応する混合状態間のトレース距離の上限を導出している。
• 分析は、特に隠れた部分群がインボリューションによって生成される対角部分群または自明部分群である場合の対称群 S_m 及びその積 (S_m)^n に焦点を当てる。
• 特に、非可約表現とその特徴指標にかかわる、スペクトルノルムと特徴和を用いた重要な不等式が導出されている。
• 群要素の区別可能性を定量化するパrameter ε = 1 - 2|C(h)|/|G| を用いて、状態間の重なりの減衰をバインドする。
• Cauchy-Schwarz 不等式を適用し、非可約表現の構造を活用して、k が Ω(n log n) でない限りトレース距離が指数的に減少することを示す条件を導出している。

実験結果

リサーチクエスチョン

• RQ1 グラフ同型性問題において、隠れた部分群に関する多項式的に有用な情報を抽出するための、エンタングルメント測定に必要なコセット状態の最小数は何か？
• RQ2 単一または少数のコセット状態のみを用いることで、グラフ同型性のための効率的な量子アルゴリズムを構築できるか、それとも多くの状態にわたる高レベルのエンタングルメント測定が必要か？
• RQ3 群 G の構造、特にその非可約表現と特徴指標値が、コセット状態の区別可能性にどのように影響するか？
• RQ4 どの非アーベル群の族に対して、HSP を効率的に解くために Ω(n) 個のコセット状態にわたる測定が実際に必要であると証明可能か？
• RQ5 1つまたは少数のコセット状態を一度に測定する既存の量子アルゴリズムは、どれほど情報の減少が指数的に進行するため、失敗するのか？

主な発見

• グラフ同型性において、コセット状態に基づく効率的な量子アルゴリズムは、有用な情報を抽出するため、少なくとも Ω(n log n) 個のレジスタにわたるエンタングルメント測定を必要とする。
• 必要なコセット状態数の情報理論的上界 O(log |G|) が下界と一致しており、この文脈では Ω(n log n) が最適であることが示されている。
• m ≥ 5 かつ h がインボリューションであるとき、(S_m)^n の群において、対角部分群 ⟨(h,…,h)⟩ と自明部分群を区別するには、Ω(n) 個のレジスタにわたるエンタングルメント測定が必要である。
• G がインボリューション h を持ち、|G|^{1/2} > |Ĝ|^{1/2} ∑_{σ∈Λ} d_σ² を満たす場合（ここで Λ は |χ_σ(h)| = d_σ を満たす非可約表現の集合）、Ω(n) のエンタングルメント測定が必要である。
• この結果は、GL(n, F_{p^m}) や G^n などの群に対しても、適切な条件下で一般化可能であり、このようなエンタングルメント要件がグラフ同型性に特有のものではないことが示されている。
• 本論文は、単一または少数のコセット状態の測定では、情報の増加が指数的にわずかであることを確認しており、これではこれらの状況における効率的なHSP解法には不十分である。