Wiki
Wiki

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

Updated


Source. K. Vesztergombi, On large distances in planar sets, Discrete Math. 67 (1987), no. 2, 191--198, doi:10.1016/0012-365X(87)90027-6; the construction on pp. 197--198 with Fig. 7 (p. 197), read on the page images of the print. The edition is identified on the source card.

Read depth. Claims checked: the construction was read clause by clause on the page images. The paper asserts the count and gives no verification; none was carried out here. Nothing here is independently reviewed.

Statement

The notation is that of the Theorem on p. 192: d2d_2 is the second-largest distance of a planar set and n2n_2 the number of pairs at distance d2d_2.

Construction (pp. 197--198, unnumbered). Let n=2mn=2m. The outer points v1,…,vmv_1,\ldots,v_m are the vertices of a regular mm-gon, among which, the paper states, d2d_2 occurs mm times. Points u1,…,umu_1,\ldots,u_m are placed inside the circumscribed circle of the viv_i so that

d(vi,ui)=d(ui,vi+1)=d2,d(v_i,u_i)=d(u_i,v_{i+1})=d_2,

indices taken modulo mm. The paper concludes (p. 198) that these 2m2m points have n2=3mn_2=3m, equality in the bound n2≤32nn_2\le\frac32n.

The paper states no range for mm, and Fig. 7 (p. 197) draws the case m=5m=5. The clause that d2d_2 occurs mm times among the viv_i needs a regular mm-gon with at least two distinct distances, so m≥4m\ge4. The paper does not check that the added points leave d1d_1 and d2d_2 the two largest distances of the whole set.

Dependencies

None within the paper beyond the definitions of d2d_2 and n2n_2 (p. 191).

Bears on

  • Problem 132: as asserted, the construction gives sets of n=2mn=2m points whose second-largest distance occurs between 32n\frac32n pairs, more than nn, so the two largest distances do not in general give the two distances the problem's first question asks for. It is not a counterexample to that question: the paper does not count the pairs at the smaller distances of these sets.