{"id":"arxiv/2608.12280","url":"https://arxiv.org/abs/2608.12280","tags":["math.FA","math.CA"],"score":0,"title":"Grothendieck's theorem for Bessel sequences","domain":"math.FA","source":"arxiv","authors":["Lukas Liehr","Mitchell A. Taylor","Peiyang Yu"],"reviews":0,"subject":"math.FA","summary":"We establish a sharp version of Grothendieck's theorem for Bessel sequences. Precisely, given a Bessel sequence $\\{ x_j \\}_{j\\in\\mathbb{N}}$ with Bessel bound $1$ in a Hilbert space, we show that there exists functions $\\{ f_j \\}_{j\\in\\mathbb{N}}$ belonging to the unit ball of $L^\\infty([0,1])$ such that for all $j,k \\in \\mathbb{N}$ one has $$ \\langle x_j,x_k\\rangle = \\int_0^1 f_j(x)\\overline{f_k(x)}\\,dx.$$ As an application, we give an affirmative answer to an extension problem of Olevskii: if $E \\subset [0,1]$ is a Lebesgue measurable set such that $[0,1]\\setminus E$ has positive measure,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}