[논문 리뷰] Computing Euler obstruction functions using maximum likelihood degrees

Jose Israel Rodriguez, Botong Wang|arXiv (Cornell University)|2017. 10. 11.

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

한 줄 요약

이 논문은 최대우도도수(MLdeg)를 사용하여 복소대수다양체의 오일러 방해 함수를 수치적으로 계산하는 알고리즘을 제안한다. 새로운 불변량인 최대우도방해함수를 정의함으로써, 저자들은 이것이 오일러 방해 함수와 일치함을 증명하여, 유클리드 분할이나 포함배제 원리 없이 호모토피 연속을 통해 효율적인 계산이 가능함을 보였다. 이 방법은 효과적이며, 3×3 랭크-2 행렬을 포함한 예시들에 적용되었다.

ABSTRACT

We give a numerical algorithm computing Euler obstruction functions using maximum likelihood degrees. The maximum likelihood degree is a well-studied property of a variety in algebraic statistics and computational algebraic geometry. In this article we use this degree to give a new way to compute Euler obstruction functions. We define the maximum likelihood obstruction function and show how it coincides with the Euler obstruction function. With this insight, we are able to bring new tools of computational algebraic geometry to study Euler obstruction functions.

연구 동기 및 목표

• 복소대수다양체 위의 임의의 점에서 오일러 방해 함수를 수치적으로 계산하기 위한 알고리즘을 개발하기 위해.
• 전통적인 전역적 또는 분할 정의를 통한 오일러 방해 함수 계산의 어려움을 극복하기 위해.
• 최대우도도수와 오일러 방해 함수 사이의 연결고리를 설정하여, 둘이 동치임을 보여주기 위해.
• 특히 호모토피 연속을 포함한 수치대수기하 도구를 활용하여 실용적인 계산을 가능하게 하기 위해.
• 좌표변환을 통해 아핀다양체로의 일반화를 위해, 매우 아핀 설정을 넘어서 적용 가능성을 넓히기 위해.

제안 방법

• 점 P를 통과하는 k−1개의 일반적인 평면과 X의 교차에서의 최대우도도수를 r_k(P,X)로 정의하고, k번째 평면을 제거함으로써 k번째 제거 최대우도도수를 정의한다.
• 최대우도방해함수 ML_X(P)를 제거 최대우도도수들의 교대합으로 정의한다: ML_X(P) = Σ_{k=0}^{d+1} (-1)^{d-k} r_k(P,X).
• 모든 점 P ∈ X 에서 ML_X(P)가 오일러 방해 함수 Eu_X(P)와 일치함을 증명하여, 두 불변량 간의 동치성을 확립한다.
• 퇴화점이 일반적인 시작점에서 (C*)^N \ X로부터 추적되는 호모토피 연속을 사용하여, X 위의 여러 점에서 제거 최대우도도수를 계산한다.
• 일반적인 평면과 1형식에 대해, 퇴화점의 수가 일정하고 수치대수기하학을 통해 계산 가능하다는 사실을 활용한다.
• 3×3 랭크-2 행렬에 대한 예시들(예: 아핀 제약 조건 x_11=1)에 적용하여, 다양한 점에서 r_k(P,X)를 계산하고 기존 결과와의 일致성을 검증한다.

실험 결과

연구 질문

• RQ1 유클리드 분할이나 복잡한 링크 계산 없이 오일러 방해 함수를 수치적으로 계산할 수 있는가?
• RQ2 오직 최대우도방해함수와 같은 직접적인 대수기하학적 불변량이 존재하여 오일러 방해 함수와 일치하는가?
• RQ3 최대우도도수를 어떻게 사용하여 특이다양체의 국소 불변량을 수치적으로 안정적이고 효율적으로 계산할 수 있는가?
• RQ4 단일 일반적인 시작점에서부터 호모토피 연속을 사용하여 다양체 위의 여러 점에서 제거 최대우도도수를 추적할 수 있는가?
• RQ5 다양체의 최대우도도수와 그 특이점 및 정칙점에서의 오일러 방해 함수 사이의 관계는 무엇인가?

주요 결과

• 순수차원 복소대수다양체 X 위의 임의의 점 P에 대해 최대우도방해함수 ML_X(P)는 오일러 방해 함수 Eu_X(P)와 동일함이 증명되었다.
• x_11=1 조건이 붙은 3×3 랭크-2 행렬에 대해, ML_X(P) 값은 (C*)^9\X 내 일반점에서 0, 정칙점에서 1, 특이점에서 2이며, 이는 기존 결과와 일致한다.
• 일반점 P_0가 X 외부에 있을 경우, 제거 최대우도도수 r_k(P,X)는 r_k(P_0,X)에 의해 위에서 유계임이 보장되어, 호모토피 연속을 통한 효율적 계산이 가능하다.
• 포함배제 원리와 유클리드 분할의 명시적 지식이 필요 없어, 계산에 더 실용적이다.
• 좌표변환을 통해 아핀다양체로의 일반화가 가능하며, 이는 예제 4.3에서 확인되었다.
• 호모토피 연속은 일반점에서부터 X 위의 점들로 퇴화점을 성공적으로 추적하여, 다양체의 다양한 위치에서 제거 최대우도도수의 일致성을 확인했다.