[논문 리뷰] Reducing the number of variables of a polynomial

Enrico Carlini|ArXiv.org|2005. 07. 26.

Polynomial and algebraic computation참고 문헌 2인용 수 7

한 줄 요약

이 논문은 동차 다항식(형식)을 표현하는 데 필요한 변수 수를 최소화하는 문제에 대한 완전한 해결책을 제공한다. 핵심 변수의 개념을 도입하고, 최소 변수 수 $ N_{\text{ess}}(f) $가 $ f $의 첫 번째 카타레틱트 행렬의 질량과 같으며, 핵심 변수들이 $ f $의 $ (d-1)\text{th} $편미분의 공간을 생성함을 증명한다. 결과들은 실용적 계산을 위해 CoCoA에 구현되어 있다.

ABSTRACT

In this paper, we consider two basic questions about presenting a homogeneous polynomial f: how many variables are needed for presenting f? How can one find a presentation of f involving as few variables as possible? We give a complete answer to both questions, determining the minimal number of variables needed, NEssVar(f), and describing these variables through their linear span, EssVar(f). Our results give rise to effective algorithms which we implemented in the computer algebra system CoCoA.

연구 동기 및 목표

• 동차 다항식을 표현하는 데 필요한 최소 변수 수를 결정하는 것.
• 그러한 최소 표현을 가능하게 하는 특정 선형형식(핵심 변수)을 식별하는 것.
• 다항식의 핵심 변수와 최소 변수 표현을 계산하는 데 효과적인 알고리즘을 개발하는 것.
• 예를 들어 대수기하학에서 실린더 탐지와 같은 실용적 문제에 결과를 적용하는 것.

제안 방법

• 핵심 변수 수 $ N_{\text{ess}}(f) $는 형식 $ f $의 첫 번째 카타레틱트 행렬의 질량으로 계산된다.
• 핵심 변수는 $ f $의 $ (d-1)\text{th} $편미분의 선형 스트레칭으로 결정되며, 즉 $ \text{EssVar}(f) = \langle D \circ f : D \in T_{d-1} \rangle $이다.
• 아폴로지 이론과 다항식 환과 미분 연산자 간의 이중성 관계를 이용하여 이론적 기초를 확립한다.
• 이 방법은 $ T $가 미분 연산자 환인 바탕이 되는 수직 이상의 이상적 $ f^\perp \subset T $에 기반한다.
• 결과들은 CoCoA 컴퓨터 대수 시스템에 구현된 알고리즘으로 번역된다.
• 알고리즘에는 $ N_{\text{ess}}(f) $를 계산하고, 핵심 변수를 찾고, $ f $의 최소 변수 표현을 생성하는 기능이 포함되어 있다.

실험 결과

연구 질문

• RQ1 주어진 동차 다항식을 표현하는 데 필요한 최소 변수 수는 무엇인가?
• RQ2 기존 변수들의 어떤 선형 조합이 다항식을 표현하는 데 충분한가?
• RQ3 다항식의 최소 변수 표현을 알고리즘적으로 어떻게 결정할 수 있는가?
• RQ4 이 이론은 실린더와 같은 기하학적 구조를 탐지하는 데 적용될 수 있는가?
• RQ5 최소 변수 표현은 다항방정식을 푸는 데 있어 효율성에 어떤 영향을 미치는가?

주요 결과

• 동차 다항식 $ f $를 표현하는 데 필요한 최소 변수 수 $ N_{\text{ess}}(f) $는 그 첫 번째 카타레틱트 행렬의 질량과 같다.
• 다항식 $ f $의 핵심 변수는 $ f $의 $ (d-1)\text{th} $편미분에 의해 생성되며, 즉 $ \text{EssVar}(f) = \langle D \circ f : D \in T_{d-1} \rangle $이다.
• 3차원 공간에서 차수 5의 표면에 대해, 동차화된 다항식 $ f^h $가 오직 3개의 핵심 변수에 의존하는 것으로 밝혀져 실린더임을 확인하였다.
• 4변수 입체 다항식에서, 전체 차수 2 및 3 항들이 단일 핵심 변수 $ y_1 = x + y - 2z - 3t $로 표현되어 시스템이 단일 변수 방정식으로 축소되었다.
• CoCoA에 구현된 알고리즘은 수치적 해법을 수행하기 전에 변수 수를 줄여 효율적인 사전 처리를 가능하게 한다.
• 이 방법은 효과적인 실린더 탐지가 가능하다: 초표면이 실린더임은 $ N_{\text{ess}}(f^h) \leq \dim \text{ambient space} $일 때이고, 그 경우에만 성립한다.