[論文レビュー] Constructive physics

Yuri Ozhigov|ArXiv.org|May 19, 2008

Quantum Mechanics and Applications被引用数 8

ひとこと要約

本論文は、量子理論における標準的な数学的形式主義を、構成的数学に基づくアルゴリズム的・計算可能な構造に置き換える構成的物理学の枠組みを提案する。『集団的行動の方法』を導入し、確率的集合（拡散スワーム）を用いて量子ダイナミクスをシミュレートすることで、標準的量子力学と同等の結果を得るとともに、量子電磁力学や多体系フェルミオン・ボソン系といった複雑な系のスケーラブルでアルゴリズム的なシミュレーションを可能にする。

ABSTRACT

Discussion of the necessity to use the constructive mathematics as the formalism of quantum theory for systems with many particles.

研究の動機と目的

• 標準的量子力学のスケーラビリティおよび基礎的制限、特に測定やデコherenceのシミュレーションにおける課題に対処すること。
• 古典的論理、解析学、代数学に基づく物理学の標準的数学的道具立てを、アルゴリズム的計算可能性と物理的実装可能性を保証する構成的数学に置き換えること。
• 量子力学および量子電磁力学を、シミュレーションと計算を支援する構成的・アルゴリズム的形に変換するための有効なヒューリスティクスを開発すること。
• エンタングルメント、化学結合、多体系ダイナミクスなどの複雑な量子現象を、計算可能で視覚化可能かつスケーラブルなモデルを用いてシミュレートできること。
• 物理において複数の整合的なアルゴリズム的記述が同一の物理系に対して共存できることを可能にする、多様論理的基盤を確立すること。これは、計算実装の現実を反映している。

提案手法

• シュレーディンガー方程式から導かれる微分方程式に従って進化する確率的集合（拡散スワーム）を用いて、量子ダイナミクスをシミュレートする『集団的行動の方法』を提案する。
• 粒子の軌道が非一様な強度を持つ確率的微分方程式に従う動的拡散スワームモデルを導入し、波動関数の再構成を可能にする。
• 荷電粒子と光子のスレッドをスワーム表現として用いることで、量子電磁力学（QED）をキュービット形式で表現する形式的枠組みを構築し、相互作用のアルゴリズム的シミュレーションを可能にする。
• 『ネット』ヒューリスティクスを適用し、ポ인터の相互接続ネットワークとして量子系をモデル化することで、多体系およびエンタングルメントのスケーラブルなシミュレーションを可能にする。
• 構成的数学的論理と解析を用いて、実数、関数、代数的構造を再定義し、計算可能性と物理的観測可能性との整合性を保証する。
• 『自然科学のプログラムコンテナ』（PCN）という計算フレームワークを導入し、ネット形成のためのアルゴリズム的ルールを用いて、10^12個の原子といった大規模系をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 量子ダイナミクスは、非構成的数学的抽象概念ではなく、計算可能でアルゴリズム的なモデルを用いてどのようにシミュレートできるか？
• RQ2 拡散スワームによる集団的行動の方法は、波動関数の進化や測定結果を含め、標準的量子力学の予測を再現できるか？
• RQ3 量子電磁力学の構成的・アルゴリズム的表現とは何か？そして、化学結合の形成や光子媒介相互作用をモデル化するためにどのように利用できるか？
• RQ4 構成的数学は、デコherenceや測定問題といった量子理論の基礎的問題を、計算可能な手段によってどのように解決できるか？
• RQ5 構成的物理学における論理的多様論の意味は、量子系のシミュレーションおよび解釈にどのような影響を及えるか？

主な発見

• 拡散スワームモデルはシュレーディンガー方程式と同等の表現を提供し、スワーム粒子の統計的分布から波動関数を再構成可能である。
• 集団的行動の方法により、効果的状態選択アルゴリズムを用いて、陽子-水素原子散乱のような量子散乱過程のシミュレーションが可能である。
• 形式的枠組みにより、『光子スレッド』およびQEDにおけるネットベース表現を通じて、エンタングルメントや光子媒介相互作用のアルゴリズム的記述が可能である。
• 構成的数学的論理は、同一物理系に対して複数の整合的なアルゴリズム的記述が共存できる多様論的フレームワークを支持し、計算実装の現実を反映する。
• PCNフレームワークは、構成的でルールに基づくネット形成を用いて、10^12個の原子を含むマクロな量子系のシミュレーションへの道筋を提供し、従来のシミュレーション手法の限界を克服する。
• このアプローチにより、ボーン則および振幅量子化が構成的に取り扱われ、測度論的抽象性ではなくアルゴリズム的計算に基づく確率論が根拠づけられる。