Open Research Index

Fixed-dimensional separated Euclidean distances below 0.74 n squared

John Tripodo

Palomar Registrypalomar/PALOMAR-2026-10-14-000003Oct 14, 2026math.COscore 0

For every natural n at least 68000, the formalization constructs n injectively indexed points in the fixed Euclidean space R^458999. Distances between distinct points are at least one, distances attached to different unordered non-diagonal pairs differ by at least one, and both every pair distance and the diameter are strictly below (37/50)n^2. The dimension and threshold are explicit sufficient bounds; no optimality or independent priority review is claimed. This code-only port preserves the theorem of the cited public formalization. The full migrated build and final axiom audit have…

SourceRepositoryJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/palomar/PALOMAR-2026-10-14-000003
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-14-000003/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-10-14-000003/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'