[論文レビュー] Wendroff's theorem beyond consecutive degrees and related inverse spectral problems

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

Matrix Theory and Algorithms被引用数 0

ひとこと要約

要旨：論文は Wendroff の定理を実数直線および単位円上の任意の非定数多項式へ拡張し、低次元過剰条件下の二スペクトル問題において厳密な交替性が可解性の必要十分条件であることを示し、再構成手順と例を提供する。

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.

研究の動機と目的

• 実 orthogonal polynomials の実数直線および単位円上で Wendroff の定理を連続次数の枠組みを超えて動機づけ・拡張する。
• Jacobi 行列およびユニタリ五対角行列の未定義（underdetermined）二スペクトル問題を定式化する。
• 未定義領域の可解性に対する必要十分交替条件を確立する。
• 具体的な再構成方法とアルゴリズムを、例を用いて開発する。
• 有限の正の測度の下で、有限正交多項式理論と逆スペクトル問題の枠組みを橋渡しする。

提案手法

• ヴァンダモン型線形系として再構成を定式化し、それを未定義逆スペクトル問題と関連づける。
• Gauss–Jacobi 四分点積分法と Szegő 四分点積分を用いて、零点を正の重みを持つ積分点として解釈する（補題 2.1 および 2.2）。
• 零点の厳密な交替性により可解性を特徴づけ、正の重みがヴァンダモン系を解くことで解集合を記述する（補題 3.1–3.3）。
• 実数直線の結果を paraorthogonal polynomials およびユニタリ五対角行列を用いて単位円設定へ翻訳し、スペクトルと境界パラメータを POPUC と Verblunsky データに結びつける。
• 明示的な再構成アルゴリズムを提供し、二つの設定にまたがる実例を解説する。

実験結果

リサーチクエスチョン

• RQ1 実数直線上で degree-n および degree-m の正規直交多項式の零点として、m<n-1 の場合、二つの事前に与えられた零点集合を実現できる条件は何か。
• RQ2 paraorthogonal polynomials およびユニタリ五対角行列に対する Wendroff の二スペクトル問題の単位円類似問題は何か。
• RQ3 未定義領域において prescribed zeros の厳密な交替性は可解性にとって必要かつ十分か。
• RQ4 与えられた交替データから関連する Jacobi 行列やユニタリ多項式族をどのように構築するか。
• RQ5 再構成アルゴリズムは何か、方法を示す実例は何か。

主な発見

• 二つの与えられた零点集合の厳密な交替性は可解性に必要である。
• 未定義領域（m<n-1）では、実数直線の二スペクトル問題および unit circle の POPUC 設定において、厳密な交替性が十分である。
• 正の解を持つヴァンダモン型線形系が存在し、これが所望のゼロ点を実現する重みを与え、Jacobi 行列またはユニタリ五対角 realizations を生み出す。
• 関連する多項式族と行列の明示的構成が提供される。
• 再構成アルゴリズムと、それを示す実例が論文中に提示される。