Hostname: page-component-77c89778f8-sh8wx Total loading time: 0 Render date: 2024-07-18T23:43:43.746Z Has data issue: false hasContentIssue false

$\varepsilon$-Kronecker and $I_{0}$ sets in abelian groups, I: arithmetic properties of $\varepsilon$-Kronecker sets

Published online by Cambridge University Press:  26 April 2006

COLIN C. GRAHAM
Affiliation:
Department of Mathematics, University of British Columbia, Vancouver, BC V6T 1Z2, Canada. e-mail: ccgraham@alum.mit.edu
KATHRYN E. HARE
Affiliation:
Department of Pure Mathematics, University of Waterloo, Waterloo, Ontario, N2L 3G1 Canada. e-mail: kehare@uwaterloo.ca

Abstract

A subset $E$ of the locally compact abelian group $\Gamma$ is “$\varepsilon$-Kronecker” if every continuous function from $E$ to the unit circle can be uniformly approximated on $E$ by a character with error less than $\varepsilon$. The set $E\subset \Gamma$ is $I_0$ if every bounded function on $E$ can be interpolated by the Fourier–Stieltjes transform of a discrete measure on the dual group.

We show that if $\varepsilon\,{<}\,\sqrt2$ then an $\varepsilon$-Kronecker set is $I_0$, but this is not true for at least one $\sqrt 2$-Kronecker set. $\varepsilon$-Kronecker sets in ${\mathbb Z}$ need not be finite unions of Hadamard sets. As with Sidon sets, $\varepsilon$-Kronecker sets with $\varepsilon\,{<}\,2$ do not contain arbitrarily long arithmetic progressions or large squares. When $\varepsilon\,{<}\,\sqrt 2$ they can contain only a bounded number of pairs with common differences and their step length tends to infinity. Related results and examples are given to show the sharpness of these results.

Type
Research Article
Copyright
2006 Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)