[논문 리뷰] On Hilbert's construction of positive polynomials

Bruce Reznick|ArXiv.org|2007. 07. 14.

Mathematics and Applications참고 문헌 17인용 수 42

한 줄 요약

이 논문은 힐베르트의 1888년에 발표한 양의 다항식이 제곱합이 되지 않는다는 구성법을 일반화하여, 보간과 영점 집합 조건을 이용한 체계적인 방법을 도입한다. 이는 고차수의 삼변수 및 사변수 다항식에서 제곱합으로 표현될 수 없는 양의 다항식이 존재함을 증명하며, 이러한 다항식의 수에 대한 하한을 크게 향상시킨다.

ABSTRACT

In 1888, Hilbert described how to find real polynomials in more than one variable which take only non-negative values but are not a sum of squares of polynomials. His construction was so restrictive that no explicit examples appeared until the late 1960s. We revisit and generalize Hilbert's construction and present many such polynomials.

연구 동기 및 목표

• 1888년 논문에서 다룬 특정 케이스를 초월하여, 힐베르트의 원래 구성법을 고차수 및 더 대칭적인 구성으로 일반화하는 것.
• 그러한 다항식을 구성하는 데에 기여하는 힐베르트 방법의 근본적인 메커니즘을 규명하는 것.
• 고차수 다항식에서 제곱합으로 표현될 수 없는 양의 다항식의 다양한 새로운 명시적 예를 생성하는 것.
• 고정된 차수와 변수 수 조합에서 이러한 다항식의 수에 대한 하한을 향상시키는 것.

제안 방법

• 지정된 점 집합에서 영이 되는 다항식의 아이디얼을 위한 기저 함수를 구성하기 위해 낙하 계승 다항식 $\phi_{r,s,d}(x,y)$ 를 이용한 보간을 사용한다.
• 캐슬리-바하라흐 정리를 적용하여 기본 집합 외부의 추가 점들에서도 영이 되도록 조건을 강제함으로써, 제곱합으로 표현될 수 없음을 보장한다.
• 다항식 $p = f_1^2 + f_2^2 + c \cdot \phi\psi$ 를 변형하여 구성함. 여기서 $f_1, f_2$ 는 특정 점 집합에서 영이며, $\phi\psi$ 는 부분집합에서 특이점이 있음. 이는 양의 성질과 비-제곱합의 구조를 보장한다.
• 유한 집합 $A$ 에서 영이 되는 다항식의 아이디얼 $I_{1,d}(A)$ 를 활용하고, 그 구조를 분석하여 양의 비-제곱합 변형의 존재를 보장한다.
• 정수 점들의 $d \times d$ 격자와 같은 대칭 구성에 대해 적용하며, $g_d(x,y)$ 를 특이점이 있고 양의 정부호인 변형으로 사용한다.
• 차원 수세기와 부등식을 사용하여, $A$ 와 그 고차수 아이디얼 $I_{2,2d}(A)$ 에서 영이 되는 다항식의 공간이 충분히 크다는 것을 보이며, 양의 비-제곱합 구성이 가능함을 입증한다.

실험 결과

연구 질문

• RQ1 힐베르트의 제곱합으로 표현될 수 없는 양의 다항식의 구성법은 원래 1888년의 사례를 초월하여 고차수 및 더 대칭적인 구성으로 일반화될 수 있는가?
• RQ2 점 집합과 영점 아이디얼에 어떤 조건이 성립해야, 변형된 제곱합이 양이지만 스스로 제곱합이 되지 않는가?
• RQ3 삼변수 및 사변수 다항식에서 제곱합으로 표현될 수 없는 양의 다항식의 명시적 예를 체계적으로 생성하는 방법은 무엇인가?
• RQ4 고정된 차수와 변수 수에서 이러한 다항식의 수에 대해 어떤 하한을 설정할 수 있는가?
• RQ5 기본 점의 수가 어느 정도일 경우, 힐베르트의 방법이 고차수에서도 적용 가능한가?

주요 결과

• 논문은 $d \geq 3$ 인 삼변수 다항식에서 차수 $2d$ 의 명시적 양의 다항식을 대칭적인 영점 구성으로 구성하며, 제곱합으로 표현될 수 없음을 보였다.
• $d \geq 3$ 인 경우, 다항식 $ (x)_d^2 + (y)_d^2 + c_d (x)_2(y)_2(x+y-2)_{d-1}(x+y-4)_{d-3} $ 는 양이며 제곱합이 아니며, $c_d \to 0$ 이다. $d \to \infty$ 일 때.
• 이러한 비-제곱합 양의 다항식의 수는 $B_{3,2d} \geq \frac{d^2 + 3d - 2}{2}$ 를 만족하며, 이는 $2d = 8, 10$ 에서 이전 하한을 향상시킨다.
• 차수 6의 경우 정확한 상수 $c(3) = 4/3$ 를 계산하여, 이 방법이 정량적 제어를 정확히 가능하게 함을 보였다.
• 차원 추정을 통해 $r \leq d$ 인 경우, 공간 $I_{2,2d}(A) \setminus I_{1,d}^2(A)$ 는 비어 있지 않음을 보이며, 이는 힐베르트의 방법이 더 넓은 설정에서도 적용 가능함을 뒷받침한다.
• 점 집합 $A$ 가 일반 위치에 있는 $\binom{d+2}{2} - 2$ 개의 점을 포함하고, $\tilde{A}$ 가 $A$ 에 속하지 않는 점들의 집합일 때, $g_d$ 는 $\tilde{A}$ 에서 양이며 $A$ 에서 특이점이 있음을 보였다.