[논문 리뷰] A Newton Polygon Rule for Formally-Real Valued Fields and Multiplicities over the Signed Tropical Hyperfield

Trevor Gunn|arXiv (Cornell University)|2019. 11. 27.

Polynomial and algebraic computation참고 문헌 7인용 수 4

한 줄 요약

이 논문은 형식적으로 실수인, 아르키메데스가 아닌, 순서가 부여된 체 위의 다항식에 대해, 부호가 있는 트로픽 하이퍼필드 $\mathbf{TR}$ 위에서의 다중도 공식을 도입함으로써, 통합된 뉴턴 다각형 규칙을 수립한다. 이는 값매김이 $r$이고 부호가 양수인 근의 다중도가 초기 형식 $\operatorname{in}_{-r}(p)$ 에서의 부호 변화 수와 같음을 증명하며, 실제 근의 수와 2를 법으로 합동인 상한을 제공한다. 이는 데카르트의 부호 법칙과 고전적인 뉴턴 다각형 규칙을 일반화한다.

ABSTRACT

By defining multiplicities for zeros of polynomials over hyperfields, Baker and Lorscheid were able to provide a unifying perspective on Descartes's rule and the Newton polygon rule for polynomials over a formally-real and valued field respectively. In this paper, we apply their multiplicity formula to the hyperfield associated with formally-real, valued fields to prove a Newton polygon rule which combines Descartes's rule of signs with the classical Newton polygon rule.

연구 동기 및 목표

• 형식적으로 실수인 체 위의 다항식에 대해, 데카르트의 부호 법칙과 고전적인 뉴턴 다각형 규칙을 통합하는 것.
• 부호와 값매김의 구조를 이용하여, 부호가 있는 트로픽 하이퍼필드 $\mathbf{TR}$ 를 통해 근의 다중도를 정의하고 계산하는 것.
• 특정 부호와 값매김을 가진 실근의 수를 상한으로 제시하는 다중도 공식을 수립하여, 복소수 공액쌍으로 인해 발생하는 오차가 항상 짝수임을 보이는 것.
• 이 다중도가 실수폐쇄된 아르키메데스가 아닌 값매김을 가진 체로의 명시적 업그레이드를 통해 최대화되고 달성될 수 있음을 증명하는 것.

제안 방법

• Baker와 Lorscheid의 $\mathbf{S}$ 와 $\mathbf{T}$ 에 대한 접근과 유사한 재귀 공식을 사용하여, 부호가 있는 트로픽 하이퍼필드 $\mathbf{TR}$ 에서 다중도를 정의하는 것.
• $a = (+1, r)$ 에 대해 다중도 $\operatorname{mult}^{\mathbf{TR}}_a(p)$ 가 $\Delta(\operatorname{in}_{-r}(p))$ 와 같음을 증명하는 것. 여기서 $\Delta(\operatorname{in}_{-r}(p))$ 는 기울기가 $-r$ 인 다항식 $p$ 의 초기 형식에서의 부호 변화 수이다.
• $p \in \mathbf{TR}[x]$ 에 대한 $P \in \mathbf{R}[[t^{\mathbb{R}}]][x]$ 로의 업그레이드를 구성하여, $P$ 가 주어진 값매김과 부호를 가진 최대의 실근 수를 갖도록 하는 것.
• 데카르트의 부호 법칙의 역을 사용하여, 초기 형식의 업그레이드 $R_\sigma(x)$ 를 선택하여, 정확히 예측된 양수 또는 음수 실근 수를 갖도록 하는 것.
• 스케일링 인자 $t^\delta$ 를 조정하여, 업그레이드된 다항식의 뉴턴 다각형이 원래 다항식의 것과 일치하도록 하는 것.
• 다항식 $\operatorname{in}_\sigma(P)$ 의 근의 주항등항이 정확히 $R_\sigma(x)$ 의 근과 일치함을 검증하여, 다중도 상한이 실현됨을 보이는 것.

실험 결과

연구 질문

• RQ1 부호가 있는 트로픽 하이퍼필드 $\mathbf{TR}$ 에서의 단일 다중도 공식이 데카르트의 부호 법칙과 뉴턴 다각형 규칙을 통합할 수 있는가?
• RQ2 다항식의 초기 형식에서의 부호 변화 수와 주어진 값매김과 부호를 가진 실근의 수 사이의 정확한 관계는 무엇인가?
• RQ3 다중도가 $\mathbf{TR}$ 에서 정의된 것이 특정 부호와 값매김을 가진 실근 수에 대한 상한인지, 그리고 그 차이의 원인은 무엇인가?
• RQ4 $\mathbf{TR}$ 위의 다항식이 실수폐쇄된 아르키메데스가 아닌 값매김을 가진 체로 업그레이드되어, 주어진 부호와 값매김을 가진 실근의 최대 수를 달성할 수 있는가?

주요 결과

• $a = (+1, r)$ 에 대해 다중도 $\operatorname{mult}^{\mathbf{TR}}_a(p)$ 는 $\Delta(\operatorname{in}_{-r}(p))$ 와 같으며, 이는 다항식 $p$ 의 기울기가 $-r$ 인 초기 형식에서의 부호 변화 수이다.
• 이 다중도는 $p$ 의 어떤 업그레이드에 대해서도, 값매김이 $r$ 이고 부호가 양수인 실근의 수에 대한 상한이다.
• 이 상한과 실제 근의 수 사이의 차이는 항상 짝수이며, 이는 복소수 공액쌍에 기인한다.
• $\mathbf{TR}[x]$ 에 속하는 모든 $p$ 에 대해, $P \in \mathbf{R}[[t^{\mathbb{R}}]][x]$ 로의 업그레이드 $P$ 가 존재하여, $P$ 는 정확히 $\operatorname{mult}^{\mathbf{TR}}_a(p)$ 개의 값매김이 $|a|$ 이고 주항등항이 양수인 근을 가지며, 마찬가지로 $p(-x)$ 를 통해 음수 부호의 경우에도 동일하게 성립한다.
• 이 구성은 $P$ 의 뉴턴 다각형이 $p$ 와 일치하도록 하고, $P$ 의 근의 주항등항이 정확히 초기 형식 $R_\sigma(x)$ 의 실근과 일치함을 보장한다.
• 이 방법은 $\mathbf{S}$ 와 $\mathbf{T}$ 에서의 Baker와 Lorscheid의 결과를 부호가 있는 트로픽 하이퍼필드 $\mathbf{TR}$ 로 일반화하여, 이 세 핵심 하이퍼필드 위에서의 다중도 분류를 완성한다.