[论文解读] Upper triangular matrices and Billiard Arrays

Yang Yang|arXiv (Cornell University)|Aug 18, 2015

Cellular Automata and Applications参考文献 8被引用 3

一句话总结

本文建立了域 F 上 (d+1) 维向量空间上非常良好的上三角矩阵与轨道阵列同构类之间的对应关系。它表明，此类矩阵诱导出三个完全相反的旗，进而生成一个轨道阵列，其 B-值（标量参数）以矩阵元素显式表示。关键贡献在于建立了在对角缩放下等价类的非常良好上三角矩阵与轨道阵列同构类之间的双射对应关系。

ABSTRACT

Fix a nonnegative integer $d$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. Let $T$ denote an invertible upper triangular matrix in ${ m Mat}_{d+1}(\mathbb{F})$. Using $T$ we construct three flags on $V$. We find a necessary and sufficient condition on $T$ for these three flags to be totally opposite. In this case, we use these three totally opposite flags to construct a Billiard Array $B$ on $V$. It is known that $B$ is determined up to isomorphism by a certain triangular array of scalar parameters called the $B$-values. We compute these $B$-values in terms of the entries of $T$. We describe the set of isomorphism classes of Billiard Arrays in terms of upper triangular matrices.

研究动机与目标

• 刻画可逆上三角矩阵在 (d+1) 维向量空间上诱导出三个完全相反旗的条件。
• 以矩阵元素表示由这些旗构造出的轨道阵列的 B-值。
• 建立在对角缩放下等价类的非常良好上三角矩阵与轨道阵列同构类之间的双射对应关系。
• 提供一个显式例子，其中 B-值全部等于 q⁻¹，使用 q-二项式系数。

提出的方法

• 从可逆上三角矩阵 T 在 d+1 维向量空间 V 上构造三个旗：一个来自标准基，一个来自其逆序，一个来自 T 作用下的像基。
• 定义一个矩阵 T 为“非常良好”当且仅当其所有主子矩阵均可逆，这保证了三个旗是完全相反的。
• 利用完全相反旗的理论在 V 上构造一个轨道阵列 B，其 B-值唯一确定了该轨道阵列在同构意义下的结构。
• 通过涉及 T 的子矩阵行列式的公式显式计算 B-值，特别是 det(T[i,j])，其中 0 ≤ i ≤ j ≤ d。
• 在非常良好的上三角矩阵集合上定义等价关系 ∼，通过左乘和右乘可逆对角矩阵实现。
• 建立一个交换图，表明从矩阵等价类到轨道阵列同构类的映射是双射。

实验结果

研究问题

• RQ1 对于可逆上三角矩阵 T，其在 V 上诱导出的三个旗完全相反的条件是什么？
• RQ2 由这些旗构造出的轨道阵列的 B-值如何用 T 的元素表示？
• RQ3 在对角缩放下，非常良好上三角矩阵的等价类与轨道阵列同构类之间存在何种关系？
• RQ4 是否存在每个轨道阵列同构类的典范矩阵表示？如果是，如何构造？
• RQ5 当矩阵元素为 q-二项式系数时，B-值会发生什么变化？

主要发现

• 可逆上三角矩阵 T 所诱导的三个旗完全相反的充要条件是 T 为“非常良好”，即其所有主子矩阵均可逆。
• 由这些旗构造出的轨道阵列的 B-值由 T 的子矩阵行列式显式给出，具体为 B-值由 det(T[i,j]) 确定，其中 0 ≤ i ≤ j ≤ d。
• 对于矩阵 T，其元素 T_{ij} = {j rack i}_q（q-二项式系数），其对应轨道阵列的所有 B-值均等于 q⁻¹。
• V 上轨道阵列的同构类集合与在关系 T ∼ T' 当且仅当 T' = H T K（H, K 为可逆对角矩阵）下非常良好上三角矩阵的等价类集合之间存在双射。
• 子矩阵 T[i,j]（行 i 到 j，列 i 到 j）的行列式为 det(T[i,j]) = q^{i(j-i)(j-i+1)/2}。
• 当 q = 1 时，矩阵元素变为二项式系数，对应轨道阵列的所有 B-值均等于 1。