On exponential frames near the critical density

Abstract

Given a relatively compact set $\hat{I}\text{c◯}\subseteq \mathbb{R}$ of Lebesgue measure $|\hat{I}\text{c◯}|$ and $\epsilon >0$, we show the existence of a set $\hat{I}›\subseteq \mathbb{R}$ of uniform density $D(\hat{I}›)\le (1+\epsilon )|\hat{I}\text{c◯}|$ such that the exponential system $\{\exp (2\ddot{I}€i\hat{I}»\cdot )1_{\hat{I}}\text{c◯}:\hat{I}»\in \hat{I}›\}$ is a frame for $L^2(\hat{I}\text{c◯})$ with frame bounds $A|\hat{I}\text{c◯}|,B|\hat{I}\text{c◯}|$ for constants $A,B$ only depending on $\epsilon$. This solves a problem on the frame bounds of an exponential frame near the critical density posed by Nitzan, Olevskii and Ulanovskii. We also prove an extension to locally compact abelian groups, which improves a result by Agora, Antezana and Cabrelli by providing frame bounds involving the spectrum.

Final version. Throughout the paper, the spectrum is now assumed to be compact rather than relatively compact. Some additional typos have been fixed