[論文レビュー] Laplace Method for calculate the Determinant of cubic-matrix of order 2 and order 3

Orgest Zaka, Armend Salihu|arXiv (Cornell University)|Jul 3, 2023

Color Science and ApplicationsPhysics and Astronomy被引用数 3

ひとこと要約

この論文は、2次元正方行列に一般的に用いられるラプラース展開法を、2次および3次の3次元立方行列へと拡張し、実数としての行列式の計算に対してその有効性を証明している。著者らは3次元の文脈における小行列式と余因子を形式化し、明示的な証明と具体的な例を提示するとともに、行列式計算の再帰的アルゴリズム実装を提供し、高次元行列式理論の基盤を構築している。

ABSTRACT

In this paper, in continuation of our work, on the determinants of cubic -matrix of order 2 and order 3, we have analyzed the possibilities of developing the concept of determinant of cubic-matrix with three indexes, studying the possibility of their calculation according the Laplace expansion method's. We have noted that the concept of permutation expansion which is used for square determinants, as well as the concept of Laplace expansion method used for square and rectangular determinants, also can be utilized to be used for this new concept of 3D Determinants. In this paper we proved that the Laplace expansion method's is also valid for cubic-matrix of order 2 and order 3, these results are given clearly and with detailed proofs, they are also accompanied by illustrative examples. We also give an algorithmic presentation for the Laplace expansion method's.

研究の動機と目的

• 2次元正方行列に用いられるラプラース展開法を、2次および3次の3次元立方行列へと拡張すること。
• 3次元立方行列の行列式を、多スカラー的解釈とは異なる実数として定義し、形式化すること。
• 一貫した代数的枠組みを用いて、置換および余因子展開法を3次元行列の文脈へと一般化すること。
• 2次および3次の立方行列に対して、ラプラース法の再帰的アルゴリズム実装を提供すること。
• 詳細な証明と数値例を用いて、手法の妥当性を検証し、既知の2次元行列式の結果と一貫性を保つこと。

提案手法

• 参照平面（水平層、垂直層、垂直ページ）を選び、ラプラース展開の原則を3次元立方行列に適応する。
• 各次元（i, j, k）から1つのインデックスを再帰的に削除することで、3次元小行列式と余因子を定義する。
• 選択された要素の3次元行列内での位置に基づき、符号則 $(-1)^{i+j+k}$ を余因子に適用する。
• 同じラプラース法を再帰的に部分行列式に適用し、1×1×1行列に達した時点で行列式は単一の要素として終了する。
• 行列の順序をチェックし、立方構造を検証し、3つの次元のいずれに対しても展開を適用する疑似コードを用いて、手法をアルゴリズム的に実装する。
• 選択されたインデックス平面に沿って、要素とその対応する余因子の積の和を計算する再帰関数 `det_3DLaplace` を用いる。

Figure 1. 3D-Matrix view

実験結果

リサーチクエスチョン

• RQ1 ラプラース展開法を、2次および3次の3次元立方行列の行列式計算に一般化できるか？
• RQ2 3つのインデックスを持つ3次元行列の文脈において、小行列式と余因子はどのように定義すべきか？
• RQ3 3次元行列式展開における余因子の正しい符号規則は何か？ 2次元行列からの一般化はどのように行われるか？
• RQ4 2次および3次の3次元立方行列に対して、再帰的ラプラース法は一貫的かつ計算的に有効か？
• RQ5 3次元ラプラース法のアルゴリズム的実装を形式的に規定し、正しさを検証できるか？

主な発見

• ラプラース展開法は、2次および3次の立方行列に対して厳密に有効であることが証明され、2次元正方行列への適用範囲を拡張した。
• 2×2×2の立方行列の行列式は、要素とその3次元余因子の積の和として計算され、インデックス位置に基づく一貫した符号則が適用される。
• 3×3×3の立方行列では、3つの次元のいずれに対しても再帰的展開が可能であり、選択した平面に関わらず同じ結果が得られる。
• 手法は一貫性を保ち、テスト用の3×3×3行列の行列式は複数の展開経路から計算され、326の結果が得られ、正しさが確認された。
• アルゴリズム実装は、基本ケース（1×1×1行列）を適切に処理し、行列構造を検証し、非立方または高次元の行列に対して計算を回避する。
• 著者らは、2次元行列式で用いられる置換に基づくアプローチが3次元行列へと拡張可能であり、3次元行列式理論の整合的な代数的基盤を提供することを示した。