[論文レビュー] An Introduction to the Theory of Linear Integer Arithmetic (Invited Paper)

Anna Karapiperi|arXiv (Cornell University)|Mar 2, 2015

Advanced Mathematical Theories and Applications被引用数 1

ひとこと要約

本稿では、スヴィルデスターの行列式に関する既知の一般化を統一的な形式で提示し、複数の行と列を追加して作られるブロードマトリクスを用いて行列式を表現する、新しい一般化を導入する。新しい恒等式は、スヴィルデスターの古典的公式を特別な場合として含み、特にベクトル列の逐次的外挿・補間のための再帰的アルゴリズムの構築を可能にする。

ABSTRACT

In this paper we deal with the noteworthy Sylvester's determinantal identity and some of its generalizations. We report the formulae due to Yakovlev, to Gasca, Lopez--Carmona, Ramirez, to Beckermann, Gasca, Mühlbach, and to Mulders in a unified formulation which allows to understand them better and to compare them. Then, we propose a different generalization of Sylvester's classical formula. This new generalization expresses the determinant of a matrix in relation with the determinant of the bordered matrices obtained adding more than one row and one column to the original matrix. Sylvester's identity is recovered as a particular case.

研究の動機と目的

• 文献に散在するスヴィルデスターの行列式に関する異なる一般化を、単一で整合的な表記法に統合すること。
• ヤコブレフ、ガスカ、ベッカーマン、ムルダース、および他の研究者らが提案した既存の一般化の間の関係を明確化すること。
• 境界を複数の行と列に同時に拡張する、スヴィルデスターの恒等式の新たな一般化を構築すること。
• スカラ列よりも複雑なベクトル列の逐次的外挿のための再帰的アルゴリズムの構築を可能にすること。
• 制御理論、数値解析、行列アルゴリズムの応用分野における計算フレームワークを提供すること。

提案手法

• インデックスリストとブロック行列を用いた、小行列および境界付き行列式の統一的表記を導入する。
• サイズ t の左上主小行列に、s 行と s 列を段階的に追加して形成される行列の行列式を表す一般化された恒等式を導出する。
• ブロックサイズ s と境界化ステップ数 k に基づく再帰的構造を用いて、境界付きブロックの行列式に関する再帰関係を確立する。
• k についての帰納法を用いて新しい一般化を証明し、k が偶数および奇数の場合に両方で恒等式が成り立つことを示す。
• s=2 および s=1 の特定のケースに恒等式を適用し、チオの縮小法や 2×2 ブロック行列式の法則といった既知の結果を回復する。
• n×n のブロック行列（s=2）を用いた明示的な例を通じて、手法の計算的有用性を提示する。

実験結果

リサーチクエスチョン

• RQ1 既存のスヴィルデスターの行列式に関する一般化は、どのように単一で整合的な表記法に統合できるか？
• RQ2 ヤコブレフ、ガスカ、ベッカーマン、ムルダース、および他の研究者らが提案した一般化の間には、どのような構造的関係があるか？
• RQ3 境界化を同時に複数の行と列に拡張する、スヴィルデスターの恒等式の新たな一般化を構築できるか？
• RQ4 s=1 または k=1 の特別な場合に、新しい一般化が古典的スヴィルデスターの恒等式に還元されるか？
• RQ5 新しい恒等式を用いて、数値解析におけるベクトル列の逐次的外挿のための再帰的アルゴリズムを導出できるか？

主な発見

• 複数のスヴィルデスターの恒等式の一般化を体系的に比較・理解できる統一的表記が確立された。
• 新しい一般化は、s 行と s 列を一度に追加して形成される境界付き行列の行列式を用いて det(M) を表し、k ステップにおける再帰的関係を持つ。
• s=2 かつ k=q=(n−t)/2 の場合、det(M) が 2×2 ブロック行列 Bi の行列式を用いた明示的な有理関数として得られ、q が偶数および奇数の場合で別々の公式が得られる。
• s=1 の場合、新しい恒等式は正確に古典的スヴィルデスターの恒等式に還元され、既知の結果と整合性が確認された。
• q=1（つまり n−t=2）の場合は、よく知られた 2×2 ブロック行列式の法則 det M det D = det A′det D′ − det B′det C′ が回復され、これは逐次変換に広く用いられている。
• 明示的な例により、n=10 および n=8 の行列に対して恒等式の適用が示され、行列式の比または積が 2×2 ブロックの行列式の積として表現される仕組みが明らかになった。