[論文レビュー] Generalized Eigenvectors and Rayleigh bounds for tropical algebraic eigenvalues

Dariush Kiani, Hanieh Tavakolipour|arXiv (Cornell University)|Feb 26, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

この論文は、トロピカル代数固有値に対応する一般化トロピカル固有ベクトルを定義し、任意の固有値に対する存在を証明し、低コストの構築アルゴリズムを提供し、トロピカルRayleigh商の上限をトロピカル固有値に対して確立する。

ABSTRACT

In this paper, we review the eigenpair problem in the context of tropical algebra. An important fact that has been largely overlooked in spectral theory of tropical algebra is that the tropical algebraic eigenvalues, which are obtained from the characteristic polynomial, may not correspond to any tropical eigenvector satisfying the standard eigenvalue-eigenvector equation. To resolve this, we use the tropical numerical range and define a generalized tropical eigenvalue-eigenvector relation. We define any non-zero vector satisfying this equation as a generalized tropical eigenvector. We show that a generalized tropical eigenvector always exists for any given tropical algebraic eigenvalue. We propose a computationally inexpensive method for the construction of these vectors. Additionally, we prove an upper bound for the algebraic eigenvalues of a tropical matrix, using the tropical Rayleigh quotients.

研究の動機と目的

• トロピカル代数でトロピカル代数固有値が標準の固有ベクトルを持たない場合があることを動機づける。
• トロピカル数値範囲を用いて、トロピカル代数固有値に対応する一般化トロピカル固有ベクトルの概念を導入する。
• 一般化トロピカル固有ベクトルを構築する計算的に安価な方法を提案する。
• 対称性の仮定なしに成り立つトロピカル代数固有値のためのトロピカルRayleigh商に基づく上界を確立する。

提案手法

• 一般化固有ベクトルを動機づけるために、トロピカル代数、トロピカル多項式、トロピカル固有値をレビューする。
• 方程式 x^T ⊗ A ⊗ x = λ ⊗ x^T ⊗ x を介して一般化トロピカル固有ベクトルを定義し、各代数固有値に対する存在を示す。
• 一般化トロピカル固有ベクトルを構築する低複雑さの明示的公式を導出する（定理5.1–5.2；図1）。
• トロピカルRayleigh商フレームワークを導入・適用し、トロピカル代数固有値の上界を得る（定理6.4）。
• 一般化固有ベクトルの構築とトロピカル数値範囲およびスケール形との関連を示す証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 行矩陣 A ∈ R_max^{n×n の任意のトロピカル代数固有値に対し、非平凡な一般化トロピカル固有ベクトルを関連付けることができるか。
• RQ2 トロピカル固有値に対応する一般化トロピカル固有ベクトルを効率的に構築するにはどうするか。
• RQ3 トロピカルRayleigh商によって得られるトロピカル代数固有値の界の性質はどうなり、これらの界は対称性を必要とするか。

主な発見

• 任意のトロピカル代数固有値に対して一般化トロピカル固有ベクトルが存在し、明示的に構築できる。
• 与えられたλに対してノルムゼロ（スケール形）の一般化トロピカル固有ベクトルを得る低複雑さのアルゴリズム。
• 明示的公式（定理5.1–5.2）は、行列の要素とλとの比較に基づく実用的な一般化トロピカル固有ベクトルの構築を提供する。
• トロピカルRayleigh商の界（定理6.4）は非対称なトロピカル行列にも適用され、λ_kに等しい一般化固有ベクトルの span の最小値を取る。
• 結果はトロピカル数値範囲、一般化固有ベクトル、およびRayleigh型界を結びつけ、トロピック設定における実用的なスペクトル解析を可能にする。