The Ubiquity of Sidon Sets That Are Not $I_0$
We prove that every infinite, discrete abelian group admits a pair of $I_0$ sets whose union is not $I_0$. In particular, this implies that every such group contains a Sidon set that is not $I_{0}$.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
L. Thomas Ramsey contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that every infinite, discrete abelian group admits a pair of $I_0$ sets whose union is not $I_0$. In particular, this implies that every such group contains a Sidon set that is not $I_{0}$.
For any three element set of positive integers, $\{a,b,n\}$, with $a<b<n$, $n$ sufficiently large and $\gcd(a,b)=1$, we find the least $α$ such that given any real numbers $t_1$, $t_2$, $t_3$, there is a real number $x$ such that \begin{equation*} \max \{\left\langle ax-t_{1}\right\rangle ,\left\langle bx-t_{2}\right\rangle ,\left\langle nx-t_{3}\right\rangle \}\leq α, \end{equation*} where $\left\langle \cdot \right\rangle $ denotes the distance to the nearest integer. The number $α$ is known as the angular Kronecker constant of $\{a,b,n\}$. We also find the least $β$ such that the same inequality holds with upper bound $β$ when we consider only approximating $t_{1},t_{2},t_{3}$ $\in \{0,1/2\}$, the so-called binary Kronecker constant. The answers are complicated and depend on the congruence of $n\mod(a+b)$. Surprisingly, the angular and binary Kronecker constants agree except if $n\equiv a^{2}\mod(a+b)$.
A subset $E$ of a discrete abelian group is called $ε$-Kronecker if all $E$-functions of modulus one can be approximated to within $ε$ by characters. $E$ is called a Sidon set if all bounded $E$-functions can be interpolated by the Fourier transform of measures on the dual group. As $ε$-Kronecker sets with $ε<2$ possess the same arithmetic properties as Sidon sets, it is natural to ask if they are Sidon. We use the Pisier net characterization of Sidonicity to prove this is true.
Various upper and lower bounds are provided for the (angular) Kronecker constants of sets of integers. Some examples are provided where the bounds are attained. It is proved that 5=16 bounds the angular Kronecker constants of 3-element sets of positive integers. However, numerous examples suggest that the minimum upper bound is 1=4 for 3-element sets of positive integers.