[論文レビュー] Quantum computation from a quantum logical perspective

Jeffrey Bub|ArXiv.org|May 29, 2006

Quantum Computing Algorithms and Architecture参考文献 12被引用数 10

ひとこと要約

本稿は、量子アルゴリズムの量子論的論理的視点を提示し、ショアのアルゴリズム、シモンのアルゴリズム、デュイッチのXORアルゴリズムがすべて、関数の周期性やバランスといったグローバルな性質を効率的に特定するために、ヒルバート空間の部分空間における非ブール論理を活用していることを示している。これらの性質は直交するか重なる部分空間として符号化され、測定によって区別される。主な貢献は、これらのアルゴリズムを共通の幾何的枠組みで統一し、量子高速化が並列計算ではなく、関数評価を避ける部分空間に基づく推論に起因することを明らかにしている。

ABSTRACT

It is well-known that Shor's factorization algorithm, Simon's period-finding algorithm, and Deutsch's original XOR algorithm can all be formulated as solutions to a hidden subgroup problem. Here the salient features of the information-processing in the three algorithms are presented from a different perspective, in terms of the way in which the algorithms exploit the non-Boolean quantum logic represented by the projective geometry of Hilbert space. From this quantum logical perspective, the XOR algorithm appears directly as a special case of Simon's algorithm, and all three algorithms can be seen as exploiting the non-Boolean logic represented by the subspace structure of Hilbert space in a similar way. Essentially, a global property of a function (such as a period, or a disjunctive property) is encoded as a subspace in Hilbert space representing a quantum proposition, which can then be efficiently distinguished from alternative propositions, corresponding to alternative global properties, by a measurement (or sequence of measurements) that identifies the target proposition as the proposition represented by the subspace containing the final state produced by the algorithm.

研究の動機と目的

• 量子アルゴリズムを並列計算としてではなく、ヒルバート空間の部分空間に符号化された量子論的命題の操作として再定式化すること。
• ショアの、シモンの、デュイッチのアルゴリズムにおける指数的高速化が、ヒルバート空間の射影幾何における非ブール論理を活用することに起因することを示すこと。
• デュイッチのXORアルゴリズムが、この量子論的論理的解釈において、シモンのアルゴリズムの特殊な場合であることを示すこと。
• 量子高速化の核心的メカニズムは、関数値の評価ではなく、部分空間測定によるグローバル関数性質の効率的区別にあることの明確化。

提案手法

• 関数のグローバルな性質（周期性やバランスなど）をヒルバート空間の部分空間に符号化された量子論的命題として表現する。
• 代替のグローバルな性質を直交するか重なる部分空間としてモデル化し、重なりは測定結果の曖昧さに対応する。
• ユニタリ変換（例：アダマールゲートや量子フーリエ変換）を用いて、最終状態を部分空間所属が効率的に測定可能な基底に写像する。
• 測定を適用して、最終状態を含む部分空間を特定することで、個々の入力に対する関数評価なしに、目的のグローバルな性質を特定する。
• 部分空間上の可換な射影演算子の性質を活用し、射影測定によって代替命題を効率的に区別できることを活用する。
• アルゴリズムのプロセスを、ユニタリ操作の列に続いて単一の測定を行うものとして形式化し、状態が正しい部分空間に収束することで多項式時間で成功を達成する。

実験結果

リサーチクエスチョン

• RQ1 ショアの、シモンの、デュイッチの量子アルゴリズムにおける情報処理を、同一の概念的枠組みで統一することは可能か？
• RQ2 ヒルバート空間の部分空間における非ブール論理が、量子高速化を可能にする役割は何か？
• RQ3 なぜ関数を個々の入力に対して評価することなく、周期性やバランスといったグローバルな関数性質を特定できるのか？
• RQ4 ヒルバート空間の部分空間構造が、関数の代替グローバル性質を効率的に区別するのをどのように可能にするか？
• RQ5 どのような意味で、デュイッチのXORアルゴリズムは、量子論的論理的観点からシモンの周期検出アルゴリズムの特殊な場合と見なせるか？

主な発見

• アルゴリズムの高速化は、すべての関数値を並列に計算するのではなく、グローバルな性質を部分空間として符号化し、測定によってそれらを区別することで達成される。
• デュイッチのXORアルゴリズムは、形式的にシモンのアルゴリズムの特殊な場合であり、定数対バランスという2つの論理的選言的性質が、2次元部分空間として射影され、その交わりが1次元の直線（ray）を形成する。
• 測定プロセスにより、最終状態を含むターゲット部分空間が特定され、これによりグローバルな性質が明らかになる。成功確率は、重なり領域を避けることに依存する。
• アダマールゲートや量子フーリエ変換などのユニタリ変換の使用により、部分空間所属が検出可能な測定基底への効率的写像が可能になる。
• 指数的高速化は、古典的手法が複数の入力に対する関数評価を必要とするという要件を、量子アルゴリズムが部分空間に基づく推論によって回避することに起因する。
• 核心的メカニズムは、部分空間が命題を表し、それらの直交性や交わりの構造が効率的な論理的推論を可能にするヒルバート空間幾何における非ブール論理の活用にある。