Katz–Tao discretized sum-product conjecture
For 0<σ<10<\sigma<10<σ<1, define a (δ,σ)1(\delta,\sigma)_1(δ,σ)1-set to be a δ\deltaδ-separated subset A⊂[1,2]A\subset[1,2]A⊂[1,2] satisfying ∣A∣∼δ−σ|A|\sim\delta^{-\sigma}∣A∣∼δ−σ and ∣A∩I∣≲∣I∣σ∣A∣|A\cap I|\lesssim |I|^{\sigma}|A|∣A∩I∣≲∣I∣σ∣A∣ fo…