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

DOI10.4171/JFG/90MaRDI QIDQ826451zbMATH OpenFDO

Authors Kota Saito

Publication date 4 January 2021

Published in Journal of Fractal Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1805.12063

zbMATH Keywords

arithmetic patchesarithmetic progressionsAssouad dimensiondiscrete Kakeya problem

Mathematics Subject Classification ID

Arithmetic progressions (11B25) Fractals (28A80)

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 $ein{S}^{d-1}$ inside the $epsilonDelta$ neighbourhood of $F$ for all $epsilon>0$, $kgeq3$ and $ein{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.

Review text

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.

Recommendations

• On Assouad dimension and arithmetic progressions in sets defined by digit restrictions
• Dimensions of sets which uniformly avoid arithmetic progressions
• Perfect fractal sets with zero Fourier dimension and arbitrarily long arithmetic progressions
• Arithmetic patches, weak tangents, and dimension
• Arithmetic progressions in sets of fractional dimension

Cites work

• Arithmetic patches, weak tangents, and dimension
• Assouad type dimensions and homogeneity of fractals
• Dimensions of sets which uniformly avoid arithmetic progressions
• scientific article; zbMATH DE number 1994007 (Why is no real title available?)
• On the dimension of Kakeya sets and related maximal inequalities

Cited in

(5)

• On Assouad dimension and arithmetic progressions in sets defined by digit restrictions
• Arithmetic patches, weak tangents, and dimension
• Perfect fractal sets with zero Fourier dimension and arbitrarily long arithmetic progressions
• Dimensions of sets which uniformly avoid arithmetic progressions
• Minkowski weak embedding theorem

This page was built for publication: Construction of a one-dimensional set which asymptotically and omnidirectionally contains arithmetic progressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q826451)