Erdős Problem #1089 — Let gd(n)g_d(n) be minimal such that every collection of gd(n)g_d(n) points in Rd\mathbb{R}^d determines at least nn many distinct distances.

About 51 years old · traced to

Let gd(n)g_d(n) be minimal such that every collection of gd(n)g_d(n) points in Rd\mathbb{R}^d determines at least nn many distinct distances. Estimate gd(n)g_d(n). In particular, does lim⁡d→∞gd(n)dn−1\lim_{d\to \infty}\frac{g_d(n)}{d^{n-1}} exist?

References

Progress summary

Refreshed
Claimed solved

The asymptotic question is settled: in dimensions growing large, the required number of points grows like a fixed multiple of the dimension raised to one less than the requested number of distances.

Kelly posed the question, recorded by Erdős in 1975. It asks for the growth of gd(n)g_d(n) and the existence of its normalized limit.

Known results

  • For n≥2n\ge 2, (d+1n−1)+1≤gd(n)≤(d+n−1n−1)+1\binom{d+1}{n-1}+1\le g_d(n)\le\binom{d+n-1}{n-1}+1 (Bannai, Bannai, and Stanton, 1983; lower bound attributed to Aletheia, [Fe26]).
  • Hence lim⁡d→∞gd(n)/dn−1=1/(n−1)!\displaystyle\lim_{d\to\infty}g_d(n)/d^{n-1}=1/(n-1)! for n≥2n\ge 2; also gd(1)=2g_d(1)=2.
  • Special cases include g1(3)=4g_1(3)=4, g2(3)=6g_2(3)=6, and g3(3)=7g_3(3)=7 (Croft, 1962).

Independent rediscovery by Aletheia

Aletheia independently derived the asymptotic result; human experts then identified an earlier solution in Bannai–Bannai, 1981, Remark 3(ii). The result is corroborated by the cited bounds and published discussion.

Current status (as of February 2026): The limit is settled for n≥2n\ge 2, with value 1/(n−1)!1/(n-1)!; n=1n=1 is also settled, while finer questions such as exact values remain separate.

Sources

Solutions 0

No solutions have been posted yet.