[論文レビュー] On Fundamental Operations for Multimodular Functions

Satoko Moriguchi, Kazuo Murota|arXiv (Cornell University)|May 11, 2018

Complexity and Algorithms in Graphs参考文献 19被引用数 3

ひとこと要約

本稿は、離散凸解析における基本的演算（射影、畳み込み、置換、スケーリングなど）における多モジュラー関数の安定性を調査する。射影に関しては、連続する変数集合上で最小化する場合に多モジュラー性が保たれることを示すが、畳み込みに関しては、可分凸関数を含んでも多モジュラー性が保たれないことから、L♮-凸関数とは顕著な相違を示す。

ABSTRACT

Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the properties of multimodular functions with respect to fundamental operations such as permutation and scaling of variables, projection (partial minimization) and convolution. It is shown, in particular, that the class of multimodular functions is stable under projection under a certain natural condition on the variables to be minimized, and the convolution of two multimodular functions is not necessarily multimodular, even in the special case of the convolution of a multimodular function with a separable convex function.

研究の動機と目的

• 置換、スケーリング、射影、畳み込みなどの基本的演算における多モジュラー関数の挙動を体系的かつ分析すること。
• 動的計画法や最適化に中心的な役割を果たす演算における多モジュラー関数の安定性を明確化すること。
• 多モジュラー関数の閉包性質を、特にL♮-凸関数と比較すること。
• キューイング理論、離散イベントシステム、オペレーションズ・リサーチにおける多モジュラー関数の使用に関する包括的リファレンスを提供すること。
• 多モジュラー関数の畳み込みが多モジュラー性を保つかどうかという未解決の問題を、反例と理論的分析を用いて解消すること。

提案手法

• 関数 f が多モジュラーであるための必要十分条件として、g(x₀,x₁,…,xₙ) = f(x₁−x₀,…,xₙ−xₙ₋₁) がL♮-凸であることを用いる。
• 置換、符号反転、スケーリングなどの変数変換を用いて演算を分析し、関連関数のL♮-凸性を用いて特定の変換における不変性を証明する。
• 射影（部分最小化）に関しては、L♮-凸表現の構造を用いて、連続する変数ブロック上で最小化する場合に多モジュラー性が保たれることを確立する。
• 畳み込みに関しては、2つの多モジュラー関数の畳み込みや、多モジュラー関数と可分凸関数の畳み込みが多モジュラーでない例を構成する反例を提示する。
• 集合のミンコフスキー和と関連する指示関数を用いて、L♮-凸性の違反を通じて畳み込みにおける多モジュラー性の喪失を示す。
• 理論的結果は、明示的な例と他の離散凸関数クラスの既知の閉包性質との比較によって裏付けられる。

実験結果

リサーチクエスチョン

• RQ1 多モジュラー関数のクラスは射影（部分最小化）に関して閉じているか。どのような条件下で閉じているか。
• RQ2 2つの多モジュラー関数の畳み込みは多モジュラー性を保つのか。
• RQ3 多モジュラー関数と可分凸関数の畳み込みは多モジュラー性を保つのか。
• RQ4 多モジュラー関数の閉包性質は、L♮-凸、M♮-凸、および他の離散凸関数クラスと比べてどのように異なるか。
• RQ5 変数の順序付けと連続する変数の最小化が、多モジュラー性の保存に果たす役割は何か。

主な発見

• 変数の置換に関して、関連するL♮-凸関数の変数再順序付けにおける不変性により、多モジュラー性が保たれる。
• スケーリング係数が正の整数である限り、変数のスケーリングは多モジュラー性を保つ。これはL♮-凸表現の不変性に起因する。
• 連続する変数ブロック上で最小化する射影に関しては、多モジュラー性が保たれる。これは命題4.3で形式的に示されている。
• 2つの多モジュラー関数の畳み込みは、多モジュラーでないことがある。これは、2つの多モジュラー集合のミンコフスキー和が多モジュラーでない例によって示された。
• 多モジュラー関数と可分凸関数の畳み込みですら、多モジュラーでないことがある。これはL♮-凸性からの直感とは対照的である。
• 本稿では、複数の離散凸関数クラスにおける閉包性質を要約した完全な比較表（表1）を提供しており、多モジュラー関数の畳み込みにおける特異な挙動を強調している。