[论文解读] The G-stable rank for tensors

Harm Derksen|arXiv (Cornell University)|Feb 19, 2020

Tensor decomposition and applications参考文献 26被引用 7

一句话总结

本文引入了 G-稳定秩，这是一种基于几何不变量理论的新张量秩概念，通过允许非整数值并确保超乘性，对切片秩进行了推广和改进。该研究将 G-稳定秩表述为形式洛朗级数上的优化问题，并将其应用于 F₃ 上的 cap set 问题，得到了比以往方法更紧的渐近估计。

ABSTRACT

We introduce the $G$-stable rank of a higher order tensors over perfect fields. The $G$-stable rank is related to the Hilbert-Mumford criterion for stability in Geometric Invariant Theory. We will relate the $G$-stable rank to the tensor rank and slice rank. For numerical applications, we express the $G$-stable rank as a solution to an optimization problem. Over the field ${\mathbb F}_3$ we discuss an application to the Cap Set Problem.

研究动机与目标

• 定义一种新的张量秩不变量——G-稳定秩，以改进现有的张量秩、边界秩和切片秩等概念。
• 建立 G-稳定秩与完美域上几何不变量理论中希尔伯特-穆尔福德准则之间的联系。
• 提供一种数值框架，通过在形式幂级数上进行优化，实现对 G-稳定秩的计算或近似。
• 将 G-稳定秩应用于 F₃ 上的 cap set 问题，获得更优的 cap set 大小上界。
• 探讨 G-稳定秩的超乘性性质及其在张量分解与逼近中的影响。

提出的方法

• G-稳定秩被定义为在 GL(Vi, K((t))) 中具有正 t-赋值的 1-参数子群 g(t) 上，斜率函数 μα(g(t), v) 的下确界。
• 斜率 μα(g(t), v) 计算为 g_i(t) 的对数行列式加权和，除以变换张量 g(t)·v 的 t-赋值，权重为 α_i。
• G-稳定秩被表达为一个关于非负变量 t_i 的线性规划问题的解，约束条件为 t_i + t_j + t_k ≥ 1（当 i+j+k ≤ 2n 时）。
• 该方法利用希尔伯特-穆尔福德准则来定义稳定性，通过 Kempf 的工作将其适配到完美域上，通过形式幂级数中的退化来定义秩。
• 在 cap set 问题中，通过最小化 3∑f_{n,i}t_i 来利用 G-稳定秩界定 cap set 的大小，其中线性约束来源于三重和的条件。
• 线性规划的最优解被推测遵循基于 n mod 3 的周期性模式，其中前 (2n−3)/3、(2n−5)/3 或 (2n−7)/3 个指标满足 t_i = 1，随后为递减的分数。

实验结果

研究问题

• RQ1 如何利用几何不变量理论中的希尔伯特-穆尔福德准则来定义一种新的、更精细的张量秩不变量？
• RQ2 G-稳定秩与现有张量秩概念（如切片秩和张量秩）之间有何关系？
• RQ3 能否通过在形式洛朗级数上进行优化来计算或近似 G-稳定秩？
• RQ4 G-稳定秩如何改进 F₃ 上 cap set 问题的上界？
• RQ5 G-稳定秩的渐近行为是什么？它是否具有超乘性结构？

主要发现

• 与切片秩不同，G-稳定秩在垂直张量积下具有超乘性，使其更适用于渐近分析。
• 对于 n=1 到 6，通过 G-稳定秩计算得到的 cap set 大小上界分别为 2.25、6、15、39、105 和 274，优于早期估计。
• 线性规划的最优解被推测遵循基于 n mod 3 的周期性模式，其中前 (2n−3)/3、(2n−5)/3 或 (2n−7)/3 个指标满足 t_i = 1，随后为递减的分数。
• 对于 n ≥ 4，G-稳定秩提供的上界比 Ellenberg–Gijswijt 上界（EG）更紧，且随着 n 增大，改进程度也增加。
• 数值实验表明，G-稳定秩可给出形如 Cθⁿ/√n 的上界（C 为某常数），表明其在渐近估计方面具有强大潜力。
• 该方法成功地将 cap set 问题重新表述为关于系数 t_i 的线性规划，其约束条件来源于 i+j+k ≤ 2n 时必有 t_i + t_j + t_k ≥ 1 的条件。