[論文レビュー] Strong Fourier Sampling Fails over $G^n$

Gorjan Alagic, Cristopher Moore+1 more|ArXiv.org|Nov 7, 2005

Mathematical Analysis and Transform Methods参考文献 4被引用数 6

ひとこと要約

この論文は、基底群 $G$ が、非可約キャラクターとプランシュレ測度を含む表現論的条件を満たす場合、強力なフーリエ測定が $G^n$ の特定の隠れた部分群を区別できないことを示している。主な結果は、非アーベル単純群および特定の可解群に対して、共役状態における分離測定が、最適な強力なフーリエ測定でさえも、特定の部分群の測定統計が区別不能であるため、隠れた部分群問題を効率的に解くことができないことを示している。

ABSTRACT

We present a negative result regarding the hidden subgroup problem on the powers $G^n$ of a fixed group $G$. Under a condition on the base group $G$, we prove that strong Fourier sampling cannot distinguish some subgroups of $G^n$. Since strong sampling is in fact the optimal measurement on a coset state, this shows that we have no hope of efficiently solving the hidden subgroup problem over these groups with separable measurements on coset states (that is, using any polynomial number of single-register coset state experiments). Base groups satisfying our condition include all nonabelian simple groups. We apply our results to show that there exist uniform families of nilpotent groups whose normal series factors have constant size and yet are immune to strong Fourier sampling.

研究の動機と目的

• 強力なフーリエ測定が $G^n$ の隠れた部分群を区別できない条件を同定すること。
• 隠れた部分群問題に対する再帰的アプローチが、定数サイズの正規系列因子を持つ群に制限される理由を説明すること。
• 非アーベル単純群および特定の可解群が強力なフーリエ測定に対して免疫であることを確立すること。
• これらの群において、共役状態に対する分離測定が、最適な測定戦略を用いてもHSPを効率的に解くことができないことを証明すること。

提案手法

• 表現の非可約表現におけるプランシュレ測度を分析し、キャラクターの境界条件を満たさない表現の次元ごとの質量を評価する。
• 非可換群 $G$ の中心に属さない対合 $\mu$ に対して $|\chi_\rho(\mu)| < d_\rho$ である条件を、弱い測定の失敗の出発点として用いる。
• MRS05の補題1を適用して、ランダムな対合 $m$ に対する $\|\Pi_m \mathbf{b}\|^2$ の期待値と分散を計算する。
• ワレーン積 $\mathbb{Z}_2 \wr D_k$ および $\mathbb{Z}_2^{\wr k}$ の表現理論を構築し、非可約表現におけるキャラクターの境界を分析する。
• 群 $G = \mathbb{Z}_2 \wr D_k$ または $\mathbb{Z}_2^{\wr k}$ に対して、非自明な一次元でない非可約表現の正規化キャラクターが特定の対合で1未満に抑えられることを示し、失敗条件を満たすことを証明する。
• このような $G$ に対して $G^n$ は強力なフーリエ測定によって区別できないことを証明し、共役状態に対する分離測定による効率的解法が不可能であることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 基底群 $G$ がどのような条件下で、強力なフーリエ測定が $G^n$ の隠れた部分群を区別できないか。
• RQ2 なぜ隠れた部分群問題に対する再帰的アプローチは、定数サイズの正規系列因子を持つ群に制限されるのか。
• RQ3 非アーベル単純群は、HSPの文脈において強力なフーリエ測定に対して免疫となるか。
• RQ4 どの構造的性質が、プランシュレ測度がキャラクター境界条件を満たさない表現に十分な重みを割り当てないことを保証するか。
• RQ5 $\mathbb{Z}_2$ の繰り返しワレーン積によって構成される可解群は、強力なフーリエ測定の失敗条件を満たすか。

主な発見

• 基底群 $G$ がプランシュレ重み付きキャラクター境界条件を満たす場合、強力なフーリエ測定は $G^n$ における自明な部分群と $H = \{1, m\}$ を区別できない。
• すべての非アーベル単純群はこの条件を満たし、HSPにおける強力なフーリエ測定に対して免疫である。
• $\mathbb{Z}_2 \wr D_k$ は十分に大きな $k$ に対してこの条件を満たし、したがって $(\mathbb{Z}_2 \wr D_k)^n$ は強力なフーリエ測定に対して免疫である。
• 可解群 $\mathbb{Z}_2^{\wr k}$ は大きな $k$ に対してこの条件を満たし、$(\mathbb{Z}_2^{\wr k})^n$ に対しても同様に強力なフーリエ測定に対して免疫である。
• これらの群は定数サイズの因子を持つ正規系列を持つため、再帰的HSPアルゴリズムの制限を説明できる。
• この失敗は、共役状態に対する単一レジスタ実験を多項式回数行う分離測定でも、これらの群におけるHSPを解くことは不可能であることを示唆する。