5
$\begingroup$

In reading the paper of Green and Tao on arithmetic progressions within the primes, I became very interested in the notion of a k-pseudorandom measure discussed in that paper.

A measure here is a function $\nu:\mathbf{Z}_N\to\mathbf{R}$ such that $\mathbf{E}\nu=1+o(1)$, and it is k-pseudorandom if it obeys the ($k2^{k-1}$,$3k-1$,$k$) (I think) linear forms condition, which basically asserts that it behaves independently with respect to at most $k2^{k-1}$ independent linear forms in $3k-1$ variables, and if it also obeys the correlation condition, which is a weaker form controlling the linear forms $x+h_i$.

They show that a relative Szemeredi's theorem applies to functions bounded by a k-pseudorandom measure, and then construct one that (effectively) bounds the primes.

My question is where else these type of functions have been studied, whether their theory has been expanded, and whether other explicit examples have been found and applied in other situations.

$\endgroup$
1

2 Answers 2

5
$\begingroup$

Linear forms condition says that these functions are morally the functions that are close to $1$ in appropriate $U^k$ norm. What I mean is that $U^k$ norms are a special kind of linear forms, and so linear forms condition implies proximity to $1$ in $U^k$, on one hand. On the other hand,if one controls $\nu-1$ in $U^t$ norm for sufficiently large $t=t(k)$, then by Cauchy-Schwarz argument one can control arbitrary linear forms.

[EDIT: The rest of the answer is result of my misunderstanding. See the comments.] There is an unpublished work of David Conlon and Timothy Gowers on Szemerédi-type results in random sets, in which, if I understood correctly what David explained to me, they show as a special case that the control in an appropriate $U^t$ norm is enough. (In particular the correlation condition is no longer necessary, and was an artifact of the original proof.)

So, the answer to your question is that the theory of these functions is essentially the theory of functions with small $U^k$ norm.

$\endgroup$
6
  • $\begingroup$ Perfect - the removal of the correlation condition was one of the things I was wondering about. Any idea if this paper is located online somewhere? $\endgroup$ Nov 28, 2009 at 21:59
  • $\begingroup$ Last I asked, it was not fully written yet. You should ask the authors. $\endgroup$
    – Boris Bukh
    Nov 28, 2009 at 22:12
  • 1
    $\begingroup$ It's not true that we removed the correlation condition -- that question is still open. What we did was look at functions bounded by random as opposed to pseudorandom measures, and we obtained best possible results by considering a specially constructued norm rather than the $U^k$ norm. The paper will be posted on the arXiv soon. $\endgroup$
    – gowers
    Nov 29, 2009 at 21:07
  • $\begingroup$ Thanks for clarifying. The way I understood David's explanation in Oberwolfach was that the norms you introduce are all bounded by an appropriate U^k norm. I must have misunderstood. $\endgroup$
    – Boris Bukh
    Nov 29, 2009 at 21:56
  • $\begingroup$ The way I understood David's explanation was that if there is control of all these norm, then the set is sufficiently pseudorandom to run transference. As all the norms are dominated by U^k norm, one can run transference having control on U^k alone (though due to use of Cauchy-Schwarz, the results obtained in this way are not sharp quantitatively). $\endgroup$
    – Boris Bukh
    Nov 29, 2009 at 22:02
4
$\begingroup$

For a relative Szemer\'edi theorem, the correlation condition was removed and just a weak linear forms condition was shown to be sufficient in:

D. Conlon, J. Fox, and Y. Zhao, A relative Szemerédi theorem, preprint.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.