Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. In A sunflower anti-Ramsey theorem and its applications, Corollary 1(1) states that for every dimension dd there is a constant cdc_d such that, if X⊂RdX\subset\mathbb{R}^d has ∣X∣≥cdn2d+1/log⁡n|X|\ge c_dn^{2d+1}/\log n and no d+2d+2 points of XX lie on a (d−1)(d-1)-sphere, then XX contains nn points all of whose dd-simplices have distinct circumradii. The proof colors each (d+1)(d+1)-tuple by its circumradius and applies the paper's sunflower anti-Ramsey theorem with λ=2\lambda=2, since at most two spheres of a given radius pass through dd points. For d=2d=2 this gives nk=O(k5/log⁡k)n_k=O(k^5/\log k) for any planar point set with no four points concyclic.

Covers. The upper bound nk=O(k5/log⁡k)n_k=O(k^5/\log k). Its hypothesis, no four points on a circle, is implied by the general position of Problem 827, so the bound holds for the problem's nkn_k. It improves the O(k9)O(k^9) bound of Martínez and Roldán-Pensado and does not determine nkn_k for any kk.

Standing. Claimed. The manuscript is on arXiv, dated 19 May 2015, and no journal version of it is recorded. A thread post of 26 August 2026 pointed to Corollary 1(1) as giving this bound. The site's commentary does not mention the manuscript, and no review of it is recorded.