arXiv++ Combinatorics

The classical no-$k$-in-line problem asks for the largest number of points that can be placed on an $n \times n$ grid without having $k$ of them collinear. A natural extension, motivated by the analogous question by Erde for $k\in \mathbb{Z}$, is the \emph{extensible no-$(k(n)+1)$-in-line problem}, which seeks a subset of points in $\mathbb{Z}^2$ with maximal possible density such that at most $k(n)$ points are collinear within the subgrid $[1,n]^2$. We construct optimal sets for linear functions and positive-density sets for power functions. We prove that any configuration achieving $\liminf\frac{S_n}{n k(n)} \ge 0.897$ must satisfy $k(n) = Ω( n^c)$ for some $c>0$ constant; therefore, the extensible no-$k$-in-line problem has no configuration with this property when $k$ is a constant. Finally, we reduce the problem to the extensible no-$k$-in-line problem, showing that if a positive-density point-set exists for a constant limiter function, then one also exists for any sufficiently regular function $k(n)$.

We study the maximum size of a subset of the $n \times n$ integer grid that does not contain specific geometric configurations, a variation of the classical problems initiated by Erdős and Purdy. While extremal problems for 3-point patterns, such as collinear triples and right triangles are well-studied, the landscape for 4-point configurations in the grid remains less explored. In this paper, we survey the state-of-the-art regarding forbidden 3-point and 4-point configurations, including parallelograms, trapezoids, and concyclic sets. Furthermore, we prove new lower bounds for grid subsets avoiding rhombuses and kites. Specifically, by combining the probabilistic method with the arithmetic properties of Sidon sets, we show that the maximum size of a rhombus-free subset is $Ω(n^{4/3}(\log n)^{-1/3})$. We also provide near-quadratic lower bounds for sets avoiding kites with axis-parallel diagonals using Behrend-type constructions and discuss implications for square-free sets. These results illustrate the strong interplay between discrete geometry and additive combinatorics.