[논문 리뷰] Questions about determinants and polynomials

Steve Fisk|ArXiv.org|2008. 08. 13.

Matrix Theory and Algorithms인용 수 14

한 줄 요약

이 논문은 $ P^{+}_1 $, $ P^{+}_2 $ 및 관련 클래스의 다항식 계수로부터 구성된 구조적 행렬의 행렬식에서 유도된 다항식의 안정성과 양성 성질을 조사한다. 다항식의 행렬식 구성 방식이 안정성과 양성을 유지함을 제안하며, 특히 결과 다항식이 $ P^{+}_1 $에 속하거나 안정적임을 보이고자 한다. 이를 위해 재귀적 행렬 변환, 교차 조건, 소수 분석을 활용하며, 주요 결과는 차수 4까지 검증되었고 고차수의 경우 기호 계산을 통해 지지된다.

ABSTRACT

We discuss several conjectures about the real-rootedness of polynomials whose coefficients are determinants of coefficients of a real-rooted polynomial. We also consider some questions about matrices generalizing totally positive matrices, namely totally stable matrices and totally upper matrices.

연구 동기 및 목표

• 양성 계수를 가진 다항식의 행렬식 기반 변환 방식이 안정적이거나 양성 다항식을 유도할 수 있는 조건을 설정하는 것.
• 다항식 $ P^{+}_1 $ 및 $ P^{+}_2 $의 계수 수열에서 유도된 행렬 구성 방식이 안정성과 양성 성질을 유지하는지 조사하는 것.
• 이러한 다항식에서 유도된 구조적 무한 행렬의 소수들이 안정적이거나 완전 양성인지 분석하는 것.
• 다元 및 단변수 설정에서 교차 다항식, 행렬식 구성 방식, 완전 양성 간의 상호작용을 탐색하는 것.

제안 방법

• 다항식 클래스 정의: $ P^{+}_1 $ (양성 계수, 음성 실근), $ U_d $ (상반평면에서 영이 아님), $ \tfrac{1}{2}H_1 $ (Hurwitz 안정).
• 입력 다항식의 계수로부터 구성된 토플리츠 유사 행렬의 행렬식을 통해 새로운 다항식 $ F(x) $를 구성.
• 삼차 다항식의 안정성 기준 $ \alpha_1\alpha_2 - \alpha_0 > 0 $ 와 고차수의 경우 유사한 판별식 기반 검증을 사용.
• Aissen-Schoenberg 정리를 적용하여 변환된 행렬의 완전 양성성과 결과 다항식의 안정성 간의 연결 고리 설정.
• 기호 계산을 활용하여 판별식 내 계수 합의 양성 확인 (예: 차수 3의 경우 19개의 단항식, 차수 4의 경우 201개).
• 계수 수열로부터 구성된 무한 하삼각 행렬의 소수 분석을 수행하여, 원본 다항식이 $ P^{+}_2 $에 속할 경우 소수가 안정적임을 보임.

실험 결과

연구 질문

• RQ1 입력 다항식 $ f \in P^{+}_1 $ 에 대해 $ F(x) = \sum_i x^i \det(\text{삼중 블록 대각}) $ 형태의 행렬식 기반 변환을 적용했을 때, 다항식이 $ P^{+}_1 $에 속하는가?
• RQ2 $ T_k(f) = \sum_i x^i \det\begin{pmatrix} a_i & a_{i+k} \\ a_{i-k} & a_i \end{pmatrix} $ 연산자가 $ f \in P^{+}_1 $ 인 경우 다항식을 $ P^{+}_1 $에 유도할 수 있는가?
• RQ3 $ f \in P^{+}_1 $ 인 경우, 다항식 $ F(x) = \sum_i x^i \det\begin{pmatrix} a_{i} & \cdots & a_{i+d} \\ \vdots & \ddots & \vdots \\ a_{i-d} & \cdots & a_i \end{pmatrix} $ 가 안정적인가?
• RQ4 계수 행렬 $ M $ 의 각 원소를 중심이 있는 $ d \times d $ 부분행렬의 행렬식으로 대체하면, 전체적으로 완전 양성 행렬 $ M' $ 이 되는가?
• RQ5 두 다항식 $ f, g \in P^{+}_1 $ 이 교차 조건을 만족할 경우, 다항식 $ \sum_i x^i \det\begin{pmatrix} a_i & a_{i+1} \\ b_i & b_{i+1} \end{pmatrix} $ 는 $ P^{+}_1 $ 에 속하는가?

주요 결과

• 차수 2의 경우, 구성된 다항식 $ F(x) $ 는 모든 계수가 양성이고 판별식도 양성으로, $ P^{+}_1 $ 에 속한다는 것이 확인된다.
• 차수 3의 경우, 안정성 기준 $ \alpha_1\alpha_2 - \alpha_0 > 0 $ 는 19개의 양성 단항식의 합으로 표현되며, 이는 안정성을 증명한다.
• 차수 4의 경우, 안정성 기준은 201개의 양성 단항식의 합으로 표현되어, $ F(x) \in P^{+}_1 $ 임을 확인한다.
• 변환 $ T_k(f) $ 는 $ k > n/2 $ 인 경우 안정된 다항식을 $ P^{+}_1 $ 에 유도하며, 이는 Hadamard 곱 $ f * f $ 로 줄어들며, 양성성을 유지한다.
• $ f \in P^{+}_2 $ 에서 유도된 무한 행렬 $ M $ 은 모든 소수가 안정적이며, 이는 모든 소수가 $ P^{+}_1 $ 에 속함을 의미한다. 기호 검증과 Aissen-Schoenberg 정리를 통해 이를 입증하였다.
• $ f = (x+y+z)^n $ 인 경우, 행렬식 기반 구성 다항식 $ F(x,y,z) $ 는 일반적으로 안정적이지 않지만, $ y,z > 0 $ 인 경우 안정적이며, 모든 계수는 음성임을 보여, 부분적 안정성을 나타낸다.