For fixed $d\geq 2$, let $\tau_d(n)$ be the minimum size of a set $S\subseteq\{0,\ldots,n\}^d$ such that the affine lines determined by pairs of distinct points of $S$ cover the grid. Let $\sigma_d(n)$ be the analogous minimum when every grid point must lie on the closed segment joining two distinct points of $S$. A celebrated result of Alon [GAFA, 1991] proved that $\tau_d(n)$ is of order between $\Omega_d(n^{\alpha_d})$ and $O_d(n^{\alpha_d}\log n)$, where $\alpha_d=\frac{d(d-1)}{2d-1}$, and asked whether the logarithm term is necessary. We prove that $$c_d n^{\alpha_d}\leq\tau_d(n)\leq\sigma_d(n)\leq C_d n^{\alpha_d}$$ for every fixed $d\geq 2$, thereby resolving Alon's problem in a stronger form.
For $2 \leq a \leq d+1$, what is the largest integer $H_{a,d} (n)$ such that every set of $n$ points in $\mathbb{R}^d$ with no $a$ points on a common $(a-2)$-flat contains a subset of $H_{a,d} (n)$ points whose determined $(a-1)$-dimensional simplices have pairwise distinct $(a-1)$-dimensional volumes? We construct $n$...
Let $d,K,N\in \mathbb{N}$ with $K\geq 3$ and $d\geq 4K+4$. Let $\Delta\subset \mathbb{Z}^d$ be the vertex set of a nondegenerate $(K-1)$-simplex, and let $A\subseteq[N]^d$ contain no nontrivial similar copy of $\Delta$. We prove that \[ |A|\ll_{\Delta,d} N^d\exp\!\left(-c_{\Delta,d}\sqrt{\log N}\right) \] improving upo...
Andrew Lott, Á. Magyar, N. R. Ponagandla· 0 citations
For integers $d\geq 3$, let $F_{2,d}(n)$ be the largest size of a subset of $[n]$ containing no two distinct elements whose product is a perfect $d$-th power, and let $f_{2,d}(n)$ denote the analogous quantity when the two elements need not be distinct. Fleiner, Juh\'asz, K\"ov\'er, Pach, and S\'andor proved that both...
For a positive integer $n$, put $A_d=\{id:1\le i\le\lfloor n/d\rfloor\}$ for $1\le d\le n$ and $B_d=\{id:1\le i\le n\}$ for $d\in\mathbb{N}$. For $D\subseteq\{1,\ldots,n\}$, let $m_D(n)$ be the minimum length of an integer interval containing pairwise disjoint shifted copies of $A_d$ for all $d\in D$. For a finite set...
For an integer $n\ge0$, let $f(n)$ be the minimum number of subcubes of $\mathbb{Z}_3^n$ of the form $A_1\times\cdots\times A_n$, where $|A_i|=2$ for every $i$, whose union covers $\mathbb{Z}_3^n$. A simple counting argument gives $f(n)\ge(3/2)^n$, while $f(n)=O(n(3/2)^n)$ by random construction. We prove that $f(n)\le...
Let $G_n$ be the $n\times n$ square grid, and let $k\geq 2$. A set $D\subseteq V(G_n)$ is an \emph{exact-distance $k$-dominating set} if every vertex $v\in V(G_n)\setminus D$ has a vertex $u\in D$ with $d(u,v)=k$. We write $D_{\mathrm{opt}}^{(k)}(G_n)$ for the minimum cardinality of such a set. For every fixed $k$, con...
