[논문 리뷰] A criterion for membership in archimedean semirings

Markus Schweighofer|arXiv (Cornell University)|2004. 09. 23.

Advanced Topics in Algebra인용 수 7

한 줄 요약

이 논문은 실수 표현 정리(Real Representation Theorem)를 전순서(preorders)가 아닌 일반적인 반군(semirings)로 확장함으로써 아르키메데스 반군 내의 소속성에 대한 새로운 기준을 수립한다. 다항식이 반군의 실수 스펙트럼에서 비음수이고, 초기 형식(initial forms)에 대해 양의 조건을 만족하면, 그 다항식의 모든 충분히 높은 거듭제곱은 비음수 계수를 가진다는 것을 증명한다. 이는 핸델만(Handelman)의 결과를 일반화한 것이다.

ABSTRACT

We prove an extension of the classical Real Representation Theorem (going back to Krivine, Stone, Kadison, Dubois and Becker and often called Kadison-Dubois Theorem). It is a criterion for membership in subsemirings (sometimes called preprimes) of a commutative ring. Whereas the classical criterion is only applicable for functions which are positive on the representation space, the new criterion can under certain arithmetic conditions be applied also to functions which are only nonnegative. Only in the case of preorders (i.e., semirings containing all squares), our result follows easily from recent work of Scheiderer, Kuhlmann, Marshall and Schwartz. Our proof does not use (and therefore shows) the classical criterion. We illustrate the usefulness of the new criterion by deriving a theorem of Handelman from it saying inter alia the following: If an odd power of a real polynomial in several variables has only nonnegative coefficients, then so do all sufficiently high powers.

연구 동기 및 목표

• 고전적인 실수 표현 정리의 한계를 극복하기 위해, 엄격한 양의 조건을 약한 음수성 조건으로 대체할 경우, 이는 충분조건이지만 필요조건은 아님을 해결하기 위함.
• 전순서가 아닌 일반적인 아르키메데스 반군에 대해 소속성 기준을 개발하기 위함 (즉, 모든 제곱을 포함하는 반군에 국한되지 않음).
• 셰이더러(Scheiderer), 쿨만(Kuhlmann), 마셜(Marshall), 스웨이츠(Schwartz)의 이전 결과에 의존하지 않는 구성적이고 비재귀적인 방법을 제공하기 위함.
• 핸델만의 다항식 고차수 거듭제곱의 비음수 계수에 관한 정리를 일반화하기 위함.
• 초기 형식, 뉴턴 다면체(Newton polytopes), 다항식 반군 내 계수의 부호 패턴 간의 관계를 설정하기 위함.

제안 방법

• 실수 스펙트럼 $ S(T) $ 를 $ \varphi: A \to \mathbb{R} $ 인 모든 맵핑의 집합으로 정의하며, $ \varphi(T) \subset [0,\infty) $ 를 만족하고, 곱 위상으로 장비한다.
• 아르키메데스 성질을 사용하여 $ S(T) $ 가 컴act임을 보장함으로써 위상적 추론을 가능하게 한다.
• 가중치 $ w \in \mathbb{R}^n $ 에 대한 초기 형식 $ \operatorname{in}_w(f) $ 를 이용한 밸류에이션 기반 분석을 도입하며, 뉴턴 다면체 $ \operatorname{New}(f) $ 의 꼭짓점에 집중한다.
• 보조 다항식 $ c_1, c_2 $ 를 정의하고, $ S(T) $ 에서의 양의 성질을 이용해 편향화 방법을 통해 $ T $ 내 소속성의 증거를 구성한다.
• 정리 10을 적용하여, $ S(T) $ 에서 특정한 양의 조건이 충족되면 $ a \in T $ 라고 결론 내리며, 특히 $ b_1(N) = 1 - Nc_1 > 0 $ 과 $ b_2(N) = Nc_2 - 1 > 0 $ 이 $ S_{a=0}(T) $ 에서 성립할 경우를 다룬다.
• 다항식 $ f $ 의 단항식 수에 대한 귀납법을 사용하여, 일반적인 경우를 초기 형식 $ f^k $ 가 큰 $ k $ 에서 음수가 아님을 보이는 경우로 환원한다.

실험 결과

연구 질문

• RQ1 전순서가 아닌 일반적인 아르키메데스 반군으로 실수 표현 정리를 확장할 수 있는가? 이 경우 반군에 모든 제곱이 포함되어 있지 않아도 되는가?
• RQ2 다항식이 실수 스펙트럼에서 음수가 아닐 때, 어떤 조건에서 모든 충분히 높은 거듭제곱이 비음수 계수를 가질까?
• RQ3 다항식의 양의 조건이 $ \varphi(a) > 0 $ 에서 $ \varphi(a) \geq 0 $ 로 약화되었을 때, 반군 내 소속성에 대해 필요이고 충분한 기준이 존재하는가?
• RQ4 다양한 밸류에이션 하에서 초기 형식의 양의 성질이 다항식의 고차수 거듭제곱이 비음수 계수를 가지게 보장할 수 있는가?
• RQ5 뉴턴 다면체와 초기 형식의 구조를 어떻게 활용하여 다항식 거듭제곱의 계수 부호 패턴을 유도할 수 있는가?

주요 결과

• 논문은 아르키메데스 반군 내 소속성에 대해 충분히 강한 조건 하에 필요이고 충분한 새로운 기준을 증명하며, 고전적인 실수 표현 정리를 전순서가 아닌 일반 반군으로 확장한다.
• 다항식 $ f \in \mathbb{R}[\bar{X}] $ 가 $ (0,\infty)^n $ 에서 $ f > 0 $ 이고, 큰 $ k $ 에 대해 모든 초기 형식 $ \operatorname{in}_w(f^k) $ 가 음수가 아닐 경우, $ f $ 의 모든 충분히 높은 거듭제곱은 비음수 계수만을 가진다.
• 핵심 기술적 결과는 $ S(T) $ 에서 $ c_2 > 0 $ 이며, 이는 큰 $ N $ 에 대해 $ b_2(N) = Nc_2 - 1 > 0 $ 인 양의 편향화를 가능하게 하여 정리 10 적용이 가능하게 한다.
• 증명은 어떤 $ m $ 에 대해 $ f^{km+1} \in \mathbb{R}[\bar{X}]^+ $ 임을 보이며, 정리 20에 의해 $ f $ 의 모든 고차수 거듭제곱은 결국 $ \mathbb{R}[\bar{X}]^+ $ 에 속하게 된다.
• 결과는 핸델만의 정리의 일반화이다: 실수 다항식의 홀수 거듭제곱이 비음수 계수만을 가진다면, 모든 충분히 높은 거듭제곱 역시 비음수 계수를 가진다.
• 이 방법은 셰이더러 등 이전 연구 결과에 의존하지 않으며, 스스로 완전한 증명을 제공함과 동시에 그들의 결과를 특수한 경우로 포함한다.