[論文レビュー] Abelian Hypergroups and Quantum Computation

Juan Bermejo-Vega, Kevin C. Zatloukal|arXiv (Cornell University)|Sep 18, 2015

Computability, Logic, AI Algorithms参考文献 98被引用数 3

ひとこと要約

この論文は、アーベル超群安定化形式を導入し、ゲーツマン＝クラウルの定理を一般化して、可解なアーベル超群における隠れた部分超群を効率的に特定する量子アルゴリズムを構築する。非可換群における隠れた正規部分群問題（HNSP）を、共役類を通じてアーベル超群における隠れた部分超群問題（HSHP）に接続することで、可解群におけるHNSPの新しい量子アルゴリズムを達成し、非ユニタリ安定化のための古典的シミュレーションと適応的フーリエサンプリング技術を示している。

ABSTRACT

Motivated by a connection, described here for the first time, between the hidden normal subgroup problem (HNSP) and abelian hypergroups (algebraic objects that model collisions of physical particles), we develop a stabilizer formalism using abelian hypergroups and an associated classical simulation theorem (a la Gottesman-Knill). Using these tools, we develop the first provably efficient quantum algorithm for finding hidden subhypergroups of nilpotent abelian hypergroups and, via the aforementioned connection, a new, hypergroup-based algorithm for the HNSP on nilpotent groups. We also give efficient methods for manipulating non-unitary, non-monomial stabilizers and an adaptive Fourier sampling technique of general interest.

研究の動機と目的

• 群の範囲を越えてアーベル群安定化形式を一般化することで、非可換群における隠れた正規部分群問題（HNSP）の量子アルゴリズムを理解すること。
• HNSPとアーベル超群の間の明示的な形式的関係を確立し、非可換群の共役類が乗法に関してアーベル超群を形成することを示すこと。
• アーベル超群における安定化形式を構築し、Gottesman-Knill理論を一般化して、これらの構造上の量子回路の古典的シミュレーションを可能にすること。
• 超群形式を用いて、可解なアーベル超群におけるHSHPのための新しい効率的量子アルゴリズムを提供し、正当な効率性と適応的フーリエサンプリングを実現すること。
• 非ユニタリかつ非単項安定化のためのツールを拡張し、関連する量子回路の古典的シミュレーション可能性を示すこと。

提案手法

• 著者らは、衝突が結果の集合を生じる群の一般化として、アーベル超群を定義し、粒子の相互作用をモデル化する。
• 非可換群の共役類が乗法に関してアーベル超群を形成することを確立し、正規部分群の構造を捉える。
• アーベル超群に対する安定化形式を構築し、Gottesman-Knill定理を一般化して、これらの構造上の量子回路の効率的古典的シミュレーションを可能にする。
• 非ユニタリかつ非単項安定化状態に特化した適応的フーリエサンプリング技術を含む。
• 形式的枠組みを可解なアーベル超群に適用し、隠れた部分超群問題（HSHP）に対する効率的量子アルゴリズムを導出する。
• 主要な式には、キャラクターの直交性と、自明な既約表現を測定する確率の上限が含まれ、成功確率の分析に用いられる。

実験結果

リサーチクエスチョン

• RQ1 非可換群における隠れた正規部分群問題（HNSP）は、アーベル超群における隠れた部分超群問題（HSHP）として再定式化可能か？
• RQ2 アーベル超群における安定化形式は存在するか？ その形式により、量子回路の古典的シミュレーションが可能になり、Gottesman-Knill定理が一般化されるか？
• RQ3 この形式を用いて、可解なアーベル超群におけるHSHPのための効率的量子アルゴリズムを構築可能か？
• RQ4 超群状態のフーリエサンプリングにおいて、自明な既約表現を測定する確率は何か？ そして、これは部分群構造とどのように関係するか？
• RQ5 非可解で、かつ超可解な群のうち、この超群的手法によって効率的量子アルゴリズムが得られるクラスは何か？

主な発見

• 論文は、非可換群におけるHNSPとアーベル超群におけるHSHPとの間の形式的関係を確立し、共役類が乗法に関してアーベル超群を形成することを示した。
• アーベル超群安定化形式が開発され、Gottesman-Knill定理が一般化され、アーベル超群上の量子回路の効率的古典的シミュレーションが可能になった。
• 可解なアーベル超群における隠れた部分超群を効率的に特定する量子アルゴリズムが構築され、成功確率がゼロから離れて一定の値（例：二面体群では最大で2/3）で保証された。
• 二面体群では高い成功確率が達成され、nが奇数のとき自明な既約表現を測定する確率は2/3以下、nが偶数のときは1/2以下であり、いずれもnに依存しない定数である。
• 非ユニタリかつ非単項安定化状態の効率的測定を可能にする適応的フーリエサンプリング技術が含まれ、シミュレーション技術の適用範囲が拡張された。
• 一部の超可解群（例：Z_p上のアフィン群）ではアルゴリズムが失敗することが判明し、この方法が普遍的に適用可能ではないことが示されたが、二面体群など他の群では成功しており、HNSPが効率的に解ける非自明な可解群のクラスが特定された。