[논문 리뷰] The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

Sebastian Falkensteiner, Cristhian Garay외 4명|arXiv (Cornell University)|2020. 02. 07.

Polynomial and algebraic computation참고 문헌 10인용 수 8

한 줄 요약

이 논문은 뉴턴 다각형의 정점 집합을 핵심 도구로 도입하여, 부분 미분방정식(PDE) 시스템으로부터 토로픽 미분대수기하학의 기본정리를 확장한다. 비가산의 특성 0을 가진 체 위에서 형식적 멱급수 해의 지지집합은 토로픽화된 미분계열을 풀음으로써 결정될 수 있으며, 이는 이전의 상미분방정식에서의 결과를 부분미분방정식으로 일반화한 것으로, 토로픽 기하학과 반군 구조를 활용한다.

ABSTRACT

Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The Fundamental Theorem of Tropical Differential Algebraic Geometry states that the support of solutions of systems of ordinary differential equations with formal power series coefficients over an uncountable algebraically closed field of characteristic zero can be obtained by solving a so-called tropicalized differential system. Tropicalized differential equations work on a completely different algebraic structure which may help in theoretical and computational questions. We show that the Fundamental Theorem can be extended to the case of systems of partial differential equations by introducing vertex sets of Newton polygons.

연구 동기 및 목표

• 상미분방정식에서 부분미분방정식으로 토로픽 미분대수기하학의 기본정리를 일반화하기 위해.
• 형식적 멱급수 계수를 가진 PDE 시스템에서 형식적 멱급수 해의 지지집합을 분석하는 데 도전하는 것.
• 정수 격자 위의 반군 구조를 사용하여 뉴턴 다각형의 정점 집합을 활용한 PDE에 대한 토로픽화 프레임워크를 개발하기 위해.
• 일반적으로 결정 불가능한 상황에서도, 토로픽화된 시스템을 통한 지지집합에 대한 필요조건을 제공하기 위해.

제안 방법

• 지지집합의 반군 $\mathcal{P}(\mathbb{Z}_{\geq 0}^m)$ 과 $\mathbb{T}[[t_1,\ldots,t_m]]$ 으로 사상하는 정점 준동형사상 $\operatorname{Vert}$ 를 도입한다.
• 반군 $\mathbb{T}_{m,n}$ 으로 사상하는 토로픽화 사상 $\operatorname{trop}: R_{m,n} \to \mathbb{T}_{m,n}$ 를 정의한다. 여기서 $\mathbb{T}_{m,n}$ 은 토로픽 미분다항식의 반군이다.
• 미분다항식의 뉴턴 다각형과 그 정점 집합을 사용하여 토로픽 해를 특성화한다.
• 정점 준동형사를 사용하여 멱급수 해의 지지집합을 토로픽화된 시스템의 해로 변환한다.
• 해의 지지집합 $K[[t_1,\ldots,t_m]]\{x_1,\ldots,x_n\}$ 과 토로픽화된 시스템의 해 사이의 대응관계를 수립한다.
• 정리 6.1을 증명하여, $R_{m,n}$ 내의 미분이deals $G$ 에 대해 $\operatorname{Supp}(\operatorname{Sol}(G)) = \operatorname{Sol}(\operatorname{trop}(G))$ 임을 보인다.

실험 결과

연구 질문

• RQ1 토로픽 미분대수기하학의 기본정리를 상미분방정식에서 부분미분방정식으로 확장할 수 있는가?
• RQ2 뉴턴 다각형과 그 정점 집합은 PDE 시스템에서 형식적 멱급수 해의 지지집합을 어떻게 특성화할 수 있는가?
• RQ3 다변수 형식적 멱급수 계수를 가진 PDE 시스템에 대한 올바른 토로픽화 프레임워크는 무엇인가?
• RQ4 토로픽화된 시스템은 원래 PDE 시스템의 해의 전체 지지집합 구조를 포괄하는가?
• RQ5 토로픽 방법은 결정 불가능한 PDE 설정에서 해의 지지집합에 대한 필요조건을 어느 정도 제공할 수 있는가?

주요 결과

• 계수체가 비가산이고 특성 0이며 대수적으로 닫혀 있는 부분미분방정식 시스템의 모든 형식적 멱급수 해의 지지집합은 해당 토로픽화된 시스템의 해집합과 일치한다.
• 각 미분다항식의 뉴턴 다각형의 정점 집합은 토로픽화된 시스템을 정의하고 다변수 경우의 정확성을 보장하는 데 필수적이다.
• 이론은 [1]의 일변수 경우를 $m > 1$ 변수로 일반화한 것으로, $\mathbb{Z}_{\geq 0}^m$-색인 지지집합을 기반으로 한 새로운 기법이 필요하다.
• 정리 6.1의 증명은 $m=1$ 경우와 근본적으로 다름. 더 이상 단순한 값매김 기반 추론이 아니라 정점 집합과 반군 준동형사를 기반으로 한다.
• 이 방법은 지지집합에 대한 필요조건을 제공하지만, PDE 이론에서의 결정 불가능성 결과로 인해 완전히 알고리즘화할 수는 없다.
• 푸앵세르 급수로의 확장은 실패한다. 반례를 통해 토로픽 해가 실제 푸앵세르 급수 해에 존재하지 않는 지지집합을 포함할 수 있음을 보여준다.