[논문 리뷰] Maximum likelihood degree of Fermat hypersurfaces via Euler characteristics

Botong Wang|arXiv (Cornell University)|2015. 09. 12.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 토폴로지적 방법을 사용하여 프ermat 초곡면 $F_{n,d} = \{x_0^d + \cdots + x_n^d = 0\} \subset \mathbb{P}^n$의 최대우도도수(MLD)를 계산한다. 특히, 좌표평면과 합평면의 합집합인 $\mathcal{H}$를 제외한 $F_{n,d} \setminus \mathcal{H}$의 부호가 붙은 오일러 지표를 통해 수행한다. 주요 결과는 $\beta_{\mu,\nu}$라는 조합론적 상수를 통해 MLD를 기술하는 것으로, 이는 $z_1^\nu = \cdots = z_\mu^\nu = 1$ 및 $z_1 + \cdots + z_\mu + 1 = 0$의 복소수 해의 수를 세는 것으로 정의되며, $d-1$이 소수의 거듭제곱일 경우 닫힌 형태로 유도된다.

ABSTRACT

Maximum likelihood degree of a projective variety is the number of critical points of a general likelihood function. In this note, we compute the Maximum likelihood degree of Fermat hypersurfaces. We give a formula of the Maximum likelihood degree in terms of the constants $β_{μ, ν}$, which is defined to be the number of complex solutions to the system of equations $z_1^ν=z_2^ν=\cdots=z_μ^ν=1$ and $z_1+\cdots +z_μ+1=0$.

연구 동기 및 목표

• 프ermat 초곡면 $F_{n,d}$의 최대우도도수(MLD)를 체계적으로 계산하여 이전의 사례별 접근 방식의 한계를 극복한다.
• 일반 MLD 공식에서 비교형 교차가 발생할 경우의 문제를 해결하기 위해 밀너 수치 이론을 활용해 수정 항을 계산한다.
• 매끄러운 다양체에 대해 MLD가 부호가 붙은 오일러 지표와 같다는 허의 결과를 활용하여, $F_{n,d} \setminus \mathcal{H}$의 오일러 지표에 대한 위상수학적 공식을 수립한다.
• 특히 $d-1$이 소수의 거듭제곱일 경우, $z_1^\nu = \cdots = z_\mu^\nu = 1$ 및 $z_1 + \cdots + z_\mu + 1 = 0$의 복소수 해의 수를 세는 $\beta_{\mu,\nu}$에 대한 명시적 공식을 제공한다.
• 정수론적 및 조합론적 구조와 연결하기 위해, $z_1^\nu = \cdots = z_\mu^\nu = 1$ 및 $z_1 + \cdots + z_\mu = 0$의 해를 세는 상수 $\alpha_{\mu,\nu}$를 정의한다.

제안 방법

• 매끄러운 프로젝티브 다양체에 대해 MLD가 부호가 붙은 오일러 지표 $(-1)^n \chi(F_{n,d} \setminus \mathcal{H})$와 같다는 허의 정리를 사용한다.
• 포함배제 원리를 적용하여 $\chi(F_{n,d} \setminus \mathcal{H})$를 $\mathcal{H}$에 속한 초평면들과의 교차에 대한 합으로 계산하며, 이는 색인 집합 $\Lambda = \{0,\dots,n, +\}$의 부분집합으로 인덱싱된다.
• Milnor 이론을 활용해 $F_{n,d} \cap H_{\Lambda'}$의 특이점을 분석하며, 각 고립된 특이점이 $\beta_{\mu,\nu}$가 세는 해의 수와 동일한 밀너 수를 가짐을 보인다.
• Milnor의 결과에 기반하여, 고립된 초곡면 특이점에서의 오일러 장벽은 $(-1)^{\dim} (\mu + 1)$로 주어지며, 여기서 $\mu$는 밀너 수이다.
• $\nu = p^r$가 소수의 거듭제곱일 경우, 조합론적 상수 $\beta_{\mu,\nu}$를 대칭군 작용과 다항계수로 변환한다.
• $\beta_{\mu,\nu} = \frac{1}{\nu} \alpha_{\mu+1,\nu}$의 관계를 이용해 문제를 $z_1^\nu = \cdots = z_\mu^\nu = 1$ 및 $\sum z_i = 0$의 대칭 해에 대한 것으로 재구성하며, 군 기반의 수세기 방법을 가능하게 한다.

실험 결과

연구 질문

• RQ1 프로젝티브 공간 $\mathbb{P}^n$ 내에서 $x_0^d + \cdots + x_n^d = 0$로 정의된 프ermat 초곡면 $F_{n,d} \subset \mathbb{P}^n$의 최대우도도수는 무엇인가?
• RQ2 일반 공식이 비교형 교차로 인해 실패할 경우, MLD를 체계적으로 계산하는 방법은 무엇인가?
• RQ3 좌표평면과 합평면과의 교차로 인해 발생하는 특이점의 정확한 위상적 기여는 무엇인가?
• RQ4 $\beta_{\mu,\nu} \neq 0$가 되는 조건은 무엇이며, $\nu = p^r$일 경우 $\beta_{\mu,\nu}$에 대한 닫힌 형태의 표현식을 유도할 수 있는가?
• RQ5 $\nu$가 소수의 거듭제곱일 경우, $z_1^\nu = \cdots = z_\mu^\nu = 1$ 및 $\sum z_i = 0$의 해를 세는 상수 $\alpha_{\mu,\nu}$는 다항계수로 표현할 수 있는가?

주요 결과

• 프ermat 초곡면 $F_{n,d}$의 최대우도도수는 $\operatorname{MLdeg}(F_{n,d}) = \sum_{k=1}^n d^k - \sum_{j=0}^{n-1} \binom{n+1}{j} \beta_{n-j,d-1}$로 주어지며, 여기서 $\beta_{\mu,\nu}$는 $z_1^\nu = \cdots = z_\mu^\nu = 1$ 및 $z_1 + \cdots + z_\mu + 1 = 0$의 복소수 해의 수를 세는 것으로 정의된다.
• d=2일 경우, MLD는 $\operatorname{MLdeg}(F_{n,2}) = 2^{n+1} - 2$로 주어지며, 이는 기존에 알려진 결과를 복원한다.
• n=2일 경우, $F_{2,d}$의 MLD는 $d \mod 6$에 따라 달라진다: $d \equiv 0,2 \pmod{6}$이면 $d^2 + d$, $d \equiv 3,5 \pmod{6}$이면 $d^2 + d - 3$, $d \equiv 4 \pmod{6}$이면 $d^2 + d - 2$, $d \equiv 1 \pmod{6}$이면 $d^2 + d - 5$이다.
• d-1 = p^r가 소수의 거듭제곱일 경우, MLD는 다항계수를 포함한 닫힌 공식으로 표현 가능하다: $\operatorname{MLdeg}(F_{n,d}) = \sum_{k=1}^n d^k - \frac{1}{d-1} \sum \frac{(n+1)!}{(n+1 - p(s_1+\cdots+s_k))! \cdot \prod_{i=1}^k (s_i!)^p}$, 여기서 합은 $\sum s_i \leq \frac{n+1}{p}$ 및 $k = \frac{d-1}{p}$를 만족하는 비음수 정수 $s_1,\dots,s_k$에 대해 이루어진다.
• $\nu = p^r$일 경우 $\beta_{\mu,\nu}$는 $\mu+1$이 $p$로 나누어떨어지지 않으면 0이 되며, 그렇지 않으면 다항계수의 합으로 주어진다.
• $\alpha_{\mu,\nu}$ (따라서 $\beta_{\mu,\nu}$)의 비영성은 Lam과 Leung에 의해 특성화되어 있다: $\alpha_{\mu,\nu} \neq 0$이 되는 것은 $\mu$가 $\nu$의 소인수들로 생성되는 반군에 속할 때이다.