행렬식으로 최소 로컬 GAD 계산

초록

본 논문은 동차 다항식의 로컬 일반화 가법 분해(GAD)를 역시스템의 행렬식 최소화 문제로 전환하고, 최소 지원점이 유한한 경우 전통적인 텐서 확장 없이 모든 최소 로컬 GAD를 효율적으로 구하는 알고리즘을 제시한다. 또한 로컬 GAD‑rank가 차수 이하일 때 지원점 집합이 유한함을 증명하고, 다양한 마이너 선택 전략을 실험적으로 비교한다.

상세 분석

논문은 먼저 로컬 GAD와 그에 대응하는 점 스키마가 선택한 아폴라리티 작용(미분, 수축, ⋆‑액션)에 무관하게 동일한 역시스템을 정의한다는 사실을 정리한다(Prop. 2.3). 이를 통해 로컬 GAD의 길이(즉, 자연 아폴라 스키마의 길이)를 역시스템 차원으로 바로 계산할 수 있음을 보이며, 기존에 필요했던 복잡한 전역 파라미터 공간을 회피한다. 핵심 아이디어는 선형 형태 ℓ을 기호 변수 γ₁,…,γₙ 로 두고, ℓ‑에 대한 역시스템 R′⊣f_ℓ을 γ‑다항식 행렬로 표현한 뒤, 그 행렬식(또는 특정 마이너)의 랭크를 최소화하는 것이다. 이 과정을 Algorithm 1에 명시했으며, 최소 랭크를 달성하는 γ값들의 해집합이 바로 최소 로컬 GAD의 지원점이다.

특히 논문은 “지원점이 유한한 경우”라는 가정 하에, 역시스템 행렬의 (d − k + 1)×(d − k + 1) 마이너들을 선택하면 해가 유한함을 보인다(Prop. 3.5). 여기서 k는 GAD에서 ω의 차수이며, d는 원 다항식의 차수이다. 이 조건은 “로컬 GAD‑rank ≤ d”와 동치이며, 따라서 차수 이하의 랭크를 갖는 모든 형태에 대해 유한성 보장이 된다(Cor. 3.7).

마이너 선택에 대한 실험에서는 두 가지 전략을 비교한다. 하나는 전통적인 “전방 체인”(forward chain) 방식으로, 차수가 낮은 마이너부터 차례로 검증한다. 다른 하나는 “수축 체인”(contraction chain) 방식으로, 역시스템의 수축 연산을 이용해 차원을 점진적으로 감소시키며 마이너를 선택한다. 실험 결과는 수축 체인이 대부분의 사례에서 계산량을 크게 줄이며, 특히 차수가 높은 경우에 효율성이 두드러진다(§ 3.4).

일반적인(즉, 특수한 계수 조건이 없는) 다항식에 대해서는 지원점 집합이 양의 차원을 가질 수 있음을 보인다(Prop. 3.12). 이는 “generic” 상황에서 최소 로컬 GAD가 유일하지 않을 수 있음을 의미한다. 그러나 차수 이하의 랭크를 갖는 경우에는 여전히 유한한 최소 지원점이 존재함을 강조한다.

마지막으로 기존의 전역 아폴라 스키마 계산 알고리즘(예: Macaulay2 기반의 cactus rank 계산)과 비교했을 때, 제안된 행렬식 기반 방법은 텐서 확장이 필요 없고, 복잡도가 로컬 GAD‑rank와 최소 지원점의 유한성에만 의존한다는 장점을 가진다. 이는 특히 고차원·고차수 사례에서 기존 방법이 메모리·시간 제한에 부딪히는 문제를 완화한다.