[논문 리뷰] Gröbner Basis Theory for Modules over Polynomial Rings over Fields with Valuation

Aritra Sen, Ambedkar Dukkipati|arXiv (Cornell University)|2014. 04. 29.

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

한 줄 요약

이 논문은 계수의 2차원 값을 포함한 다항식 환 위의 자유 모듈에 대해 그로버 기저 이론을 확장한다. 초기 항 정의에 계수의 2차원 값을 통합하고, ℕ에 값을 갖는 ecart 함수를 사용하여 잘 순서를 유지한다. 그로버 기저와 힐베르트 다항식을 계산하는 버흐버거 유사 알고리즘을 제시하며, 이 틀에서 초기 부분모듈의 크기가 일정하게 유지될 수 있음을 보여주어 기존 그로버 기저보다 계산상의 이점을 제공한다.

ABSTRACT

A motivation to study Gröbner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this theory was first studied in (Chen \& Maclagan, 2013). In this paper, we generalize this Gröbner basis theory to free modules over polynomial rings over fields with valuation. As the valuation of coefficients is also taken into account while defining the initial term, we do not necessarily get a monomial order. To overcome this problem we have to resort to other techniques like the use of ecart function where the codomain is the well-ordered set $\mathbb{N}$, and thereby give a method to calculate the Gröbner basis for submodules generated by homogeneous elements.

연구 동기 및 목표

• 계수의 2차원 값이 초기 항에 영향을 주는 2차원 값을 갖는 필드 위의 다항식 환 위의 모듈에 대해 그로버 기저 이론을 일반화하는 것.
• 2차원 기반의 항 순서로 인해 표준 단항식 순서가 실패할 경우, 도메인이 ℕ인 ecart 함수를 도입하여 잘 순서를 유지하는 것.
• 동차 원소로 생성된 부분모듈의 그로버 기저를 계산하는 버흐버거 유사 알고리즘을 개발하는 것.
• 제시된 알고리즘을 사용하여 등급을 갖는 모듈의 힐베르트 다항식을 계산할 수 있도록 하는 것.
• 유사한 정규형과 그로버 기저 알고리즘을 갖는 ℤ/p^ℓℤ[x₁,…,xₙ] 위의 자유 모듈로 이 틀을 확장하는 것.

제안 방법

• 표준 단항식 순서를 대체하기 위해 계수의 2차원 값과 가중치가 부여된 단항식 차수의 합을 사용한 2차원 기반의 항 순서를 정의한다.
• 잘 순서를 보장하고 표준 단항식 순서가 없는 상황에서 버흐버거 기준을 적용할 수 있도록 ℕ에 값을 갖는 ecart 함수를 도입한다.
• 2차원 값을 갖는 다항식 환 위의 모듈에 대해 정규형 알고리즘을 구성하며, 초기 항과 ecart에 따라 지도되는 감소 단계를 사용한다.
• 현재 기저에 대해 S다항식을 계산하고 이를 감소시킴으로써 버흐버거 알고리즘을 적응시켜, 기저가 그로버 기저임을 확인하기 위해 나머지가 0이 되도록 보장한다.
• 등급이 부여된 설정에서 초기 부분모듈의 성장과 차수를 추적하여 힐베르트 다항식을 계산하기 위해 알고리즘을 적용한다.
• 정수 모듈로 ℤ/p^ℓℤ[x₁,…,xₙ] 모듈로의 확장을 위해 모듈러 산술과 유사한 2차원 값 성질을 사용하여 정규형과 그로버 기저 계산을 적응시킨다.

실험 결과

연구 질문

• RQ1 계수의 2차원 값이 항 순서에 영향을 주는 2차원 값을 갖는 필드 위의 다항식 환 위의 모듈에 대해 그로버 기저 이론을 일반화할 수 있는가?
• RQ2 2차원 기반의 항 비교로 인해 표준 단항식 순서가 실패할 경우, 어떻게 잘 순서를 유지하고 그로버 기저를 계산할 수 있는가?
• RQ3 이 2차원 기반 그로버 기저 접근법은 기저 크기와 효율성 측면에서 어떤 계산상의 이점이 있는가?
• RQ4 이 새로운 틀을 사용하여 등급을 갖는 모듈의 힐베르트 다항식을 효과적으로 계산할 수 있는가?
• RQ5 이 이론은 ℤ/p^ℓℤ[x₁,…,xₙ]와 같은 유한 환으로 얼마나 넓게 확장될 수 있는가?

주요 결과

• 제안된 방법은 표준 그로버 기저보다 훨씬 작아질 수 있는 그로버 기저를 도출하며, 한 예에서는 차수 증가에도 불구하고 일정한 크기의 초기 부분모듈을 보여준다.
• ℕ에 값을 갖는 ecart 함수의 사용은 잘 순서를 보장하고, 표준 단항식 순서가 없는 상황에서 버흐버거 유사 기준을 적용할 수 있도록 한다.
• 2차원 기반 순서 하에서 초기 부분모듈의 성장을 추적함으로써 이 알고리즘이 등급을 갖는 모듈의 힐베르트 다항식을 정확히 계산한다.
• 이 틀은 ℤ/p^ℓℤ[x₁,…,xₙ] 위의 자유 모듈로 성공적으로 확장되었으며, 이 유한 환 설정에 맞게 정규형 알고리즘과 버흐버거 유사 기준이 적응되었다.
• S다항식의 나머지가 0이 되는 것은 오직 생성 집합이 그로버 기저일 때에만 성립하며, 이는 알고리즘의 정확성을 보장한다.
• ℚ로의 올림을 통해 계수의 과도한 증식을 완화하기 위해 ℤ/p^ℓℤ에서 그로버 기저를 계산하고 이를 올리는 방식으로 실용적인 계산 경로를 제공한다.