섭동을 통한 다변수 정수 다항식의 비음성 검증

초록

본 논문은 다변수 정수 다항식의 전역적 비음성(非陰性, nonnegativity)을 검증하는 일반적이고 무조건적인 프레임워크를 제안한다. 기존 방법들이 요구하던 두 가지 구조적 가정(다항식이 최소값을 가짐, 기울기 아이디얼이 0차원임)을 제거하고, 분모 없는 입체사영 변환과 개선된 Hanzon-Jibetean 섭동 기법을 결합하여 문제를 해결한다. 이를 통해 기울기 아이디얼이 0차원이 되도록 보장하면서도 비음성을 훼손하지 않는 명시적 섭동을 구성하고, 최근 알고리즘을 활용하여 대수적 검증 증명서나 유리수 증거 점을 도출할 수 있다. 또한, 임의의 비음성 다항식이 Sum of Squares(SOS) 형태로 쓰일 수 있도록 하는 새로운 명시적 SOS 섭동 기법을 제안한다.

상세 분석

이 논문의 핵심 기술적 기여는 크게 세 가지로 나눌 수 있다. 첫째, **분모 없는 입체사영 변환(Stereographic Transformation)**이다. 기존 입체사영 변환은 분모를 포함하여 유리 함수를 생성하는 문제가 있었으나, 본 논문에서는 순수 다항식 형태의 변환을 정의한다. 이 변환 S(f)는 원래 다항식 f의 비음성을 보존할 뿐만 아니라, S(f)를 ‘강제적(coercive)‘인 다항식으로 만든다. 즉, 변수의 노름이 무한대로 갈 때 함수값도 무한대로 발산하도록 한다. 더 나아가, 식 (1)과 같이 함수값의 하한에 대한 명시적 부등식을 제공하여, S(f)가 엄격하게 양수가 되는 영역(반지름)을 정량적으로 규명한다(Corollary 3.5). 이는 함수의 무한대에서의 행동을 정규화하는 데 결정적이다.

둘째, 비음성을 보존하는 명시적 섭동 기법이다. Hanzon과 Jibetean이 제안한 f_λ = f + λ Σ X_i^{2m} 형태의 섭동은 이론적으로 유용하지만, 매개변수 λ를 기호로 다루어야 하는 계산적 부담이 있다. 본 논문은 λ를 충분히 작지만 구체적인 유리수로 고정하여, perturbed 다항식의 기울기 아이디얼이 0차원이 되도록 보장하는 명시적 하한을 구성한다(Lemma 4.3, 4.4). 이 섭동은 원래 다항식 f의 비음성에 영향을 주지 않으면서, 기울기 아이디얼이 0차원이 되어