[論文レビュー] A tropical extremal problem with nonlinear objective function and linear inequality constraints

Nikolai Krivulin|arXiv (Cornell University)|Dec 26, 2012

Polynomial and algebraic computation参考文献 17被引用数 3

ひとこと要約

本稿では、非線形目的関数と線形不等式制約を伴う多次元トロピカル極値問題に対して、閉形式の解を初めて提示する。同問題を拡張された変数空間における線形不等式に再定式化することで、スペクトル半径とトレースに基づく恒等式を用いて正確な解を導出する。その有効性は、idempotent 半体 $ℝ_{'\max,+\u0027}$ 上の2次元数値例を通じて検証されている。

ABSTRACT

We consider a multidimensional extremal problem formulated in terms of tropical mathematics. The problem is to minimize a nonlinear objective function, which is defined on a finite-dimensional semimodule over an idempotent semifield, subject to linear inequality constraints. An efficient solution approach is developed which reduces the problem to that of solving a linear inequality with an extended set of unknown variables. We use the approach to obtain a complete solution to the problem in a closed form under quite general assumptions. To illustrate the obtained results, a two-dimensional problem is examined and its numerical solution is given.

研究の動機と目的

• トロピカル数学における非線形目的関数と線形不等式制約を伴う多次元極値問題に対して、完全で閉形式の解を構築すること。
• 従来の手法が部分的または反復的結果しか得られないのに対し、一般の仮定の下で直接的かつ反復的でない解を提供することで、既存の文献におけるギャップを埋めること。
• 非制約のトロピカル極値解を線形不等式制約を伴う設定に拡張すること。
• このような問題を解くための体系的アプローチを、行列トレース恒等式とスペクトル半径の計算に基づいて確立すること。
• $ℝ_{'\max,+\u0027}$ 半体上での2次元数値例を通じて、手法の有効性を詳細に検証すること。

提案手法

• 元の非線形トロピカル極値問題を、拡張された未知変数の集合を含む等価な線形不等式系に再定式化する。
• idempotent 半体の文脈における行列トレースの新しい二項恒等式を用いて、最適性の必要条件を導出する。
• スペクトル半径とトレースに基づく表現を用いて、目的関数の最適値を特徴付ける。
• 得られた線形不等式系の解集合を、行列のスター閉包作用素 $(\cdot)^*$ を用いて表現する。
• 解を、$\theta^{-1}A \oplus B$ の行列のスター閉包の列によって生成されるパラメトリックなベクトル族として導出する。ここで $\theta$ は最適値である。
• 代数的同値性により、解が非線形目的関数の最小化およびすべての線形不等式制約を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 非線形目的関数と線形不等式制約を伴うトロピカル極値問題に対して、完全な閉形式の解を導出可能か？
• RQ2 問題を等価な線形不等式系にどのように変換すれば、直接的な解法が可能になるか？
• RQ3 このような問題において、行列トレースとスペクトル半径が最適値を特徴付ける役割を果たすか？
• RQ4 一般の条件下で、提案手法が完全な解集合を生成するにはどのような条件が必要か？
• RQ5 有限次元のトロピカル設定において、解は明示的に構成可能であり、その妥当性はどのように検証できるか？

主な発見

• 最適値 $\theta$ は、$k=1$ から $n$ までの最大値として、行列積 $AB^{i_1}\cdots AB^{i_k}$ のトレースの $k$ 乗根に加え、$A$ のスペクトル半径を加えたもので与えられる。
• 解集合は、任意の正則ベクトル $\bm{u}$ に対して $\bm{x} = (\theta^{-1}A \oplus B)^* \bm{u}$ と表され、スター閉包作用素により実行可能性が保証される。
• 2次元の例では最適値が $\theta = 2$ であり、解はベクトル $\bm{x}_0 = \begin{pmatrix} 0 \\ 5 \end{pmatrix}$ によって生成される半直線上に存在する。
• 本手法は、非線形目的関数と線形制約を同時に処理でき、従来の手法が部分的または反復的結果しか得られなかったのに対し、完全な解を提供する。
• $B = \mathbb{0}$ の場合、既知の非制約問題の結果と整合的であり、理論的妥当性が確認される。
• 本手法は一般に、可逆的かつ線形に順序付けられた idempotent 半体に適用可能であり、特に $ℝ_{'\max,+\u0027}$ 半体が主要な具体例として提示される。