[논문 리뷰] Faster p-adic Feasibility for Certain Multivariate Sparse Polynomials

Martín Avendaño, Ashraf Ibrahim외 2명|arXiv (Cornell University)|2010. 10. 26.

advanced mathematical theories인용 수 1

한 줄 요약

이 논문은 흩어진 다변수 다항식의 p진 유리수 근을 검출하기 위한 더 빠른 알고리즘을 제시하며, 특정 조건 하에서 일부 가족—예를 들어 진정한 (n+1)-항식과 삼항식—이 NP 내에서 또는 심지어 상수 시간에 해결 가능하다는 것을 보여준다. 일반적인 경우에 대해 NP-난이도를 입증함으로써, 흩어진 다항식 시스템에서 p진 타당성의 날카로운 복잡도 임계점을 드러낸다.

ABSTRACT

We present algorithms revealing new families of polynomials allowing sub-exponential detection of p-adic rational roots, relative to the sparse encoding. For instance, we show that the case of honest n-variate (n+1)-nomials is doable in NP and, for p exceeding the Newton polytope volume and not dividing any coefficient, in constant time. Furthermore, using the theory of linear forms in p-adic logarithms, we prove that the case of trinomials in one variable can be done in NP. The best previous complexity bounds for these problems were EXPTIME or worse. Finally, we prove that detecting p-adic rational roots for sparse polynomials in one variable is NP-hard with respect to randomized reductions. The last proof makes use of an efficient construction of primes in certain arithmetic progressions. The smallest n where detecting p-adic rational roots for n-variate sparse polynomials is NP-hard appears to have been unknown.

연구 동기 및 목표

• 희박한 다변수 다항식의 p진 유리수 근을 검출하기 위한 지수보다 빠른 알고리즘을 개발하기 위해.
• Qp 상의 희박한 다항식 시스템에 대한 p진 타당성의 계산 복잡도를 규명하기 위해.
• 특히 NP-완전성과 NP-난이도를 포함한 새로운 복잡도 경계를 희박한 인코딩에 따라 설정하기 위해.
• p진 로그와 산술적 등차수열이 복잡도 하한을 구성하는 데 기여하는 방식을 탐색하기 위해.
• 희박한 다항식의 p진 근 검출에서 다루기 쉬운 경우와 다루기 어려운 경우의 경계를 명확히 하기 위해.

제안 방법

• 일변수 삼항식에 대해 NP-소속성을 증명하기 위해 p진 로그의 선형 형식 이론을 사용한다.
• 비진실 다변수 다항식을 손실 없이 진실한 형태로 줄이기 위해 헤르미트 정규형을 적용한다.
• 복잡도 경계를 분석하기 위해 AKS 소수성 테스트와 랜덤화된 감소를 활용한다.
• Schwartz-Zippel 보조정리와 소수 밀도 추정치를 사용하여 판별식이 0이 되는 다항식의 비율을 제한한다.
• NP-난이도를 입증하기 위해 3CNFSAT을 FEASQp(Z[x] × P)로 랜덤화된 다항식 시간 감소를 통해 감소시킨다.
• Wagstaff 추측을 활용하여 NP-난이도 결과를 결정론적 복잡도로 강화한다.

실험 결과

연구 질문

• RQ1 희박한 다변수 다항식의 p진 유리수 근은 희박한 인코딩 기준으로 지수보다 빠른 시간 내에 검출될 수 있는가?
• RQ2 Qp 상의 일변수 삼항식에 대한 p진 근 검출의 정확한 복잡도 클래스는 무엇인가?
• RQ3 희박한 다항식에 대한 일반적인 p진 타당성 문제는 NP에 속해 있는가, 아니면 더 어려운가?
• RQ4 뉴턴 다면체와 소수 p에 어떤 조건이 성립하면 p진 근의 검출이 상수 시간에 가능해지는가?
• RQ5 산술적 등차수열과 소수 분포는 p진 타당성의 복잡도에 어떤 영향을 미치는가?

주요 결과

• 모든 고정된 소수 p에 대해 FEASQp(F1,3) ∈ NP이며, 이는 이전의 EXPTIME 경계를 향상시킨다.
• 진실한 n변수 (n+1)-항식의 경우, p가 뉴턴 다면체 부피를 초과하고 모든 계수를 나누지 않으면 p진 타당성이 상수 시간 내에 결정 가능하다.
• 일변수 삼항식의 경우, p진 타당성은 p진 로그의 선형 형식을 통해 NP에 속한다.
• 일반적인 희박한 일변수 다항식에 대한 p진 유리수 근 검출은 랜덤화된 감소 하에 NP-난이도이다.
• Wagstaфф 추측이 참이라면, FEASQp(Z[x] × P) ∈ P이면 P = NP가 되며, 이는 NP-난이도 결과를 더욱 강화한다.
• 자연 밀도 0인 대수적 초곡면 E ⊂ Z[x1] × P의 가산 합집합이 존재하여 FEASQp((Z[x1] × P) ackslash E) ∈ NP이다.