[論文レビュー] Correspondence principle for idempotent calculus and some computer applications

Grigori Litvinov, V. P. Maslov|ArXiv.org|Jan 3, 2001

Computability, Logic, AI Algorithms参考文献 35被引用数 96

ひとこと要約

本稿では、従来の微積分における非線形問題を、idempotent 半体上での線形問題に変換する対応原理を導入する。線形代数の技法を用いて、効率的な解法が可能になる。変形パrameter（プランク定数に類似）の極限を活用することで、最適化、動的計画法、科学計算を統合する普遍的なフレームワークを提供し、ハードウェアおよびソフトウェア設計に応用可能である。

ABSTRACT

This paper is devoted to heuristic aspects of the so-called idempotent calculus. There is a correspondence between important, useful and interesting constructions and results over the field of real (or complex) numbers and similar constructions and results over idempotent semirings in the spirit of N. Bohr's correspondence principle in Quantum Mechanics. Some problems nonlinear in the traditional sense (for example, the Bellman equation and its generalizations) turn out to be linear over a suitable semiring; this linearity considerably simplifies the explicit construction of solutions. The theory is well advanced and includes, in particular, new integration theory, new linear algebra, spectral theory and functional analysis. It has a wide range of applications. Besides a survey of the subject, in this paper the correspondence principle is used to develop an approach to object-oriented software and hardware design for algorithms of idempotent calculus.

研究の動機と目的

• 実数／複素数上の古典的微積分と半体上のidempotent微積分の間の対応原理を確立すること。これは、量子力学におけるN. ボーアの対応原理にインspiredされている。
• 非線形問題（例：ハミルトン–ジャコビ方程式、ベルマン方程式）がidempotent設定において線形化されることを示し、解法の構築を簡略化すること。
• idempotentアルゴリズムのための、特別なハードウェアおよびソフトウェアの設計手法を体系的に開発し、最適化および科学計算における計算速度を向上させること。
• 動的計画法、グラフアルゴリズム、最適制御などの多様な計算問題を、半体に基づく単一の代数的フレームワークに統合すること。
• 生産的で高効率な実装を可能にするために、systolicプロセッサおよびオブジェクト指向のソフトウェア設計を用いて、普遍的な半体演算を実現すること。

提案手法

• 古典的算術を変形する対数変換（u ↦ w = h ln u）を適用し、h → 0 の極限でmax-plus代数が得られる。
• ℝ_max という半体を定義し、⊕ = max および ⊙ = + を演算とする。これは、変換下での変形された実数算術の極限として現れる。
• 対応原理を用いて、標準的な線形代数および解析をidempotent版に写像し、非線形問題を線形的に取り扱えるようにする。
• 既存のプロセッサ設計をプロトタイプとして用い、ℝ_maxにおけるスカラー積などの基本演算に基づいて、ハードウェアアクセラレータ（特にsystolicアレイ）を構築する。
• C++を用いたオブジェクト指向設計により、さまざまな半体（例：max-plus、min-plus、区間数）における抽象的演算をサポートするソフトウェアシステムを実装し、実行時型バインディングを実現する。
• 最大、最小、合計などの可変演算をサポートするプログラマブルでマルチプロセッサ型チップを設計し、一般用途の最適化および科学計算に応用可能とする。

実験結果

リサーチクエスチョン

• RQ1 量子力学における対応原理を、古典的微積分とidempotent微積分の関係にどのように適応できるか？
• RQ2 ハミルトン–ジャコビ方程式のような非線形問題が、idempotent設定においてどのように線形化されるか？
• RQ3 maxとプラスのような半体演算で最適化問題を表現することの構造的および計算的利点は何か？
• RQ4 既存のスカラー積用ハードウェア設計を、idempotentスカラー積（例：max{xi + yi}）を効率的に実装するためにどのように変更できるか？
• RQ5 オブジェクト指向のソフトウェア設計は、多様な半体および数学的構造の間で計算をどの程度統合できるか？

主な発見

• ベルマン方程式やハミルトン–ジャコビ方程式のような非線形問題は、idempotent半体 ℝ_max において線形化され、線形代数を用いて明示的な解法構築が可能になる。
• 変形写像 w = h ln u の極限 h → 0 により、標準算術がmax-plus代数に変換され、w₁ ⊕ w₂ → max{w₁, w₂} および w₁ ⊙ w₂ = w₁ + w₂ となる。
• n(n+1) 個のプロセッサを備えたsystolicアレイは、5n−2 ステップで代数的パス問題を解くことができ、idempotent行列演算において高い効率性を示す。
• 既存の標準スカラー積用設計を基に、idempotentスカラー積（例：max{xi + yi}）のハードウェア実装が導出可能であり、高速なデータ処理が可能になる。
• C++で実装されたオブジェクト指向ソフトウェアシステムは、複数の半体および演算を抽象的に扱える。これにより、柔軟で再利用可能かつ型安全な任意精度の科学計算が実現される。
• idempotent設定における線形性を活用することで、最適化、動的計画法、科学計算において顕著な高速化が達成可能になる。