Three-term progression distance conjecture for fractal measures

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+2usuppν}\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.

Sources & referencesView supporting material

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.