[論文レビュー] Positive trigonometric polynomials

Vladimir G. Tkachev|ArXiv.org|Jan 6, 2003

Advanced Numerical Analysis Techniques参考文献 9被引用数 11

ひとこと要約

本稿は、結果式と判別式を用いて境界を特徴づけることにより、非負の三角多項式の代数的構造を研究する。非負三角多項式の次数 $ n $ の錐の境界は、判別形式の消滅によって定義され、これは $ \mathbb{C} $ 上で既約であることが示され、半定値計画法の基準を超えた正確な代数的記述が得られる。

ABSTRACT

We study the boundary of the nonnegative trigonometric polynomials from the algebraic point of view. In particularly, we show that it is a subset of an irreducible algebraic hypersurface and established its explicit form in terms of resultants.

研究の動機と目的

• 非負三角多項式の錐の境界を代数幾何学的観点から特徴づける。
• この境界が、判別形式によって定義される既約代数的超曲面に含まれることを確立する。
• 結果式と対称多項式を用いて、境界の明示的代数的記述を提供する。
• 境界に関連する判別形式の既約性を証明し、代数的最小性を保証する。
• 多項式の係数から三角モーメントへの関連二次写像を通じて、単値多項式理論と問題を結びつける。

提案手法

• 非負三角多項式 $ T(t) $ を複素多項式 $ X(e^{it}) $ の絶対値の二乗として表す。すなわち $ T(t) = |X(e^{it})|^2 $ とし、正規化 $ x_0 > 0 $ の下で一意性を保証する。
• 係数空間 $ \mathbb{R}^+ \times \mathbb{C}^n $ から三角多項式空間への二次写像 $ \Phi $ を定義し、$ x $ を $ y $ にマッピングする。ここで $ y_m = \sum_{k=0}^{n-m} \overline{x}_k x_{k+m} $ である。
• 非負性の条件をこの写像の像として表現し、境界は写像 $ \Phi $ のヤコビアン行列式の零点集合に対応する。
• 関連多項式 $ Y(z) $ の結果式と判別式を用いて超曲面を定義し、特に $ \operatorname{Dis}_n(Y) = 0 $ とする。
• 対称関数論および初等対称多項式の性質を用いて、$ \mathbb{C} $ 上での判別形式の既約性を証明する。
• 複素係数を実部と虚部に分解することで、問題を実代数的設定に翻訳し、既約性を保存する。

実験結果

リサーチクエスチョン

• RQ1 次数 $ n $ の非負三角多項式の錐の境界の代数的構造は何か？
• RQ2 結果式や判別式といった代数的不変量を用いて、境界を明示的に記述できるか？
• RQ3 境界を定義する超曲面は $ \mathbb{C} $ 上で既約か？
• RQ4 多項式係数から三角モーメントへの二次写像 $ \Phi $ は非負性条件とどのように関係するか？
• RQ5 ヤコビアン行列式は非負錐の境界を特徴づける上で果たす役割は何か？

主な発見

• 次数 $ n $ の非負三角多項式の錐の境界は、判別式 $ \operatorname{Dis}_n(Y) $ の消滅によって定義される既約代数的超曲面に含まれる。
• 判別式 $ \operatorname{Dis}_n(Y) $ は $ \mathbb{C} $ 上で既約であるため、境界は低次元の代数的成分に分解できない。
• $ n=1 $ の場合、境界は $ 4(y_0^2 - |y_1|^2) = 0 $ で定義され、$ \mathbb{R}^3 $ 内の二次錐に対応する。
• $ n=2 $ の場合、境界は係数 $ y_0, y_1, y_2, \overline{y}_1, \overline{y}_2 $ に関して次数6の既約多項式で定義され、明示的に計算された同次形式（次数6）として得られる。
• 境界は写像 $ \Phi $ のヤコビアン行列式の零点集合の像上に位置し、その代数的性質を裏付ける。
• 判別形式 $ \operatorname{Dis}_n(Y) $ は複素共役に関して不変であり、$ \mathbb{C} $-線形同型写像を通じて実形式 $ \operatorname{Dis}_{n,\mathbb{R}} $ に変換され、既約性が保存される。