[논문 리뷰] An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem

Henri Lombardi, Daniel Perrucci외 1명|arXiv (Cornell University)|2014. 04. 09.

Polynomial and algebraic computation참고 문헌 16인용 수 19

한 줄 요약

이 논문은 비음성 다항식 및 부호 조건 시스템의 불가능성에 대한 증명서의 차수에 대한 기본적인 재귀적 상한을 확립하며, 힐베르트의 17번 문제와 스텐글레의 피지티브스텔렌사츠를 명시적인 차수 추정과 함께 해결한다. 비음성 다항식이 $k$개의 변수를 가지며 차수 $d$일 때, 분자와 분모의 차수가 $2^{2^{2^{d^{4^{k}}}}}$인 유리함수의 제곱합으로 표현될 수 있음을 보이며, 실대수기하학과 제거 이론을 통한 대수적 증명을 사용한다.

ABSTRACT

We prove elementary recursive bounds in the degrees for Positivstellensatz and Hilbert 17-th problem, which is the expression of a nonnegative polynomial as a sum of squares of rational functions. We obtain a tower of five exponentials. A precise bound in terms of the number and degree of the polynomials and their number of variables is provided in the paper.

연구 동기 및 목표

• 비음성 다항식을 제곱합으로 표현하는 데 사용되는 유리함수의 차수에 대한 효과적이고 기본적인 재귀적 상한을 제공함으로써, 힐베르트의 17번 문제를 구체적으로 해결한다.
• 스텐글레의 피지티브스텔렌사츠에 명시된 부호 조건 시스템의 불가능성에 대한 대수적 증명서의 차수에 대한 명시적 상한을 유도한다.
• 기본적인 재귀 함수와 제거 기법을 사용하여 실대수기하학 내에서의 구체적 차수 상한을 통합하고 확장한다.
• 실대수폐쇄체 위에서 다항식 시스템의 양성과 가능성을 위한 정량적이고 계산 가능한 프레임워크를 제공한다.

제안 방법

• 스텐글레의 피지티브스텔렌사츠를 구체적으로 증명하기 위해, 음이 아닌 콘의 다항식과 제곱합을 통한 불가능성의 대수적 증명을 사용한다.
• 실대수폐쇄체 위에서 제거 이론을 적용하며, 톰 인코딩과 실근 순서를 이용해 부호 조건을 확인한다.
• 헤르미트의 이차형식과 실리스터의 관성 법칙을 사용하여 실근의 수를 세고 부호 패턴을 분석한다.
• 결과식과 판별식에 대한 상한을 이용해 변수를 반복적으로 제거함으로써 차수에 대한 재귀적 상한을 구성한다.
• 지수함수를 포함하는 재귀 함수를 통해 차수 추정을 유도하며, 유리 표현에서 분자와 분모의 차수 증가를 명시적으로 제어한다.
• 중간 표현의 복잡도를 제어하기 위해 기술적 보조정리를 사용하여 재귀성의 기본성을 확보한다.

실험 결과

연구 질문

• RQ1 비음성 다항식을 제곱합으로 표현하는 데 사용되는 유리함수의 차수에 대해 가능한 최소 상한은 무엇인가?
• RQ2 스텐글레의 피지티브스텔렌사츠에 대한 증명서의 차수에 대해 효과적이고 기본적인 재귀적 상한을 확립할 수 있는가?
• RQ3 변수의 수, 다항식의 차수, 부등식의 수에 따라 증명서의 차수는 어떻게 증가하는가?
• RQ4 힐베르트의 17번 문제의 증명을 명시적인 차수 추정과 함께 효과적으로 만들 수 있는가?
• RQ5 실대수기하학에서 이러한 표현의 복잡성을 지배하는 정확한 지수함수 탑의 구조는 무엇인가?

주요 결과

• 차수 $d$인 $k$개의 변수를 가진 비음성 다항식은 분자와 분모의 차수가 $2^{2^{2^{d^{4^{k}}}}}$ 이하인 유리함수의 제곱합으로 표현될 수 있다.
• polynomials $s$개, 변수 $k$개, 최대 차수 $d$인 부호 조건 시스템에 대해, 스텐글레의 피지티브스텔렌사츠에서의 대수적 증명서의 차수는 다섯 단계의 지수함수 탑으로 유계이다: $2^{2^{ig(2^{ ext{max}igrace{2,digrace}^{4^{k}}+s^{2^{k}} ext{max}igrace{2,digrace}^{16^{k} ext{bit}(d)}ig)}}}$.
• 상한은 기본적인 재귀적 성질을 가지며, 실대수기하학에서 효과적인 구체성의 요구 조건을 만족하는 유한한 지수함수 탑을 통해 계산 가능하다.
• 증명은 실대수폐쇄체 위에서 톰 인코딩과 헤르미트 이론을 이용해 근의 순서와 부호 조건을 제어하는 재귀적 제거 과정에 기반한다.
• 결과식, 판별식, 그리고 중간 대수적 표현의 계수 증가를 신중히 분석함으로써 차수 상한이 도출된다.
• 이 결과들은 힐베르트의 17번 문제와 스텐글레의 피지티브스텔렌사츠에 대해 처음으로 명시적이고 기본적인 재귀적 차수 상한을 제공하며, 효과적인 실대수기하학 분야에서 오랫동안 남아있던 열린 문제를 해결한다.