[论文解读] 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

一句话总结

本文证明，任意有限个实数区间与孤立点的集合均可作为双侧最大代数特征值问题 $A \otimes x = \lambda \otimes B \otimes x$ 的谱实现。通过使用区间端点与中点显式构造矩阵 $A$ 与 $B$，作者利用最大代数张成与消去律的构造性证明，表明谱恰好匹配给定的区间系统，从而展示了最大代数中谱集的完全一般性。

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.

研究动机与目标

• 证明任意有限个实数区间与孤立点的集合均可作为双侧最大代数特征值问题 $A \otimes x = \lambda \otimes B \otimes x$ 的谱实现。
• 提供一种构造性方法，用于构建矩阵 $A$ 与 $B$，使其谱恰好匹配任意预设的有限个区间与点的并集。
• 通过证明谱集可为任意有限个区间的并集，扩展对最大代数中谱集的理解，与经典线性代数中谱集的更受限形式形成对比。
• 确认最大代数中谱结构的丰富性与一般性，尤其在参数化系统及调度与控制等应用背景下的表现。

提出的方法

• 使用 $m$ 个区间的端点 $a_i, c_i$ 与中点 $b_i = (a_i + c_i)/2$，在 $\mathbb{R}^{2 \times 3m}$ 中显式构造矩阵 $A, B$。
• 定义 $A$ 与 $B$，使其元素以一种可支持通过最大代数张成与消去律进行谱分析的方式编码区间边界。
• 利用等价关系 $A \otimes x = \lambda \otimes B \otimes x \Leftrightarrow C(\lambda) \otimes x = D \otimes y$，其中 $C(\lambda)$ 与 $D$ 通过分块矩阵与最大-加法恒等式定义。
• 应用定理 2.1 验证属于最大代数张成的成员资格，使用函数 $T(y,z)$ 计算分量差的最小值。
• 对每个 $\lambda \in [a_i, c_i]$，构造一个特定向量 $z_\lambda$，使其同时属于 $\text{span}_\oplus(D)$ 与 $\text{span}_\oplus(C(\lambda))$，从而证明 $\lambda$ 属于谱。
• 利用消去律 (3) 排除区间并集之外 $\lambda$ 的解，证明谱恰好为给定的区间系统。

实验结果

研究问题

• RQ1 任意有限个实数区间与点的集合是否均可作为双侧最大代数特征值问题的谱实现？
• RQ2 为使矩阵 $A$ 与 $B$ 产生预设的谱集，其必须满足哪些结构性质？
• RQ3 如何使 $A \otimes x = \lambda \otimes B \otimes x$ 的谱匹配任意有限个区间的并集？
• RQ4 双侧问题的谱是否可以不连通，或同时包含区间与孤立点？

主要发现

• 双侧最大代数特征值问题 $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$，以分块方式定义 $A$ 与 $B$ 在 $3m$ 列上的元素。
• 对于 $\lambda \in [a_i, c_i]$，构造了一个特定解向量 $z_\lambda$，其同时属于 $\text{span}_\oplus(D)$ 与 $\text{span}_\oplus(C(\lambda))$，从而证明 $\lambda$ 属于谱。
• 对于位于区间并集之外的 $\lambda$，通过消去律与分量比较可证明不存在非平凡解，从而证明谱恰好为预设集合。
• 该结果确认最大代数中的谱集不仅限于单点或连通区间，还可为任意有限个区间的并集，充分展示了双侧特征值问题的完整表达能力。