다항식 표현의 대수·기하학적 구조와 반정밀 경계 분석

본 논문은 실수 다항식 p₁,…,p_m을 이용해 정의되는 반대수적 집합 A⊂ℝ^d 의 구조를 조사한다. 반대수적 집합은 부등식·등식 조합(식 (1.1))으로 표현되며, 각 p_i에 대한 부호 조건은 불린 공식 Φ와 집합 E_i⊆{0,1} 로 기술된다. 저자는 이러한 표현에서 경계 ∂A가 (d−1) 차원의 대수다양체 Z(f)와 국소적으로 일치할 때, 불변다항식 f가 p_i들의 인수로 반드시 포함된다는 일련의 정리를 제시한다. **Theorem 1.1** 은 네 가지 경우를 다룬다. - (I) ∂A⊆⋃_{i=1}^m Z(p_i) 임을 보인다. - (II) dim(∂A∩Z(f))=d−1이면 f가 적어도 하나의 p_i에 인수임을 증명한다. - (III) A가 Z(f)≥0 와 국소적으로 동일하고 dim(Z(f)∩B_ε(a))=d−1이면 f는 해당 p_i에 **홀수** 거듭제곱 인수로 포함된다. - (IV) A가 Z(f)>0 와 동일한 경우에도 (III)와 같은 결론이 성립한다. 이때 “홀수”는 경계가 내부와 외부를 구분하는 역할을 하며, “짝수” 인 경우는 경계가 내부에 포함되는 상황을 의미한다. **Corollary 1.2** 은 A가 전부 “≥0” 조건만으로 표현될 때, f가 두 개 이상의 서로 다른 p_i에 동시에 인수이거나, 하나의 p_i에 짝수 거듭제곱 인수로 나타날 수 있음을 제시한다. **Corollary 1.3** 은 A=(p₁,…,p_m)≥0 인 경우, f가 p_i에 인수라면 그 인수는 반드시 짝수 거듭제곱이어야 함을 강조한다. **Corollary 1.4** 는 “>0” 조건만으로 정의된 A에 대해 f가 적어도 하나의 p_i에 인수이며, 그 인수는 홀수 거듭제곱이 될 수 없음을 보인다. 다음으로 논문은 **다면체** 와 **다각형** 에 대한 특수 사례를 다룬다. 다면체 P는 선형 다항식들로 표현될 수 있다는 사실을 이용해, 최소 표현에 필요한 다항식 수와 인수 구조를 제약한다. **Corollary 1.5** 에서는 d‑차원 다면체가 m개의 1차 다항식(p_i)와 d개의 다항식(q_j)으로 동시에 표현될 때, 각 p_i는 정확히 하나의 q_j에 인수이며 그 인수는 홀수 거듭제곱이라는 강력한 구조적 제한을 제시한다. 이는 기존의 “m≥d” 라는 차원 하한을 넘어, 인수의 짝·홀수성까지 규정한다. 2‑차원에서는 **Corollary 1.6** 이 볼록 다각형 P (m≥7 변) 에 대해 두 개의 다항식(q₁,q₂) 로 표현할 수 있음을 보인다. 여기서 q₁,q₂는 각각 p₁^{k₁}·…·p_m^{k_m}·g₁, g₂ 형태이며, 모든 k_i는 홀수, g₁,g₂는 각 p_i 로 나누어지지 않는다. 특히 g₂는 모든 꼭짓점에서 영이 되며, 이는 q₂의 영집합이 꼭짓점들을 포함한다는 기하학적 의미를 갖는다. 중앙 대칭 육각형과 같이 변이 평행한 경우에는 m≥5 로 조건이 완화될 수 있음을 그림을 통해 설명한다. 마지막으로, 반대수적 집합이 “기본적인”(elementary) 형태인지 여부를 판단하는 방법을 제시한다. Theorem 1.1(III)·(IV) 와 Corollary 1.3·1.4 를 이용해, 특정 집합이 (p_i)≥0 혹은 (p_i)>0 로만 표현될 수 없음을 증명한다. 예시로 제시된 폐 집합 A와 개방 집합 A는 각각 기본 폐·개방 형태가 될 수 없음을 보이며, 이는 f=x_d 와 같은 단순 다항식이 동시에 홀수·짝수 거듭제곱 인수 조건을 만족할 수 없다는 모순을 이용한다. **기술적 기여**는 다음과 같다. 1. 경계와 불변다항식 사이의 인수 관계를 일반적인 반대수적 집합에 대해 체계화하였다. 2. “홀수·짝수 거듭제곱”이라는 새로운 구분을 도입해, 경계가 내부·외부와 어떻게 연결되는지를 정량화하였다. 3. 다면체·다각형에 대한 최소 표현 조건을 강화하고, 인수 구조까지 명시함으로써 기존 결과를 일반화하였다. 4. 기본 반대수적 집합 여부를 판단하는 실용적인 기준을 제공하였다. 이러한 결과들은 실수 대수기하학, 최적화, 그리고 컴퓨터 그래픽스 등에서 복합적인 부등식 시스템을 단순화하거나, 다항식 기반 모델링의 최소 차원을 분석하는 데 활용될 수 있다.