[논문 리뷰] The Canny-Emiris conjecture for the sparse resultant

Carlos D’Andrea, Gabriela Jeronimo외 1명|arXiv (Cornell University)|2020. 04. 30.

Polynomial and algebraic computation참고 문헌 14인용 수 4

한 줄 요약

이 논문은 다각형의 혼합 분할을 이용한 初期 부분의 곱 공식을 도입하여 흩어진 결과에 대한 Canny-Emiris 추측의 일반화된 버전을 증명한다. 저자들은 특정 조합 조건 하에서 흩어진 결과가 Canny-Emiris 행렬의 행렬식을 그 주요 부분행렬의 행렬식으로 나눈 값과 같음을 확립하며, 매클로우의 공식을 흩어진 설정으로 확장하고, 처음으로 추측을 전반적으로 확인한다.

ABSTRACT

Abstract We present a product formula for the initial parts of the sparse resultant associated with an arbitrary family of supports, generalizing a previous result by Sturmfels. This allows to compute the homogeneities and degrees of this sparse resultant, and its evaluation at systems of Laurent polynomials with smaller supports. We obtain an analogous product formula for some of the initial parts of the principal minors of the Sylvester-type square matrix associated with a mixed subdivision of a polytope. Applying these results, we prove that under suitable hypothesis, the sparse resultant can be computed as the quotient of the determinant of such a square matrix by one of its principal minors. This generalizes the classical Macaulay formula for the homogeneous resultant and confirms a conjecture of Canny and Emiris.

연구 동기 및 목표

• 스바일러스 타입 행렬의 행렬식의 몫으로서 흩어진 결과를 계산하는 Canny-Emiris 추측을 해결하기 위해.
• 스튀르무펠스의 흩어진 결과의 初期 부분에 대한 곱 공식을 임의의 지지 집합 가족으로 일반화하기 위해.
• 흡수된 결과가 Canny-Emiris 행렬의 행렬식을 주요 부분행렬의 행렬식으로 나눈 값과 같아지는 조건을 확립하기 위해.
• 필수 사례를 초월하여 비필수 지지 집합과 비전체질서 래티스를 포함한 전체 일반성으로 흩어진 결과 이론을 확장하기 위해.
• 혼합 분할과 조각별 애핀 함수를 통한 흩어진 결과를 균일하게 계산하는 프레임워크를 제공하기 위해.

제안 방법

• 지지 집합의 민코프스키 합의 혼합 분할을 이용하여 흩어진 결과의 初期 부분에 대한 곱 공식을 유도한다.
• 볼록 조각별 애핀 함수와 그들의 인프-컨볼루션을 정의하여 Canny-Emiris 행렬을 구성하고, 스바일러스 타입의 정사각행렬을 만든다.
• 혼합 분할의 혼합되지 않은 셀에 대응하는 Canny-Emiris 행렬의 주요 부분행렬을 식별한다.
• 낮은 차원의 지지 집합으로의 제한과의 호환성을 이용하여 더 단순한 경우로 축소한다.
• 토릭 다양체 이론과 제거 이론을 적용하여 흩어진 결과와 Canny-Emiris 행렬의 행렬식 간의 관계를 규명한다.
• Canny-Emiris 행렬의 행렬식이 흩어진 결과의 영이 아닌 배수임을 증명하고, 주요 부분행렬로 나눈 몫이 조건이 만족될 경우 결과를 나타냄을 보인다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 흩어진 결과가 Canny-Emiris 행렬의 행렬식과 그 주요 부분행렬의 행렬식의 몫과 같아지는가?
• RQ2 혼합 분할의 혼합 셀에 대해 흩어진 결과의 初期 부분은 어떻게 곱으로 표현될 수 있는가?
• RQ3 Canny-Emiris 행렬과 흩어진 설정에서 매클로우 공식 사이의 정확한 관계는 무엇인가?
• RQ4 지지 집합의 부분집합이나 낮은 차원의 애핀 스파크로 제한할 경우 이 구성은 어떻게 행동하는가?
• RQ5 어떤 가족의 애핀 함수에 대해 관련된 혼합 분할이 적합한가, 이는 몫 공식의 타당성을 보장하는가?

주요 결과

• 논문은 일반화된 Canny-Emiris 추측을 증명한다: 관련된 혼합 분할이 적합할 경우, 흩어진 결과는 Canny-Emiris 행렬의 행렬식을 그 주요 부분행렬의 행렬식으로 나눈 값과 같다.
• 임의의 지지 집합 가정에 대해 일반화된 Sturmfels의 이전 결과를 확장한, 흩어진 결과의 初期 부분에 대한 새로운 곱 공식이 확립된다.
• 동차 결과에 대한 매클로우 공식은 주요 결과의 특수한 경우로 나타나며, 이를 통해 독립적인 증명이 가능해진다.
• 구성은 비필수 지지 집합과 비전체질서 래티스로까지 확장되어 모든 경우에서 균일한 행동을 보장한다.
• 혼합 분할이 적합하지 않을 경우 공식이 실패함을 보여주는 반례가 제시되며, 이 경우 주요 부분행렬이 행렬식을 나누지 못한다.
• Canny-Emiris 행렬과 그 주요 부분행렬이 부분지지로의 제한과 호환됨을 보여, 재귀적 및 귀납적 추론이 가능하다.