[論文レビュー] Max-Min Representation of Piecewise Linear Functions

Sergeĭ Ovchinnikov|ArXiv.org|Sep 3, 2000

Computational Geometry and Mesh Generation参考文献 3被引用数 77

ひとこと要約

本稿では、ℝᵈ 内の閉凸領域上の任意の区分線形関数が、超平面配置によって定義される領域上の度合い構造を用いて、その線形成分の Max-Min 多項式として表現可能であることを確立している。主な貢献は、このような関数がその線形成分の最大値と最小値の有限合成として表現可能であることを示す構成的表現定理である。

ABSTRACT

It is shown that a piecewise linear function can be represented as a Max-Min polynomial of its linear components.

研究の動機と目的

• 閉凸領域上の区分線形関数の標準的表現を、その線形成分の max-min 組み合わせを用いて確立すること。
• 関数の成分によって誘導される超平面配置の領域に、度合い構造を定義すること。
• 任意の点における関数値が、その領域内で選択された線形成分の最小値の最大値に等しいことを証明すること。
• ベクトル値区分線形関数への表現の拡張を示し、非凸領域における制限を議論すること。
• 凸性が Max-Min 表現が成立するために不可欠であることを示すこと。

提案手法

• 区分線形関数の異なる線形成分の等値集合から超平面配置 ℋ を定義する。
• 線形成分が線形的に順序付けられる領域 𝒯 に凸領域の内部を分割する。
• S(P, Q) を領域 P と Q を分離する超平面の集合とするとき、距離関数 d(P, Q) = |S(P, Q)| を導入する。
• 度合い構造を用いて、各領域 P に対してインデックス集合の族 {S_P} を定義し、f(x) = ⋁_P ⋀_{i∈S_P} g_i(x) が成り立つようにする。
• すべての領域固有の最小値の点毎の最大値としてグローバル関数 F(x) を構成し、F ≡ f が稠密部分集合上で成り立つことを示す。
• 連続性と稠密性を活用して、F ≡ f の等式を領域 Γ 全体に拡張する。

実験結果

リサーチクエスチョン

• RQ1 閉凸領域 Γ ⊂ ℝᵈ 上の任意の区分線形関数は、その線形成分の Max-Min 多項式として表現可能か？
• RQ2 線形成分の領域別順序付けに内在する幾何学的・位相的構造は何か？
• RQ3 領域の配置における距離関数は、関数的表現とどのように関係するか？
• RQ4 ベクトル値区分線形関数に対しても Max-Min 表現は有効か？
• RQ5 Max-Min 表現が成立するための条件として、凸性などの必要条件は何か？

主な発見

• 閉凸領域 Γ ⊂ ℝᵈ 上の任意の区分線形関数 f は、f(x) = ⋁_{j∈J} ⋀_{i∈S_j} g_i(x) の形に表現可能であり、{g_1,…,g_n} は f の異なる線形成分である。
• 表現は、成分の等値によって誘導される超平面配置の領域における度合い構造を用いて構成され、d(P,Q) は分離する超平面の数を数える。
• 関数 f は領域上での最小値の最大値に等しく、稠密性と連続性により、この等式は領域全体に連続的に拡張可能である。
• 結果は、各成分 f_k がその線形成分の Max-Min 多項式として表現可能なベクトル値区分線形関数 f: Γ → ℝ^m に拡張可能である。
• Γ の凸性は不可欠である：非凸領域では Max-Min 表現が成立しない反例が存在する。
• 区分多項式関数への表現の拡張は不可能であり、f(x) = 0 (x ≤ 0) および f(x) = x² (x > 0) に対する反例によって示されている。