I was trying some exercises to prepare for a graph theory exam and I am stuck on a particular problem, namely:
One must show that given $P$, a set of $N$ points in the plane such that all distances are pairwise different, there is an $N$ such that one can find distinct points $x,y$ and subsets $S,S′$ of $P$, both of size $7$, where $x,y$ are in $S\cap S′$ and $d(x,y)$ is maximal in $S$ and minimal in $S′$. Additionally show that $N$ can be chosen to be less than $2020$.
I know that somehow I can apply results of Ramsey theory, my problem is I can't seem to translate the points to the right graph I need to consider.
Let $S$ be the $7$-set of minimum diameter and let $x,y$ its two points at maximum distance.
Now consider the set of vertices that are at distance at least $d(x,y)$ from $x$ and $y$. There has to be a bunch of them, because there can't be too many points in the the union of the two balls of radius $d(x,y)$ with centers $x,y$. You'll get a constant number $c$ such that at most $c$ points are at distance less than $d(x,y)$ from at least one of $x$ and $y$.
Consider the graph on these at least $N-c$ points that are at distance more than $d(x,y)$ from both $x$ and $y$. We color an edge blue if the distance is less than $d(x,y)$ and red if it is more than $d(x,y)$. this graph cannot have a blue $K_7$. If it has a red $K_5$ then we can take those $5$ points and $x,y$ to form the set $S'$.
Hence if $N$ is at least $R(5,7)+c$ we can guarantee those two numbers. It seems that $R(5,7) \leq 143$.
Here is a cheap way to get a $c$: we cover the union of the two open balls of radius $d(x,y)$ and centers $(0,0)$ and $(0,d(x,y))$ using the open balls of radius $d(x,y)/2$ and centers $(id(x,y)/4/4,kd(x,y)/4)$ with $0\leq i,j \leq 8$. So none of these balls can have more than $6$ points, hence there can be at most $9^2\cdot 6=486$ points in the union of those two open balls.
So it seems like $486+143 = 629$ works.