[論文レビュー] Renormalization and computation I: motivation and background

Yuri I. Manin|ArXiv.org|Apr 30, 2009

Advanced Topics in Algebra参考文献 34被引用数 27

ひとこと要約

本稿は、量子場の理論における正則化と計算理論の間の概念的ブリッジを提案し、両分野における発散（量子の無限大と計算における無限ループ）が、特にホップ代数とビルコフ分解を用いて類似の数学的構造によって体系的に扱えると主張する。主な貢献は、フェニマン図の正則化と非終了計算の正則化の間の形式的類似性を示し、物理学における無限大と計算における無限ループを統一的に扱うフレームワークを提示することにある。

ABSTRACT

In this paper I argue that infinities in the classical computation theory such as the unsolvability of the Halting Problem can be addressed in the same way as Feynman divergences in Quantum Field Theory, and that meaningful versions of renormalization in this context can be devised. Connections with quantum computation are also touched upon.

研究の動機と目的

• 量子場の理論における発散と理論的計算科学における非終了計算の間の概念的・数学的類似性を確立すること。
• 正則化とビルコフ分解を含む正則化技術が、計算プロセスにおける発散を扱うために適応可能であることを示すこと。
• ホップ代数がフェニマン図と計算フローチャートの両方の統一的代数的構造を提供することを提案すること。
• 物理学と計算の両分野において無限大を正則化可能な対象として扱うという認識論的・基礎的意味を検討すること。
• 大規模な負債とリスクを含む金融・計算システムが、量子場の理論における正則化構造と類似している可能性を示唆すること。

提案手法

• フェニマン図を、量子振幅と計算フローチャートの両方の組合せ的骨格として用い、グラフに基づく形式的記述によって結びつける。
• 発散する積分を正則化するために、変形パラメータ z を導入し、z=0 における孤立した特異点を持つメロモルフィック関数に変換する。
• フェニマン図の同型類の集合からホップ代数 H を構成し、乗法を非交差和、余乗法をグラフ分解を記述する形で定義する。
• A = A₊ ⊕ A₋ である環 A への写像 φ: H → A を定義し、グラフをメロモルフィック関数のジェルムに写像する。ここで A₊ は正則部分、A₋ は極部を表す。
• φ にビルコフ分解を適用し、正則部 φ₊ ∈ A₊ と補正項部 φ₋ ∈ 1 + A₋ に分解し、φ₊(τ, z)|z=0 を用いて正則化された値を導出する。
• 再帰関数やチューリングマシンを、非終了の可能性を有するグラフとしてモデル化することで、この枠組みを計算的文脈へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 量子場の理論における正則化の数学的構造が、非終了計算における発散を解消するために適応可能か。
• RQ2 ホップ代数がフェニマン図と計算フローチャートの両方の自然な代数的枠組みを提供するか。
• RQ3 量子場の理論における無限大の減算と再帰関数論における無限ループの取り扱いの間に意味のある類似性があるか。
• RQ4 物理学における正則化の概念が、計算複雑性およびオракルマシンの文脈においてどのように再解釈可能か。
• RQ5 無限の負債と請求を含む金融システムが、量子場の理論における正則化技術と類似した方法でモデル化可能か。

主な発見

• 発散する積分が変形パラメータ z を用いて正則化可能であり、z=0 における極部を差し引いた有限部として正則化された値が定義されることを示した。
• フェニマン図にホップ代数構造を導入することで、摂動級数のすべての項を同時に正則化可能であり、キャラクター φ のビルコフ分解による φ₊ と φ₋ の分解が可能である。
• フェニマン積分 Iτ,reg の正則化された値は、正則部 φ₊(τ, z) を z=0 で評価することで得られ、相関関数の一貫した漸近級数を提供する。
• 同じ代数的枠組み（ホップ代数とビルコフ分解）を計算グラフに適用可能であり、非終了または発散する計算の正則化手法が得られると示唆された。
• 金融デリバティブと量子場の理論との間で比喩的だが数学的に示唆的な類似性を提示した。ここで、無限の負債と請求の差が、正則化における有限な観測量と類似している。
• 数学における有限構造から無限構造への認識論的転換（例えば、集合の代わりにホモトピー型）が、正則化プロセスと類似しており、無限の構成から有限の結果が生じることを示唆した。