Is there a Plancherel Theorem for Gowers norms? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T19:30:11Z http://mathoverflow.net/feeds/question/83197 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83197/is-there-a-plancherel-theorem-for-gowers-norms Is there a Plancherel Theorem for Gowers norms? John Mangual 2011-12-11T18:38:35Z 2011-12-12T00:01:46Z <p>In the process of counting arithmetic sequences in sets, the Gowers norms</p> <p>$$||f||_{U^s[N]}^{2^s} = \frac{1}{N^s} \sum_{\vec{h} ,\, n } \Delta_{h_1}\dots\Delta_{h_s}f(n)$$</p> <p>where the sum is $\vec{h} \in\mathbb{Z}^s_N$ and $n \in \mathbb{Z}_N$. Here the discrete derivative" $\Delta_h f(n) = f(n+h)\overline{f(n)}$ so the $h=0$ terms correspond to $L^2$ norm.</p> <p>To find arithmetic sequences in the set $E$ want to take norms of characteristic functions $1_E$ with $E \subset \mathbb{Z}_N$ and $|E| = \delta N$.</p> <p>Letting $N \to \infty$, if $||1_E - \delta||_{U^s}$ is small $$\sum_{x,d \in \mathbb{Z}_N} 1_E(x)1_E(x+h)\dots 1_E(x+sh) \sim \delta^{s+1}N^s$$ the number of arithmetic sequences is comparable with that of a random set.</p> <p>The <a href="http://www.technion.ac.il/~tamarzr/prime-nil-web.pdf" rel="nofollow">inverse conjecture for Gowers norms</a> states the only obstructions to small Gowers' $U^s$ norms is correlation with s-step nilsequences. <hr> Is there a way to <em>decompose</em>" a set into its <strong>nilsequence contributions</strong>? This could be analogous to how an $L^2$ function $f: S^1 \to \mathbb{C}$ decomposes into its Fourier series $f(x) = \sum a_n e^{2\pi i n x}$.</p> <p>This might not be very well-defined. In that case, what steps could I take to make it meaningful. Also, these formulae are taken from Tamar Ziegler's slides.</p> <p>Looks like there might be problems if your set $E \subset \mathbb{Z}$ and then you have to decide <em>how</em> to approximate $E$ as subsets of $\mathbb{Z}/N\mathbb{Z}$ where $N$ is large. Maybe this is why they use ultralimits. </p> http://mathoverflow.net/questions/83197/is-there-a-plancherel-theorem-for-gowers-norms/83216#83216 Answer by Terry Tao for Is there a Plancherel Theorem for Gowers norms? Terry Tao 2011-12-11T23:27:32Z 2011-12-11T23:27:32Z <p>There is no known useful analogue of the Plancherel identity for higher norms, but there are certainly useful decompositions that roughly serve a similar purpose to the Fourier inversion formula. See for instance my paper with Ben Green at <a href="http://arxiv.org/abs/1002.2028" rel="nofollow">http://arxiv.org/abs/1002.2028</a></p> http://mathoverflow.net/questions/83197/is-there-a-plancherel-theorem-for-gowers-norms/83219#83219 Answer by Ben Green for Is there a Plancherel Theorem for Gowers norms? Ben Green 2011-12-12T00:01:46Z 2011-12-12T00:01:46Z <p>There is indeed no known formula of this type. If one is found, it might well make the proof of the Inverse Conjectures much easier, maybe with better bounds. It's certainly very hard to see how anything useful can be said beyond the paper Terry mentions without a new proof of the inverse conjectures.</p>