Failure of Khintchine-type results along the polynomial image of IP0 sets
In "IP-sets and polynomial recurrence", Bergelson, Furstenberg, and McCutcheon established the following far reaching extension of Khintchine's recurrence theorem: For any invertible probability preserving system (X,A,μ,T), any non-constant polynomial p∈Z[x] with p(0)=0, any A∈A, and any ε>0, the set Rεp(A)={n∈N∣μ(A∩T−p(n)A)>μ2(A)−ε} is IP∗, meaning that for any increasing sequence (nk)k∈N in N, FS((nk)k∈N)∩Rεp(A)=∅, where FS((nk)k∈N)={∑j∈Fnj∣F⊆N is finite and F=∅}={nk1+⋯+nkt∣k1<⋯<kt,t∈N}. In view of the potential new applications to combinatorics, this result has led to the question of whether a further strengthening of Khintchine's recurrence theorem holds, namely whether the set Rεp(A) is IP0∗ meaning that there exists a t∈N such that for any finite sequence n1<⋯<nt in N, {∑j∈Fnj∣F⊆{1,...,t} and F=∅}∩Rεp(A)=∅. In this paper we give a negative answer to this question by showing that for any given polynomial p∈Z[x] with deg(p)>1 and p(0)=0 there is an invertible probability preserving system (X,A,μ,T), a set A∈A, and an ε>0 for which the set Rεp(A) is not IP0∗.
