On the Sharpness of Khovanskii's Bezout-type Bound for Pfaffian Functions

기술 요약: 파피안 함수(Pfaffian Functions)에 대한 코반스키(Khovanskiĭ)의 베주트 유형 상한의 예리함에 관하여

문제 제기
코반스키의 정리는 $n$개의 변수를 가진 $n$개의 파피안 방정식의 고립된 실해(isolated real solutions)의 개수에 대한 기초적인 베주트 유형 상한을 제공한다. 이 상한은 세 가지 복잡도 매개변수, 즉 체인 차수 $\alpha$ (체인을 정의하는 다항 미분 방정식의 차수를 제어함), 파피안 함수 자체의 차수 $\beta_i$, 그리고 기저가 되는 파피안 체인의 차수 $s$에 의해 표현된다. 이 정리는 파피안 기하학 및 o-최소성(o-minimality)의 중심이지만, 이 매개변수들에 대한 상한의 예리함(sharpness)은 여전히 거의 조사되지 않았다. 구체적으로, $\alpha, \beta_i, s$에 대한 의존성이 최적인지, 정확히 혹은 점근적으로 최적인지는 불분명하다. 본 논문은 개별 매개변수가 고정된 상태에서 다른 매개변수가 증가할 때 실해의 개수가 어떻게 스케일링되는지를 분석함으로써, 매개변수별 관점에서 코반스키 상한의 예리함을 조사하는 열린 질문을 다룬다.

방법론
저자들은 코반스키의 상한이 얼마나 타이트한지를 테스트하기 위해, 실해의 하한을 설정하는 구성적 접근 방식을 채택한다. 방법론은 두 가지 주요 구성으로 나뉜다:

1. 체인 차수($\alpha$)에서의 예리함: $\alpha$에서의 예리함을 입증하기 위해, 저자들은 한 변수에 대해 포맷 $(\alpha, 1, s)$를 갖는 특정 파피안 함수를 구성한다. 이 구성은 정수 $1, \dots, \alpha$에서 근을 갖는 정교하게 설계된 다항식 $p(x)$와 매개변수 $a$에 의존한다. 함수 $f_1(x) = e^{ap(x)}$를 정의하고 시스템 $F(x) = f_1(x) - x$를 분석함으로써, 저자들은 $\alpha + 1$개의 서로 다른 비퇴화 영점(nondegenerate zeros)을 찾아낸다. 함수와 역함수 분지의 중첩된 구간을 이용한 귀납적 논증을 통해, 이 과정을 $s$번 반복하면 적어도 $\alpha^s$개의 비퇴화 실해를 갖는 시스템을 얻음을 보여준다. 이 구성은 구간들이 서로 겹치지 않고 임계점으로부터 자유롭도록 보장하여, 서로 다른 근의 존재를 보장한다.

2. 함수 차수($\beta$)에서의 예리함: 함수 차수 매개변수 $\beta_i$에 대한 의존성을 조사하기 위해, 저자들은 파피안 함수의 벡터 공간 내에서 차원 계산 논증을 활용한다. 저자들은 유리 함수체 위에서 대수적으로 독립적인 파피안 체인 $\vec{q}$를 고려한다. 변수와 체인 성분의 총 차수가 최대 $\beta$인 단항식들로 생성되는 벡터 공간 $V_\beta$를 정의함으로써, 저자들은 이 공간의 차원을 계산한다. 함수들의 값과 미분값에 조건을 부과하는 선형 평가 사상(linear evaluation map)을 사용하여, 저자들은 $n$개의 파의안 함수가 공간의 차원( $1/(n+1)$로 스케일링된)과 일치하는 수의 정칙 공통 영점을 갖는 시스템이 존재함을 증명한다. 이는 $\Omega_{n,s}(\beta^{n+s})$의 하한을 도출한다.

주요 기여 및 결과
본 논문은 $\alpha$와 $\beta$ 매개변수에 대한 코반스키 상한의 점근적 예리함을 확립하는 한편, $s$에 대해서는 상한이 예리하지 않을 가능성이 높음을 시사한다.

• $\alpha$에서의 예리함 (정리 1.2): $n, \beta, s$가 고정되었을 때, 저자들은 모든 $\alpha, s \in \mathbb{N}$에 대하여 적어도 $\alpha^s$개의 비퇴화 실해를 갖는 포맷 $(\alpha, 1, s)$의 파피안 함수가 존재함을 증명한다. 이는 코반스키의 상한(식 1.1)이 예측하는 성장 차수 $\alpha^s$와 일치하며, 체인 차수에 대한 의존성이 점근적으로 예리함을 확인해 준다.
• $\beta$에서의 예리함 (정리 1.3 및 따름정리 1.4): 대수적으로 독립적인 파피안 체인의 존재를 가정할 때, 저자들은 고정된 $n, s, \alpha$에 대하여 $\beta \to \infty$일 때 $\Omega_{n,s}(\beta^{n+s})$개의 정칙 공통 영점을 갖는 파피안 함수 시스템이 존재함을 보여준다. 이는 코반스키 상한의 지배적인 성장 항인 $(\max \beta_i)^{n+s}$와 일치하며, 차수 매개변수 영역에서의 예리함을 확립한다.
• 결합된 구성 (주석 1.5): 저자들은 $\alpha$와 $\beta$의 성장 메커니즘이 서로 소인 변수 집합의 데카르트 곱을 통해 결합될 수 있음을 언급한다. 이는 $\Omega_{n,s}(\alpha^s \beta^{n+s-1})$개의 영점을 갖는 포맷 $(\max(\alpha, s), \beta, 2s)$의 시스템을 생성한다. 저자들은 원래의 체인 차수 $s$ 대신 $2s$가 아닌 $s$를 사용하여 이를 달성할 수 있는지에 대한 열린 질문을 던진다.
• $s$에서의 예리함 (섹션 3.3): 본 논문은 코반스키의 상한이 $s^2$에 대해 지수적으로 성장함($2^{\Theta(s^2)}$)을 관찰한다. 그러나 저자들의 예시와 기존 문헌(예: $e^x$에 대한 다항식)은 실제 영점의 개수가 $s^2$보다는 훨씬 느리게, 아마도 $s$에 대해 지수적으로 성장할 것임을 시사한다. 저자들은 작은 $s$(예: $s=2$)의 경우, 상한과 관찰된 영점 사이의 격차가 상당하지만, 정리 1.2가 고정된 $\alpha, \beta, n$에 대해 $o(2^s)$의 상한을 방지한다는 점을 명시한다.

의의
본 논문은 파피안 이론 및 o-최소 기하학의 핵심적인 양적 결과인 코반스키 상한의 예리함에 대한 체계적인 연구를 개시한다. $\alpha$와 $\beta$에 대한 의존성이 점근적으로 최적임을 증명함으로써, 저자들은 현재 상한의 한계를 명확히 한다. 이 연구는 코반스키의 정리가 파피안 집합(연결 성분 및 베티 수를 포함)의 복잡도를 제한하는 강력한 일반적 도구를 제공하지만, 특정 구조적 매개변수에 대해서는 상한이 타이트하다는 점을 강조한다. 연구 결과는 향후 상한의 개선이 현재 이차 지수(quadratic exponent)를 가진 지수 항이 과대평가된 것으로 보이는 체인 차수 $s$에 대한 의존성에 집중해야 함을 시사한다. 본 논문은 이러한 결과가 이론적 기하학뿐만 아니라 $\ell_p$ 거리나 타원 곡선 연구와 같이 파피안 집합이 자연스럽게 발생하는 산술적 환경의 응용 분야에도 유의미하다고 결론짓는다.