[论文解读] Decomposing modular tensor products, and periodicity of `Jordan partitions'

S. P. Glasby, Cheryl E. Praeger+1 more|arXiv (Cornell University)|Jan 13, 2014

Coding theory and cryptography参考文献 16被引用 4

一句话总结

该论文为正特征下由幂零若尔当代数块张量积产生的若尔当代数分拆建立了新的周期性和对偶性结果。它证明了对于固定的 $ r $，偏差向量 $ \varepsilon(r,s,p) $ 的数量是有限的（最多 $ 2^{r-1} $ 个），从而使得能够构建有限表格以计算所有 $ s \geq r $ 和素数 $ p $ 的 $ \lambda(r,s,p) $，推广了此前依赖于 $ p $-幂次超过 $ s $ 的结果。

ABSTRACT

Let $J_r$ denote an $r imes r$ matrix over a finite field $F$ with minimal and characteristic polynomials $(t-1)^r$. Suppose $r\leq s$. It is not hard to show that the Jordan canonical form of $J_r\otimes J_s$ is similar to $J_{λ_1}\oplus\cdots\oplus J_{λ_r}$ where $λ_1\geq\cdots\geqλ_r>0$ and $\sum_{i=1}^rλ_i=rs$. The partition $λ(r,s,p):=(λ_1,\dots,λ_r)$ of $rs$, which depends only on $r,s$ and the characteristic $p$ of $F$, has many applications including to the study of algebraic groups. We prove new periodicity and duality results for $λ(r,s,p)$ that depend on the smallest $p$-power exceeding $r$. This generalizes results of J. A. Green, B. Srinivasan, and others which depend on the smallest $p$-power exceeding the (potentially large) integer $s$. We show that for fixed $r$ we can construct a finite table allowing the computation of $λ(r,s,p)$ for all $s$ with $s\geq r$, and all primes $p$. This generalizes work of K-i. Iima and R. Iwamatsu.

研究动机与目标

• 将若尔当代数分拆 $ \lambda(r,s,p) $ 的周期性结果推广至不再依赖于 $ p $-幂次超过 $ s $ 的情形，从而提升适用性。
• 证明对于固定的 $ r $，不同偏差向量 $ \varepsilon(r,s,p) $ 的数量是有限的，从而支持算法化计算。
• 在固定 $ r $ 的前提下，为所有 $ s \geq r $ 和素数 $ p $ 提供 $ \lambda(r,s,p) $ 的有限表格构造方法。
• 通过聚焦于超过 $ r $ 的最小 $ p $-幂次（而非 $ s $），统一并拓展格林、斯里尼瓦桑及其他人的结果。
• 通过证明偏差向量类型数目的有限性，解决在不同 $ s $ 和 $ p $ 下确定 $ \lambda(r,s,p) $ 的计算复杂性问题。

提出的方法

• 利用 $ J_r \otimes J_s $ 的基变换矩阵的子矩阵的行列式 $ \delta_i $ 进行递归计算，其值属于 $ \mathbb{F}_p $。
• 推导出基于 $ \delta_i \neq 0 $ 与否以及先前 $ \delta_j $ 的消失模式的递推关系（定理15），从而实现逐步计算 $ \lambda_i $。
• 定义偏差向量 $ \varepsilon(r,s,p) = (\lambda_i - s) $，以将分拆的非均匀性与均匀情形 $ \lambda_i = s $ 分离开来。
• 应用 $ s \mod p^m $ 的周期性与对偶性，减少需检查的 $ s $-值数量，尤其适用于 $ p < r $ 的情形。
• 对乘积 $ \Delta = \delta_1 \cdots \delta_{r-1} $ 进行因式分解，以界定整除 $ \Delta $ 的相关素数 $ p $ 的数量，确保有限性。
• 利用 $ \delta_r = 1 $ 在 $ \mathbb{F}_p $ 中的性质，确保递推正确终止，并支持 $ \lambda_i $ 的逆向计算。

实验结果

研究问题

• RQ1 对于固定的 $ r $，是否可以对所有 $ s $ 和 $ p $ 均统一地有界 $ \varepsilon(r,s,p) $ 的不同偏差向量数量？
• RQ2 在 $ s \mod p^m $ 下的周期性是否允许对所有 $ s \geq r $ 和所有素数 $ p $ 实现 $ \lambda(r,s,p) $ 的有限计算？
• RQ3 能否将先前结果中对超过 $ s $ 的 $ p $-幂次的依赖，替换为对超过 $ r $ 的 $ p $-幂次的依赖，以获得更广的适用性？
• RQ4 是否存在一个有限表格构造方法，可对所有 $ s \geq r $ 和所有素数 $ p $ 计算 $ \lambda(r,s,p) $，前提是 $ r $ 固定？
• RQ5 当 $ r \to \infty $ 时，不同 $ \varepsilon(r,s,p) $ 向量的渐近增长数量是多少？

主要发现

• 对于固定的 $ r $，无论 $ s $ 和 $ p $ 如何，不同偏差向量 $ \varepsilon(r,s,p) $ 的数量最多为 $ 2^{r-1} $，这是由于 $ \mathbb{F}_p $ 中行列式 $ \delta_1, \dots, \delta_{r-1} $ 的消失模式数量有限所致。
• 定理15中的递推关系允许通过整数行列式 $ \delta_i $（其值属于 $ \mathbb{F}_p $）以逆序方式递归计算 $ \lambda(r,s,p) $。
• 当 $ p \geq r+s-1 $ 时，$ \lambda(r,s,p) $ 为标准分拆 $ (r+s-1, r+s-3, \dots, s-r+1) $，推广了斯里尼瓦桑的结果。
• 当 $ p < r $ 时，周期性将需考虑的 $ s $-值数量减少至最多 $ p^m < r^2 $；当 $ p \geq r $ 时，仅需检查 $ s \in \{r, \dots, 2r-2\} $，这是由于定理2的结论。
• 使得 $ \lambda(r,s,p) $ 非标准的素数 $ p $ 的数量被限制在 $ \Delta = \delta_1 \cdots \delta_{r-1} $ 的素因子数量之内，而该数量仅依赖于 $ r $ 和 $ s $，从而确保了有限性。
• 不同 $ \varepsilon(r,s,p) $ 向量的渐近数量 $ n_r $ 满足 $ n_r \leq 2^{r-1} $，且极限 $ \lim_{r\to\infty} n_r / 2^{r-1} $ 可能存在，尽管此问题仍为开放问题。