[論文レビュー] The column and row immanants of matrices over a split quaternion algebra

Ivan Kyrchei|arXiv (Cornell University)|May 7, 2014

Algebraic and Geometric Analysis参考文献 13被引用数 5

ひとこと要約

この論文は、分解可能ケイリー代数上の行列に、列および行の不変量—行列式およびパーマネントの一般化—を拡張する。非可換設定における行および列の行列式の理論を活用することで、分解可能ケイリー代数上のエルミート行列に対して一貫性のある不変量を定義し、そのような行列のすべての行および列の不変量が等しいことを証明する。これにより、これらの行列に対して一意でwell-definedなグローバル不変量、パーマネント、行列式が定義可能となる。

ABSTRACT

The theory of the column-row determinants has been considered for matrices over a non-split quaternion algebra. In this paper the concepts of column-row determinants are extending to a split quaternion algebra. New definitions of the column and row immanants (permanents) for matrices over a non-split quaternion algebra are introduced, and their basic properties are investigated. The key theorem about the column and row immanants of a Hermitian matrix over a split quaternion algebra is proved. Based on this theorem an immanant of a Hermitian matrix over a split quaternion algebra is introduced.

研究の動機と目的

• 複素行列から分解可能ケイリー代数上の行列へ、不変量（行列式およびパーマネントの一般化）の理論を拡張すること。
• 分解可能ケイリー代数上の行列に対して、行および列の不変量を定義し、既存の非可換行列式理論を一般化すること。
• すべての行および列の不変量が等しいことを証明することにより、分解可能ケイリー代数上のエルミート行列に対して一貫性があり、well-definedな不変量を確立すること。
• サイクル分解およびトレースの再配列に基づく統一的枠組みを用いて、非可換設定における行列式およびパーマネントの概念を一般化すること。

提案手法

• 論文は、置換の左順序付きサイクル分解を介して、行および列の不変量を導入し、群のキャラクターを用いて重みを割り当てる。
• 行および列の不変量は、サイクルに沿った行列要素の積を用いて定義され、係数は対称群 Sn のキャラクター χ によって決定される。
• この手法は、分解可能ケイリー代数におけるトレースの再配列性に依存し、異なる開始インデックスにおける単項式の和を等しくする。
• 置換のサイクルに基づく分解を用いて、単項式を2つの集合に分類する：対角／ノルム項と非対角サイクル項。
• 補題を用いて、すべての開始インデックス i ∈ {1, ..., n} における単項式の和が等しいことを示す。これは、共役によるトレースの不変性およびサイクルの再順序化に起因する。
• 主な技術的ステップは、エルミート行列のすべての行不変量およびすべての列不変量が等しいことを証明することであり、これにより一意なグローバル定義が可能となる。

実験結果

リサーチクエスチョン

• RQ1 代数の非可換性を鑑みれば、分解可能ケイリー代数上の行列へ不変量の概念を一貫して拡張できるか？
• RQ2 分解可能ケイリー代数上のエルミート行列の行および列不変量は、開始インデックス i に依存せずに同一の値をとるか？
• RQ3 分解可能ケイリー代数上のエルミート行列に対して、行列式の可換設定におけるものと類似した、well-definedで一意な不変量が存在するか？
• RQ4 分解可能ケイリー代数におけるトレースおよび共役の性質は、行および列不変量の等価性にどのように影響するか？
• RQ5 異なるインデックスにおける不変量の一貫性を保つために、行列に必要な構造的条件（例：エルミート性）は何か？

主な発見

• 分解可能ケイリー代数上のエルミート行列のすべての行不変量は、開始インデックス i にかかわらず等しい。
• 分解可能ケイリー代数上のエルミート行列のすべての列不変量は、開始インデックス i にかかわらず等しい。
• 行不変量と列不変量の等価性により、分解可能ケイリー代数上のエルミート行列に対して一意でwell-definedな不変量が定義可能となる。
• 分解可能ケイリー代数上のエルミート行列のパーマネントおよび行列式は、すべての行および列不変量の共通値を介して一貫して定義可能である。
• 証明は、トレースの再配列性および共役によるトレースの不変性に依存しており、これにより異なるサイクル順序における単項式の和が等価であることが保証される。
• 得られる不変量、パーマネント、行列式は、すべて基本体 F に属し、非可換線形代数における代数的整合性および応用可能性を保証する。