[논문 리뷰] Numerical irreducible decomposition of multiprojective varieties

Jonathan D. Hauenstein, Jose Israel Rodriguez|arXiv (Cornell University)|2015. 07. 25.

Polynomial and algebraic computation참고 문헌 28인용 수 16

한 줄 요약

이 논문은 다중사영 다양체의 비가역성 정보를 인코딩하기 위해 다중사영 워치맨 집합을 도입하며, 수치적 기하학 기법을 다중사영 설정으로 일반화함으로써 수치적 기하학의 핵심 기법인 불가약 분해, 재생 해법, 추적 테스트를 확장한다. 이 방법은 다중사영 공간에서 다중도 정보를 유지하는 불가약 성분을 수치적으로 계산할 수 있도록 한다.

ABSTRACT

In the field of numerical algebraic geometry, positive-dimensional solution sets of systems of polynomial equations are described by witness sets. In this paper, we define multiprojective witness sets which will encode the multidegree information of an irreducible multiprojective variety. Furthermore, we generalize the regeneration solving procedure, a trace test, and numerical irreducible decomposition to the multiprojective case. Examples are included to demonstrate this new approach.

연구 동기 및 목표

• 기존 사영 기법이 다루지 못하는 다중사영 다양체로 수치적 대수기하 기법을 확장하기 위해.
• 다중사영 공간에서 불가약 성분의 다중도 정보를 유지하는 수치적 프레임워크를 개발하기 위해.
• 핵심 수치 알고리즘인 재생 해법과 추적 테스트를 다중사영 설정으로 일반화하기 위해.
• 다중사영 시스템에서 양성 차원 해집합의 불가약 분해를 위한 계산 도구를 제공하기 위해.

제안 방법

• 다중도 정보를 인코딩하는 다중사영 워치맨 집합을 정의하여 불가약 성분의 수치적 표현으로 사용한다.
• 선형 호모토피를 사용하여 다중사영 공간에서 워치맨 집합을 구성하기 위해 재생 해법 절차를 다중사영 설정에 적응시킨다.
• 워치맨 집합의 정확성을 검증하기 위해 추적 테스트를 다중사영 맥락으로 일반화한다.
• 각 사영 인자에서의 차수를 추적하여 워치맨 집합 프레임워크에 다중도 계산을 통합한다.
• 다중사영 설정에서 해를 계산하고, 추적 테스트를 통해 불가약성을 검증하기 위해 수치적 연속 방법을 사용한다.
• 다중도 정보를 포함하는 다중사영 워치맨 집합을 출력하는 수치적 불가약 분해 알고리즘을 구축한다.

실험 결과

연구 질문

• RQ1 다중사영 다양체의 불가약 성분의 다중도 정보는 어떻게 수치적으로 인코딩할 수 있는가?
• RQ2 다중사영 대수적 집합에 재생 해법을 적용하기 위해 어떤 수정이 필요한가?
• RQ3 다중사영 케이스에서 워치맨 집합을 검증하기 위해 추적 테스트를 일반화할 수 있는가?
• RQ4 다중도 데이터를 유지하면서 수치적 불가약 분해를 다중사영 다양체로 어떻게 확장할 수 있는가?
• RQ5 제안된 프레임워크는 벤치마크 다중사영 시스템에서 어떻게 계산 행동을 보이는가?

주요 결과

• 다중사영 워치맨 집합은 다중사영 다양체의 불가약 성분의 다중도 정보를 성공적으로 인코딩한다.
• 재생 절차는 다중사영 설정으로 일반화되어 효율적인 워치맨 집합 생성을 가능하게 한다.
• 추적 테스트는 다중사영 공간에서 워치맨 집합을 검증하기 위해 확장되어 계산된 성분의 정확성을 보장한다.
• 수치적 불가약 분해는 다중사영 다양체로 일반화되었으며, 전체 과정에서 다중도 데이터를 유지한다.
• 이 프레임워크는 수치적 방법을 사용하여 다중도 정보를 완전히 포함하는 불가약 성분을 계산할 수 있다.
• 예시를 통해 비틀린 다중사영 시스템에서 이 방법의 실현 가능성과 정확성이 입증된다.