[논문 리뷰] Descartes' Rule of Signs for Polynomial Systems supported on Circuits

Frédéric Bihan, Alicia Dickenstein|arXiv (Cornell University)|2016. 01. 21.

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

한 줄 요약

이 논문은 $ n+2 $개의 단항식을 가진 $ n $개의 변수에서 구성된 다항식 시스템—특히 회로(circuits)에 의해 지지되는 시스템—에 대한 다변수 일반화된 데카르트의 부호 법칙을 수립한다. 시스템의 지수 구성과 계수로부터 유도된 계수 순서열의 부호 변화를 이용하여 양의 실수 해의 수에 대한 날카운 상계를 제공하며, 게일 대칭성(duality)과 옹호된 매트로이드 이론을 통해 고전적인 단변수 법칙을 일반화한다.

ABSTRACT

We give a multivariate version of Descartes' rule of signs to bound the number of positive real roots of a system of polynomial equations in n variables with n+2 monomials, in terms of the sign variation of a sequence associated both to the exponent vectors and the given coefficients. We show that our bound is sharp and is related to the signature of the circuit.

연구 동기 및 목표

• 다항식 시스템에 대한 데카르트의 부호 법칙을 $ n+2 $개의 단항식을 가진 $ n $개의 변수에서 구성된 시스템—즉, 회로로 알려진 설정—으로 확장하는 것.
• 시스템의 지수 벡터와 계수로부터 유도된 계수 순서열의 부호 변화를 바탕으로 양의 실수 해의 수에 대한 날카운 상계를 수립하는 것.
• 게일 대칭성과 옹호된 매트로이드 이론을 통합하여 흩어진 다항식 시스템의 구조를 분석함으로써 고전적인 단변수 데카르트 법칙을 일반화하는 것.
• 상한이 날카롭고, 고전적 법칙의 짝수 조건을 따르는 것과 같이 모듈로 2로 동치임을 증명하는 것.
• 양의 해의 수가 유한한 경우를 특성화하고, 이러한 유한성에 대한 필요 및 충분 조건을 제시하는 것.

제안 방법

• 계수 행렬 $ C \times (n \times (n+2)) $ 와 지수 행렬 $ A \times ((n+1) \times (n+2)) $ 을 사용하여 시스템을 정의하며, 여기서 $ A $ 는 단항식의 지수를 코딩한다.
• 게일 대칭성을 사용하여 다변수 문제를 시스템에서 유도된 유일변수 유리함수의 실근 수를 분석하는 문제로 축소한다.
• 행렬 $ C $ 의 최대 소수의 부호에 기반한 계수 벡터의 순서를 정의하며, 이는 양의 해의 수를 제한하는 계수 순서열의 부호 변화를 유도한다.
• 해석 함수 공간에 대한 일반화된 데카르트 법칙을 적용하여 유일변수 유리함수의 실근 수를 제한한다.
• 지수 벡터 간의 애핀 의존성으로 정의되는 회로 개념을 사용하여 표준 애핀 관계 $ \boldsymbol{\nu} $ 를 정의하고, 관련 계수 순서열 $ s_\alpha $ 의 부호 변화 $ \mathrm{sgnvar}(s_\alpha) $ 를 계산한다.
• 양의 실수 해의 수 $ n_{\mathcal{A}}(C) $ 가 $ \mathrm{sgnvar}(s_\alpha) $ 에 의해 상한으로 제한됨을 증명하며, $ \mathbf{0} \in \mathcal{C}^\circ $ 조건 하에서 이 상한이 날카롭다는 것을 보인다.

실험 결과

연구 질문

• RQ1 데카르트의 부호 법칙은 $ n+2 $개의 단항식을 가진 $ n $개의 변수에서 구성된 다항식 시스템—즉, 회로에 의해 지지되는 시스템—으로 일반화될 수 있는가?
• RQ2 이러한 시스템의 양의 실수 해의 수에 대한 날카운 상계는 계수와 지수 벡터의 관계로 어떻게 표현되는가?
• RQ3 시스템의 구조에서 유도된 계수 순서열의 부호 변화는 양의 실수 해의 수와 어떻게 관련되는가?
• RQ4 고전적인 단변수 경우와 마찬가지로 상한이 실제 양의 해의 수와 모듈로 2로 동치인가?
• RQ5 양의 실수 해의 수가 유한한 조건은 무엇이며, 언제 상한이 달성될 수 있는가?

주요 결과

• 회로에 의해 지지되는 시스템의 양의 실수 해의 수 $ n_{\mathcal{A}}(C) $ 는 시스템의 지수 구성과 계수로부터 유도된 계수 순서열의 부호 변화 $ \mathrm{sgnvar}(s_\alpha) $ 에 의해 상한으로 제한된다.
• 상한 $ \mathrm{sgnvar}(s_\alpha) $ 는 날카롭다: $ n_{\mathcal{A}}(C) = \mathrm{sgnvar}(s_\alpha) $ 를 만족하는 시스템이 존재하며, 특정한 회로에서는 최대값인 $ n+1 $ 까지 도달할 수 있다.
• 양의 실수 해의 수는 부호 변화와 모듈로 2로 동치이며, 고전적인 단변수 법칙을 일반화한다.
• 상한은 계수 행렬 $ C $ 의 선형 동치류 내에서의 대표자 선택과 무관하며, 오직 최대 소수의 부호 패턴과 회로 구조에 의존한다.
• $ \mathbf{0} \in \mathcal{C}^\circ $ 조건(여기서 $ \mathcal{C}^\circ $ 는 계수 열들이 생성하는 양의 원뿔)은 최소한 하나의 양의 해가 존재하기 위해 필수적이고 충분한 조건이다.
• 상한이 항상 정규화된 부피 $ \mathrm{vol}_{\mathbb{Z}}(\mathcal{A}) $ 와 같지는 않으며, 예를 들어 $ n=4 $, $ \boldsymbol{\nu} = (1,-1,3,-3,1,-1) $ 인 경우 최대 상한 $ n+1 $ 이 달성되지 않아, 부피 기반으로는 항상 날카롭지 않음을 보여준다.