Let $c\_0$ be the Banach space of doubly infinite sequences $$\lbrace
 a\_n: -\infty\lt n\lt \infty, \lim\_{|n|\to \infty} a\_n=0 \rbrace.$$ Let $T$ be the space of $2\pi$ periodic functions integrable on $[0,2\pi]$. 


Let $$S=\lbrace \lbrace a\_n\rbrace \in c\_0: a\_n=\hat{f}(n) \forall n \mbox{ for some function } f\in T\rbrace,$$
where $\hat{f}(n)$ denotes the $n$-th Fourier coefficient of $f$, i.e. $$\hat{f}(n)=\frac{1}{2\pi}\int\_{-\pi}^\pi f(x)e^{-inx}\,dx.$$
When I was a graduate student, I was told that no known characterizations of $S$ were known. Is this still true?



Characterizations of a linear subspace associated with Fourier series
This is to summarize what were discussed in the comments, so the title will not be listed as unanswered.


The linear subspace $S$ of $c\_0(\mathbb{Z})$ is equal to the convolution product of two copies of $\ell^2(\mathbb{Z})$. 


More precisely, $\lbrace a\_n \rbrace$ is in $S$ if and only if there exist two sequences $\lbrace b\_n \rbrace$ and $\lbrace c\_n \rbrace$ in $\ell^2(\mathbb{Z})$ such that $$a\_n=\sum\_{k=-\infty}^\infty b\_k c\_{n-k} $$ for all $n$. 


This follows since every function in $L^1[0,2\pi]$ is a product of two functions in $L^2[0,2\pi]$, and that for any functions $f,g$ in $L^2[0,2\pi]$ one has, by Parseval identity,
$$\frac{1}{2\pi}\int\_{-\pi}^\pi f(x)g(x)e^{-inx}dx=\frac{1}{2\pi}\int\_{-\pi}^\pi f(x)\overline{h(x)}e^{-inx}dx=\sum\_{k=-\infty}^\infty \hat{f}(k) \hat{g}(n-k)$$
where $h(x)=\overline{g(x)}$. 


(One also uses that the mapping that maps each $f$ in $L^2[0,2\pi]$ to its Fourier coefficient sequence in $\ell^2(\mathbb{Z})$ is a surjective isomorphic isometry.)


