We investigate gaps of
-term
arithmetic progressions
,
, …,
inside a positive-measure
subset
of the unit
cube
. If lengths
of their gaps
are
evaluated in the
-norm
for any
other than
,
, …,
, and
, and if the dimension
is large enough, then we
show that the numbers
attain all values from an interval, the length of which depends only on
,
,
, and the
measure of .
Known counterexamples prevent generalizations of this result to the remaining values of the
exponent
.
We also give an explicit bound for the length of the aforementioned interval. The
proof makes the bound depend on the currently available bounds in Szemerédi’s
theorem on the integers, which are used as a black box. A key ingredient of the proof
is power-type cancellation estimates for operators resembling the multilinear
Hilbert transforms. As a byproduct of the approach we obtain a quantitative
improvement of the corresponding (previously known) result for side lengths of
-dimensional
cubes with vertices lying in a positive-measure subset of
.
Keywords
Euclidean Ramsey theory, arithmetic progression, density
theorem, multilinear estimate, singular integral,
oscillatory integral