[論文レビュー] A Lagrangian-Driven Cellular Automaton Supporting Quantum Field Theory

Hans H. Diel|arXiv (Cornell University)|Jul 29, 2015

Cellular Automata and Applications参考文献 8被引用数 7

ひとこと要約

本稿では、非局所的な物理的対象（粒子や場）をセルラー・オートマトン（CA）の状態構造に組み込むことで、量子場理論（QFT）をモデル化するためのラグランジュ関数に基づく拡張型セルラー・オートマトン、QFTCA を提案する。運動方程式から導かれるダイナミクスと、QFT の相互作用（波動関数の収束やもつれを含む）の関数的モデルを統合することで、古典的 CA が高度な物理学を扱うには不十分であり、非局所性や測定に類似したプロセスを扱うために明示的な拡張が必要であることを示している。

ABSTRACT

Models of areas of physics in terms of cellular automata have become increasingly popular. Cellular automata (CAs) support the modeling of systems with discrete state component values and enforce the comprehensive specification of the dynamic evolution of such systems. Because many areas of physics can be described by starting with a specific Lagrangian, the idea to derive a cellular automaton directly from the Lagrangian (or similar construct, such as the Hamiltonian or action) is not new. Previous work, however, indicated that the classical CA may not be a sufficient basis for the modeling of more advanced physics theories, such as quantum field theory. Specifically, the modeling of interactions in quantum field theory requires extensions and modifications of the classical CA. This paper describes a proposal for an extended cellular automaton that is suited for support of quantum field theory.

研究の動機と目的

• 古典的セルラー・オートマトンが、特に量子場理論（QFT）をモデル化する際の限界を解消すること。
• 物理的関数的モデルを完全に導出するにあたり、ラグランジュ関数や運動方程式のみに依存する欠陥を特定すること。
• 古典的 CA フレームワークを拡張し、粒子や場のような非局所的物理的実体をサポートするようにすること。
• 測定プロセス（波動関数の収束やもつれを含む）が、CA フレームワーク内にどのように関数的に埋め込まれるかを調査すること。
• 既存の理論的定式化、特に [3] に基づいて、CA を用いた QFT 相互作用の関数的モデルを提案するとともに、欠落している仕様を特定すること。

提案手法

• QFTCA を、非局所的状態成分を含む物理学的システム構造に埋め込んだ拡張型セルラー・オートマトンとして定義する。
• システムの状態を、CA のセル、粒子集合、場集合として構造化し、物理的対象の所属に応じてセル間で非一様な状態成分を許容する。
• 与えられたラグランジュ関数からオイラー＝ラグランジュ手続きを用いて導かれた運動方程式に基づき、CA の更新関数を導出する。
• [3] からの QFT 相互作用の関数的モデル（波動関数の収束やもつれを含む）を CA のダイナミクスに統合する。
• ユニタリティの基準として散乱行列（S行列）を用いるが、これは運動方程式としてではなく、導出された構成要素として扱う。
• 非線形挙動（波動関数の収束など）をモデル化するために関数的記述を用い、基礎となるラグランジュ関数や運動方程式の変更を避ける。

実験結果

リサーチクエスチョン

• RQ1 離散的状態と局所的更新ルールに依存する古典的セルラー・オートマトンが、量子場理論を適切にモデル化できるか。
• RQ2 もつれ粒子や場のような非局所的物理的対象をサポートするために、古典的 CA に必要な拡張は何か。
• RQ3 基礎となるラグランジュ関数を変更せずに、量子理論における波動関数の収束や測定プロセスを CA フレームワーク内にどのように関数的に埋め込むことができるか。
• RQ4 S行列を介した QFT 相互作用が線形性を示す程度は何か。これは CA のダイナミクス的進化とどのように関係するか。
• RQ5 セルラー・オートマトン内での完全な QFT 機能的モデルを構築するにあたり、ラグランジュ関数に加えて必要な追加の仕様は何か。

主な発見

• 古典的セルラー・オートマトンは、非局所的物理的対象や測定プロセスを表現できないため、量子場理論をモデル化するには不十分である。
• 提案された QFTCA は、CA のセル、粒子集合、場集合を含むシステム状態を導入することで、古典的 CA を拡張し、非一様な状態成分と非局所的情報処理を可能にしている。
• CA のダイナミクスは、与えられたラグランジュ関数からオイラー＝ラグランジュ手続きを経て得られた運動方程式に基づいて導出されており、基礎となるラグランジュ関数と整合性がある。
• 波動関数の収束やもつれは、[3] の枠組みを適応することで、QFTCA 内で関数的にモデル化されており、ラグランジュ関数や運動方程式の変更なしに実現されている。
• S行列のユニタリティは、CA のダイナミクス的進化における線形性を保証しない。なぜなら、'入'状態から'出'状態への写像が一対一ではないため、CA モデル内に非線形性の可能性が示唆される。
• 本研究では、時間の役割、線形性の弱体化、標準的 QFT 定式化を超えた解釈レベルの追加要件といった、主な課題を同定した。これらの課題は、さらなるシミュレーションによる検証を要する。