Continuous-measure recurrence conjecture for recurrence sets

Let SZ{0}S\subseteq\mathbb Z\setminus\{0\} be a set of recurrence. A Borel probability measure σ\sigma on T\mathbb T is continuous if σ({a})=0\sigma(\{a\})=0 for every aTa\in\mathbb T, and let e(x)=exp(2πix~)e(x)=\exp(2\pi i\tilde{x}) for x=x~+Zx=\tilde{x}+\mathbb Z. Continuous-measure recurrence conjecture. There is a continuous probability measure σ\sigma on T\mathbb T such that, for all mZm\in\mathbb Z and all ε>0\varepsilon>0, the set

{nS:e(nx)e(mx)dσ(x)<ε}\left\{n\in S:\int |e(nx)-e(mx)|\,d\sigma(x)<\varepsilon\right\}

is a set of recurrence.

This conjecture is proposed as the remaining ingredient for extending the proof of the main theorem to the question of finding, inside every recurrence set, a recurrence subset that is not a set of strong recurrence. The source gives no resolution.

Sources & referencesView supporting material

Primary source

John T. Griesmer, “Separating measurable recurrence from strong recurrence via rigidity sequences”, arXiv:1808.05609 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.