[논문 리뷰] A Direct Ultrametric Approach to Additive Complexity and the Shub-Smale Tau Conjecture

J. Maurice Rojas|ArXiv.org|2003. 04. 07.

Polynomial and algebraic computation참고 문헌 9인용 수 3

한 줄 요약

이 논문은 p-진 해석을 이용해 덧셈 복잡도에 대한 새로운 초거리적 접근법을 제시하며, 덧셈 복잡도 $ s $를 가진 일변수 다항식이 $ \mathbb{Q}_2 $에서 최대 $ O(e^{s\log s}) $개의 근을 가진다는 것을 증명한다. 이는 이전의 경계보다 크게 향상된 결과이다. 논문은 셰브-스멀의 $ \tau $-추측의 약한 형태를 확립하고, 임의의 소수 $ p $에 대해 $ p $-진 자릿수 추측이 참일 경우 $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $가 성립함을 보이며, BSS 모델의 $ \mathbf{P} \stackrel{?}{=} \mathbf{NP} $ 문제를 해결하는 데 있어 수론적 길을 전진시킨다.

ABSTRACT

The Shub-Smale Tau Conjecture is a hypothesis relating the number of integral roots of a polynomial f in one variable and the Straight-Line Program (SLP) complexity of f. A consequence of the truth of this conjecture is that, for the Blum-Shub-Smale model over the complex numbers, P differs from NP. We prove two weak versions of the Tau Conjecture and in so doing show that the Tau Conjecture follows from an even more plausible hypothesis. Our results follow from a new p-adic analogue of earlier work relating real algebraic geometry to additive complexity. For instance, we can show that a nonzero univariate polynomial of additive complexity s can have no more than 15+s^3(s+1)(7.5)^s s! =O(e^{s\log s}) roots in the 2-adic rational numbers Q_2, thus dramatically improving an earlier result of the author. This immediately implies the same bound on the number of ordinary rational roots, whereas the best previous upper bound via earlier techniques from real algebraic geometry was a quantity in Omega((22.6)^{s^2}). This paper presents another step in the author's program of establishing an algorithmic arithmetic version of fewnomial theory.

연구 동기 및 목표

• 초거리 기법을 사용하여 다항식의 유리수 근 수에 대한 더 낫게 조절된 상한을 확립하는 것.
• p-진 해석을 통해 셰브-스멀의 $ \tau $-추측의 약한 형태를 증명함으로써 이 추측에 대한 증거를 제공하는 것.
• 수론적 가정을 통해 덧셈 복잡도를 $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $ 추측과 연결하는 것.
• p-진 기하학을 활용하여 소수항 이론의 알고리즘적 산술적 버전을 개발하는 것.

제안 방법

• 다항식이 $ \mathbb{Q}_p $에서 근의 분포를 분석하기 위해 $ p $-진 값매기기와 초거리 기하학을 활용한다.
• p-진 복잡한 소수항 정리를 적용하여 $ \mathbb{C}_p^{s+1} $ 내의 기하학적으로 고립된 근의 수를 제한한다.
• 덧셈 복잡도 $ \sigma_R(f) $를 다항식 $ f $를 링 $ R $ 위에서 중첩된 합과 곱으로 표현하기 위해 필요한 최소 연산 수로 정의한다.
• SLP 표현에서 유도된 다항방정식계의 고립된 해의 수를 세는 문제로 근 수 계산 문제를 환원한다.
• 스케일링과 값매기기 제약 조건을 사용하여 근의 위치를 $ 1/p^r $ 반경의 $ p $-진 구내로 제한한다.
• 단항식의 구조에 대한 조합론적 경계를 적용하여 가능한 근 구성의 수를 제어한다.

실험 결과

연구 질문

• RQ1 셰브-스멀의 $ \tau $-추측은 실수 대수기하학의 $ p $-진 유사체로 접근할 수 있는가?
• RQ2 덧셈 복잡도 $ s $를 가진 일변수 다항식이 $ \mathbb{Q}_2 $에서 최대 몇 개의 유리수 근을 가질 수 있는가?
• RQ3 임의의 소수 $ p $에 대해 $ p $-진 자릿수 추측이 참일 경우, $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $가 성립하는가?
• RQ4 초거리 기법을 사용하여 덧셈 복잡도를 제한함으로써, 전통적인 소수항 이론보다 더 낫게 조절된 근 수 추정치를 도출할 수 있는가?
• RQ5 직선 프로그램의 구조는 $ p $-진 체에서 근의 분포와 어떻게 관련이 있는가?

주요 결과

• 덧셈 복잡도 $ s $를 가진 0이 아닌 일변수 다항식은 $ \mathbb{Q}_2 $에서 최대 $ 1 + s^3(s+1)(7.5)^s s! = O(e^{s\log s}) $개의 근을 가지며, 이는 이전의 $ \Omega((22.6)^{s^2}) $ 경계에 비해 극적으로 향상된 결과이다.
• 동일한 경계는 일반적인 유리수 근에도 적용되며, 정수 근의 수에 대한 새로운, 극적으로 낫게 조절된 상한을 제공한다.
• 임의의 고정된 소수 $ p $에 대해 $ p $-진 자릿수 추측이 참일 경우 $ \mathbf{P}_{\mathbb{C}} \neq \mathbf{NP}_{\mathbb{C}} $가 성립하며, 따라서 전체 $ \tau $-추측도 성립한다.
• $ |x - 1|_p \leq 1/p^r $ 조건을 만족하는 $ p $-진 근의 수는 $ C_p(k,1,r) $를 포함하는 함수로 제한되며, 이는 소수항 유형의 경계를 통해 근의 중복도를 제어한다.
• 증명 과정에서 $ N_p(s) \geq s $임을 보이며, 이는 덧셈 복잡도 $ s $가 최소 $ s $개의 서로 다른 $ p $-진 값매기기의 근을 지닌다는 것을 보여준다.
• 이 방법은 SLP 복잡도와 $ \mathbb{C}_p^{s+1} $ 내 근의 기하학 사이의 구축된 연결고리를 제공하며, 몫환의 동형사상 $ \mathbb{C}_p[x]/\langle f \rangle \cong \mathbb{C}_p[X_1,\ldots,X_{s+1}]/\langle G \rangle $을 통해 이루어진다.