OpenAI reports the higher-dimensional Erdős distinct-distance bound
- Mathematics
For every fixed dimension d≥3, a constant c_d>0 makes every n-point set of distinct points in ℝᵈ determine at least c_d n^(2/d) distinct distances.
For every fixed dimension d≥3, a constant c_d>0 makes every n-point set of distinct points in ℝᵈ determine at least c_d n^(2/d) distinct distances.
For every fixed dimension d≥3, a constant c_d>0 makes every n-point set of distinct points in ℝᵈ determine at least c_d n^(2/d) distinct distances.
For every fixed dimension d≥3, a constant c_d>0 makes every n-point set of distinct points in ℝᵈ determine at least c_d n^(2/d) distinct distances.
If correct, resolves the higher-dimensional Erdős distinct-distances conjecture at the optimal exponent.
Must n points in every fixed higher dimension determine on the order of n^(2/d) distinct distances?
Publication dates and editorial changes.
OpenAI reports the higher-dimensional Erdős distinct-distance bound
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.