[論文レビュー] Compatible polynomials and edgewise subdivisions

Madeleine Leander|arXiv (Cornell University)|May 17, 2016

Advanced Numerical Analysis Techniques参考文献 4被引用数 6

ひとこと要約

この論文は、相性の良い多項式を用いた新しい枠組みを導入し、$(n-1)$-単体の$r$番目のエッジワイズ分割の局所$h$-多項式がすべて実根を持つことを証明する。$\{0,1,x\}$の成分をもつ行列の再帰を用いて、制限付きスミルノフ語上の上昇生成多項式をモデル化することで、$2\times2$部分行列の入れ子性質を通じて実根性の十分条件を確立し、アタナシアディスが提起した疑問に答えている。

ABSTRACT

In this paper we answer a question posed by C. A. Athanasiadis. Namely, we prove that the local $h$-polynomial of the $r$th edgewise subdivision of the $(n-1)$-dimensional simplex $2^V$ has only real zeros. In doing so we find a tool, using compatible polynomials, that can be used to check if polynomials in certain types of families of polynomials have only real zeros.

研究の動機と目的

• C. A. アタナシアディスが提起した、$(n-1)$-単体の$r$番目のエッジワイズ分割の局所$h$-多項式の実根性に関する疑問を解決すること。
• 組合せ的族における多項式の実根性を検証する一般化された手法を構築すること。
• $\{0,1,x\}$の成分をもつ行列のうち、線形結合によって実根性を保つようなクラスを同定すること。
• 特に一般化されたスミルノフ語統計にまで、相性の良い多項式技法の適用範囲を拡張すること。

提案手法

• $\mathcal{SW}(n,r)$ を、$\{0,1,\dots,r-1\}$ 上の長さ$n+1$のスミルノフ語の集合とし、$w_0 = w_n = 0$ かつ隣接する等しい文字が存在しないものとする。
• 局所$h$-多項式を $l_V((2^V)^{\langle r\rangle},x) = \sum_{w \in \mathcal{SW}(n,r)} x^{\text{asc}(w)}$ と表現する。ここで $\text{asc}(w)$ は上昇の数を数える。
• 補助的多項式 $E_{r,n}^i = \sum_{w \in \mathcal{SW}'(n,r), w_n = i} x^{\text{asc}(w)}$ を導入する。ここで $\mathcal{SW}'(n,r)$ は $w_n = 0$ の制約を除いたものである。
• 再帰関係を導出する：$E_{r,n}^i = \sum_{h=0}^{i-1} x E_{r,n-1}^h + \sum_{h=i+1}^{r-1} E_{r,n-1}^h$。これはステップ$n$の値を$n-1$の値に結びつける。
• 再帰を行列作用としてモデル化する：$\mathbf{E}_n = A \cdot \mathbf{E}_{n-1}$。ここで $A$ は $\{0,1,x\}$ の成分をもつ $r \times r$ 行列である。
• 実根性の十分条件を確立する：もし行列 $A$ のすべての $2\times2$ 部分行列が特定の入れ子性不等式を満たしていれば、多項式 $E_{r,n}^i$ は実根を持つ。

実験結果

リサーチクエスチョン

• RQ1 $(n-1)$-単体の$r$番目のエッジワイズ分割の局所$h$-多項式はすべて実根を持つのか？
• RQ2 相性の良い多項式技法は、より広範な組合せ的多項式族における実根性の証明に一般化可能か？
• RQ3 $\{0,1,x\}$ の成分をもつ行列が、その関連する線形再帰が実根性を保つために満たすべき構造的条件は何か？
• RQ4 一般化されたスミルノフ語（距離制約 $|w_j - w_{j-1}| > \gamma_i$ が $w_j = i$ のとき成り立つ）の上昇数を数える多項式の族は、この行列ベースの基準によって実根を持つのか？
• RQ5 $\{0,1,x\}$-行列枠組みを超えて、入れ子性を保つ行列のクラスを完全に特徴づけられるか？

主な発見

• $(n-1)$-単体の$r$番目のエッジワイズ分割の局所$h$-多項式はすべて実根を持つ。これはアタナシアディスの質問1に対する肯定的解決である。
• $\mathcal{SW}(n,r)$ に属する語の上昇数の生成多項式は実根を持つ。これは $E_{r,n}^0$ に等しい。
• 線形再帰によって定義される多項式族の実根性の十分条件を、再帰行列の $2\times2$ 部分行列の入れ子性によって確立した。
• 多項式 $E_{r,n}^i$ の再帰を記述する行列 $A$ は、すべての $2\times2$ 部分行列が入れ子性を保つ条件を満たしており、その結果多項式は実根を持つ。
• $\{0,1,x\}$-行列のうち、1が右上にフェラーズ盤を形成し、$x$ が左下にフェラーズ盤を形成するような行列は、実根性を保つ。このような行列は実根性を保つ。
• 距離制約 $|w_j - w_{j-1}| > \gamma_i$ が $w_j = i$ のとき成り立つ一般化されたスミルノフ語に対しても、結果は拡張可能であり、その上昇生成多項式も実根を持つことが示された。