On an Erdős similarity problem in the large
Authors:
Xiang Gao,
Yuveshen Mooroogen,
Chi Hoi Yip
Abstract:
In a recent paper, Kolountzakis and Papageorgiou ask if for every $ε\in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - ε$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity pro…
▽ More
In a recent paper, Kolountzakis and Papageorgiou ask if for every $ε\in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - ε$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity problem. In this paper, we show that for each sequence of real numbers whose integer parts form a set of positive upper Banach density, one can explicitly construct such a set $S$ that contains no affine copy of that sequence. Since there exist sequences of arbitrarily rapid growth that satisfy this condition, our result answers Kolountzakis and Papageorgiou's question in the affirmative. A key ingredient of our proof is a generalization of results by Amice, Kahane, and Haight from metric number theory. In addition, we construct a set $S$ with the required property -- but with $ε\in (1/2, 1)$ -- that contains no affine copy of $\{2^n\}$.
△ Less
Submitted 12 December, 2023; v1 submitted 11 November, 2023;
originally announced November 2023.
Large subsets of Euclidean space avoiding infinite arithmetic progressions
Authors:
Laurestine Bradford,
Hannah Kohut,
Yuveshen Mooroogen
Abstract:
It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following sense: for each $λ$ in $[0,1)$, we construct a subset of $\mathbb{R}$ that intersects every interval of unit length in a set of measure at least $λ$, but that does…
▽ More
It is known that if a subset of $\mathbb{R}$ has positive Lebesgue measure, then it contains arbitrarily long finite arithmetic progressions. We prove that this result does not extend to infinite arithmetic progressions in the following sense: for each $λ$ in $[0,1)$, we construct a subset of $\mathbb{R}$ that intersects every interval of unit length in a set of measure at least $λ$, but that does not contain any infinite arithmetic progression.
△ Less
Submitted 20 April, 2023; v1 submitted 10 May, 2022;
originally announced May 2022.