[論文レビュー] On the maximum rank of Toeplitz block matrices of blocks of a given pattern

Gunther Reißig|arXiv (Cornell University)|May 18, 2013

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

ひとこと要約

この論文は、ブロックが構造的条件を満たすブロック下三角Toeplitzブロック行列（非ゼロ要素の位置は固定されるが値は固定されない）に対して、パラメータ変動による最大ランクが、構造的制約下での最大可能ランク（項ランク）に等しいことを証明している。証明は組合せ最適化の手法、特にKönig-Egerváry定理とパラメトリックプログラミングを用い、最大ランクが二値パラメータ（0または1）で達成可能であり、そのときランクは得られる行列構成における非ゼロ要素の数に等しいことを示している。

ABSTRACT

We show that the maximum rank of block lower triangular Toeplitz block matrices equals their term rank if the blocks fulfill a structural condition, i.e., only the locations but not the values of their nonzeros are fixed.

研究の動機と目的

• ブロック下三角Toeplitzブロック行列のブロック要素に構造的制約を課したもとでの、最大可能ランクを特定すること。
• この最大ランクが、非ゼロブロック位置にパラメータを割り当てる際に達成可能な最大ランク（項ランク）に等しいことを確立すること。
• この最大ランクが、二値パラメータ（0または1）のみを用いて達成可能であることを示すことにより、最適な構成の探索を単純化すること。
• König-Egerváry定理とパラメトリックプログラミングを用いた短く、初等的な証明を提供し、k=1, k=2, またはペンドル構造などの特殊ケースに対する先行結果を統一・拡張すること。
• システムと制御理論におけるdescriptor系や状態空間系に特に適用可能な、Toeplitzブロック行列への構造的解析フレームワークを拡張すること。

提案手法

• 著者たちは、ブロック行・列インデックスを頂点とし、非ゼロブロック位置を辺とする二部グラフ G(H) を用いて行列構造をモデル化する。
• 各辺に重み関数 w を定義し、(H_i)_{r,c} ≠ 0 となるブロックインデックス i に対し、w_{r,c} = -i とする。
• T_k(H) の項ランクは、サイズ μ のマッチングに関する重み付き二部マッチング問題 A(G,w,μ) の最適値 δ(μ) として定義される。
• König-Egerváry定理を用いて、G(T_k(H)) における最大マッチングが元のグラフ G(H) の構造と関係づけられ、G(H) のマッチングが G(T_k(H)) において同じサイズのマッチングを誘導することを示す。
• T_k(H)(p) のエントリが、誘導されたマッチング X' が 1 である位置にのみ 1 になり、それ以外は 0 になるようなパラメータ割り当て p ∈ {0,1}^q を構成する。
• T_k(H)(p) のランクが誘導されたマッチング X' のサイズに等しく、かつそれが項ランクに一致することを示すことにより、主たる等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 非ゼロ要素の位置のみが固定される場合、体上のブロック下三角Toeplitz行列の最大ランクは、その項ランクに等しいか？
• RQ2 この最大ランクは、ブロック要素に二値パラメータ（0または1）のみを用いて達成可能か？
• RQ3 k=1, k=2, またはペンドル構造などの特殊ケースに対する先行結果を統合・拡張する、一般的で初等的な証明が存在するか？
• RQ4 各非ゼロ要素が独立な自由パラメータであるという構造的制約が、Toeplitzブロック行列におけるランク最大化問題とどのように作用するか？
• RQ5 パラメトリックプログラミングと二部マッチング理論を用いて、このような行列の一般的ランクに対するタイトな上限を導出可能か？

主な発見

• すべてのパラメータ値 p ∈ F^q に対して T_k(H)(p) の最大ランクは、T_k(H) の項ランクに等しく、すなわち max_p rk T_k(H)(p) = rk_t T_k(H) が成り立つ。
• この最大値は、ある p ∈ {0,1}^q で達成され、したがって最高のランクを得るには二値パラメータのみが必要である。
• 最適な p における T_k(H)(p) のランクは、行列内の非ゼロ要素の数に等しく、これは二部グラフ G(T_k(H)) における誘導マッチングのサイズに一致する。
• 証明は、ランク最大化問題を重み付き二部マッチング問題に変換し、König-Egerváry定理を用いて最大ランクと項ランクの等価性を確立することに依拠している。
• この結果は任意の体上で成り立ち、H_1 が対角または正則であるなど追加の仮定を必要としていた先行結果を一般化している。
• 特殊ケースに対する既存の証明よりも著しく短く、より一般である。使用された非自明な事実は2つに限定され、すなわち König-Egerváry定理とパラメトリックプログラミングの補題である。