[논문 리뷰] Wendroff's theorem beyond consecutive degrees and related inverse spectral problems

K. Castillo, G. Gordillo-Núñez|arXiv (Cornell University)|2026. 02. 24.

Matrix Theory and Algorithms인용 수 0

한 줄 요약

본 논문은 Wendroff’s theorem을 임의의 비상수 다항식에 대해 real line과 unit circle에서 확장하고, 엄격한 교차가 차원 미정 문제의 두 스펙트럼 해법의 필요충분조건임을 보이며, 재구성 절차와 예를 제시한다.

ABSTRACT

A classical theorem of Wendroff shows that one may reconstructs a sequence of orthogonal polynomials on the real line from two non-constant polynomials of consecutive degrees whose zeros strictly interlace on the real line. In this note we extend this result to arbitrary non-constant polynomials. The reconstruction may be formulated via a Vandermonde-type linear system and recast as an underdetermined inverse spectral problem, in which the spectra of a finite Jacobi matrix and of one of its leading principal submatrices are prescribed. In addition, the analogous result on the unit circle is established by reconstructing a sequence of paraorthogonal polynomials from two arbitrary non-constant polynomials whose zeros strictly interlace on the unit circle. In this setting, the Jacobi matrix is replaced by a finite unitary pentadiagonal matrix, and the spectral data consist of the spectrum of the full matrix together with that of a rank-one perturbation of a leading principal submatrix. Strict interlacing of zeros is shown to be a necessary and sufficient condition for solvability, and explicit constructions of the associated polynomial families and matrices are provided. Finally, an algorithm and several illustrative examples are presented.

연구 동기 및 목표

• 실수선(real line)과 unit circle에서 직교 다항식에 대해 consecutive degrees를 넘어 Wendroff의 정리를 확장하고 동기를 부여한다.
• Jacobi 및 unitary pentadiagonal 행렬에 대한 underdetermined 두 스펙트럼 문제를 형식화한다.
• underdetermined 해답 영역에서의 필요충분한 교차 조건을 확립한다.
• 명시적 재구성 방법과 알고리즘을 illustrativer 예제와 함께 개발한다.
• 양자유도 가능한 측정 값에 대한 역 스펙트럼 문제 프레임워크와 유한 직교 다항 이론을 연결한다.

제안 방법

• Vandermonde-type 선형 시스템의 관점에서 재구성을 형식화하고 이를 underdetermined inverse spectral 문제와 관련짓는다.
• Gauss–Jacobi quadrature와 Szegő quadrature를 사용하여 제로를 양의 가중치가 있는 사분점(quadrature nodes)으로 해석한다(Lemmas 2.1와 2.2).
• 제로의 엄격한 교차를 통해 해법 가능성을 특징짓고, Vandermonde 시스템을 풀어 양의 가중치로 구성된 해 집합을 설명한다(Lemmas 3.1–3.3).
• 실수선 결과를 paraorthogonal polynomials와 unitary pentadiagonal 행렬을 이용해 unit circle 설정으로 번역하고, 스펙트럼과 경계 매개변수를 POPUC와 Verblunsky 데이터와 연결한다.
• 두 설정에 걸친 명시적 재구성 알고리즘을 제공하고 사례를 제시한다.

실험 결과

연구 질문

• RQ1 실수선 위에서 두 개의 서로 다른 제로 집합이 degree-n 및 degree-m 직교 다항식의 제로로 실현될 수 있는 조건은 무엇인가, m<n-1일 때?
• RQ2 paraorthogonal polynomials와 unitary pentadiagonal 행렬에 대한 unit-circle의 Wendroff의 두 스펙트럼 문제의 대응은 무엇인가?
• RQ3 underdetermined 영역에서 해법 가능성에 대해 prescribed zeros의 엄격한 교차가 필요하고 충분한가?
• RQ4 주어진 교차 데이터를 사용해 관련 Jacobi 또는 유니타리 행렬과 다항식 가족을 어떻게 구성하는가?
• RQ5 재구성 알고리즘은 무엇이며 방법을 보여주는 illustrative examples는 무엇인가?

주요 결과

• 두 개의 제시된 제로 집합 사이의 엄격한 교차가 해법 가능성에 필요하다.
• underdetermined 영역(m<n-1)에서 실수선 두 스펙트럼 문제와 unit-circle POPUC 설정 모두에 대해 엄격한 교차가 충분하다.
• 양의 해를 가지는 Vandermonde-type 선형 시스템이 존재하며, 이 해가 제로를 구현하는 허용 가능한 사분점 가중치를 생성하여 Jacobi 또는 unitary pentadiagonal 구현으로 이어진다.
• 관련 다항식 가족과 행렬의 명시적 구성들이 제시된다.
• 재구성 알고리즘과 함께 설명적 예제가 논문에 제시된다.