[論文レビュー] The sum-over-histories formulation of quantum computing

Ben Rudiak-Gould|ArXiv.org|Jul 21, 2006

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

本稿は、量子計算における標準的な状態ベクトルアプローチの補完的枠組みとして、経路積分原理を用いて量子回路をモデル化する、履歴の和（sum-over-histories）形式を導入する。これは、正準形式と数学的に同等であり、量子振幅の計算をすべての可能な計算的歴史の和として定式化できることを示し、複雑性や回路シミュレーション、量子言語設計における新たな洞察をもたらす。

ABSTRACT

Since Deutsch (1985), quantum computers have been modeled exclusively in the language of state vectors and the Schroedinger equation. We present a complementary view of quantum circuits inspired by the path integral formalism of quantum mechanics, and examine its application to some simple textbook problems.

研究の動機と目的

• 状態ベクトルとシュレーディンガー方程式の枠組みに代わる、経路積分（履歴の和）に基づく量子計算の代替形式を提示すること。
• 連続的経路積分形式を離散的量子回路に適応させることで、量子場理論の技法と量子回路設計の間の溝を埋めること。
• 履歴の和形式が、量子アルゴリズム、複雑性、回路シミュレーションの理解において、概念的または計算的利点を提供するかどうかを検討すること。
• 特にトポロジカルまたは非逐次的回路モデルに適した、量子プログラミング言語設計への応用可能性を調査すること。
• 教育的支援や概念的理解を促進するため、抽象的な状態ベクトル解釈を超えた直感的な代替的視点を提供すること。

提案手法

• 系を 2^n 個の古典的状態に制限し、時間も δt の離散的インターバルに分割することで、連続的経路積分形式を離散化する。
• 各量子的歴史を時間経過に伴う計算基底状態の系列として表現し、すべての可能な状態遷移経路にわたる離散的和を構築する。
• 連続する状態間の遷移に基づいて、L(φ_t, φ_{t+δt}, t) という離散化されたラグランジアンを定義し、各歴史の位相寄与を決定する。
• 全遷移振幅を、各歴史の複素重み B(φ_t, φ_{t+δt}, t) = exp(i/ħ × L(φ_t, φ_{t+δt}, t)) の積として表し、すべての歴史にわたって和をとる。
• 与えられた入出力遷移に対する振幅が、正準的なユニタリ発展と同一であることを示すことにより、正準形式と履歴の和形式との数学的同等性を確立する。
• 教科書的な量子回路にこの形式を適用し、その概念的明快さと計算可能性を実証する。

実験結果

リサーチクエスチョン

• RQ1 履歴の和形式は、標準的な量子回路を効果的にモデル化できるか。これは、正準的な状態ベクトルアプローチの代替として有効であるか。
• RQ2 回路シミュレーションにおいて、履歴の和形式は正準形式と比較して、計算複雑性やメモリ効率の点で優位性を示すか。
• RQ3 経路積分的視点は、量子アルゴリズムの構造や古典的計算と量子計算の関係にどのような洞察をもたらすか。
• RQ4 この形式は、特にトポロジカルまたは非逐次的量子回路に適した、新しい量子プログラミング言語設計を支援できるか。
• RQ5 履歴の和アプローチは、BQP ⊆ PSPACE などの量子複雑性の基礎的概念を単純化または明確化するか。

主な発見

• 履歴の和形式は、正準的なユニタリ発展形式と数学的に同等であり、任意の量子回路について、同一の遷移振幅を生成する。
• BQP ⊆ PSPACE の包含関係が、履歴の和の形で明確に理解できる。なぜなら、履歴の和は多項式空間で計算可能だからである。
• 素朴なシミュレーションにおいて、履歴の和アプローチは、特に大規模系において、状態ベクトルシミュレーションよりもはるかに少ないメモリを要する。
• このアプローチは、量子回路を「歴史の集合」として理解する直感的な枠組みを提供し、古典的ゲートが多数の歴史をフィルタリングまたは除外する役割を果たすことを示している。
• 抽象的な状態ベクトル解釈を超えた視点を提供するため、教育的支援に役立つ可能性がある。
• 新しい多項式時間シミュレーションアルゴリズムをもたらすとは予想されないが、複雑性理論において概念的利点を提供し、量子言語設計における新たな抽象化の発想を生む可能性がある。