[論文レビュー] Classical and Quantum Problems for Quanputers

Nugzar Makhaldiani|ArXiv.org|Oct 26, 2002

Cybersecurity and Information Systems参考文献 4被引用数 4

ひとこと要約

本稿は、時間反転可能で可逆的動的系として扱われる古典的および量子的問題を統一的に解くためのフレームワークを提案する。離散ハミルトニアンを定式化し、時間順序進化や経路積分近似といった量子コンピューティング技術を活用することで、同一のアルゴリズム的手法を用いて古典的および量子的システムの両方を普遍的にシミュレート可能となる。

ABSTRACT

Quantum computers are considered as a part of the family of the reversible, lineary-extended, dynamical systems (Quanputers). For classical problems an operational reformulation is given. A universal algorithm for the solving of classical and quantum problems on quanputers is formulated.

研究の動機と目的

• 量子コンピュータを可逆的で線形拡張された動的系として理論的基盤を確立すること。
• 古典的システムに線形的かつ重ね合わせ可能な運動量に類似した変数を拡張することで、古典的および量子的計算を統合すること。
• 量子コンピューティング技術を用いて、古典的および量子的問題を解く普遍的なアルゴリズムを開発すること。
• 時間反転可能古典的系とその拡張された量子的類似系との等価性を示すこと。
• 粒子加速器、 Hubbard モデル、統一場理論などの複雑な物理的システムのシミュレーションを、量子コンピュータ上で可能にすること。

提案手法

• 時間反転可能で可逆的遷移関数を持つ古典的離散的動的系としての定式化。
• 共役運動量 $ l_n(k) $ を含む拡張された作用関数を導入し、離散的ハミルトニアン形式を構築。
• 状態 $ s_n(k) $ および運動量 $ l_n(k) $ の運動方程式を導出。$ l_n(k) $ が線形に進化し、重ね合わせを支持することを示す。
• 時間発展演算子を運動エネルギー項とポテンシャル項の時間順序積に分解するための Trotter-Suzuki 分解を適用。
• 量子的および古典的領域の両方に適応可能な経路積分近似を用い、行列要素 $ \langle x_{n+1} | U^{1/N} | x_n \rangle \sim \exp(\theta(\frac{m}{2}(\frac{x_{n+1}-x_n}{\tau})^2 - V(x_n))) $ を得る。
• 量子ハミルトニアンの古典的類似物を特定することで、ディラック型方程式や質量ゼロの場理論へ形式を拡張。

実験結果

リサーチクエスチョン

• RQ1 時間反転可能古典的コンピュータは、重ね合わせやもつれを有する量子的類似系へ体系的に拡張可能か？
• RQ2 同一の計算フレームワーク上で、古典的および量子的問題を解く普遍的なアルゴリズムをどのように構築できるか？
• RQ3 古典的ハミルトニアン系とその量子的拡張との間の数学的および物理的等価性は何か？
• RQ4 量子コンピューティング技術は、高エネルギー物理学や強相関系物質における困難な古典的問題のシミュレーションに適応可能か？
• RQ5 この形式的枠組みにおいて、プランク定数 $ \hbar $ は古典的および量子的力学の橋渡しとして果たす役割は何か？

主な発見

• 時間反転可能古典的系は、共役運動量 $ l_n(k) $ を持つ拡張されたハミルトニアン系と数学的に等価であり、$ l_n(k) $ は線形に進化し重ね合わせを支持する。
• 拡張された系により、同一のアルゴリズムフレームワークを用いて古典的および量子的問題の両方を普遍的にシミュレート可能である。
• 離散的経路積分近似により、行列要素 $ \langle x_{n+1} | U^{1/N} | x_n \rangle \sim \exp(\theta(\frac{m}{2}(\frac{x_{n+1}-x_n}{\tau})^2 - V(x_n))) $ が得られ、これは量子的および古典的領域の両方に有効である。
• $ a = i t / (2m\hbar N) $ の場合、行列要素は標準的な量子力学的伝播関数に簡略化され、量子力学と整合性を確認する。
• この形式的枠組みにより、Hubbard モデル、重イオン加速器、統一場理論（例：弦理論／M理論）などの複雑な系を量子コンピュータ上でシミュレート可能である。
• 質量ゼロの粒子に対するディラック方程式は、$ \hbar $ をキャンセルすることで古典的類似形に還元され、相対論的量子場の古典的解釈が可能であると示唆する。