Partition and Analytic Rank are Equivalent over Large Fields
arXiv:2102.10509 · doi:10.1215/00127094-2022-0086
Abstract
We prove that the partition rank and the analytic rank of tensors are equal up to a constant, over finite fields of any characteristic and any large enough cardinality depending on the analytic rank. Moreover, we show that a plausible improvement of our field cardinality requirement would imply that the ranks are equal up to 1+o(1) in the exponent over every finite field. At the core of the proof is a technique for lifting decompositions of multilinear polynomials in an open subset of an algebraic variety, and a technique for finding a large subvariety that retains all rational points such that at least one of these points satisfies a finite-field analogue of genericity with respect to it. Proving the equivalence between these two ranks, ideally over fixed finite fields, is a central question in additive combinatorics, and was reiterated by multiple authors. As a corollary we prove, allowing the field to depend on the value of the norm, the Polynomial Gowers Inverse Conjecture in the d vs. d-1 case.
arXiv commentAppeared in Duke Mathematical Journal
References in corpus (7)
- Linear forms and higher-degree uniformity for functions on
- The inverse conjecture for the Gowers norm over finite fields via the correspondence principle
- An inverse theorem for the uniformity seminorms associated with the action of
- The Partition Rank of a Tensor and -Right Corners in
- Sum-product estimates for rational functions
- Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials
- Geometric rank of tensors and subrank of matrix multiplication