[论文解读] Canonical forms of small tensors over F_2

Murray R. Bremner, Jiaxiong Hu|arXiv (Cornell University)|Jun 22, 2012

Tensor decomposition and applications参考文献 2被引用 4

一句话总结

本文在有限域 𝔽₂ 上计算小规模多维数组的规范形式与张量秩，重点研究最多 6×2×2 的三维格式及最多 3×2×2×2 的四维格式。通过 GL 群作用下的轨道与词典序最小化，确定最大张量秩为 6，证实 𝔽₂ 上的 3×3×3 张量可达到秩 6，且存在三种不同的规范形式。

ABSTRACT

We consider multidimensional arrays with at most 27 entries over the field with two elements, and their equivalence classes for the action of the direct product of general linear groups. The possible 3-dimensional formats are p x 2 x 2 (p = 2, ..., 6), p x 3 x 2 (p = 3, 4), and 3 x 3 x 3; the possible 4-dimensional formats are p x 2 x 2 x 2 (p = 2, 3). In each case, we compute the orbits for the group action, and then we determine the rank of each orbit. In particular, we determine the maximum rank for these arrays over F_2.

研究动机与目标

• 在一般线性群作用下，对有限域 𝔽₂ 上小规模张量的规范形式进行分类。
• 计算三维与四维张量格式（最多 27 个元素）的轨道数量及其秩。
• 确定这些格式在 𝔽₂ 上可能达到的最大张量秩，特别是针对 3×3×3 和 3×2×2×2 数组。
• 使用 Maple 进行完整计算分析，利用群对称性与词典序排序实现轨道最小化。
• 解决正特征下张量秩界的相关开放问题，特别是 𝔽₂ 上的情形。

提出的方法

• 将张量表示为最多 27 个元素的 𝔽₂ 上多维数组，通过词典序展开编码为整数。
• 应用一般线性群的直积 GL(V₁) × ⋯ × GL(Vₙ) 作用，将张量分类为轨道。
• 将张量的规范形式定义为其在该群作用下轨道中字典序最小的元素。
• 使用高内存系统上的 Maple 16 进行计算枚举，计算所有在大小限制内的张量格式的轨道与秩。
• 区分‘小群’（GL 因子的直积）与‘大群’（包含等维因子排列）作用，以实现对称性约简。
• 在识别规范形式后，通过检查最小简单张量分解来验证秩。

实验结果

研究问题

• RQ1 在 𝔽₂ 上，3×3×3 张量可达到的最大张量秩是多少？
• RQ2 在 𝔽₂ 上，3×3×3 张量中最大秩的规范形式有多少种不同的类型？
• RQ3 在 𝔽₂ 上，4×3×2 与 5×2×2 等三维格式的规范形式与轨道数量分别是多少？
• RQ4 在 𝔽₂ 上，3×2×2×2 格式的四维张量最大秩是多少？
• RQ5 对称张量格式下，小群作用与大群作用的轨道结构有何不同？

主要发现

• 在 𝔽₂ 上，最大张量秩为 6，由 3×3×3 张量实现，且存在三种不同的最大秩规范形式。
• 对于 3×3×3 张量，在小群作用下共有 56 个轨道，最大秩被确认为 6。
• 在 3×2×2×2 格式中，最大秩同样为 6，在大群作用下有 213 个轨道。
• 对于 4×3×2 张量，最大秩为 5，有四种不同的规范形式达到此秩。
• 对于 3×3×2 张量，最大秩为 5，仅有一种规范形式达到此秩。
• 2×2×2 格式的最大秩为 3，共有 8 个轨道，其中 3 个规范形式达到最大秩。