실수근 존재 판정 새로운 접근과 3‑SAT 다변량 다항식 변환

초록

본 논문은 정수계수 일변량 다항식의 실수근 존재 여부를, 해당 다항식이 양의 계수를 가진 실수다항식의 인수인지 여부로 판단하는 여섯 가지 정리를 제시한다. 또한 3‑SAT 문제를 양의 계수를 가진 다변량 실수다항식으로 변환해, 식이 양의 계수를 유지할 경우에만 원문이 만족 불가능함을 보인다.

상세 분석

논문은 먼저 정수계수 일변량 다항식 (P(x)=a_0+a_1x+\dots +a_Nx^N)에 대해 “양의 계수를 가진 실수다항식 (R(x))와 곱했을 때 모든 계수가 양수가 된다면 (P(x))는 양의 실근을 갖지 않는다”는 명제(정리 4·5)를 제시한다. 이는 Descartes 부호법칙과 Polya의 정리를 일변량에 적용한 형태로, 실제로는 (P(x)>0)가 ((0,\infty))에서 유지될 경우 충분히 높은 차수의 양계수 다항식 (U(x))를 곱해 모든 계수를 양수로 만들 수 있다는 사실과 일치한다. 그러나 논문은 이를 “필요충분조건”이라고 주장하면서, 차수 상한을 (\pi p_i/q_i)와 같은 비합리수 형태로 제시한다(정리 1). 이 부분은 증명이 매우 비형식적이며, 실제로 차수가 입력 크기에 비례하지 않고 입력 비트수에 대해 지수적으로 커질 가능성이 크다.

정리 1의 증명은 (R(x))의 차수를 ((1+\lfloor\pi p/q\rfloor))라 가정하고, 두 개의 보조 보조정리(레마 1.1, 1.2)를 통해 “(p:q) 비율만이 차수를 결정한다”는 결론을 끌어낸다. 여기서 사용된 삼각함수와 원주율 근사 과정은 다항식 계수와 전혀 연관성이 없으며, 수치 실험표(Table 1)만으로 일반성을 주장한다. 실제 수학적 증명이라기보다 경험적 관찰에 불과하다.

정리 2는 (Q(x)^2)를 복소근 쌍을 이용해 (\prod_i ((x-p_i)^2+q_i^2)) 형태로 분해한다는 사실을 단순히 서술한다. 이는 기본적인 대수학적 사실이며, 논문의 핵심 기여라 보기 어렵다.

정리 3은 각 복소근의 실·허수 비율 (|p_i/q_i|)에 대한 하한을 ((2\beta-1)(MN)^2) 형태로 제시한다. 여기서 (\beta)는 “비영 imag 부분의 최소 크기” 혹은 “실·허수 비율의 최소 크기”로 정의되는데, 정의가 모호하고, 증명에 사용된 레마 3.1·3.2는 “표현 정밀도”라는 비공식적 개념에 의존한다. 실제로 복소근의 크기와 계수의 최대값 사이에 이런 단순한 곱셈 관계가 성립한다는 근거는 전혀 제시되지 않는다.

정리 4·5는 “양의 실근이 없으면 양계수 다항식의 인수이다”라는 명제를 증명한다. 이는 Polya의 정리와 동일한 내용이며, 이미 알려진 결과다. 논문은 이를 “새로운 알고리즘”의 기반으로 삼지만, 알고리즘 자체는 차수와 계수가 급격히 커지는 (R(x))를 구성해야 하므로 입력 크기에 대해 다항시간을 보장하지 않는다.

정리 6은 양의 실근이 (k)개일 경우, 적절한 양계수 다항식 (U(x))와 곱했을 때 계수 부호가 정확히 (k)번 바뀐다고 주장한다. 이는 근의 위치와 부호 변화를 연결하려는 시도지만, 실제로는 계수 부호는 근의 다중도와 복소근의 배치에 따라 복잡하게 변한다. 정리 6의 증명은 부분적으로만 제시되고, 일반적인 경우에 대한 엄밀한 증명은 부재한다.

마지막으로 3‑SAT 변환 부분은 “3‑SAT 인스턴스를 양계수 다변량 실수다항식으로 변환하면, 해당 다항식이 양계수를 유지할 경우에만 원 인스턴스가 만족 불가능하다”는 주장을 한다. 이는 SAT을 다항식 형태로 인코딩하는 기존 연구와 유사하지만, 양계수 유지와 불만족성 사이의 정확한 논리적 대응 관계를 증명하지 않는다. 실제로 이러한 변환을 수행하면 차수와 계수가 입력 크기에 대해 지수적으로 증가하므로, 변환 후 다항식의 양계수 여부를 확인하는 문제 자체가 이미 co‑NP‑hard임을 간과한다.

요약하면, 논문은 몇 가지 알려진 사실을 복잡한 언어와 비형식적 증명으로 포장했으며, 제시된 알고리즘의 시간 복잡도와 3‑SAT 변환의 복잡도에 대한 실질적인 분석이 결여돼 있다. 따라서 현재 형태로는 학술적 기여가 제한적이며, 정리들의 정확성 검증과 알고리즘 구현 가능성에 대한 추가 연구가 필요하다.