[論文レビュー] A tropical analog of Descartes' rule of signs

Jens Forsgård, Dmitry Novikov+1 more|arXiv (Cornell University)|Oct 12, 2015

Polynomial and algebraic computation参考文献 8被引用数 4

ひとこと要約

本稿では、係数スケーリング $\lambda_{k,d} = e^{-k^2}$ を用いて本質的トロピカル根を定義することにより、デカルトの符号の法則のトロピカル版を導入し、任意の実係数多項式の実根の個数がそのスケーリング版の本質的トロピカル根の個数によって上から抑えられることを証明する。主な貢献は、次数 4 まで検証済みの同様のスケーリングが根の個数の上限を保存することを示す予想であり、これはゼロ縮小列に関するカーリン問題を進展させる新しいトロピカル枠組みを提供する。

ABSTRACT

We prove that for any degree d, there exist (families of) finite sequences a_0, a_1,..., a_d of positive numbers such that, for any real polynomial P of degree d, the number of its real roots is less than or equal to the number of the so-called essential tropical roots of the polynomial obtained from P by multiplication of its coefficients by a_0, a_1,... a_d respectively. In particular, for any real univariate polynomial P of degree d with non-vanishing constant term, we conjecture that one can take a_k = e^{-k^2}, k = 0, ... , d. The latter claim can be thought of as a tropical generalization of Descartes's rule of signs. We settle this conjecture up to degree 4 as well as a weaker statement for arbitrary real polynomials. Additionally we describe an application of the latter conjecture to the classical Karlin problem on zero-diminishing sequences.

研究の動機と目的

• 古典的法則が不成立となる場合に、実根の個数に対して非自明な上界を与えるトロピカル版のデカルトの符号の法則を開発すること。
• 係数を $\lambda_{k,d} = e^{-k^2}$ でスケーリングすることにより、トロピカル根解析を通じて実根の個数の保存または上限が保たれるかどうかを調査すること。
• 提案された枠組みを、特に $\{e^{-k^\alpha}\}$ のような急速に減少する列に対して、古典的カーリン問題（ゼロ縮小列、ZDS）に適用すること。
• 特に $\alpha \geq 3$ の場合に、列が複素ゼロ縮小列（CZDS）であるための条件を確立すること。
• すべてのインデックスがトロピカルインデックスである（つまり、$Q_d(x)$ が符号に依存しない実根を持つ）という条件が、スケーリング列 $\lambda$ が CZDS であることを示唆する、古典的およびトロピカル根概念の関連を明確にすること。

提案手法

• ある $x \geq 0$ に対して $|a_k|x^k \geq \max_{i \neq k} |a_i|x^i$ を満たすインデックスをトロピカルインデックスとして定義し、中心インデックスの一般化を行う。
• トロピカル根に対応する角を持つ多項式 $tr_P(\xi) = \max_{0 \leq i \leq d} (i\xi + \ln|a_i|)$ を導入する。
• 係数列の符号の入れ替えとトロピカルインデックス対の関係に基づいて、本質的トロピカル根を定義する。
• 対数係数プロットのレジェンドル変換および最小の凹関数上界を用いて、トロピカル根およびその重複度を特徴付ける。
• 特に三角行列 $\lambda^*$ を用いた実根からトロピカル根への保存概念を適用し、トロピカル根の個数と実根の個数の関係を関係付ける。
• 次のような含意の鎖を確立する：$Q_d(x) = \sum_{k=0}^d \frac{\lambda_k}{\lambda^*_{k,d}} x^k$ が符号に依存しない実根を持つならば、$\lambda$ は次数 $d$ における CZDS である。

実験結果

リサーチクエスチョン

• RQ1 係数スケーリングを施した後、多項式の実根の個数が本質的トロピカル根の個数によって上から抑えられるような、デカルトの符号の法則のトロピカル版を定式化できるか？
• RQ2 $\lambda_{k,d} = e^{-k^2}$ は有効な実根からトロピカル根への保存関数であり、本質的トロピカル根の個数が実根の個数を上から抑えることを保証するか？
• RQ3 $\{e^{-k^\alpha}\}_{k=0}^\infty$ が複素ゼロ縮小列（CZDS）であるのはどの $\alpha$ に対してか？
• RQ4 すべてのインデックスがトロピカルインデックスである（すなわち、$Q_d(x)$ が符号に依存しない実根を持つ）という条件は、スケーリング列 $\lambda$ が CZDS であることを示唆するか？
• RQ5 急速に減少する列に対して、トロピカル枠組みを用いて CZDS であるための新たな十分条件を導出できるか？

主な発見

• 次数 4 までで、$\lambda_{k,d} = e^{-k^2}$ がデカルトの符号の法則のトロピカル版をもたらすという予想が検証された。
• $\alpha > 3$ の場合、$\{e^{-k^\alpha}\}_{k=0}^\infty$ は、トロピカル根保存枠組みを用いて複素ゼロ縮小列（CZDS）であることが示された。
• $Q_d(x) = \sum_{k=0}^d \frac{\lambda_k}{\lambda^*_{k,d}} x^k$ が符号に依存しない実根を持つならば、列 $\lambda$ は次数 $d$ において CZDS である。これは CZDS に属するための十分条件を提供する。
• 重複度を数えるとき、$tr_P(\xi)$ のトロピカル根の個数は、トロピカルインデックスの個数より最大で1つ少ない。これは古典的実根の個数の上限と類似している。
• トロピカル根の重複度は、$tr_P(\xi)$ の最大値を達成する項の数から1を引いたものとして定義され、標準的なトロピカル幾何学とは異なるが、実根の個数の解析に特化している。
• $\alpha > 2.608\dots$ の場合、列 $\{e^{-k^\alpha}\}$ は定理32の条件を満たすことが示唆され、$\alpha \geq 3$ という境界が鋭くない可能性がある。ただし、予想は未解決のままである。