google-deepmind / google-deepmind/formal-conjectures

Erdős Problem 956

Open
#1,035 1 comment 0 reactions 0 assignees View on GitHub
ams-52: Convex and discrete geometry erdos-problems new conjecture
Dominant language
Lean
Stars
1.3k
Forks
485
Avg merge
1d 20h
Merged PRs (30d)
327

Description

### What is the conjecture

https://www.erdosproblems.com/956

If $C,D\subseteq \mathbb{R}^2$ then the distance between $C$ and $D$ is defined by
$$\delta(C,D)=\inf_{\substack{c\in C\\ d\in D}}\| c-d\|.$$
Let $h(n)$ be the maximal number of unit distances between disjoint convex translates. That is, the maximal $m$ such that there is a compact convex set $C\subset \mathbb{R}^2$ and a set $X$ of size $n$ such that all $(C+x)_{x\in X}$ are disjoint and there are $m$ pairs $x_1,x_2\in X$ such that
$$\delta(C+x_1,C+x_2)=1.$$
Determine $h(n)$ - in particular, prove that there exists a constant $c>0$ such that $h(n)>n^{1+c}$ for all large $n$.

Status: open

### Choose either option
- [ ] I plan on working on this conjecture
- [x] This issue is up for grabs: I would like to see this conjecture added by somebody else

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.