Randomised algebraic constructions for the no-$(k+1)$-in-line problem

TL;DR

This paper improves bounds on the maximum size of point sets in an n-by-n grid avoiding k+1 collinear points, using randomized algebraic methods, and extends known results for various k values.

Contribution

It introduces new asymptotically tight bounds for the no-(k+1)-in-line problem for large n and k, employing randomized algebraic constructions.

Findings

Established bounds: (1-2/k)kn ≤ f_k(n) ≤ kn for even k.

Established bounds: (1-3/k)kn ≤ f_k(n) ≤ kn for odd k.

Improved lower bounds for k<23 using randomized algebraic methods.

Abstract

The no-(k+1)-in line problem seeks the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are collinear. The problem was first posed more than $100$ years ago for the special case $k=2$ and has remained open ever since. The general problem was recently resolved in the case $k$ is not small compared to $n$, as Kov\'acs, Nagy and Szab\'o proved that the upper bound $kn$ can be attained, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. In this paper, we show that $\left(1-\tfrac{2}{k}\right)kn \leq f_k(n)\leq kn$ and $\left(1-\tfrac{3}{k}\right)kn \leq f_k(n)\leq kn$ hold for every even $k$ and odd $k$, respectively, provided that $n$ is large enough. This is asymptotically tight as $k\to \infty$. Previously, only $f_k(n)=\Omega(kn)$ was known due to Lefmann. We present further improvements on the lower bounds for constant values of $k$ when $k<23$ holds. All these bounds are based on randomised algebraic constructions.