[論文レビュー] Cyclic classes and attraction cones in max algebra

Sergeĭ Sergeev|ArXiv.org|Mar 23, 2009

Advanced Algebra and Logic参考文献 33被引用数 3

ひとこと要約

この論文は、マトリクスの平方化と可視化スケーリングを用いて、最大代数における吸引錐と最終的周期を計算する効率的なアルゴリズムを導入する。臨界グラフの巡回クラスと、可視化されたマトリクスにおける巡回型の対称性を活用することで、$O(n^3 /\log n)$ の計算量を達成し、非可約な最大代数的マトリクスのべき乗および軌道における周期的挙動を高速に計算可能にする。

ABSTRACT

In max algebra it is well-known that the sequence A^k, with A an irreducible square matrix, becomes periodic at sufficiently large k. This raises a number of questions on the periodic regime of A^k and A^k x, for a given vector x. Also, this leads to the concept of attraction cones in max algebra, by which we mean sets of vectors whose ultimate orbit period does not exceed a given number. This paper shows that some of these questions can be solved by matrix squaring (A,A^2,A^4, ...), analogously to recent findings concerning the orbit period in max-min algebra. Hence the computational complexity of such problems is of the order O(n^3 log n). The main idea is to apply an appropriate diagonal similarity scaling A -> X^{-1}AX, called visualization scaling, and to study the role of cyclic classes of the critical graph. For powers of a visualized matrix in the periodic regime, we observe remarkable symmetry described by circulants and their rectangular generalizations. We exploit this symmetry to derive a concise system of equations for attraction cpne, and we present an algorithm which computes the coefficients of the system.

研究の動機と目的

• 非可約なマトリクスに対して、最大代数における行列のべき乗 $A^k$ および軌道 $A^k \otimes x$ の最終的周期的挙動を特徴づけること。
• 吸引錐（最終周期が与えられた上限を超えないベクトルの集合）を定義し、計算すること。
• マトリクスの平方化と可視化スケーリングを用いて、周期的領域と軌道周期を計算的に効率よく特定する手法を開発すること。
• 特に巡回行列およびその長方形型一般化を含む、可視化されたマトリクスの対称性を活用し、吸引錐を特徴づける方程式系を導出すること。
• 臨界グラフが強く連結である場合に、吸引錐を定義する方程式系の係数を計算するアルゴリズムを提供すること。

提案手法

• すべての要素が最大サイクル幾何平均以下になるように、行列を対角的類似スケーリング（可視化スケーリング）で変換すること。
• 臨界グラフの巡回クラスを分析して、行列のべき乗における周期的構造と対称性を理解すること。
• マトリクスの平方化（$A, A^2, A^4, \dots$）を用いて、周期的領域を効率的に計算し、計算量を $O(n^3 \log n)$ に削減すること。
• 巡回行列およびその長方形型一般化を用いて、可視化されたマトリクスのべき乗の対称的構造を記述すること。
• 可視化されたマトリクスのべき乗の周期的対称性とブロック構造に基づき、吸引錐を特徴づける方程式系を導出すること。
• 強連結な臨界グラフの場合に、吸引錐を定義する方程式系の係数を計算するアルゴリズムを実装すること。

実験結果

リサーチクエスチョン

• RQ1 与えられたベクトル $x$ に対して、最大代数における $A^k \otimes x$ の最終的周期をどのように効率的に計算できるか？
• RQ2 最終的軌道周期が有界なベクトルの集合（吸引錐）を特定する際の計算量はどの程度か？
• RQ3 臨界グラフの巡回クラスは、行列のべき乗および軌道の周期的挙動にどのように影響するか？
• RQ4 可視化されたマトリクスの周期的べき乗に現れる対称性を活用して、吸引錐を特徴づける方程式系を導出できるか？
• RQ5 可視化スケーリングは、最大代数における周期的領域の解析を簡素化する役割を果たすか？

主な発見

• マトリクスの平方化を用いることで、$O(n^3 \log n)$ の時間で $A^k \otimes x$ の最終的周期を計算可能であり、最大最小代数における結果と類似する。
• 最大代数における吸引錐は、可視化されたマトリクスの周期的べき乗の巡回型対称性に基づいて導出された方程式系によって特徴づけられる。
• 可視化されたマトリクスでは、周期的べき乗が巡回行列およびその長方形型一般化によって記述される構造的対称性を示す。
• 臨界グラフが強く連結である場合、吸引錐を定義する方程式系の係数をアルゴリズム的に計算可能である。
• 一時的時間 $T(A)$ は有界であり、この時間以降、$A^k$ は周期的領域に入り、その周期は臨界グラフの巡回性と等しい。
• 例では、$A^{128}$ と $A^{132}$ を用いて $r \geq T(A)$ の $A^r$ のブロックを計算し、$A^{132}$ が臨界サイクル長 $\gamma=6$ の倍数であるため、正しいブロック再構築が可能である。