[논문 리뷰] Maximal and inextensible polynomials and the geometry of the spectra of normal operators

Julius Borcea|ArXiv.org|2003. 09. 15.

Advanced Differential Equations and Dynamical Systems참고 문헌 18인용 수 6

한 줄 요약

이 논문은 세ンド프의 추측의 맥락에서 최대 및 비확장 가능한 다항식을 연구하며, 최근의 증명 주장들을 반박하기 위해 2차 변분 방법을 사용한다. 0-최대 다항식—도함수의 임계점들에서 원점까지의 거리를 최대화하는 다항식—이 세ンド프의 추측에 대한 국소 최대가 되지 않는다는 것을 보여주며, 이는 이전의 1차 방법에 기반한 증명들을 무효화하고, 다항식의 임계점과 정규 연산자의 스펙트럼 및 그 주된 부분행렬 간의 관계를 연결하는 새로운 연산자 이론적 프레임워크를 수립한다.

ABSTRACT

We consider the set S(n,0) of monic complex polynomials of degree $n\ge 2$ having all their zeros in the closed unit disk and vanishing at 0. For $p\in S(n,0)$ we let $|p|_{0}$ denote the distance from the origin to the zero set of $p'$. We determine all 0-maximal polynomials of degree $n$, that is, all polynomials $p\in S(n,0)$ such that $|p|_{0}\ge |q|_{0}$ for any $q\in S(n,0)$. Using a second order variational method we then show that although some of these polynomials are inextensible, they are not necessarily locally maximal for Sendov's conjecture. This invalidates the recently claimed proofs of the conjectures of Sendov and Smale and shows that the method used in these proofs can only lead to (already known) partial results. In the second part of the paper we obtain a characterization of the critical points of a complex polynomial by means of multivariate majorization relations. We also propose an operator theoretical approach to Sendov's conjecture, which we formulate in terms of the spectral variation of a normal operator and its compression to the orthogonal complement of a trace vector. Using a theorem of Gauss-Lucas type for normal operators, we relate the problem of locating the critical points of complex polynomials to the more general problem of describing the relationships between the spectra of normal matrices and the spectra of their principal submatrices.

연구 동기 및 목표

• 최근의 세ンド프의 추측 및 스말의 평균값 추측에 대한 증명 주장들을 분석하고 반박하는 것, 특히 1차 변분 방법에 의존한 것들에 대해.
• 모든 영점이 닫힌 단위 원판 내에 있고 0에서 0이 되는 n차 모닉 복소다항식의 집합에서 0-최대 다항식을 특성화하는 것.
• 다항식의 영점과 임계점의 기하학적 구조와 정규 연산자의 스펙트럼 및 그 주요 부분행렬 간의 관계를 설정하는 것.
• 스펙트럼 변동과 주요화 관계를 통한 정규 연산자에 기반한 새로운 연산자 이론적 프레임워크를 제안하여 세ンド프의 추측을 연구하는 것.

제안 방법

• 다항식의 영점과 그 영점이 임계점에 미치는 영향을 분석하기 위해 2차 변분 방법을 적용하며, 특히 임계점의 원점에서의 거리에 중점을 둔다.
• 다변량 주요화 관계를 사용하여 복소다항식의 임계점이 그 영점 집합과 어떻게 관련되는지 특성화한다.
• 정규 연산자의 스펙트럼 변동과 그 트레이스 벡터의 직교보완으로의 압축을 통해 세ンド프의 추측을 재구성한다.
• 정규 연산자에 대한 가우스-라우스 유사 정리를 적용하여 정규 행렬의 스펙트럼과 그 주요 부분행렬의 스펙트럼 간의 관계를 규명한다.
• 복소계수를 통한 행렬식 항등식과 고유값의 교차 조건을 이용하여 주어진 고유값과 주요 부분행렬의 스펙트럼을 갖는 정규 행렬이 존재하기 위한 필요조건을 도출한다.
• 복소수 고유값의 부분행렬에 대한 복소 교차 조건을 통해 정규 행렬에 대한 카우치-파인카레 분리 정리의 일반화를 수립한다.

실험 결과

연구 질문

• RQ1 원점에서 임계점까지의 거리를 최대화하는 0-최대 다항식은 세ンド프의 추측에 대해 국소적으로 최대가 되는가?
• RQ2 1차 변분 방법만으로 세ンド프의 추측 또는 스말의 평균값 추측을 증명할 수 있는가?
• RQ3 정규 행렬의 스펙트럼과 크기가 n−1인 주요 부분행렬의 스펙트럼 간의 관계는 무엇인가?
• RQ4 다변량 주요화 관계는 어떻게 사용되어 복소다항식의 임계점을 특성화할 수 있는가?
• RQ5 정규 행렬에 대해 세ンド프의 추측의 스펙트럼적 유사체가 존재하는가? 만약 존재한다면, 고유값 집합 간의 유도된 하우스도르프 거리에 대한 상한은 무엇인가?

주요 결과

• n차 0-최대 다항식은 명시적으로 결정되었으며, 이들이 반드시 세ンド프의 추측에 대해 국소적으로 최대가 되는 것은 아니며, 이는 최근의 주장된 증명 버전들에서의 주장들을 무효화한다.
• 1차 변분 방법만으로는 세ンド프의 추측을 증명할 수 없으며, 참조된 증명의 8개 버전 전반에 걸쳐 주요 주장에 대한 반례를 제시함으로써 이를 입증한다.
• 논문은 반례를 구성하여, 정규 행렬의 스펙트럼에서 주요 부분행렬의 스펙트럼으로의 유도된 하우스도르프 거리가 전체 스펙트럼의 볼록결합의 지름에 도달할 수 있음을 보여주며, 이는 이 설정에서 세ンド프의 추측에 직접적인 유사체가 존재하지 않음을 시사한다.
• 주어진 고유값과 주요 부분행렬의 고유값을 갖는 정규 행렬이 존재하기 위한 필요충분조건이 고유값의 차의 곱의 비율에 대한 복소수 교차 조건을 통해 수립된다.
• 복소다항식의 임계점은 정규 연산자에 대해 일반화된 가우스-라우스 성질을 만족하며, 정규 연산자의 압축의 스펙트럼이 원래 연산자의 스펙트럼의 볼록결합 내에 있음을 의미한다.
• 논문은 세ンド프의 추측에 대한 새로운 연산자 이론적 공식화를 수립하여, 임계점의 위치가 정규 연산자의 스펙트럼 변동과 그 트레이스 벡터의 직교보완으로의 압축과 연결됨을 규명한다.