[논문 리뷰] Hyperbolic polynomials and rigid moduli orders

Vladimir Petrov Kostov|arXiv (Cornell University)|2020. 08. 26.

Mathematics and Applications참고 문헌 10인용 수 4

한 줄 요약

이 논문은 초평면 다항식—모든 실근을 가진 실계수 일변수 다항식—에 대해 근의 절댓값의 상대적 순서가 계수의 부호 패턴을 유일하게 결정할 조건을 규명함으로써, 강성 있는 모듈러스 순서를 특성화한다. 이는 오직 네 가지 특정한 교차 순서(r_{PN}, r_{NP}, r_{PP}, r_{NN})만이 강성 있는 모듈러스 순서를 이룬다는 것을 증명하며, 각각 두 가지 보편적인 부호 패턴 중 하나인 (+,+,-,-,+,+,...) 또는 (+,-,-,+,+,-,...)에 대응한다. 이는 차수를 4로 나눈 나머지에 따라 결정된다.

ABSTRACT

A hyperbolic polynomial (HP) is a real univariate polynomial with all roots real. By Descartes' rule of signs a HP with all coefficients nonvanishing has exactly $c$ positive and exactly $p$ negative roots counted with multiplicity, where $c$ and $p$ are the numbers of sign changes and sign preservations in the sequence of its coefficients. We consider HPs with distinct moduli of the roots. We ask the question when the order of the moduli of the negative roots w.r.t. the positive roots on the real positive half-line completely determines the signs of the coefficients of the polynomial. When there is at least one positive and at least one negative root this is possible exactly when the moduli of the negative roots interlace with the positive roots (hence half or about half of the roots are positive). In this case the signs of the coefficients of the HP are either $(+,+,-,-,+,+,-,-,\ldots )$ or $(+,-,-,+,+,-,-,+,\ldots )$.

연구 동기 및 목표

• 초평면 다항식의 모듈러스 순서 중에서 계수의 부호 패턴을 유일하게 결정하는 것들이 무엇인지 규명하는 것.
• 모든 계수가 0이 아닌 조건 하에서, 오직 하나의 부호 패턴만을 실현하는 강성 있는 모듈러스 순서를 특성화하는 것.
• 서로 다른 루트 모듈러스를 가진 초평면 다항식에 대해 이러한 강성 있는 순서와 그에 대응하는 부호 패턴의 완전한 분류를 수립하는 것.
• 특히 루트가 대칭 쌍 ±a로 이루어진 경우를 포함하여, 일부 루트 모듈러스가 동일한 경우에도 분석을 확장하는 것.
• 오직 네 가지 특정한 교차 패턴(r_{PN}, r_{NP}, r_{PP}, r_{NN})만이 강성 있으며, 나머지는 그렇지 않음을 증명하는 것.

제안 방법

• 모듈러스 순서(MO)를 정의: 양의 실수선 상에서 절댓값이 증가하는 순서로 정렬된 P(양근)와 N(음근) 기호의 순서열.
• 부호 패턴(SP)을 정의: 주어진 다항식의 계수의 부호를 최고차항 계수의 부호가 +1이 되도록 시작하는 순서열.
• 데카르트의 부호 법칙을 적용하여, SP 내의 부호 변화 수(c)와 부호 유지 수(p)를 양근과 음근의 수와 연결한다.
• 차수 d에 대한 귀납적 추론을 사용: 한 매개변수 가중 다항식 가중 가중치(예: Z_t)를 구성하여 루트를 변형함으로써 계수의 부호 연속성을 분석한다.
• 다항식에 (x±ε) 또는 (1±εx)를 곱할 경우, 새로운 루트의 모듈러스가 기존 것보다 작거나 커지며, MO의 구조를 유지함을 이용한다.
• 대칭 루트가 있는 경우, (x²−a²)Q(x)의 계수 부호를 분석하여, Q가 이차 인수들의 곱이면 오직 짝수 차수일 때만 계수가 0이 되는 것을 보여준다.

실험 결과

연구 질문

• RQ1 서로 다른 루트 모듈러스를 가진 초평면 다항식의 모듈러스 순서 중에서 계수의 부호 패턴을 유일하게 결정하는 것은 무엇인가?
• RQ2 주어진 모듈러스 순서가 강성하지 않은 조건은 언제인가? 즉, 하나 이상의 부호 패턴을 실현하는가?
• RQ3 모듈러스 순서가 강성일 때 필요한 충분한 조건는 무엇인가? 특히 양근과 음근의 수가 균형을 이루는 경우에 대해 고려한다.
• RQ4 대칭 루트 쌍(±a)이 포함될 경우, 계수의 부호 패턴은 어떻게 변화하는가? 특히 짝수 차수 다항식에서의 행동을 고려한다.
• RQ5 초평면 다항식의 부호 패턴은 양근과 음근의 모듈러스가 어떻게 교차하는지에 따라 완전히 결정될 수 있는가?

주요 결과

• 오직 네 가지 특정한 모듈러스 순서—r_{PN}, r_{NP}, r_{PP}, r_{NN}—만이 강성이며, 이는 계수의 부호 패턴을 유일하게 결정한다.
• 이 네 가지 강성 순서에 대해 부호 패턴은 항상 두 가지 보편적인 패턴 중 하나인 Σ₊ = (+,+,-,-,+,+,-,-,...) 또는 Σ₋ = (+,-,-,+,+,-,-,+,...)이다. 이는 차수 d를 4로 나눈 나머지에 따라 결정된다.
• 모듈러스 순서와 부호 패턴 사이의 대응관계는 제시된 표에 따라 차수 d를 4로 나눈 나머지에 의해 완전히 결정된다.
• 강성 없는 모듈러스 순서(즉, {r_{PN}, r_{NP}, r_{PP}, r_{NN}}에 속하지 않는 것들)는 여러 부호 패턴을 실현할 수 있으므로, 부호 패턴이 유일하게 결정되지 않는다.
• 초평면 다항식이 루트 쌍 ±a를 가질 경우(즉, 대칭 루트를 가질 경우), 계수의 부호는 나머지 다항식 Q가 0 계수를 가지는지 여부에 따라 달라진다; d가 홀수일 경우 계수는 0이 되지 않으며, d가 짝수일 경우 Q가 이차 인수들의 곱이면 오직 그 경우에만 계수가 0이 된다.
• 모든 대칭 루트를 포함하는 경우, 결과적인 부호 패턴은 항상 보편적인 Σ₊ 또는 Σ₋ 패턴이거나, d가 짝수이고 Q가 (x²−a_j²) 인수들의 곱이면 교대 패턴 (+,0,-,0,+,0,...)이 된다.