[논문 리뷰] Dequantization of Mathematics, idempotent semirings and fuzzy sets

G. L. Litvinov|arXiv (Cornell University)|2012. 09. 08.

Fuzzy Logic and Control Systems참고 문헌 8인용 수 9

한 줄 요약

이 논문은 덧셈이 아이디포텐트인(즉, x ⊕ x = x) 대수적 구조인 아이디포텐트 세미링을 도입하여, 최적화 및 퍼지 논리의 맥락에서 전통 수학의 탈양자화(flat) 기반을 제공한다. 표준 산술을 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과 같은 아이디포텐트 구조로의 전환을 분석한다.
• 고전 수학에서 비선형인 문제들이 아이디포텐트 세미링에서 선형화됨을 보여주어, 새로운 알고리즘 및 계산 접근법을 가능하게 한다.
• 함수를 아이디포텐트 세미링 S에 값으로 갖는 집합으로서 일반화된 퍼지 집합을 정의하고, 이를 통해 퍼지 집합 이론과 가능성 이론을 통합 및 일반화한다.
• 일반화된 세미링 기반 계산 모델을 통해 보편적인 알고리즘과 하드웨어 설계를 가능하게 하여, 효율적이고 병렬 처리 가능한 알고리즘 설계를 실현한다.

제안 방법

• max와 plus와 같은 연산(예: R_max = R ∪ {−∞}, x ⊕ y = max{x,y}, x ⊙ y = x + y)을 사용하여 아이디포텐트 세미링과 세미체를 정의한다.
• 마스лов의 탈양자화를 적용: h → 0일 때 R_+를 u = h ln x로 매핑함으로써, 표준 산술을 아이디포텐트 연산으로 변환한다.
• 아이디포텐트 대응 원리를 사용하여 고전 수학의 결과를 아이디포텐트 유사체로 이행하며, 특히 선형 시스템과 최적화 문제에 적용한다.
• 우주 Ω에서 아이디포텐트 세미링 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)는 아이디포텐트 세미링의 구조를 그대로 이어받아, 구간 값 퍼지 논리 및 가능성 이론을 가능하게 한다.
• 추상 세미링 연산을 기반으로 한 보편 알고리즘은 프로토타이핑을 통해 하드웨어 설계를 가능하게 하며, 특허 가능 기술 혁신의 잠재력을 지닌다.