Two Congruence Classes of Extremal Twenty-Point Sets
- 1Mercury Software GmbH
Abstract
Alexeev, Mixon and Parshall proved that twenty points in the plane have at most 54 unit-distance pairs and that every maximizing set has the same abstract unit-distance graph. We determine its Euclidean realization classes: there are exactly two, even when reflections are allowed. Both are explicit Minkowski sums of the unit diamond and a five-point triangular fan. Cartesian-product squares force every injective realization to have this form, and one additional edge leaves two relative rotations. A fourth distance moment separates the resulting sets. The proof uses the established abstract-graph enumeration and otherwise consists of elementary geometry and exact algebra. This is a finite congruence classification; it does not resolve the asymptotic question in Erdős Problem 668.
Related
- Mod 3 Congruence Families for twisted signatures of string manifolds in dimensions up to twenty-eight
- Congruence-Class Gram Reconstruction for Proper Trees: Multiple Repeated-Weight Classes Without a Common-Divisor Hypothesis
- Congruence Classes of Supporting the Erdös-Straus Conjecture I: Tame Solutions
- Congruence Classes in 𝔽p2: Sharp Results via an Energy Approach
- Congruence Classes of Supporting the Erdös-Straus Conjecture II: Wild Solutions
BibTeX
@misc{ferudun2026congruence,
title = {{Two Congruence Classes of Extremal Twenty-Point Sets}},
author = {Alper Ferudun},
howpublished = {Zenodo},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23440649},
url = {https://zenodo.org/records/23440649},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Two Congruence Classes of Extremal Twenty-Point Sets
AU - Alper Ferudun
PY - 2026
DA - 2026/10/17
PB - Zenodo
DO - 10.5281/zenodo.23440649
UR - https://zenodo.org/records/23440649
AB - Alexeev, Mixon and Parshall proved that twenty points in the plane have at most 54 unit-distance pairs and that every maximizing set has the same abstract unit-distance graph. We determine its Euclidean realization classes: there are exactly two, even when reflections are allowed. Both are explicit Minkowski sums of the unit diamond and a five-point triangular fan. Cartesian-product squares force every injective realization to have this form, and one additional edge leaves two relative rotations. A fourth distance moment separates the resulting sets. The proof uses the established abstract-graph enumeration and otherwise consists of elementary geometry and exact algebra. This is a finite congruence classification; it does not resolve the asymptotic question in Erdős Problem 668.
ER -