Existence of limit n(2,d)/d²

Status open medium confidence

The question of whether $\lim_{d\to\infty} n(2,d)/d^2$ exists remains open. The source paper establishes the lower bound $n(2,d) > (1-o(1))d^2/2$ and conjectures the limit equals $1/2$ if it exists. A 2024 follow-up (arXiv:2402.02199) gives new lower bounds via a recursive construction of 2-neighborly codes and proposes a conjectured explicit formula for $n(2,d)$, but explicitly acknowledges that the existence of the limit is still unknown. No paper resolving the existence question was found.

Cited literature (1)

• partial Neighborly boxes and bipartite coverings; constructions and conjectures (2024)
  not retrieved · arXiv preprint · arXiv:2402.02199

  Provides improved lower bounds on $n(2,d)$ via a recursive construction of k-neighborly codes and conjectures an explicit formula for $n(2,d)$, while explicitly noting that the existence of $\lim_{d\to\infty} n(2,d)/d^2$ remains unknown.

Reviewer notes. A 2024 follow-up (arXiv:2402.02199) explicitly restates the open question, confirming the limit question was unresolved as of February 2024. Authors of arXiv:2402.02199 were not retrieved from the abstract fetch (PDF was not machine-readable). Confidence is medium rather than high because the conjecture is now ~3 years old and further progress since 2024 could not be ruled out within the 5-call cap.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).