Khovanskii's Bezout-type Theorem for Pfaffian Functions: A Self-Contained Proof, and Applications

기술 요약: Khovanskĭ의 Pfaffian 함수에 관한 Bézout 유형 정리

문제 정의
본 논문은 $n$개의 변수를 가진 $n$개의 Pfaffian 방정식의 비퇴화(regular) 실해의 개수에 대한 명시적이고 정량적인 경계(bound)를 설정하는 문제를 다룬다. Khovanskĭ의 독창적인 연구 [Kho91]가 이러한 경계를 제공하기는 하지만, 그 유도는 미분 형식의 적분 다양체(integral manifolds)에 관한 일반 이론에 크게 의존하고 있어, 이 광범위한 체계를 숙달하지 않고서는 증명을 이해하기 어렵다. 저자들은 Khovanskĭ의 Bézout 유형 정리에 대한 직접적이고 자기 완결적인 증명을 제공하여, 원래의 단행본이 가진 무거운 미분 기하학적 장치들을 배제하고 필수적인 조합론적 및 기하학적 요소들만을 분리해내는 것을 목표로 한다.

방법론
저자들은 Pfaffian 체인(Pfaffian chain)의 차수 $s$에 대한 귀납법을 통해 증명을 구성한다. 이 방법론은 세 가지 주요 구성 요소에 의존한다:

1. 고차원으로의 리프팅 (Lifting to Higher Dimensions): $n$개의 변수를 가진 $n$개의 방정식 시스템을 $n+1$개의 변수를 가진 시스템으로 리프팅한다. 가장 높은 차수의 체인 함수 $q_s(x)$를 대체하기 위해 새로운 변수 $x_{n+1}$을 도입함으로써, 저자들은 초곡면 $N$과 사상 $G$를 정의한다. 이 변환을 통해 원래의 해 집합을 $G$의 레벨 셋(level set)과 초곡면 $N$의 교집합으로 분석할 수 있게 된다.
2. Khovanskĭ–Rolle 이론: 매끄러운 사상(smooth maps)에 적응된 롤의 정리(Rolle's Theorem, 보조정리 3.1)의 일반화를 사용한다. 이 보조정리는 $G$의 레벨 셋에 의해 정의되는 매끄러운 1-다양체 상의 임의의 연속적인 두 근 사이에서, 정의 함수들의 그레이디언트(gradient)의 행렬식(determinant)이 반드시 0이 되어야 함을 명시한다. 이는 원래 시스템의 근의 개수를 이 행렬식을 포함하는 새로운 시스템의 근의 개수를 세는 문제로 환원시킨다.
3. 차수 경계 및 귀납법 (Degree Bounds and Induction): 핵심적인 기술적 기여는 롤 단계(Rolle step)에서 발생하는 행렬식의 "Pfaffian 차수"를 제한하는 보조정리 3.3이다. 저자들은 이 행렬식이 그 자체로 Pfaffian 함수이되, 체인 차수가 $s$에서 $s-1$로 감소한 형태임을 보여준다. 이러한 체인 차수의 감소는 귀납적 단계를 가능하게 하는 메커니즘이다. 저자들은 귀납 과정 전반에 걸쳐 함수들의 "포맷"(체인 차수 $\alpha$, 함수 차수 $\beta$, 체인 순서 $s$)을 면밀히 추적하며, 특히 체인 함수들이 실제로 의존하는 변수의 개수 $k$에 대한 의존성을 정교하게 다듬는다.

적절성(properness) 문제(즉, 롤의 정리를 적용하기 위해 해 집합이 컴팩트함을 보장하는 문제)를 처리하기 위해, 저자들은 보조 변수와 이차 제약 조건을 포함하는 컴팩트화 기법을 사용하여 경계가 전체 공간 $\mathbb{R}^n$에 대해 성립하도록 한다.

주요 기여 및 결과

• 자기 완결적 증명: 본 논문의 주요 기여는 적분 다양체 이론을 요구하지 않는 Khovanskĭ 정리의 증명이다. 논증은 실 대수 기하학의 표준 도구(Bézout 부등식)와 미분 위상 수학의 도구(Rolle 정리)로부터 조립되었으며, 이를 통해 결과를 더욱 접근 가능하게 만든다.
• 해의 개수에 대한 정교한 경계: 저자들은 고전적인 경계(정리 1.1)의 정교화된 버전을 제시한다. 고전적 정식화는 경계의 마지막 인자에서 주변 차원 $n$에 의존하는 반면, 새로운 경계는 Pfaffian 체인이 의존하는 변수의 개수인 $k$($k \le n$)에 의존한다.
  $f_1 = \dots = f_n = 0$의 정규 해(regular solutions)의 개수에 대한 경계는 다음과 같다:
  $$2^{\frac{s(s-1)}{2}} \beta_1 \cdots \beta_n (\beta_1 + \dots + \beta_n - n + \min\{k, s\}\alpha + 1)^s$$
  이 정교화는 Pfaffian 체인이 짧거나($s \ll n$), 체인이 적은 수의 변수에 의존할 때($k \ll n$) 매우 유의미하다.
• 연결 성분에 대한 응용: 정교화된 정리를 사용하여, 저자들은 $m$개의 방정식에 의해 정의된 Pfaffian 집합의 연결 성분의 개수(0차 베티 수)에 대한 개선된 경계를 도출한다(정리 1.2). 경계는 다음과 같다:
  $$2^{\frac{s(s-1)}{2}+1} (\alpha + 2\beta - 1)^{n-1} \beta (n(\alpha + 2\beta - 2) + \alpha(\min\{k, s\} - 1) + 2)^s$$
  이 결과는 체인 차수나 변수 의존성이 주변 차원에 비해 작은 영역에서 기존의 경계들(예: [GV04], [JT12])보다 개선된 성능을 보인다.

의의 및 주장
본 논문은 자신의 정식화가 [Kho91, §3.12, Corollary 5]의 고전적 진술과 비교하여 "완만하게 정교화된(mildly refined)" 것이라고 주장한다. 의의는 경계가 $n$이 아닌 $k$(체인이 의존하는 변수의 수)에 명시적으로 의존한다는 점에 있다. 저자들은 이 정교화가 특히 Pfaffian 체인이 짧거나 적은 수의 변수에 의존할 때 유리하다고 언급한다.

저자들은 자신의 기여 범위에 대해 겸손한 태도를 취한다. 그들은 연결 성분에 대한 경계(정리 1.2)가 정교화된 정리 1.1을 사용하여 기존의 베티 수 경계들을 개선하는 방법을 보여주기 위한 "예시적인 것일 뿐"이라고 밝힌다. 그들은 가장 날카로운(sharpest) 경계를 찾아냈다고 주장하는 것이 아니라, 방정식의 개수를 참조하지 않으면서 특정 파라미터 영역에서 기존의 추정치를 개선하는 "편리한 계산 방식"을 제공하고자 한다. 이 연구는 Khovanskĭ 정리의 증명을 명료하게 하고, 실 해석 기하학, o-minimal 구조, 그리고 다항식 분할(polynomial partitioning)이나 신경망 분석과 같은 관련 분야의 연구자들에게 더 접근하기 쉬운 도구를 제공하는 데 목적이 있다.