[논문 리뷰] Could René Descartes have known this?

Jens Forsgård, Vladimir Petrov Kostov외 1명|arXiv (Cornell University)|2015. 01. 05.

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

한 줄 요약

이 논문은 주어진 계수의 부호 패턴을 가진 실수 계수의 단변수 다항식이 양의 근과 음의 근을 어떤 조합으로 실현할 수 있는지 조사한다. 이는 데카르트의 부호 법칙을 넘어서는 것이다. 위상수학적 및 대수적 기법을 사용하여 차수 8 이하에서 실현 불가능한 부호 패턴-근 개수 조합을 규명하고 일반적인 추측을 제시한다. 실현 가능성은 다항식 공간의 더 깊은 구조적 성질과 그 판별식에 의해 제약을 받는다.

ABSTRACT

Below we discuss the partition of the space of real univariate polynomials according to the number of positive and negative roots and signs of the coefficients. We present several series of non-realizable combinations of signs together with the numbers of positive and negative roots. We provide a detailed information about possible non-realizable combinations as above up to degree 8 as well as a general conjecture about such combinations.

연구 동기 및 목표

• 고정된 계수 부호 패턴을 가진 다항식이 실현 가능한 양의 근과 음의 근의 조합 (pos, neg)이 어떤 것인지 규명하는 것.
• 차수 8 이하에서 부호 패턴과 근 개수의 실현 불가능한 조합을 식별하고 분류하는 것.
• 임의의 차수를 가진 다항식에 대해 실현 불가능한 부호 패턴-근 개수 쌍의 구조에 관한 일반적인 추측을 제안하는 것.
• 주어진 부호 패턴과 근 개수를 가진 다항식의 공간의 위상수학적 성질을 연구하며, 특히 실현 집합의 경로연결성에 초점하는 것.

제안 방법

• 모든 계수의 최고차항을 제외한 단위 다항식의 계수에 대한 부호 패턴 σ̄를 부호의 순서로 정의한다.
• 데카르트의 부호 법칙을 사용하여 부호 패턴 σ̄에 대한 데카르트 쌍 (pσ̄, nσ̄)을 계산하여 양의 근과 음의 근의 수를 제한한다.
• 데카르트 법칙의 짝수성 조건과 상한 조건을 만족하는 admissible 쌍 (pos, neg)의 개념을 도입한다.
• 차수 d의 단위 다항식 중 k개의 단순 실근을 가지며 부호 패턴 σ̄를 가진 다항식의 공간 Pold,kσ̄를 정의하고, 그 위상적 구조를 분석한다.
• 홀수 차수 항의 부호를 반전시키고 계수 순서를 뒤집는 Z2×Z2 작용을 도입하여 서로 다른 부호 패턴을 연결한다.
• 이완된 유도된 근을 가진 다항식 집합의 로그 볼록성과 극도수의 도함수를 기반으로 경로연결성 추론을 수행하여 실현 집합의 연결성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 주어진 부호 패턴 σ̄를 가진 다항식이 실현할 수 없는 admissible 쌍 (pos, neg)의 양의 근과 음의 근 개수 조합은 무엇인가?
• RQ2 비어있을 경우, 주어진 (pos, neg) 쌍과 부호 패턴 σ̄를 실현하는 다항식의 집합은 경로연결되어 있는가?
• RQ3 다항식의 j번째 도함수에 대해 실현 가능한 근 개수의 수열 (posj, negj)은 무엇인가?
• RQ4 주어진 도함수 근 개수 수열을 실현하는 다항식의 집합은 경로연결되어 있는가?

주요 결과

• 데카르트의 부호 법칙에 따라 admissible로 간주되는 조합이라도, 특히 차수 8 이하에서는 실현 불가능한 부호 패턴-근 개수 조합이 존재한다.
• 논문은 실현 불가능한 부호와 근 개수의 여러 명백한 수열을 규명하여, 데카르트의 상한이 실현 가능성 측면에선 항상 날카롭지 않음을 보여준다.
• 차수 d에 대해, k개의 단순 실근과 부호 패턴 σ̄를 가진 단위 다항식의 집합 Pold,kσ̄는 특정 조건 하에서 경로연결되어 있음을 보였다.
• 최소 m개의 실근을 가지는 다항식의 집합은 귀납법과 극도수를 이용한 고리 수축을 통해 경로연결되어 있음을 증명하였다.
• 기저 도함수 구조가 연속적인 변형을 허용할 경우, 주어진 부호 패턴과 근 개수 쌍을 실현하는 다항식의 집합은 경로연결되어 있음을 보였다.
• 차수 10 이하에서 모든 실현 불가능한 부호 패턴-근 개수 쌍을 특징짓는 일반적인 추측을 제안하였으며, 이러한 케이스의 광범위한 분류에 기반한다.