[논문 리뷰] Ideal Membership in Polynomial Rings over the Integers

Matthias Aschenbrenner|ArXiv.org|2003. 05. 12.

Commutative Algebra and Its Applications참고 문헌 15인용 수 4

한 줄 요약

이 논문은 정수 계수 다항식환에서 이상 소속 문제에 대해 이중 지수적 차수 상한을 확립한다. 만약 다항식 $ f_0 $ 가 $ f_1, \dots, f_n \in \mathbb{Z}[X] $ 에 의해 생성되는 이상 안에 있을 경우, $ f_0 $ 를 $ f_1, \dots, f_n $ 의 조합으로 표현하는 다항식 $ g_1, \dots, g_n \in \mathbb{Z}[X] $ 가 존재하며, 그 차수는 $ (2d)^{2^{O(N^2)}}(h+1) $ 이하로 bound된다. 여기서 $ d $ 는 최대 총 차수이고 $ h $ 는 최대 계수 높이이다. 이 결과는 크론커의 문제를 해결하며, $ \mathbb{Z}[X] $ 에서 이상 소속을 결정하는 원시 재귀 알고리즘을 제공한다. 이는 헤르만의 정리가 산술환으로 확장된 것이다.

ABSTRACT

We present a new approach to the ideal membership problem for polynomial rings over the integers: given polynomials $f_0,f_1,...,f_n\in\Z[X]$, where $X=(X_1,...,X_N)$ is an $N$-tuple of indeterminates, are there $g_1,...,g_n\in\Z[X]$ such that $f_0=g_1f_1+...+g_nf_n$? We show that the degree of the polynomials $g_1,...,g_n$ can be bounded by $(2d)^{2^{O(N^2)}}(h+1)$ where $d$ is the maximum total degree and $h$ the maximum height of the coefficients of $f_0,...,f_n$. Some related questions, primarily concerning linear equations in $R[X]$, where $R$ is the ring of integers of a number field, are also treated.

연구 동기 및 목표

• 정수 계수 다항식환에서 이상 소속 문제를 다루며, 이는 구성적 대수학에서 오랫동안 미해결된 문제이다.
• 체 위의 다항식환에서 헤르만의 차수 상한을 정수환의 산술적 환인 $ \text{Z}[X] $ 로 확장함으로써, 계수 산술이 새로운 복잡성을 도입한다는 점을 고려한다.
• 정수 계수 다항식환 $ \text{Z}[X] $ 에서 이상 소속을 결정하는 원시 재귀 알고리즘을 제공함으로써, 고정된 변수 수에 대해 크론커의 문제를 해결한다.
• 입력 다항식의 차수와 계수 높이에 따른 해의 차수 의존성을 분석하며, 단지 차수에 의존하는 균일한 상한이 불가능함을 보인다.
• 수체의 정수환 위의 다항식환으로 결과를 일반화하여, 선형 시스템과 이상의 소수성 테스트에 대해 유사한 상한을 확립한다.

제안 방법

• 체 위의 다항식환에서 시지지 차수를 bound하는 헤르만의 고전적 방법을 정수환 $ \text{Z}[X] $ 에 적용하며, 산술적 제약 조건을 고려한다.
• 큰 수의 정수 계수 다항식환 $ \text{Z}[X] $ 에서의 선형방정식계를 푸는 것으로 환원하며, 수체의 정수환 $ R $ 에서의 다항식환 $ R[X] $ 에서의 선형방정식 해의 구조를 통해 상한을 유도한다.
• Dedekind 도메인에서의 선형 디오판틴 방정식 이론의 결과를 활용하여, $ R $ 위의 선형 시스템 해의 높이와 차수에 대한 상한을 적용한다.
• 입력 다항식의 최대 총 차수 $ d $ 와 최대 계수 높이 $ h $ 를 고려할 때, $ f_0 $ 를 $ f_1, \dots, f_n $ 의 조합으로 표현하는 다항식 $ g_1, \dots, g_n $ 의 차수 상한을 $ (2d)^{2^{O(N^2)}}(h+1) $ 으로 확립한다.
• 원시 재귀 함수의 Wainer 계열을 사용하여 해의 크기를 bound하며, 고정된 $ N $ 에 대해 알고리즘이 원시 재귀임을 보이며, 비록 성장률이 매우 높지만 말이다.
• 선형방정식계가 정수환 $ \text{Z} $ 에서 로그 공간 내에서 해를 가진다고 가정할 경우, $ \text{Z}[X] $ 에서 이상 소속 문제가 지수적 공간 완비임을 증명하며, 이는 계산 복잡도 이론과 연관된다.

실험 결과

연구 질문

• RQ1 정수 계수 다항식환 $ \text{Z}[X] $ 에서 이상 소속을 결정하는 원시 재귀 알고리즘을 구성할 수 있는가? 이는 크론커의 문제를 해결하는 것이다.
• RQ2 입력 다항식의 차수와 높이에 대한 상한이 주어졌을 때, 표현식 $ f_0 = g_1f_1 + \cdots + g_nf_n $ 에서 다항식 $ g_1, \dots, g_n $ 의 최적 차수 상한은 무엇인가?
• RQ3 계수 높이 $ h $ 에 대한 의존성이 정수 계수 다항식환 $ \text{Z}[X] $ 에서 이상 소속의 복잡성에 미치는 영향은, 체의 경우와 비교해 어떻게 되는가?
• RQ4 정수 계수 다항식환 $ \text{Z}[X] $ 에서 이상 소속 문제를 정수 위의 선형방정식계로 환원할 수 있는가? 그러한 시스템의 크기에 대한 상한은 무엇인가?
• RQ5 정수 계수 다항식환 $ \text{Z}[X] $ 에서 이상 소속 문제의 계산 복잡도는 무엇이며, 지수적 공간 완비성과 어떻게 관련되는가?

주요 결과

• 논문은 표현식 $ f_0 = g_1f_1 + \cdots + g_nf_n $ 에서 다항식 $ g_1, \dots, g_n $ 의 차수 상한으로 $ (2d)^{2^{O(N^2)}}(h+1) $ 을 확립한다. 여기서 $ d $ 는 입력 다항식의 최대 총 차수이고 $ h $ 는 최대 계수 높이다.
• 이 상한은 변수 수 $ N $ 에 대해 이중 지수적이다. 또한 차수와 계수 높이에 모두 의존하므로, $ d $ 와 $ N $ 만으로는 $ \text{Z}[X] $ 에서 균일한 상한이 불가능함을 보여준다.
• 이 결과는 고정된 $ N $ 에 대해 $ \text{Z}[X] $ 에서 이상 소속 문제가 원시 재귀 알고리즘으로 해결 가능함을 시사하며, 이는 이 설정에서 크론커의 문제를 해결한다.
• 논문은 $ \text{Z}[X] $ 에서 이상 소속 문제가 지수적 공간 난이도를 가지며, 선형방정식계가 정수에서 로그 공간 내에서 해를 가진다고 가정할 경우 지수적 공간 완비임을 증명한다.
• 수체 $ F $ 의 정수환 $ \text{O}_F $ 위의 다항식환에 대해서는 해의 차수 상한이 $ [F:\mathbb{Q}] \times C_2 \times (2d)^{2^{O(N^2)}} $ 이다. 여기서 $ C_2 $ 는 $ F $ 에만 의존한다.
• 논문은 $ \text{Z}[X] $ 에서 이상의 소수성 테스트를 위한 기준을 제시하며, 이는 $ \mathbb{Q}[X] $ 에서의 소수성, 소수 모듈로로의 환원, 그리고 정수성 조건의 조합을 포함한다. 이 모든 조건들은 원시 재귀적이다.