[論文レビュー] Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem

Stefano Gogioso, Aleks Kissinger|ArXiv.org|Jan 30, 2017

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

ひとこと要約

本稿は、アーベル型隠れ部分群問題（HSP）の量子アルゴリズムに対する、最初の完全な図式的証明を提示する。強いための補完的可観測量が、量子優位性を可能にする根本的な代数的特徴であることを示している。カテゴリカル量子力学とストリング図を用いて、著者たちは証明を有限次元量子理論を超えて一般化し、実量子理論や格子・トーラスのような無限次元系にも適用可能であることを示している。

ABSTRACT

The abelian Hidden Subgroup Problem (HSP) is extremely general, and many problems with known quantum exponential speed-up (such as integers factorisation, the discrete logarithm and Simon's problem) can be seen as specific instances of it. The traditional presentation of the quantum protocol for the abelian HSP is low-level, and relies heavily on the the interplay between classical group theory and complex vector spaces. Instead, we give a high-level diagrammatic presentation which showcases the quantum structures truly at play. Specifically, we provide the first fully diagrammatic proof of correctness for the abelian HSP protocol, showing that strongly complementary observables are the key ingredient to its success. Being fully diagrammatic, our proof extends beyond the traditional case of finite-dimensional quantum theory: for example, we can use it to show that Simon's problem can be efficiently solved in real quantum theory, and to obtain a protocol that solves the HSP for certain infinite abelian groups.

研究の動機と目的

• 低レベルの代数的取り扱いを越えて、高水準かつ完全な図式的証明を提供すること。
• 強い補完的可観測量が、HSPにおける量子高速化の根幹をなす構造的特徴であることを示すこと。
• HSPアルゴリズムの適用範囲を、標準的な有限次元量子力学を超えて、同様の代数的構造を持つ他の理論へ拡張すること。
• 図式的フレームワークを用いて、実量子理論においてシモン問題が効率的に解けることを示すこと。
• 非標準解析と無限次元ヒルベルト空間を用いて、Z^N や T^N などの無限アーベル群へのHSPアルゴリズムの一般化を図ること。

提案手法

• 左右方向の合成を順次操作に用いる、ダガー対称モノイド圏とストリング図の図式的言語を用いて、量子プロセスを表現する。
• 量子フーリエ変換とユニタリオラクル U_f を、特に †-Frobenius代数として、図式的計算内での代数的構造として表現する。
• †-Frobenius代数間の強いための補完的性質を用いて、HSPアルゴリズムにおける量子優位性を特徴付ける。
• 図式的コンポーネント（アダマール、オラクル、フーリエ変換）の合成として、量子サブルーチンを形式化する。これらはすべて図式的言語で表現されている。
• 有界および無限大作用素とデルタ関数を含むカテゴリ⋆Hilbを用いて、無限次元設定への拡張を図る。
• これらの設定において適切な強いための補完的ペアの存在を検証することで、実量子理論および無限アーベル群へのフレームワークの適用を実施する。

実験結果

リサーチクエスチョン

• RQ1 強いための補完的性質は、アーベル型HSPにおける量子サブルーチンの成功にとって、必要かつ十分な条件か？
• RQ2 HSPの量子アルゴリズムは、複素ベクトル空間に依存しない、完全な図式的・圏論的フレームワークに再定式化可能か？
• RQ3 図式的アプローチは実量子理論へ拡張可能であり、その設定でシモン問題が効率的に解けることを証明できるか？
• RQ4 非標準解析と図式的手法を用いて、Z^N や T^N などの無限アーベル群へのHSPアルゴリズムの一般化は可能か？
• RQ5 G = Z^N のような無限次元ケースにおいて、古典的後処理ステップはどのように変化するか。特に、 annihilators が無限大である場合にどうなるか？

主な発見

• 本稿は、アーベル型HSP量子アルゴリズムの、最初の完全な図式的証明を確立し、強いための補完的性質が、量子優位性を可能にする本質的構造的特徴であることを示している。
• 図式的フレームワークは、実量子理論においてシモン問題が効率的に解けることを確認しており、その設定に必要な強いための補完的可観測量が存在するからである。
• このアプローチは無限次元量子系へ一般化可能であり、Z^N（格子）および T^N（トーラス）といった無限アーベル群におけるHSPの有効な量子サブルーチンを導出している。
• G = Z^N の場合、すべての商群 G/H および双対群 Ann[H] ≤ T^N が有限であるため、古典的後処理は有限かつ効率的のままである。
• G = T^N の場合、Z^N における無限大の双対群のため、古典的後処理にはわずかな調整が必要であるが、量子部分は依然として有効であり、図式的に整合的である。
• このフレームワークは、さまざまな物理的理論に強く耐性を持つ。標準量子理論（C 上）、実量子理論（R 上）、およびカテゴリ⋆Hilb を通じた無限次元理論に適用可能である。