단순한 유리함수 생성기 설계와 효율적 구현

초록

이 논문은 유리함수 필드의 중간 부분필드를 보다 간단한 생성 집합으로 변환하는 알고리즘을 제시한다. 부분 Gröbner 기반의 희소 보간 기법과 고정 차수 다항식 탐색을 결합해 전체 Gröbner 기반을 계산하지 않고도 충분히 간결한 생성자를 찾아낸다. 구현은 Julia로 제공되며, 구조적 파라미터 식별 등 여러 실제 사례에서 기존 방법보다 빠르고 더 단순한 결과를 얻는다.

상세 분석

본 연구는 k(x₁,…,xₙ) 위의 중간 부분필드 E⊂k(x) 를 표현하는 유한 생성 집합 g₁,…,g_m 에 대해, “단순함”이라는 직관적 기준에 부합하는 새로운 생성 집합 h₁,…,h_ℓ 을 효율적으로 찾는 알고리즘을 개발하였다. 핵심 아이디어는 OMS(Oliviér‑Müller‑Quade‑Steinwandt) 이데알을 활용하면서, 전통적인 Gröbner 기반 접근이 초래하는 중간 표현 폭증을 회피하는 것이다. 구체적으로, 저자들은 평가‑보간(evaluation‑interpolation) 전략을 도입한다. x 변수에 대해 여러 특수값을 대입해 k(x)