[논문 리뷰] Characterization of circuits supporting polynomial systems with the maximal number of positive solutions

Boulos El Hilany|arXiv (Cornell University)|2016. 03. 06.

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

한 줄 요약

이 논문은 $ℝ^n$ 내에서 다항식 시스템이 최대 $n+1$개의 비퇴화된 양수 해를 가질 수 있는 회로를 완전히 특성화한다. 제약 조건으로 그로텐디크의 실수 딜린 드 엔팡을, 그리고 시스템을 구성하기 위해 비로의 조합적 패치워킹을 사용하여, 특정 회로가 그러한 시스템을 지지할 수 있는지 여부를 판단하는 조건을 도출한다. 그 조건은 $n$의 기수성에 따라 부분합의 계수에 대한 특정 교차 불등식을 만족하는 애핀 관계가 있어야 한다. 이는 소수항 이론에서 극값 양수 해 지지 집합의 완전한 분류를 제공한다.

ABSTRACT

A polynomial system with $n$ equations in $n$ variables supported on a set $\\mathcal{W}\\subset\\mathbb{R}^n$ of $n+2$ points has at most $n+1$ non-degenerate positive solutions. Moreover, if this bound is reached, then $\\mathcal{W}$ is minimally affinely dependent, in other words, it is a circuit in $\\mathbb{R}^n$. For any positive integer number $n$, we determine all circuits $\\mathcal{W}\\subset\\mathbb{R}^n$ which can support a polynomial system with $n+1$ non-degenerate positive solutions. Restrictions on such circuits $\\mathcal{W}$ are obtained using Grothendieck's real dessins d'enfant, while polynomial systems with $n+1$ non-degenerate positive solutions are constructed using Viro's combinatorial patchworking.

연구 동기 및 목표

• 다항식 시스템이 $n+1$개의 비퇴화된 양수 해를 가질 수 있는 $ℝ^n$ 내의 모든 회로를 규명하는 것.
• 최대 해 수를 달성하기 위해 그러한 회로의 애핀 관계에 필요한 필수 조건과 충분 조건을 설정하는 것.
• 기존의 소수항 경계 및 극대 긍정 시스템에 관한 결과를 통합하고 확장하여 애핀 동치에 대해 완전한 분류를 제공하는 것.
• 비로의 패치워킹을 사용하여 $n+1$개의 해 수 한도에 도달하는 시스템을 명시적으로 구성하는 것.

제안 방법

• 비로의 패치워킹을 사용하여 $n+1$개의 비퇴화된 양수 해를 지닌 다항식 시스템을, 특정 계수 불등식을 만족하는 회로에서 구성하는 것.
• 애핀 관계를 두 개의 서로소 부분집합으로 나누어 각각 크기가 $\lfloor(n+2)/2\rfloor$ 와 $\lceil(n+2)/2\rceil$ 인 양수 계수의 부호 있는 합으로 표현하는 것.
• 애핀 관계 양쪽의 계수 부분합을 정의하고, 엄격한 교차 불등식 조건을 도입: $r=1,\dots,s-1$ 에 대해 $\sum_{i=1}^r \alpha_i < \sum_{i=s+1}^{s+r} \beta_i < \sum_{i=1}^{r+1} \alpha_i$, 기수성에 따라 조정이 필요함.
• 하위다항식의 하부경계가 요구되는 분할과 일치하도록, 부분합 $p_i$에 의해 결정된 추적 다항식 $P_{i,t}$ 를 조립하여 비로 다항식 $G_t$ 를 구성하는 것.
• 각 면 다항식이 부호가 반대인 계수를 가진 이항식임을 증명하여, 각 세그먼트당 정확히 하나의 단순 양수 해를 보장하고, 소수항 4.1을 적용하여 $t>0$ 이며 충분히 작을 경우 $n+1$개의 양수 해를 갖는다고 결론 내리는 것.

실험 결과

연구 질문

• RQ1 어느 $\mathbb{R}^n$ 내의 회로가 $n$개의 다항식으로 이루어진 시스템에서 $n+1$개의 비퇴화된 양수 해를 지지할 수 있는가?
• RQ2 애핀 관계의 계수에 대한 어떤 구조적 조건이 최대 수의 양수 해를 달성하기 위해 필수적이며 충분한가?
• RQ3 비로의 패치워킹 방법을 어떻게 수정하여 이러한 시스템을 명시적으로 구성할 수 있는가?
• RQ4 그로텐디크의 실수 딜린 드 엔팡은 이러한 회로의 가능한 계수 구성 조건을 제약하는 데 어떤 역할을 하는가?

주요 결과

• 회로 $\mathcal{W} \subset \mathbb{R}^n$ 는 그 애핀 관계가 양수 계수의 부분합에 대해 지정된 교차 불등식을 만족할 때에만 $n+1$개의 비퇴화된 양수 해를 지닌 시스템을 지지할 수 있다.
• 비로의 패치워킹을 통한 구성은 충분히 작은 $t>0$ 에서 다항식 $G_t$ 가 정확히 $n+1$개의 비퇴화된 양수 해를 가지며, 뉴턴 다면체의 하부경계의 각 세그먼트당 하나의 해를 갖는다는 것을 보장한다.
• 애핀 관계에 대한 조건은 필수적이며 충분하다: 만약 이 불등식이 성립하지 않으면, 시스템은 $n+1$개의 양수 해를 달성할 수 없다.
• 짝수인 $n$ 에 대해서는, 애핀 관계의 양쪽에서 계수 부분합이 $r=1,\dots,s-1$ 에 대해 $\sum_{i=1}^r \alpha_i < \sum_{i=s+1}^{s+r} \beta_i < \sum_{i=1}^{r+1} \alpha_i$ 를 만족해야 하며, 여기서 $s = (n+2)/2$ 이다.
• 홀수인 $n$ 에 대해서는 불등식 체인은 $\sum_{i=1}^r \alpha_i < \sum_{i=s+2}^{s+r+1} \beta_i < \sum_{i=1}^{r+1} \alpha_i$ 로 표현되며, 이는 홀수 개의 점으로 인해 인덱스가 한 칸 이동하기 때문이다.
• 이 결과는 비한과 솔티의 이전 작업을 일반화하고 완성하여 소수항 이론에서 극값 회로의 완전한 분류를 제공한다.