Abstract
Let \(G_1, \ldots , G_k\) be vector spaces over a finite field \({\mathbb {F}} = {\mathbb {F}}_q\) with a non-trivial additive character \(\chi \). The analytic rank of a multilinear form \(\alpha :G_1 \times \cdots \times G_k \rightarrow {\mathbb {F}}\) is defined as \({\text {arank}}(\alpha ) = -\log _q \mathop {\mathbb {E}} _{x_1 \in G_1, \ldots , x_k\in G_k} \chi (\alpha (x_1,\ldots , x_k))\). The partition rank \({\text {prank}}(\alpha )\) of \(\alpha \) is the smallest number of maps of partition rank 1 that add up to \(\alpha \), where a map is of partition rank 1 if it can be written as a product of two multilinear forms, depending on different coordinates. It is easy to see that \({\text {arank}}(\alpha ) \le O({\text {prank}}(\alpha ))\) and it has been known that \({\text {prank}}(\alpha )\) can be bounded from above in terms of \({\text {arank}}(\alpha )\). In this paper, we improve the latter bound to polynomial, i.e. we show that there are quantities C, D depending on k only such that \({\text {prank}}(\alpha ) \le C ({\text {arank}}(\alpha )^D + 1)\). As a consequence, we prove a conjecture of Kazhdan and Ziegler. The same result was obtained independently and simultaneously by Janzer.
Similar content being viewed by others
Notes
We emphasize the word strong to make distiction from a weak version of the inverse theorem which we also prove in this paper.
In the induced graph \({\mathcal {G}}[B]\), where \({\mathcal {G}}\) has the same meaning as in the introduction.
Collection of sets closed under taking supersets.
A collection of set closed under taking subsets.
References
A. Bhowmick and S. Lovett. Bias vs Structure of Polynomials in Large Fields, and Applications in Effective Algebraic Geometry and Coding Theory (2015). arXiv preprint, arXiv:1506.02047.
W.T. Gowers. A new proof of Szemerédi’s theorem. Geometric and Functional Analysis, (3)11 (2001), 465–588.
W.T. Gowers and J. Wolf. Linear forms and higher-degree uniformitty functions on \({\mathbb{F}}_{p}{}^n\). Geometric and Functional Analysis, (1)21 (2011), 36–69.
B. Green and T. Tao. The distribution of polynomials over finite fields, with applications to the Gowers norms. Contributions to Discrete Mathematics, (2)4 (2009), 1–36.
B. Green and T. Tao. Linear equations in primes. Annals of Mathematics, (3)171 (2010), 1753–1850.
B. Host and B. Kra. Nonconventional ergodic averages and nilmanifolds. Annals of Mathematics, (1)161 (2005), 397–488.
O. Janzer. Low Analytic Rank Implies Low Partition Rank for Tensors (2018). arXiv preprint, arXiv:1809.10931.
O. Janzer. Polynomial Bound for the Partition Rank vs the Analytic Rank of Tensors (2019). arXiv preprint, arXiv:1902.11207.
T. Kaufman and S. Lovett. Worst case to average case reductions for polynomials. In: Proceedings of 49th Annual IEEE Symposium on Foundations of Computer Science, (2008), pp. 166–175.
D. Kazhdan and T. Ziegler. Properties of High Rank Subvarieties of Affine Spaces (2019). arXiv preprint, arXiv:1902.00767.
S. Lovett. The Analytic Rank of Tensors and Its Applications (2018). arXiv preprint, arXiv:1806.09179.
E. Naslund. The Partition Rank of a Tensor and \(k\) -right Corners in \({\mathbb{F}}_{q}{}^n\) (2017). arXiv preprint, arXiv:1701.04475.
Acknowledgements
I would like to acknowledge the support of the Ministry of Education, Science and Technological Development of the Republic of Serbia, Grant ON174026. I would also like to thank the anonymous referee for a very careful reading.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Milićević, L. Polynomial bound for partition rank in terms of analytic rank. Geom. Funct. Anal. 29, 1503–1530 (2019). https://doi.org/10.1007/s00039-019-00505-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-019-00505-4