[논문 리뷰] Geometric involutive bases for positive dimensional polynomial ideals and SDP methods

Greg Reid, Fei Wang외 1명|arXiv (Cornell University)|2014. 05. 28.

Polynomial and algebraic computation참고 문헌 38인용 수 3

한 줄 요약

이 논문은 양의 차원 다항식 이상수에 대해 기하학적 수치적 비틀림 기반을 발전시켜 정수형 프로그래밍(SDP) 방법과 통합함으로써 실근의 근을 효율적으로 계산할 수 있도록 한다. 차수 감소 기법과 포함 테스트를 도입하여 중간 시스템을 단순화하고, 모멘트 행렬의 질량 안정성과 투영 기반 정제를 통해 정확한 실근 기반을 도출한다.

ABSTRACT

Geometric involutive bases for polynomial systems of equations have their origin in the prolongation and projection methods of the geometers Cartan and Kuranishi for systems of PDE. They are useful for numerical ideal membership testing and the solution of polynomial systems. In this paper we further develop our symbolic-numeric methods for such bases. We give methods to explicitly extract and decrease the degree of intermediate systems and the output basis. Algorithms for the numerical computation of involutivity criteria for positive dimensional ideals are also discussed. We were also motivated by some remarkable recent work by Lasserre and collaborators who employed our prolongation projection involutive criteria as a part of their semi-definite based programming (SDP) method for identifying the real radical of zero dimensional polynomial ideals. Consequently in this paper we begin an exploration of the interaction between geometric involutive bases and these methods particularly in the positive dimensional case. Motivated by the extension of these methods to the positive dimensional case we explore the interplay between geometric involutive bases and the new SDP methods.

연구 동기 및 목표

• 기하학적 비틀림 기반 방법을 기존 기호-수치 접근법의 한계를 극복하고 양의 차원 다항식 이상수로 확장한다.
• 중간 시스템을 단순화하고 기반을 출력함으로써 수치적 안정성과 효율성을 향상시키는 차수 감소 기법을 개발한다.
• 기하학적 비틀림 기반과 최근의 SDP 기반 모멘트 행렬 방법 간의 상호작용을 탐색하여 다항식 시스템의 실근을 계산하는 데 활용한다.
• 수치적 환경에서 양의 차원 이상수에 대해 카르탕의 비틀림 조건을 적응시켜 실용적인 구현을 가능하게 한다.
• 양의 차원 케이스에서 해를 계산하기 위해 연장-투영 알고리즘과 모멘트 행렬 완성 기법을 통합한 프레임워크를 제공한다.

제안 방법

• 기하학적 연장-투영 알고리즘을 사용하여 비틀림 기반을 계산하고, 카르탕의 기준을 양의 차원 이상수로 일반화한다.
• 반복 과정에서 고차수의 여유로운 시스템을 제거하기 위해 알고리즘 4.1의 포함 테스트를 적용하여 행렬 크기와 계산 비용을 감소시킨다.
• 모멘트 행렬 M과 그 핵 ker M을 사용하여 하위프로그램 gen(ker M)을 통해 모멘트 행렬을 구성하고 생성자를 계산한다.
• 모멘트 행렬의 질량 안정성(질량(M) = dim ker gif(Q))을 종료 조건으로 사용하며, 라서레의 영차원 방법과 유사하다.
• 차원 표(예: 그림 5)를 사용하여 기호 공간에서의 투영 시스템을 추출하여 차수 감소와 단순화를 가능하게 한다.
• 정규화 및 대체(예: z = 2)를 적용하여 고차수 생성자를 단순화하고 최소화되며 해석 가능한 기반을 도출한다.

실험 결과

연구 질문

• RQ1 기존 그뢰버 기반 방법이 확장성 문제를 겪는 양의 차원 다항식 이상수에서 기하학적 비틀림 기반을 효과적으로 확장하는 방법은 무엇인가?
• RQ2 투영과 차수 감소 기법이 중간 시스템을 단순화하고 수치적 조건을 향상시키는 데 어떤 역할을 하는가?
• RQ3 기하학적 비틀림 기반과 SDP 기반 모멘트 행렬 방법 간의 상호작용을 어떻게 체계화하고 실근 계산에 활용할 수 있는가?
• RQ4 모멘트 행렬의 질량 안정성 조건이 양의 차원 케이스에서 비틀림 기반 계산의 종료 조건으로 얼마나 잘 작용하는가?
• RQ5 알고리즘 4.1의 포함 테스트가 완전성에 영향을 주지 않으면서도 여유로운 고차수 시스템을 신뢰성 있게 제거할 수 있는가?

주요 결과

• 알고리즘은 양의 차원 시스템의 실근 기반에 대해 기하학적 비틀림 기반을 성공적으로 계산하였으며, 수작업 계산으로 검증된 출력 {z−2, x(z−2), y(z−2), z(z−2), x²−y²+3}을 제공한다.
• 모멘트 행렬의 질량은 7로 확인되었고, gen(ker M)의 핵의 차원은 13로 나타나 중간 시스템이 잘 조절되어 있음을 시사한다.
• 포함 테스트를 적용한 후 그림 5의 첫 번째 열에서 ℓ=1 항목만 유지되었으며, 이는 시스템 크기를 줄이고 여유로운 성분을 제거했다.
• ℓ=2, 차수 1에 대한 투영 시스템은 정규화 및 소항 제거 후 간단한 생성자 z−2를 도출하였다.
• z=2를 고차수 생성자에 대입함으로써 x²−y²+3으로 단순화되었으며, 일관성과 최소 형태가 확인되었다.
• d=5=r일 때 종료되었고, 출력에는 5개의 생성자가 포함되어 있었으며, 질량 안정성 조건이 영차원 케이스에서 라서레의 기준과 일치함을 확인하였다.