[論文レビュー] On the problem Ax=\lambda Bx in max algebra: every system of intervals is a spectrum

Sergeĭ Sergeev|arXiv (Cornell University)|Jan 22, 2010

Polynomial and algebraic computation参考文献 11被引用数 1

ひとこと要約

この論文は、任意の有限個の実数区間および孤立点の集合が、二重側max代数固有値問題 $A \otimes x = \lambda \otimes B \otimes x$ のスペクトルとして実現可能であることを確立している。区間の端点と中点を用いて明示的な行列 $A$ と $B$ を構築することで、max代数的スパンとキャンセル則を用いた構成的証明により、スペクトルが与えられた区間系と正確に一致することを示し、max代数におけるスペクトル集合の一般性を示している。

ABSTRACT

We consider the two-sided eigenproblem Ax=\lambda Bx over max algebra. It is shown that any finite system of real intervals and points can be represented as spectrum of this eigenproblem.

研究の動機と目的

• 任意の有限個の実数区間および孤立点の集合が、二重側max代数固有値問題 $A \otimes x = \lambda \otimes B \otimes x$ のスペクトルとして実現可能であることを示すこと。
• 任意の指定された有限個の区間および点の合併集合と一致するように、行列 $A$ と $B$ を構成的に構築する方法を提供すること。
• max代数におけるスペクトル集合の理解を拡張し、それらが任意の有限個の区間の合併として取り得ることを示すこと。これは、古典的線形代数におけるより制限されたスペクトルと対照的である。
• 特にスケジューリングや制御の分野におけるパrametricシステムの文脈において、max代数におけるスペクトル構造の豊かさと一般性を確認すること。

提案手法

• 区間 $m$ 個について、端点 $a_i, c_i$ および中点 $b_i = (a_i + c_i)/2$ を用いて、行列 $A, B \in \mathbb{R}^{2 \times 3m}$ を構築する。
• 行列 $A$ と $B$ の要素を、max代数的スパンとキャンセル則によるスペクトル解析が可能になるように、区間の境界を符号化する形に定義する。
• 等価性 $A \otimes x = \lambda \otimes B \otimes x \Leftrightarrow C(\lambda) \otimes x = D \otimes y$ を用い、$C(\lambda)$ と $D$ をブロック行列とmaxプラス恒等式により定義する。
• 定理2.1を適用し、$T(y,z)$ 関数を用いて成分ごとの差のargminを計算することで、max代数的スパンへの属性を検証する。
• 各 $\lambda \in [a_i, c_i]$ に対して、$\text{span}_\oplus(D)$ および $\text{span}_\oplus(C(\lambda))$ の両方に属する特定のベクトル $z_\lambda$ を構築し、$\lambda$ がスペクトルに属することを証明する。
• キャンセル則 (3) を用いて、区間の合併集合の外側の $\lambda$ に対しては非自明な解が存在しないことを示し、スペクトルが正確に指定された区間系と一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限個の実数区間および点の集合が、二重側max代数固有値問題としてスペクトルとして実現可能か？
• RQ2 指定されたスペクトル集合を生成するため、行列 $A$ と $B$ が満たすべき構造的性質は何か？
• RQ3 二重側問題 $A \otimes x = \lambda \otimes B \otimes x$ のスペクトルを、任意の有限個の区間の合併に合わせて調整するにはどうすればよいか？
• RQ4 二重側問題のスペクトルは、非連結であったり、区間と孤立点を併せ持つことができるか？

主な発見

• 二重側max代数固有値問題 $A \otimes x = \lambda \otimes B \otimes x$ のスペクトル $\sigma(A,B)$ は、任意の有限個の実数区間および孤立点の合併として取り得る。
• 任意の指定された有限個の区間 $[a_i, c_i]$ に対して、行列 $A$ と $B$ を明示的に構築でき、$\sigma(A,B) = \bigcup_{i=1}^m [a_i, c_i]$ が成り立つ。
• 構成法では、区間の端点 $a_i, c_i$ および中点 $b_i = (a_i + c_i)/2$ を用い、$3m$ 列にわたりブロック形式で $A$ と $B$ の要素を定義する。
• 各 $\lambda \in [a_i, c_i]$ に対して、$\text{span}_\oplus(D)$ および $\text{span}_\oplus(C(\lambda))$ の両方に属する特定の解ベクトル $z_\lambda$ を構築し、$\lambda$ がスペクトルに属することを証明する。
• 区間の合併集合の外側の $\lambda$ に対しては、キャンセル則と成分ごとの比較により、非自明な解が存在しないことが示され、スペクトルが正確に指定された集合と一致することが証明される。
• この結果により、max代数におけるスペクトル集合が単一の点や連結区間に制限されず、任意の有限個の区間の合併として取り得ることを確認し、二重側固有値問題の表現力の高さを示している。