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
Research tools
Network
Opportunities
Account
Source author record
L. Thomas Ramsey appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher 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.