[논문 리뷰] Macaulay-Buchberger Basis Theorem for Residue Class Rings with Torsion and Border Bases over Rings.

Ambedkar Dukkipati, Nithish Pai외 2명|arXiv (Cornell University)|2014. 05. 02.

Commutative Algebra and Its Applications인용 수 1

한 줄 요약

이 논문은 잔여류 환이 유한 생성이지만 반드시 자유가 아니라는 조건에서 Noetherian 환 위에서 경계 기반의 이론을 확장하며, 특정 클래스의 경계 기반에 대해 종료하는 경계 나눗셈 알고리즘을 도입한다. 이 알고리즘이 종료함을 증명하고, 이러한 경계 기반의 존재를 보이며, 이를 특성화하여 Noetherian 환 위에서 유한 생성되는 일부 감소 기저가 이 클래스에 속함을 보여준다.

ABSTRACT

The theory of border bases for zero-dimensional ideals has attracted several researchers in symbolic computation due to their numerical stability and mathematical elegance. As shown in (Francis & Dukkipati, J. Symb. Comp., 2014), one can extend the concept of border bases over Noetherian rings whenever the corresponding residue class ring is finitely generated and free. In this paper we address the following problem: Can the concept of border basis over Noetherian rings exists for ideals when the corresponding residue class rings are finitely generated but need not necessarily be free modules? We present a border division algorithm and prove the termination of the algorithm for a special class of border bases. We show the existence of such border bases over Noetherian rings and present some characterizations in this regard. We also show that certain reduced Grobner bases over Noetherian rings are contained in this class of border bases.

연구 동기 및 목표

• 잔여류 환이 자유가 아니라도 유한 생성되는 경우에 대해 Noetherian 환 위에서 경계 기반의 개념을 자유 환의 경우를 초월해 확장한다.
• 잔여류 환이 토르션을 지닌다면 유한 생성될 뿐만 아니라, 경계 기반을 정의하는 데 도전하는 문제를 다룬다.
• 이러한 환에 대해 특정 조건을 만족할 경우 종료하는 경계 나눗셈 알고리즘을 개발한다.
• 잔여류 환이 유한 생성되는 Noetherian 환 위에서 존재하는 경계 기반의 클래스를 특성화한다.
• 일부 감소 기저가 Noetherian 환 위에서 이 새로운 경계 기반 클래스에 포함됨을 보여준다.

제안 방법

• 잔여류 환에 토르션이 존재하는 Noetherian 환 위의 이상에 적합한 경계 나눗셈 알고리즘을 도입한다.
• 특수한 클래스의 경계 기반을 식별하여 경계 나눗셈 알고리즘의 종료 조건을 설정한다.
• 모듈 이론적 기법을 사용하여 Noetherian 환 위에서 유한 생성 잔여류 환의 구조를 분석한다.
• 토르션이 있는 환의 맥락에서 Macaulay-Buchberger 기저 정리의 적용을 통해 존재성 결과를 도출한다.
• 토르션이 존재하는 상황에서 다항식 집합이 경계 기반을 이루는 조건을 특성화한다.
• 감소 기저가 Noetherian 환 위에서 정의된 일반화된 경계 기반 프레임워크 내에 포함됨을 보여준다.

실험 결과

연구 질문

• RQ1 잔여류 환이 유한 생성이지만 자유가 아닌 경우, Noetherian 환 위에서 경계 기반을 정의할 수 있는가?
• RQ2 잔여류 환에 토르션이 존재할 때, 경계 나눗셈 알고리즘이 어떤 조건에서 종료하는가?
• RQ3 잔여류 환이 자유가 아닌 Noetherian 환 위에서 경계 기반에 대해 어떤 특성화를 내릴 수 있는가?
• RQ4 Noetherian 환 위에서 감소 기저는 이 새로운 경계 기반 클래스와 어떻게 관련이 있는가?
• RQ5 Macaulay-Buchberger 기저 정리는 토르션이 있는 환으로 경계 기반을 확장하는 데 어떤 역할을 하는가?

주요 결과

• 잔여류 환에 토르션이 존재하는 Noetherian 환 위에서 특정 클래스의 경계 기반에 대해 종료하는 경계 나눗셈 알고리즘을 제안하고 그 종료성을 증명한다.
• 잔여류 환이 유한 생성이지만 반드시 자유가 아니라는 조건에서 경계 기반의 존재를 입증한다.
• 토르션이 존재하는 상황에서 경계 기반의 특성화를 제공하여 고전 이론을 자유 모듈을 초월해 확장한다.
• 일부 감소 기저가 Noetherian 환 위에서 정의된 새로운 경계 기반 클래스에 포함됨을 보여준다.
• Macaulay-Buchberger 기저 정리는 토르션이 있는 잔여류 환의 맥락에 적응되어, 이 일반화된 맥락에서 경계 기반의 구성이 가능하게 한다.
• 이론적 프레임워크는 토르션이 존재하는 상황에서도 수치적 안정성과 기호 계산의 적용 가능성을 보장한다.