Three-term progression distance conjecture for fractal measures

Less than 1 year old · traced to

Let u u be a compactly supported probability measure on Rd\mathbb{R}^d satisfying

ν(B(x,r))≤CHrα\nu(B(x,r))\leq C_Hr^\alpha

and

∣ν^(ξ)∣≤CF∣ξ∣−β/2.|\widehat{\nu}(\xi)|\leq C_F|\xi|^{-\beta/2}.

Assume that α>2d/3\alpha>2d/3. Three-term progression distance conjecture. Under appropriate quantitative assumptions on the parameters involved, the set

{r>0:∃x,u \oldtextwith ∣u∣=r \oldtextand x,x+u,x+2u∈supp⁡ν}\left\{r>0:\exists x,u\ \oldtext{ with }\ |u|=r\ \oldtext{ and }\ x,x+u,x+2u\in\operatorname{supp}\nu\right\}

has positive Lebesgue measure. Earlier work established existence of three-term arithmetic progressions, and in some cases positive measure for their starting points; the conjecture asks for positive measure of the set of progression lengths in the stated fractal setting.

References

Primary source

Marc Carnovale and Steven Senger, “On the number of 3APs in fractal sets”, arXiv:2602.03029 (2026).

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.