[论文解读] The Partition Rank of a Tensor and $k$-Right Corners in $\mathbb{F}_{q}^{n}$

Eric Naslund|arXiv (Cornell University)|Jan 16, 2017

Tensor decomposition and applications参考文献 13被引用 11

一句话总结

本文引入张量的划分秩（partition rank）作为切片秩（slice rank）的推广，使能够分析涉及不同变量的问题。利用该框架，作者证明：当 $ q = p^r $ 且 $ p > k $ 时，任何满足 $ |A \subset \mathbb{F}_q^n| > \binom{n + (k-1)q}{(k-1)(q-1)} $ 的子集 $ A $ 必须包含一个 $ k $-右角——即 $ k+1 $ 个互为正交的互异向量，其中前 $ k $ 个向量与最后一个向量正交。

ABSTRACT

Following the breakthrough of Croot, Lev, and Pach, Tao introduced a symmetrized version of their argument, which is now known as the slice rank method. In this paper, we introduce a more general version of the slice rank of a tensor, which we call the Partition Rank. This allows us to extend the slice rank method to problems that require the variables to be distinct. Using the partition rank, we generalize a recent result of Ge and Shangguan, and prove that any set $A\subset\mathbb{F}_{q}^{n}$ of size \[|A|>\binom{n+(k-1)q}{(k-1)(q-1)}\] contains a $k$-right-corner, that is distinct vectors $x_{1},\dots,x_{k},x_{k+1}$ where $x_{1}-x_{k+1},\dots,x_{k}-x_{k+1}$ are mutually orthogonal, for $q=p^{r}$, a prime power with $p>k$.

研究动机与目标

• 通过引入更一般的张量秩概念，将切片秩方法扩展至处理变量必须互异的问题。
• 将 Ge 和 Shangguan 在 $ \mathbb{F}_q^n $ 中关于直角结果的一般化，推广至 $ k \geq 2 $ 的 $ k $-右角。
• 在 $ p > k $ 条件下，为 $ \mathbb{F}_q^n $ 中 $ k $-右角的存在性建立多项式大小阈值。
• 证明划分秩可为多项式级小，而切片秩为指数级大，从而开启新应用。
• 为有限域上加性组合学中的极值问题提供新工具，尤其适用于含互异元素的构型。

提出的方法

• 引入张量的划分秩作为切片秩的推广，允许在索引集的任意划分下将张量分解为秩-1 函数之和。
• 证明对角张量的划分秩等于其非零对角元个数，建立关键的技术引理。
• 定义一个指示函数 $ H_k(x_1, \dots, x_k) $，其仅在互异的 $ k $-元组上非零，且划分秩受控。
• 利用该指示函数修改张量，使其仅检测互异向量的 $ k $-元组，同时保持低划分秩。
• 通过 $ \mathbb{F}_q^n $ 上多项式空间的维数估计，结合 Chu–Vandermonde 恒等式，界定所得张量的划分秩。
• 应用划分秩方法，证明若 $ |A| > \binom{n + (k-1)q}{(k-1)(q-1)} $，则 $ A $ 包含一个 $ k $-右角。

实验结果

研究问题

• RQ1 切片秩方法能否被扩展以处理变量必须互异的构型问题？
• RQ2 当 $ k \geq 2 $ 时，$ \mathbb{F}_q^n $ 的子集在避免 $ k $-右角的前提下，其最大大小是多少？
• RQ3 对于编码互异构型的张量，划分秩与切片秩在增长速率上如何比较？
• RQ4 划分秩能否用于改进有限域中避免正交构型的极值集的界？
• RQ5 当 $ p > k $ 时，$ \mathbb{F}_q^n $ 的子集大小达到何种阈值可保证存在 $ k $-右角？

主要发现

• 对角张量的划分秩等于其非零对角元个数，这是该方法的基础性结果。
• 用于互异 $ k $-元组的指示函数 $ H_k $ 具有低划分秩但高切片秩，因此特别适合用于筛选互异构型。
• 当 $ q = p^r $ 且 $ p > k $ 时，任何满足 $ |A| > \binom{n + (k-1)q}{(k-1)(q-1)} $ 的子集 $ A \subset \mathbb{F}_q^n $ 必须包含一个 $ k $-右角。
• 关键张量 $ J_k $ 的划分秩上界为 $ \binom{n + (k-1)q}{(k-1)(q-1)} $，与阈值大小一致。
• 该方法为避免 $ k $-右角的集合大小提供了关于 $ n $ 的多项式界，优于以往的指数级阈值。
• 该结果将 Ge 和 Shangguan 对直角（$ k=2 $）的界推广至更高 $ k $，且当 $ k=2 $ 时，阈值 $ \binom{n+q}{q-1}+2-\binom{n+q-2}{q-3} $ 为其特例。