





















Let $V$ be a finite-dimensional vector space over $\mathbb{F}_p$. We say that a multilinear form $α\colon V^k \to \mathbb{F}_p$ in $k$ variables is $d$-approximately symmetric if the partition rank of difference $α(x_1, \dots, x_k) - α(x_{π(1)}, \dots, x_{π(k)})$ is at most $d$ for every permutation $π\in \operatorname{Sym}_k$. In a work concerning the inverse theorem for the Gowers uniformity $\|\cdot\|_{\mathsf{U}^4}$ norm in the case of low characteristic, Tidor conjectured that any $d$-approximately symmetric multilinear form $α\colon V^k \to \mathbb{F}_p$ differs from a symmetric multilinear form by a multilinear form of partition rank at most $O_{p,k,d}(1)$ and proved this conjecture in the case of trilinear forms. In this paper, somewhat surprisingly, we show that this conjecture is false. In fact, we show that approximately symmetric forms can be quite far from the symmetric ones, by constructing a multilinear form $α\colon \mathbb{F}_2^n \times \mathbb{F}_2^n \times \mathbb{F}_2^n \times \mathbb{F}_2^n \to \mathbb{F}_2$ which is 3-approximately symmetric, while the difference between $α$ and any symmetric multilinear form is of partition rank at least $Ω(\sqrt[3]{n})$.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。