[论文解读] 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

一句话总结

本文将列和行的不变量（immanants）——行列式和永久行列式在非交换环境下的推广——推广至分裂四元数代数上的矩阵。通过利用非交换设置下行与列行列式的理论，作者为分裂四元数上的厄米特矩阵定义了一致的不变量，并证明了此类矩阵的所有行与列不变量相等，从而实现了这些矩阵的良定义全局不变量、永久行列式与行列式。

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.

研究动机与目标

• 将不变量理论——行列式与永久行列式的推广——从复矩阵推广至分裂四元数代数上的矩阵。
• 为分裂四元数代数上的矩阵定义并研究行与列不变量，推广现有的非交换行列式理论。
• 通过证明所有行与列不变量相等，为分裂四元数上的厄米特矩阵建立一致且良定义的不变量。
• 通过基于循环分解与迹重排的统一框架，将行列式与永久行列式的概念推广至非交换环境。

提出的方法

• 本文通过置换的左序循环分解引入行与列不变量，利用群特征分配权重。
• 通过沿循环的矩阵元素乘积定义行与列不变量，系数由对称群 Sn 的特征 χ 决定。
• 该方法依赖于分裂四元数代数中迹的重排性质，使不同起始索引下的单项式和相等。
• 采用基于循环的置换分解，将单项式分为两组：对角线/范数项与非对角线循环项。
• 通过引理证明，对所有起始索引 i ∈ {1, ..., n} 的单项式和相等，这是由于迹在共轭下的不变性与循环重排的性质。
• 关键技术步骤证明了厄米特矩阵的所有行不变量与所有列不变量相等，从而实现唯一全局定义。

实验结果

研究问题

• RQ1 在代数非交换的背景下，不变量的概念能否在分裂四元数代数上的矩阵中一致地推广？
• RQ2 分裂四元数代数上的厄米特矩阵的行与列不变量是否在任意起始索引 i 下均保持相同值？
• RQ3 是否存在一个良定义且唯一的不变量，用于分裂四元数上的厄米特矩阵，类似于交换环境下的行列式？
• RQ4 分裂四元数中迹与共轭的性质如何影响行与列不变量的等价性？
• RQ5 为实现不同索引下不变量的一致性，矩阵需具备何种结构性条件（如厄米特性质）？

主要发现

• 分裂四元数代数上厄米特矩阵的所有行不变量在任意起始索引 i 下均相等。
• 分裂四元数代数上厄米特矩阵的所有列不变量在任意起始索引 i 下均相等。
• 行与列不变量的相等性使得分裂四元数代数上厄米特矩阵的唯一且良定义不变量成为可能。
• 厄米特矩阵的永久行列式与行列式可通过所有行与列不变量的公共值一致地定义。
• 证明依赖于迹的重排性质以及迹在共轭下的不变性，确保了不同循环顺序下单项式和的等价性。
• 所得的不变量、永久行列式与行列式均属于基域 F，确保了代数的一致性，并在非交换线性代数中具有适用性。