Browse
Claims
Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.
The repeated (popular) distances problem: lower bounds on how often a single distance occurs among pairs of a finite point set, including guarantees that every large subset contains a popular distance, constructions (e.g. lattice-based) attaining such bounds, and the dual relation to the Erdős distinct distances problem. Claims only about counting unit distances or the maximum number of distinct d
Contribute
If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.