Construction of a one-dimensional set which asymptotically and omnidirectionally contains arithmetic progressions (Q826451)

In this paper, the main attention is given to the notion of an arithmetic patch (AP) of size \(k\) and to the notion of the Assouad dimension. The main purpose is to prove negative answers to the following questions: Question 1. (A discrete analogue of the Kakeya problem): ``Let \(\epsilon \in (0,1)\) and suppose that \(F \subseteq \mathbb{R}^d\) contains a \((k, \varepsilon, \{e\})\)-AP for every direction \(e \in S^{d-1}\) and every \(k \geq 3\). Is it true that the Assouad dimension of \(F\) is necessarily equal to \(d\)?'' Question 2: ``Suppose that \(F \subseteq \mathbb{R}^d\) asymptotically and omnidirectionally contains arithmetic progressions. Is it true that the Assouad dimension of \(F\) necessarily equals to \(d\)?'' Let us notice that some open questions related to the Kakeya problem are given. Finally, one can note author's abstract: ``In this paper, we construct a subset of \(\mathbb{R}^d\) which asymptotically and omnidirectionally contains arithmetic progressions but has Assouad dimension 1. More precisely, we say that \(F\) asymptotically and omnidirectionally contains arithmetic progressions if we can find an arithmetic progression of length \(k\) and gap length \(\Delta>0\) with direction \(e\in S^{d-1}\) inside the \(\epsilon \Delta\) neighbourhood of \(F\) for all \(\epsilon>0\), \(k\geq 3\) and \(e\in S^{d-1}\). Moreover, the dimension of our constructed example is the lowest-possible because we prove that a subset of \(\mathbb{R}^d\) which asymptotically and omnidirectionally contains arithmetic progressions must have Assouad dimension greater than or equal to 1. We also get the same results for arithmetic patches, which are the higher dimensional extension of arithmetic progressions.''