[論文レビュー] Hidden Subgroup States are Almost Orthogonal

Mark Ettinger, Peter Høyer+1 more|ArXiv.org|Jan 14, 1999

Quantum Computing Algorithms and Architecture参考文献 1被引用数 44

ひとこと要約

この論文は、有限群における隠れ部分群状態がほとんど直交することを示しており、O(log |G|)のオракルクエリで任意の隠れ部分群を特定できる量子アルゴリズムを可能にしている。アルゴリズムは、ランダムなコセット状態のテンソル積に対して逐次測定戦略を用い、非一致する部分群状態間の内積が指数的に小さくなることで、高確率での部分群回復を達成する。

ABSTRACT

It is well known that quantum computers can efficiently find a hidden subgroup $H$ of a finite Abelian group $G$. This implies that after only a polynomial (in $\log |G|$) number of calls to the oracle function, the states corresponding to different candidate subgroups have exponentially small inner product. We show that this is true for noncommutative groups also. We present a quantum algorithm which identifies a hidden subgroup of an arbitrary finite group $G$ in only a linear (in $\log |G|$) number of calls to the oracle function. This is exponentially better than the best classical algorithm. However our quantum algorithm requires an exponential amount of time, as in the classical case.

研究の動機と目的

• 任意の有限群における隠れ部分群状態がほとんど直交することを確立し、効率的な量子同定を可能にする。
• O(log |G|)のオラクル呼び出しでのみ隠れ部分群を特定する量子アルゴリズムを提示する。これは古典的手法に比べて指数的に少ない。
• コセット状態の幾何的構造とそれらの内積を分析し、部分群同一定位における誤差確率の上限を求める。
• 非アーベル群における測定結果の効率的実装と後処理の可能性を検討する。

提案手法

• アルゴリズムは、隠れ部分群Hのm個のランダムな左コセットのテンソル積状態を準備する。ここでm = 4 log|G| + 2である。
• 各群元g ∈ Gに対して、P⟨g⟩とP⟨g⟩⊥の射影演算子に基づく逐次測定戦略を用いる。
• 各g ∈ Gに対して、観測量A⟨g⟩ = P⟨g⟩ − P⟨g⟩⊥を適用し、g ∈ Hであるかどうかを高い信頼性で同定する。
• 鍵となる洞察は、K ≤ GでK ⊈ Hの場合、内積⟨Ψ|P_K|Ψ⟩ ≤ (d/|K|)^m ≤ 1/2^mが成り立つことである。ここでd = |H ∩ K|である。
• 状態の進化は非正規化状態|Ψ_i⟩で追跡され、帰納法により||E_i||² ≤ i² / 2^mで誤差が抑えられる。
• 最終測定結果|Ψ_|G||⟩は、真の状態に対して1 − 2|G|/2^{m/2}以上の忠実度を持つことが示され、m = 4 log|G| + 2のとき高確率で成功する。

実験結果

リサーチクエスチョン

• RQ1 非アーベル有限群における隠れ部分群状態は、log|G|の多項式オーダーのオラクルクエリで識別可能か？
• RQ2 異なる候補部分群に対応する量子状態間の幾何的関係は何か？
• RQ3 O(log|G|)のクエリで、指数的に小さい誤差を持つ測定戦略は存在するか？
• RQ4 測定プロセスは効率的に実装可能であり、結果は効率的に後処理可能か？

主な発見

• アルゴリズムは、4 log|G| + 2のオラクルクエリで、確率1 − 1/|G|以上で隠れ部分群Hを正しく特定する。
• 任意の部分群K ≤ GでK ⊈ Hである場合、真の状態|Ψ⟩と任意の状態|Ψ(K, {b_i})⟩との内積は(1/2)^m以下であり、重なりが指数的に小さくなる。
• m = 4 log|G| + 2のとき、Hのすべての要素を同定する際の誤差確率は2|G| / 2^{m/2} ≤ 1/|G|で抑えられ、高確率での成功を保証する。
• 真の隠れ部分群Hに対応する状態|Ψ⟩は、K ≤ Hならば部分空間H_Kと完全に重なり⟨Ψ|P_K|Ψ⟩ = 1を示し、そうでない場合は無視できる程度の重なりしか持たない。
• 逐次測定プロセスは、高い確率で状態を著しく変化させず、全テスト過程で忠実度が保持される。
• この結果により、隠れ部分群状態がほとんど直交することを示し、情報理論的に効率的な識別を可能にする重要な幾何的性質が明らかになった。