Skip to published state

finding record / erdos

recorded

vf_ef86d925da3eecc8

Erdős Problem #956

Canonical assertion

declared status 'open'. Formalized: no. If C,DR2C,D\subseteq \mathbb{R}^2 then the distance between CC and DD is defined byδ(C,D)=infcCdDcd.\delta(C,D)=\inf_{\substack{c\in C\\ d\in D}}\| c-d\|.Let h(n)h(n) be the maximal number of unit distances between disjoint convex translates. That is, the maximal mm such that there is a compact convex set CR2C\subset \mathbb{R}^2 and a set XX of size nn such that all (C+x)xX(C+x)_{x\in X} are disjoint and there are mm pairs x1,x2Xx_1,x_2\in X such thatδ(C+x1,C+x2)=1.\delta(C+x_1,C+x_2)=1.Determine h(n)h(n) - in particular, prove that there exists a constant c>0c>0 such that h(n)>n1+ch(n)>n^{1+c} for all large nn. Current best: They also consider the related function where we consider nn disjoint convex sets (not necessarily translates), for which they give an upper bound of n7/5\ll n^{7/5}. Prize: no. Tags: convex, distances, geometry.

Notation is rendered from the stored source. The pinned checkout remains the exact record.

  1. database_record
  2. theoretical
  3. 0 spans
  4. recorded
Provenance summary
erdos_deep:956
database_record
Jun 16, 2026, 12:00 AM
not recorded
0
Exact record identityFinding ID, frontier identity, and pinned Git source
vf_ef86d925da3eecc8
vfr_0a25edabc16db143
ce8ba7d934c848408e0d91caca39e938698e3fc7
03f7371b496485f761f91961027fd48198dc7e93
Exact source and rootsGit ce8ba7d934c8 and content-addressed ledgers
Commit
ce8ba7d934c848408e0d91caca39e938698e3fc7
Tree
03f7371b496485f761f91961027fd48198dc7e93
Committed
2026-07-20T19:20:20-04:00
Repository
Open source
Event log
sha256:a06797bc0d1b0e3c88a2f97507fe0832661e3992d8df41187a0aa6d3ceee9bde
Snapshot
sha256:1faedc24f040a60a22177b456c74b969a61ce8836082297b1835797a57b4fa56
Proposals
sha256:e69b38037814f2e8ca826942cfc50ab370993889be2913cac1c0b3e77711160f
Actor registry
sha256:665f3e1c48f0a50fac949681c0af01bdd28de2991f2cdc5cc4cddbe69df6311b
Artifacts
sha256:3d58619c5cfb7e28de2f344476e35c9f0b80709c996b2a1bfdb2e11496f7e1da