[논문 리뷰] The Euclidean distance degree of an algebraic variety

Jan Draisma, Emil Horobeţ외 3명|arXiv (Cornell University)|2013. 08. 31.

Polynomial and algebraic computation참고 문헌 23인용 수 20

한 줄 요약

이 논문은 대수기하학과 최적화에서 기본 불변량으로서 유클리드 거리 차수(ED degree)를 도입하며, 일반적인 점에서 실대수기하구조로의 제곱거리 함수의 임계점 수를 측정한다. 라그랑주 승수와 대수기하학을 이용한 계산 도구를 개발하여 ED degree와 평균 ED degree를 계산하고, 저질서 행렬, 텐서, 기하모델에 응용하며 이중성 불변성을 증명하고 세그레 다양체 및 질서 1 텐서와 같은 주요 사례에 대해 명시적 공식을 유도한다.

ABSTRACT

The nearest point map of a real algebraic variety with respect to Euclidean distance is an algebraic function. For instance, for varieties of low rank matrices, the Eckart-Young Theorem states that this map is given by the singular value decomposition. This article develops a theory of such nearest point maps from the perspective of computational algebraic geometry. The Euclidean distance degree of a variety is the number of critical points of the squared distance to a generic point outside the variety. Focusing on varieties seen in applications, we present numerous tools for exact computations.

연구 동기 및 목표

• 실대수기하구조에서 최적화에 대한 대수적 복잡도 측도로 유클리드 거리 차수(ED degree)를 체계화한다.
• 대수기하학과 라그랑주 승수를 이용한 정확한 ED degree 계산 기법을 개발한다.
• 일반화된 정규분포 샘플링 하에서 평균 ED degree(aED degree)를 연구하고, 난이도 행렬 이론과 통계모델과 연관시킨다.
• 이중성 불변성 증명: 프로젝티브 다양체에 대해 ED degree(X) = ED degree(X*)를 확립하고, 이를 극좌표 클래스와 연결한다.
• 저질서 행렬 다양체와 텐서의 세그레 매bedding과 같은 주요 적용 사례에 대해 명시적 공식을 도출한다.

제안 방법

• 일반적인 점에서 다양체로의 제곱유클리드 거리 함수의 비특이 임계점 수로 ED degree를 정의한다.
• 라그랑주 승수를 이용해 임계점 조건을 (u−x)가 접공간 TxX에 수직임을 통해 기술한다.
• 평균 ED degree 계산을 가능하게 하는 ED 대응 EX를 다양체 (x,u)의 쌍으로서 정의한다.
• ED 대응을 쌍대다양체로 올리고 이중성에 기반해 프로젝티브 다양체에 대해 ED degree(X) = ED degree(X*)를 증명한다.
• 질서 1 텐서의 경우, 평균 ED degree를 평균값이 정규분포를 따르는 대칭행렬의 절댓값 행렬식의 기대값으로 유도한다.
• 이러한 도구를 사용해 카디오이드, 저질서 행렬, 세그레 다양체 등의 특정 다양체에 대해 ED degree를 계산하며, Macaulay2 코드와 기호계산을 활용한다.

실험 결과

연구 질문

• RQ1 유클리드 공간 내 주어진 점에서 실대수기하구조로의 가장 가까운 점을 찾는 데 필요한 대수적 복잡도는 무엇인가?
• RQ2 저질서 행렬 완성 및 텐서 분해와 같은 적용에서 발생하는 다양체에 대해 ED degree를 정확하게 어떻게 계산할 수 있는가?
• RQ3 다양체의 ED degree와 그 이중다양체의 ED degree 사이의 관계는 무엇이며, ED degree는 이중성에 대해 불변하는가?
• RQ4 일반화된 정규분포 샘플링 하에서 평균 ED degree(aED degree)는 어떻게 행동하는가? 그리고 난이도 행렬 기대값을 통해 표현할 수 있는가?
• RQ5 세그레 다양체 및 기타 텐서 모델에 대해 폐쇄형 또는 효율적인 공식을 도출할 수 있는가?

주요 결과

• 카디오이드의 ED degree는 3이며, 일반적인 외부점에서 세 개의 실수 임계점이 존재한다. ED 판별식(에볼루트)은 3개 또는 1개의 실수 해를 가지는 영역을 분리한다.
• 형식 $m_1 \times \cdots \times m_p$ 에서 질서 1 텐서의 세그레 다양체에 대해, 정리 8.1에 의해 ED degree는 $\sum_{i=1}^p \binom{m_i}{2} + 1$ 으로 주어지며, 예를 들어 $2\times2\times2$ 에서는 6, $2^5$ 에서는 120 이다.
• $2\times2\times2$ 텐서 형식의 평균 ED degree는 약 4.287로, ED degree의 6보다 현저히 낮아 대부분의 임계점이 복소수임을 시사한다.
• 표준 정규분포 측도 하에서 세그레 다양체의 평균 ED degree는 $\frac{\pi^{p/2}}{2^{m/2} \prod_{i=1}^p \Gamma(m_i/2)} \cdot \mathbb{E}[|\det(A)|]$ 와 같으며, 여기서 $A$ 는 독립적인 정규분포를 따르는 랜덤 대칭행렬이다.
• $p \geq 3$ 인 경우, $m_p - 1 \geq \sum_{i=1}^{p-1} (m_i - 1)$ 를 초과할 때 평균 ED degree는 안정화되거나 약간 감소하며, 아직 기하학적 설명은 없다.
• 이중성 성질이 성립한다: 프로젝티브 다양체에 대해 $\mathrm{EDdegree}(X) = \mathrm{EDdegree}(X^*)$ 이며, ED degree는 $X$ 의 고전적 극좌표 클래스들의 합과 같다.