[論文レビュー] Characterizing matrix monotonicity of fixed order on general sets

Otte Heinävaara|arXiv (Cornell University)|Jun 14, 2019

Mathematical Inequalities and Applications参考文献 16被引用数 4

ひとこと要約

本稿は、高階差分商を用いて、一般の $ℝ$ の部分集合上で $n$-単調および $n$-凸関数の新たな特徴付けを提供し、Loewner や Dobsch、Donoghue の古典的結果を統一・拡張する。主な貢献は、任意の集合上での $n$-単調性の必要十分条件である：すべての $1 \leq k \leq n$ および $q \in \mathbb{C}_{k-1}[x]$ に対して、$fq^2$ の $2k-1$ 階差分商の非負性。また、凸包への拡張が常に可能でないことを示す鋭い反例も提示している。

ABSTRACT

We give new characterizations for matrix monotonicity and convexity of fixed order which connects previous characterizations by Loewner, Dobsch, Donoghue, Kraus and Bendat--Sherman. The ideas introduced are then used to characterize matrix monotone functions of arbitrary order on general subsets of the real line.

研究の動機と目的

• 高階差分商を用いて、$n$-単調および $n$-凸関数の古典的特徴付けを統一・一般化すること。
• $n$-単調性の理論を区間から $ℝ$ の任意の部分集合へと拡張し、文献における空白を埋めること。
• 一般集合上でも $n$-単調性が局所的性質であることを確立すること、特に定義域が区間でない場合でも同様に成り立つこと。
• 有限集合上での $n$-単調関数がその凸包に常に拡張可能でないことを示す鋭い反例を提供すること。

提案手法

• 関数 $f$ が集合 $F$ 上で定義され、$q$ が次数 $k-1$ の多項式であるとき、$fq^2$ の $2k-1$ 階差分商を用いた $n$-単調性の新たな特徴付けを導入すること。
• 差分商のペアノ核表現を用いて、新規特徴付けと既存の行列ベースの特徴付けを結びつけること。
• 集合 $F$ 上での $n$-単調性が、すべての $1 \leq k \leq n$ およびすべての相異なる $x_i \in F$ に対して、$[x_0, \dots, x_{2k-1}]_{fq^2} \geq 0$ であることと同値であることを証明すること。
• 次数 $n-1$ の有理関数 $r_1$ と $r_2$ を用いた反例を構成し、$2n$ 個の点で一致するがそれ以外では異なることから、$f$ が凸包の点に拡張可能でないことを示すこと。
• $n$-単調性が $k = 2n-1$ の $k$-トーン性を意味することを利用し、正則性および非拡張可能性に関する結果を導出すること。
• スケーリング下での三重差分商の挙動を用いて、特徴付けを応用し、非有界集合上で $2$-単調関数がアフィンでなければならないことを証明すること。

実験結果

リサーチクエスチョン

• RQ1 一般の $ℝ$ の部分集合上で $n$-単調性は、$fq^2$ の差分商に関する条件によって特徴付けられるか？
• RQ2 集合が区間でない場合でも、$n$-単調性は任意の集合上で局所的性質であるか？
• RQ3 有限集合上で $n$-単調な関数は、その凸包に常に $n$-単調性を保ったまま拡張可能か？
• RQ4 一般集合上での $n$-単調性が示唆する正確な正則性は何か？ そしてそれは差分商とどのように関係するか？
• RQ5 定義域にどのような条件下で $n$-単調性が関数がアフィンでなければならないことを強いるか？

主な発見

• 関数 $f:F\to\mathbb{R}$ が $n$-単調であるための必要十分条件は、すべての $1 \leq k \leq n$、すべての相異なる $x_i \in F$、およびすべての $q \in \mathbb{C}_{k-1}[x]$ に対して、$[x_0,\dots,x_{2k-1}]_{fq^2} \geq 0$ が成り立つことである。
• $\#F > 2n$ であれば、条件の検証は $k = n$ のみで十分であり、大規模な有限集合では検証が簡略化される。
• $n$-単調性の理論は局所的である：$f$ が重なり合う区間上で $n$-単調であれば、それらの和集合上でも $n$-単調である。定義域が区間でない場合でも同様に成り立つ。
• ある有限集合 $F$ と $n$-単調関数 $f:F\to\mathbb{R}$ が存在し、$ℝ⁡(F)\setminus F$ の任意の点に拡張できないことが示され、凸包への拡張が常に可能でないことが示された。
• $F$ が非有界で $f:F\to\mathbb{R}$ が $2$-単調であれば、スケーリング下での三重差分商の消滅により $f$ はアフィンでなければならない。
• $n$-単調性は $f$ が $(2n-1)$-トーンであることを意味し、これはすべての $2n-1$ 階差分商が非負であることを意味する。これにより $f \in C^{2n-3}$ が導かれる。