[논문 리뷰] An Elementary Proof of the Fundamental Theorem of Tropical Algebra

Nathan Grigg, Nathan Manwaring|ArXiv.org|2007. 07. 17.

Polynomial and algebraic computation인용 수 8

한 줄 요약

이 논문은 유리수 토폴로지 반군 위에서 토폴로지 대수학의 기본 정리를 간단한 증명으로 제시하며, 계수가 유리수인 모든 일변수 토폴로지 다항식이 함수적 동치에 대해 유일하게 일차 토폴로지 다항식의 곱으로 인수분해됨을 보여준다. 핵심 혁신은 최소계수 다항식을 표준 표현형으로 사용하여 구조적 인수분해 알고리즘을 가능하게 하고, 유리수들이 토폴로지적으로 대수적으로 닫혀 있음을 입증하는 데 있다.

ABSTRACT

In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm for factoring tropical polynomials of a single variable. A central idea is the concept of least-coefficient polynomials as representatives for classes of functionally equivalent polynomials. This idea has importance far beyond the proof of the Fundamental Theorem of Tropical Algebra.

연구 동기 및 목표

• 유리수 토폴로지 반군 위에서 토폴로지 대수학의 기본 정리를 접근하기 쉬운 간단한 증명으로 제공하기 위해.
• 유리수들이 토폴로지 다항식 인수분해에 대해 대수적으로 닫혀 있음을 입증하기 위해.
• 최소계수 다항식의 개념을 도입하고, 기능적 동치류에 대한 표준 표현형으로서의 공식화를 위해.
• 이 표준 형식을 사용하여 토폴로지 다항식을 인수분해하는 구조적 알고리즘을 개발하기 위해.
• 코너 집합(영점 집합) 정의를 통해 토폴로지 근의 기하학적 및 대수적 의미를 명확히 하기 위해.

제안 방법

• 최소를 덧셈으로, 고전적 덧셈을 곱셈으로 사용하는 유리수 토폴로지 반군 (Q ∪ {∞}, ⊕, ⊙) 을 정의한다.
• 기능적 동치(f ∼ g)를 다항식 함수의 동등성으로 정의하며, 계수별 동등성과는 다름을 명시한다.
• 어떤 계수가 함수를 변경하지 않고 내릴 수 없는 경우를 최소계수로 정의하고, 계수가 최소임과 동시에 어떤 점에서 최소값을 달성하는 것이 동치임을 증명한다.
• 모든 계수가 최소계수인 다항식인 최소계수 다항식을 정의하고, 이들이 기능적 동치류의 유일한 대표원임을 증명한다.
• 최소계수 다항식을 연속된 계수 간의 차이 d_i에 대한 선형항 (x ⊕ d_i) 의 곱으로 표현함으로써 인수분해 알고리즘을 개발한다.
• 선형 인수 (x ⊕ d) 가 f(x) 를 나누기 위한 조건은 d 가 f(x) 의 코너 점, 즉 적어도 두 개의 단항식이 최소값을 동시에 달성하는 점임을 증명한다.

실험 결과

연구 질문

• RQ1 확장된 토폴로지 구조에 의존하지 않고, 토폴로지 대수학의 기본 정리를 간단한 방법으로 증명할 수 있는가?
• RQ2 기능적 동치는 토폴로지 다항식 인수분해에서 어떤 역할을 하는가? 알고리즘적으로 이를 어떻게 다룰 수 있는가?
• RQ3 각 기능적 동치류에 대한 표준 표현형을 어떻게 구성할 수 있는가?
• RQ4 코너 집합의 관점에서 토폴로지 근의 정확한 대수적 및 기하학적 의미는 무엇인가?
• RQ5 왜 유리수 토폴로지 반군은 토폴로지 인수분해에 대해 대수적으로 닫혀 있는가?

주요 결과

• 유리수 계수를 가진 모든 토폴로지 다항식은 유일한 최소계수 다항식과 기능적으로 동치이다.
• 최소계수 다항식의 선형 인수분해 (x ⊕ d_i) 는 d_i 의 순서를 제외하고는 유일하다.
• 선형 인수 (x ⊕ d) 가 f(x) 를 나누기 위한 조건은 d 가 f(x) 의 코너 점, 즉 f(d) 가 적어도 두 개의 단항식에 의해 최소화되는 점임을 충족하는 것이다.
• 최소계수 다항식에서 연속된 계수 간의 차이 d_i = a_{i-1} - a_i 는 정확히 토폴로지 근과 일치한다.
• 다항식의 토폴로지 영점 집합(코너 집합)은 최소값을 동시에 달성하는 단항식이 존재하는 점들의 집합이며, 이러한 점들은 유일한 인수분해에서의 인수들과 정확히 대응한다.
• 결과는 임의의 순서체로 확장되며, ∞ 를 추가한 임의의 순서체가 토폴로지적으로 대수적으로 닫혀 있음을 보여준다.