[논문 리뷰] Shrinking dynamic on multidimensional tropical series

Nikita Kalinin|arXiv (Cornell University)|2021. 12. 09.

Polynomial and algebraic computation인용 수 4

한 줄 요약

이 논문은 $×n$ 내의 컴act한 볼록 도메인에서 $Ω$-트로피컬 급수를 도입하고, 유한한 점들의 집합을 통과하는 $Ω$-트로피컬 해석적 초면을 구성하기 위한 변형 방법을 제시한다. 이 과정에서 중간 단계의 초면들이 심각한 특이성을 갖지 않도록 보장한다. 핵심 결과는 약간 더 작은 도메인에서 수정된 수축 연산자에 의한 연속적 근사로서 모래더미 파동 역학을 구현하는 것으로, 목표 초면으로의 수렴을 유지하면서 특이성을 통제한다.

ABSTRACT

We define multidimensional tropical series, i.e. piecewise linear functions which are tropical polynomials locally but may contain an infinite number of monomials. Tropical series appeared in the study of the growth of pluriharmonic functions. However, our motivation stems from sandpile models where certain wave dynamic governs the behavior of sand and exhibits a power law (so far only experimental evidence). In this paper we lay the groundwork for tropical series and corresponding tropical analytical hypersurfaces in the multidimensional setting. The main object of study is an $Ω$-tropical series where $Ω$ is a compact convex domain which can be thought of as the region of convergence of such a series. Our main theorem is that the sandpile dynamics producing an $Ω$-tropical analytical hypersurface passing through a given finite set of points can always be slightly perturbed so that the intermediate $Ω$-tropical analytical hypersurfaces have only mild singularities.

연구 동기 및 목표

• 다양한 차원의 트로피컬 급수와 그에 대응하는 초면이 볼록 도메인 내에서 이론적으로 기초가 될 수 있도록 한다.
• 높은 차원에서 모래더미 파동 역학 과정 중 발생하는 트로피컬 초면의 특이성 문제를 다룬다.
• 심각한 특이성을 피하면서도 원하는 초면으로 수렴하는 연속적 근사를 파동 역학에 적용한다.
• 유한한 점들을 통과하는 트로피컬 초면을 생성하는 파동 역학이 중간 단계에서만 약한 특이성을 갖도록 변형할 수 있음을 증명한다.

제안 방법

• $Ω$-트로피컬 급수를 정의한다. 이는 컴팩트한 볼록 도메인 $Ω$ 위에서 연속 함수이며 국소적으로 트로피컬 다항식이 되며, $f|_{\partial\Omega} = 0$ 이고, $\mathcal{A} \subset \mathbb{Z}^n$ 이 유한하지 않을 수 있는 경우에도 $f(z) = \inf_{q \in \mathcal{A}}(q \cdot z + c_q)$ 를 만족한다.
• 합리적 다면체 $Q \subset \Omega$ 상에서 $Q$-트로피컬 급수의 개념을 도입하여 역학을 국소화하고 특이성을 통제한다.
• 연속적인 수축 연산자 가중치 $\mathrm{Add}_{w_i}^{t_i}$ 의 가중치를 사용하여 파동 역학을 시뮬레이션하고, 이러한 연산자의 복합체를 통해 $G_P 0_\Omega$ 의 극한을 근사한다.
• 시간 매개변수 $t_i$ 를 $t_i - \delta$ 로 줄이는 방식으로 변형을 적용하여, 모든 중간 단계의 $Q$-트로피컬 초면이 약한 특이성만 갖도록 보장한다.
• 작은 $Q$-트로피컬 급수 $g$ 를 구성하여 $Q$ 상에서 $g(z) < \delta$ 를 만족하도록 하며, 이에 따라 변형된 흐름 $F(g) = \prod_{i=1}^N \mathrm{Add}_{w_i}^{t_i - \delta} g$ 가 $G_P 0_\Omega$ 를 임의의 정밀도로 근사하게 한다.
• 트로피컬 급수의 준도수와 표준형을 활용하여 초면의 진화 과정에서 안정성과 통제력을 확보한다.

실험 결과

연구 질문

• RQ1 다양한 차원의 모래더미 모델에서 파동 역학이 심각한 특이성을 갖는 중간 초면을 피하는 연속적인 수축 연산자 가중치로 근사될 수 있는가?
• RQ2 어떤 조건에서 볼록 도메인 상의 트로피컬 급수가 경계로 연장될 수 있으며, 연장 가능한 경계점들의 집합은 어떤 위상적 성질을 갖는가?
• RQ3 파동 역학을 변형하여 모든 중간 단계의 트로피컬 초면이 약한 특이성만 갖도록 하되, 동시에 원하는 극한 초면으로 수렴하도록 할 수 있는가?
• RQ4 작은 도메인 $Q \subset \Omega$ 에서 수축 연산자에 대해 트로피컬 급수의 표준형을 어떻게 수정하여 제어 가능한 행동을 확보할 수 있는가?
• RQ5 변형 매개변수 $\delta$ 와 원래 파동 역학 극한에 대한 최종 초면의 근사 정밀도 사이의 관계는 무엇인가?

주요 결과

• 모든 $\varepsilon > 0$ 에 대해, $\delta > 0$ 과 $\mathbb{Q}$-다면체 $Q \subset \Omega$ 가 존재하여, $Q$ 상에서 모든 $z$ 에 대해 $g(z) < \delta$ 를 만족하는 $Q$-트로피컬 급수 $g$ 를 구성할 수 있다.
• 급수 $g$ 와 관련된 초면 $C(g)$ 는 비잔트 7.2에 의해 보장된 바와 같이 약한 특이성만 갖는다.
• 변형된 연산자 $F = \prod_{i=1}^N \mathrm{Add}_{w_i}^{t_i - \delta}$ 는 흐름의 각 단계에서 $Q$-트로피컬 급수의 약한 특이성만 갖는다.
• 충분히 큰 $N$ 에 대해, $F(g)$ 는 $\Omega$ 상에서 $G_P 0_\Omega$ 와 $\varepsilon$-근접하다.
• 이 구성은 $\partial Q$ 근처에서 $G_P g$ 가 $G_P 0_\Omega$ 와 가까워지며, $F(g)$ 가 $G_P g$ 를 높은 정밀도로 근사하게 한다.
• 변형 전략은 파동 역학을 특이성이 통제된 더 작은 도메인에서의 연산자 극한으로 실현할 수 있도록 하며, 목표 초면으로의 수렴을 유지한다.