[논문 리뷰] On the typical rank of real bivariate polynomials

Edoardo Ballico|arXiv (Cornell University)|2012. 04. 14.

Tensor decomposition and applications참고 문헌 9인용 수 4

한 줄 요약

이 논문은 $d \geq 6$인 실계수 이변수 동차다항식에 대해 랭크 $d-1$과, $d$가 홀수일 경우 $(d+3)/2$가 일반적인 랭크임을 입증한다—즉, 실계수 공간의 열린 유클리드 부분집합에서 일반적으로 발생한다. 이 결과들은 Comon과 Ottaviani의 실계수 이변수 형식에 대한 일반적 랭크에 대한 추측의 일부를 확인하며, $d \leq 5$에 대한 이전 연구를 확장하고 $d \geq 6$일 때 다수의 일반적 랭크가 존재함을 증명한다. 증명은 베론제 매핑, 실수 및 복소수 선형 스펜, 그리고 유리 정규곡선 위의 사영 기법을 포함한代수기하학적 기법에 기반한다.

ABSTRACT

Here we study the typical rank for real bivariate homogeneous polynomials of degree $d\ge 6$ (the case $d\le 5$ being settled by P. Comon and G. Ottaviani). We prove that $d-1$ is a typical rank and that if $d$ is odd, then $(d+3)/2$ is a typical rank.

연구 동기 및 목표

• 실계수 이변수 동차다항식의 차수 $d \geq 6$에 대해 일반적 랭크를 규명하고, $d \leq 5$에 대한 이전 결과를 확장한다.
• Comon-Ottaviani의 추측, 즉 $\lfloor(d+2)/2\rfloor \leq t \leq d$를 만족하는 모든 정수 $t$가 실계수 이변수 형식의 일반적 랭크임을 검증한다.
• 특히 $d \geq 6$일 때 다수의 일반적 랭크가 존재함을 입증하며, $d-1$이 일반적 랭크임과 동시에 $d$가 홀수일 경우 $(d+3)/2$가 일반적 랭크임을 보여준다.
• 실수 랭크를 기하학적 방법으로 분석하며, 실수 및 복소수 선형 스펜을 활용해 베론제 다양체 위에서의 사영 기법을 적용한다.

제안 방법

• 동차다항식을 유리 정규곡선 $C_d(\mathbb{R})$ 위의 점으로 표현하기 위해 베론제 매핑 $\nu_d: \mathbb{P}^1(\mathbb{R}) \to \mathbb{P}^d(\mathbb{R})$를 사용한다.
• 실수 랭크 $Rsr(f)$는 다항식 $f$에 대응하는 점 $P$를 포함하는 실수 선형 스펜을 형성하는 $C_d(\mathbb{R})$ 위의 실수 점들의 최소 개수로 정의된다.
• 선형 사영 $\ell_Q: \mathbb{P}^d(\mathbb{R}) \setminus \{Q\} \to \mathbb{P}^{d-1}(\mathbb{R})$를 사용하여 문제를 낮은 차수의 다항식으로 축소한다. 여기서 점 $Q = \nu_d(O)$는 선형형식 $R$에 의해 정의된다.
• 모순에 기반한 증명 기법을 사용한다: $Rsr(f) \leq d-2$라고 가정하면, 렘마 1이 보장하는 바에 따라 선형 스펜이 유일하지 않은 점들의 집합 크기를 초과하는 구성이 발생하여 모순이 된다.
• 실수 랭크 $d-1$을 갖는 다항식의 비어 있지 않은 유클리드 열린 부분집합이 존재함을 보이기 위해, $f$가 차수 $d-1$이고 실근 $d-1$개를 가지는 다항식의 가중합 $g_{f,c,R} = \sum c_i L_i^d + cR^d$를 구성한다.
• 이 구성은 일반적인 $f$와 $c$에 대해 다항식 $g_{f,c,R}$가 서로 다른 근을 가지며, 모든 근이 실수는 아니므로 유클리드 위상에서 이러한 다항식의 집합이 비어 있지 않은 열린 부분집합임을 보장한다.

실험 결과

연구 질문

• RQ1 실계수 이변수 동차다항식의 차수 $d \geq 6$에 대해 $d-1$은 일반적 랭크인가?
• RQ2 홀수 $d \geq 5$에 대해 $(d+3)/2$는 실계수 이변수 경우에서 일반적 랭크인가?
• RQ3 Comon-Ottaviani의 추측—즉, $\lfloor(d+2)/2\rfloor \leq t \leq d$를 만족하는 모든 정수 $t$가 일반적 랭크인가—는 $d \geq 6$일 때도 성립하는가?
• RQ4 실수 및 복소수 선형 스펜을 활용해 베론제 다양체 위에서 실수 랭크를 기하학적으로 특성화할 수 있는가?
• RQ5 실계수 이변수 형식의 차수 $d \geq 6$에 대해 일반적 랭크의 최소 개수는 얼마인가?

주요 결과

• 모든 $d \geq 6$에 대해 정수 $d-1$은 실계수 이변수 동차다항식의 일반적 랭크이다. 즉, $\mathbb{R}[x,y]_d$의 비어 있지 않은 열린 유클리드 부분집합이 존재하여, 그 안의 모든 다항식이 실수 랭크 $d-1$을 갖는다.
• 홀수 $d = 2m+1 \geq 5$에 대해 정수 $m+1$, $m+2$, 그리고 $2m+1 = d$는 모두 일반적 랭크이며, 이는 $d \geq 7$일 때 최소 네 개의 일반적 랭크가 존재함을 확인한다.
• 논문은 $d-1$이 일반적 랭크임을 보이기 위해, $f$가 차수 $d-1$이고 실근 $d-1$개를 가지는 다항식의 가중합 $g_{f,c,R} = \sum c_i L_i^d + cR^d$를 구성함으로써 입증한다. 이 다항식은 일반적으로 실수 랭크 $d-1$을 갖는다.
• 이 구성은 일반적인 $f$와 $c$에 대해 다항식 $g_{f,c,R}$가 서로 다른 근을 가지며, 모든 근이 실수는 아니므로 유클리드 위상에서 이러한 다항식의 집합이 비어 있지 않은 열린 부분집합임을 보장한다.
• 증명은 모순에 기반한다: $Rsr(g_{f,c,R}) \leq d-2$라고 가정하면, 유일하지 않은 선형 스펜을 갖는 점들의 집합 크기를 제한하는 렘마 1에 의해 모순이 발생한다.
• 결과적으로 $d-1$이 일반적 랭크임을 확인하였으며, 기존 결과와 결합하여 $d \leq 7$에 대해 Comon-Ottaviani의 추측을 지지한다. 이에 따라 짝수 $d \geq 6$일 때 최소 세 개의 일반적 랭크, 홀수 $d \geq 7$일 때 최소 네 개의 일반적 랭크가 존재한다.