[论文解读] Low analytic rank implies low partition rank for tensors

Oliver Janzer|arXiv (Cornell University)|Sep 28, 2018

Tensor decomposition and applications参考文献 3被引用 6

一句话总结

该论文证明了在有限域上，张量的分析秩较低意味着其分划秩也较低，且分划秩以塔型函数形式依赖于分析秩、次数和域大小——这一结果改进了以往的阿克曼函数型界。该成果通过显著更优的定量控制，解决了高阶傅里叶分析中的一个关键问题，尤其在小域情况下表现更佳。

ABSTRACT

A tensor defined over a finite field $\mathbb{F}$ has low analytic rank if the distribution of its values differs significantly from the uniform distribution. An order $d$ tensor has partition rank 1 if it can be written as a product of two tensors of order less than $d$, and it has partition rank at most $k$ if it can be written as a sum of $k$ tensors of partition rank 1. In this paper, we prove that if the analytic rank of an order $d$ tensor is at most $r$, then its partition rank is at most $f(r,d,|\mathbb{F}|)$. Previously, this was known with $f$ being an Ackermann-type function in $r$ and $d$ but not depending on $\mathbb{F}$. The novelty of our result is that $f$ has only tower-type dependence on its parameters. It follows from our results that a biased polynomial has low rank; there too we obtain a tower-type dependence improving the previously known Ackermann-type bound.

研究动机与目标

• 建立有限域上张量的分析秩与分划秩之间的定量关系。
• 改进以往依赖于增长过快的阿克曼函数的界，使其更适用于实际或理论应用。
• 证明在有限域上具有偏差的多项式（即其取值非均匀分布）必具有低秩，并给出显式且改进的界。
• 为多项式相位的格罗夫斯范数提供一个定量逆定理，改进高阶傅里叶分析中先前的结果。
• 表明对域大小和次数的依赖关系现为塔型而非阿克曼型，从而在应用中提供更紧密的控制。

提出的方法

• 对张量阶数 d 使用递归归纳法，通过构造子空间和多重集族来控制退化性。
• 应用广义的波戈柳博夫引理及多重线性推广，寻找张量在许多输入上为零的结构化子空间。
• 采用一种新颖的迭代张量分解方法，结合分划秩与退化性条件，通过塔函数追踪维度界。
• 对多项式相位的格罗夫斯均匀性范数进行精细化分析，将其与底层多项式的秩联系起来。
• 利用特征和与指数和（通过 χ(P(x))）将分析秩与偏差关联，并通过范数控制将其与分划秩联系起来。
• 使用以 [d−1] 的子集为索引的子空间与多重集构造层级，通过塔函数递归更新维度界。

实验结果

研究问题

• RQ1 能否将分划秩对分析秩的依赖关系从阿克曼型改进为更易处理的函数？
• RQ2 在小特征的有限域上，具有偏差的多项式是否必然具有低秩？若是，最佳可能的定量界是什么？
• RQ3 能否通过显式、有效的界，强化多项式相位格罗夫斯范数的逆定理？
• RQ4 对于有限域上次数为 d 的张量，分析秩与分划秩之间的最优塔型界是什么？
• RQ5 域大小 |F| 如何影响分析秩与分划秩之间的定量权衡？

主要发现

• 若有限域 F 上一个 d 次张量的分析秩至多为 r，则其分划秩至多为 f(r, d, |F|)，其中 f 对其参数仅具有塔型依赖。
• 对于多项式 P: F^n → F，次数 d < char(F)，且 bias_χ(P) ≥ ε > 0，则 P 的秩至多为 2^d × tower_{8|F|}((d+3)^{d+3}, (1/ε)^{2^d}) + 1。
• f(x) = χ(P(x)) 的格罗夫斯 U^d 范数控制 P 的秩；若 ||f||_{U^d} ≥ c > 0，则 rank(P) 的界为与 c 相关的相同塔型表达式。
• 该结果通过以塔型界替代阿克曼型界，显著改进了先前工作，大幅收紧了定量控制。
• 该界在域大小上是有效且一致的，仅显式依赖于 d、ε 和 |F|，且在塔的高度上为最优。
• 该证明建立了多项式相位格罗夫斯范数的定量逆定理，表明此类函数与低次多项式相关联，并给出显式误差界。