[論文レビュー] The Maslov dequantization, idempotent and tropical mathematics: A brief introduction

Grigori Litvinov|ArXiv.org|Jul 1, 2005

Polynomial and algebraic computation参考文献 92被引用数 50

ひとこと要約

本稿は、プランク定数 ℏ が虚数値をとるとき 0 に近づくマスロフの脱量化プロセスを介して、古典的数学の脱量化としての冪等的およびトロピカル数学を導入する。標準的な数学的構造とその冪等的類似物との間の対応関係を確立し、特に最大-加法および最小-加法代数を用いることで、最適化、制御理論、理論物理学への応用において簡略化されながらも強力なフレームワークが明らかになる。

ABSTRACT

This paper is a brief introduction to idempotent and tropical mathematics. Tropical mathematics can be treated as a result of the so-called Maslov dequantization of the traditional mathematics over numerical fields as the Planck constant $\hbar$ tends to zero taking imaginary values.

研究の動機と目的

• マスロフの脱量化プロセスを通じて、伝統的な数学の極限的ケースとしての冪等的およびトロピカル数学を導入すること。
• 古典的数学的構造とその冪等的類似物との間の対応原理を確立すること、特に最適化と解析における応用を想定すること。
• 最大-加法および最小-加法代数（冪等的半環）が、応用数学における複雑な問題を解くための簡略化されながらも強力なフレームワークを提供することを示すこと。
• 冪等的半環が、漸近的解析の文脈において、数学、物理学、コンピュータ科学の間の概念を統合する役割を果たすことを強調すること。
• 一般化されたファジィ集合および区間値関数を、冪等的フレームワークに組み込むことの理論的および応用的意義を動機づけること。

提案手法

• ℏ → 0 を虚数値でとるマスロフの脱量化手順を用い、標準的な算術を冪等的演算に変換する。
• 最大-加法代数（R_max）を x ⊕ y = max{x,y} および x ⊙ y = x + y で定義し、最小-加法代数（R_min）を ⊕ = min および ⊙ = + で定義する。
• 変換 u = h ln x を用いて、正の実数を R ∪ {−∞} に写像し、変形された演算 u ⊕_h v = h ln(exp(u/h) + exp(v/h)) および u ⊙ v = u + v を導出する。
• 加法が冪等的（x ⊕ x = x）である半環および半体としての冪等的半環を定義し、新たな解析形式を可能にする。
• 冪等的対応原理を適用して、古典的定理や構成の冪等的類似物を導出する。
• 冪等的半環 S 上の一般化されたファジィ集合を導入し、関数 f: Ω → S が、S がブール代数である場合に古典的ファジィ集合および通常の集合を一般化する。

実験結果

リサーチクエスチョン

• RQ1 マスロフの脱量化プロセスは、ℏ → 0 のとき、どのように古典的数学を冪等的数学に変換するか？
• RQ2 冪等的半環（例：R_max、R_min）は、古典的解析および関数計算の類似物を構築する上で果たす役割は何か？
• RQ3 冪等的対応原理は、量子論、古典的物理学、離散数学の間の結果をどのように統一するか？
• RQ4 冪等的半環における一般化されたファジィ集合および区間値関数は、どのように古典的ファジィ集合論および可能性論を拡張するか？
• RQ5 冪等的数学は、応用数学における最適化、制御理論、微分方程式にどのような意味を持つか？

主な発見

• マスロフの脱量化プロセスは、ℏ → 0 で虚数値をとるとき、実数および複素数上の伝統的数学の極限的ケースとして冪等的数学を導く。
• R_max や R_min などの冪等的半環は、加法が冪等的（x ⊕ x = x）であるための代数的フレームワークを提供し、新たな解析および計算形式を可能にする。
• 冪眼的対応原理は、古典的数学的構成とその冪眼的類似物との間の直感的だが強力な類似関係を確立し、しばしば簡略化されながらも洞察に富んだ結果をもたらす。
• 最大-加法および最小-加法代数は、動的計画法やハミルトン・ヤコビ方程式を含む最適化問題を代数的表現に再定式化可能にする。
• 冪眼的半環上の一般化されたファジィ集合は、古典的ファジィ論理および可能性論を拡張し、数学的モルフォロジーおよび意思決定理論への応用を持つ。
• 冪眼的数学は、トロピカル代数幾何、クラスター代数、離散凸解析の自然なフレームワークを提供し、数学的分野間の深い構造的関係を明らかにする。