show/hide this revision's text 2 added 308 characters in body

Generally speaking, continuous incidence geometry problems are considered strictly harder than their discrete analogues. For instance, if (for simplicity) one replaces Hausdorff dimension with Minkowski dimension (and glosses over the distinction between upper and lower Minkowski dimension), then the Falconer problem is roughly equivalent to the following Erdos-like assertion:

If $E \subset {\bf R}^d$ has bounded diameter and $\delta$-entropy n (i.e. it requires exactly $n$ balls of radius $\delta$ to cover $E$) for some $\delta>0$, then $\Delta(E)$ has $\delta$-entropy $\gg n^{\frac{2}{d}-o(1)}$.

(EDIT: Strictly speaking, the above assertion is in fact false; see this paper of mine with Nets Katz for a simple counter-example. As discussed in that paper, the "correct" way to discretise the Falconer problem is in fact rather delicate.)

Informally, this is a relaxation of the Erdos problem in which one now considers two numbers to be equivalent if they differ by $O(\delta)$. This makes it significantly harder to apply algebraic methods (which do not react well to this sort of "fuzzy" arithmetic, especially when dividing by small non-zero denominators), although there have been some partial successes in extending the algebraic method to this setting, such as Guth's proof of the endpoint multilinear Kakeya conjecture.

The last part of this (now somewhat dated) survey of Wolff gives a detailed comparison of the Szemeredi-Trotter theorem and a variant of the Kakeya problem relating to sets of Furstenberg type, which is quite analogous to the relationship between the Erdos and Falconer conjectures.

show/hide this revision's text 1

Generally speaking, continuous incidence geometry problems are considered strictly harder than their discrete analogues. For instance, if (for simplicity) one replaces Hausdorff dimension with Minkowski dimension (and glosses over the distinction between upper and lower Minkowski dimension), then the Falconer problem is roughly equivalent to the following Erdos-like assertion:

If $E \subset {\bf R}^d$ has bounded diameter and $\delta$-entropy n (i.e. it requires exactly $n$ balls of radius $\delta$ to cover $E$) for some $\delta>0$, then $\Delta(E)$ has $\delta$-entropy $\gg n^{\frac{2}{d}-o(1)}$.

Informally, this is a relaxation of the Erdos problem in which one now considers two numbers to be equivalent if they differ by $O(\delta)$. This makes it significantly harder to apply algebraic methods (which do not react well to this sort of "fuzzy" arithmetic, especially when dividing by small non-zero denominators), although there have been some partial successes in extending the algebraic method to this setting, such as Guth's proof of the endpoint multilinear Kakeya conjecture.

The last part of this (now somewhat dated) survey of Wolff gives a detailed comparison of the Szemeredi-Trotter theorem and a variant of the Kakeya problem relating to sets of Furstenberg type, which is quite analogous to the relationship between the Erdos and Falconer conjectures.