Falconer Distance Conjecture
Prove Falconer’s distance conjecture: For any compact set E ⊂ R^d with d ≥ 2 and Hausdorff dimension dim_H(E) > d/2, demonstrate that the Lebesgue measure of the distance set A(E) = {|x − y| : x, y ∈ E} is positive.
References
The celebrated Falconer distance conjecture (see e.g. [7], [19]) states that if the Hausdorff dimension of a compact set E C Rd, d ≥ 2, is greater than , then the Lebesgue measure of the distance set A(E) = {|x -y| : x, y € E} is positive.
The threshold $d/2$ would be sharp. The problem remains open in every dimension $d \ge 2$ \footnote{Well after a full draft of this paper was completed, OpenAI posted a file claiming that a closely related problem has been solved. The claim, even if accepted by the mathematical community, would not recover our estimates in dimension $d\ge 3$.},