The Multidimensional version of Szemerédi's theorem given by Theorem 10.2 in Tim Gower's paper from 2007 has the following statement.

*Let $\delta>0$ and $k\in\mathbb{N}$. Then if $N$ is sufficiently large, every subset $A$ of the $k$-dimensional grid $\{1,2,\ldots,N\}^k$ of size at least $\delta N^k$ contains a set of points of the form $\{a\}\cup\{a+de_i:1\leq i\leq k\}$ where $e_1,e_2,\ldots,e_k$ is the standard basis of $\mathbb{R}^k$ and $d$ is a nonzero integer.*

What is the biggest construction of a set $A\subseteq \{1,2,\ldots,N\}^k$ known for which there is no subset of the form $\{a\}\cup\{a+de_i:1\leq i\leq k\}$, much like Behrend's construction provides a large set with no length $3$ arithmetic progressions?