[論文レビュー] Eigenvalue problem for some special class of anti-triangular matrices

Hiroyuki Ochiai, Makiko Sasada+2 more|arXiv (Cornell University)|Mar 14, 2014

Matrix Theory and Algorithms参考文献 8被引用数 4

ひとこと要約

本稿では、固有値が対角成分によって明示的に決定される特別な反三角行列のクラスを導入し、固有値が対角成分の符号を交互にした形で与えられる。主な貢献は、この「反対角固有値性質」を有する行列を、確率測度を用いて特徴づけることであり、特に生成関数の枠組みを通じて、ベータ分布、負の二項分布、ポアソン分布と関連付ける。

ABSTRACT

We study the eigenvalue problem for some special class of anti-triangular matrices. Though the eigenvalue problem is quite classical, as far as we know, almost nothing is known about properties of eigenvalues for anti-triangular matrices. In this paper, we show that there is a nice class of anti-triangular matrices whose eigenvalues are given explicitly by their elements. Moreover, this class contains several interesting subclasses which we characterize in terms of probability measures. We also discuss the application of our main theorem to the study of interacting particle systems, which are stochastic processes studied in extensive literature.

研究の動機と目的

• 反三角行列に対して既知の固有値性質が乏しいという問題に対処し、固有値を明示的に計算可能なクラスを同定する。
• 対角成分の符号を交互にした形で固有値が与えられる反三角行列のクラスを特徴づける。
• このような行列と確率測度との関係、特に交換可能な系列およびポーヤのウームモデルの文脈における関連を確立する。
• 主な結果を相互作用粒子系に応用し、固有値解析を用いて収束速度の推定を行う。

提案手法

• 行列 X に対して「反対角固有値性質」を導入し、XG が (−1)^i x_ii を対角成分とする対角行列に相似であることを定義する。
• G^2 = I を満たす行列 G を用いて、下三角行列を反三角形形式に変換する。
• 生成関数 g(i) = x_ii / x_{i-1,i-1} を定義し、固有値条件を分析するための列 V_i(z) および Ṽ_i(z) の再帰的関係を導出する。
• 有理関数の恒等定理を用い、実区間上で成り立つ関数的恒等式を複素平面上に拡張する。
• 行列 A_g が空間 V_P(∞) に属するための関数 g のクラスを特徴づけ、唯一 G_t または恒等関数の形に限ることが示される。
• 得られたクラスを、生成関数 g を通じて既知の確率分布（ベータ分布、負の二項分布、ポアソン分布）と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 どの反三角行列のクラスに対して、固有値が対角成分の関数として明示的に表現可能か？
• RQ2 生成関数 g(i) にどのような条件を課すと、関連する行列 A_g が反対角固有値性質を有するか？
• RQ3 これらの行列は、ポーヤのウームモデルや交換可能な系列といった古典的確率モデルとどのように関連するか？
• RQ4 測度 ν がどのような条件を満たすと、行列 R̃_ν が空間 V_P(∞) に属するか？
• RQ5 反三角行列の固有値構造を用いて、相互作用粒子系における収束速度を解析できるか？

主な発見

• 下三角行列 T に対して t_ij = 1/(i+1) (i ≥ j) を満たすとき、行列 TG の固有値は明示的に (1, -1/2, 1/3, -1/4, ..., (-1)^n/(n+1)) として与えられる。
• 同様に、s_ij = binom(i,j)/2^i (i ≥ j) を満たす行列 SG に対しては、固有値が (1, -1/2, 1/4, -1/8, ..., (-1)^n/2^n) である。
• 行列 X が反対角固有値性質を有するのは、その生成関数 g(i) が g(i) = α G_t(i) または g(i) = α i (ある t > 0 および α > 0) を満たすとき、かつそのときに限る。
• この性質を有する行列のクラスは、パラメータ (t,t) のベータ分布から導かれる行列の集合にちょうど一致する。これは t = ∞ の極限の場合も含む。
• 測度 ν に対して、行列 R̃_ν が V_P(∞) に属するのは、ν が負の二項分布またはポアソン分布であるとき、かつそのときに限る。g_ν を用いた明示的パrameter化が与えられる。
• すべてのこのような場合において、重要な恒等式 (3.3) が成り立ち、固有値特徴づけの有効性が保証される。