[论文解读] Dequantization of Mathematics, idempotent semirings and fuzzy sets

G. L. Litvinov|arXiv (Cornell University)|Sep 8, 2012

Fuzzy Logic and Control Systems参考文献 8被引用 9

一句话总结

本文引入了幂等半环——一种加法满足幂等性（x ⊕ x = x）的代数结构——作为传统数学去量化（dequantization）的基础，尤其在优化和模糊逻辑的语境下。通过用 max 和 plus 等运算（例如 R_max）替代标准算术，非线性问题（如哈密顿-雅可比方程）可转化为线性形式，从而依据幂等对应原理实现高效算法与硬件设计。

ABSTRACT

In this talk a brief survey of basic ideas of Idempotent Mathematics is presented. Relations between this theory and the theory of fuzzy sets as well as the possibility theory and some applications (including computer applications) are discussed.

研究动机与目标

• 建立基于幂等半环的数学框架，作为传统数学的‘影子’，类似于经典物理与量子理论的关系。
• 探索去量化过程，即当普朗克常数 h → 0+ 时，导出幂等结构（如 R_max 和 R_min）。
• 证明在经典数学中非线性的问题在幂等半环中变为线性，从而实现新的算法与计算方法。
• 通过在幂等半环上取值的函数，统一并推广模糊集理论与可能性理论。
• 通过通用半环计算模型，实现高效且可并行化的算法与硬件设计。

提出的方法

• 通过 max 和 plus 等运算（例如 R_max = R ∪ {−∞}，其中 x ⊕ y = max{x,y}，x ⊙ y = x + y）定义幂等半环与半域。
• 应用马苏洛夫的去量化方法：通过 u = h ln x 将 R_+ 映射为 h → 0 的极限，将标准算术转换为幂等运算。
• 利用幂等对应原理，将经典数学中的结果转移到幂等类比中，尤其适用于线性系统与优化问题。
• 将广义模糊集定义为从全集 Ω 到幂等半环 S 的函数，通过逐点运算构成新半环 F(S)。
• 通过下界与上界定义区间运算，将区间分析推广至幂等半环，形成新的幂等半环 I(S)。
• 利用面向对象与泛型编程技术，开发通用算法，以在不同计算模型中处理抽象半环运算。

实验结果

研究问题

• RQ1 如何通过极限 h → 0 将传统域上的数学去量化，以获得幂等类比？
• RQ2 在经典分析中，非线性问题在幂等半环（如 R_max）中在多大程度上变为线性？
• RQ3 如何定义广义模糊集？当取值在幂等半环上时，其代数结构为何？
• RQ4 与经典区间分析相比，幂等区间分析在计算上具有哪些优势？
• RQ5 幂等对应原理如何指导新型硬件与并行算法的设计？

主要发现

• 哈密顿-雅可比方程在 R_max 和 R_min 半环中变为线性，从而可采用新解法。
• 幂等区间分析使问题可在多项式时间内求解，而经典区间分析为 NP-难问题。
• 在幂等框架下，为离散稳态贝尔曼方程构造了精确的区间解。
• 在半环 F(S) 上的广义模糊集推广了经典模糊集（Zadeh）与 L-模糊集（Goguen），具有更丰富的代数结构。
• 区间半环 I(S) 继承了幂等半环结构，从而支持区间值模糊逻辑与可能性理论。
• 基于抽象半环运算的通用算法可实现通过原型设计硬件，具有潜在可专利的技术创新性。