Bounded symbols and one-component geometry

Abstract

We prove that every bounded truncated Toeplitz operator on a Hardy model space admits a bounded symbol if and only if its defining inner function is one-component, meaning that it has a connected sublevel set at some level in $(0,1)$. This resolves the bounded symbol conjecture of Baranov, Chalendar, Fricain, Mashreghi and Timotin and, through known equivalences, the embedding and weak factorization conjecture of Baranov, Bessonov and Kapustin. A uniform bound $R$ for the ratio of least bounded symbol norm to operator norm on the rank-one family associated with point evaluation in the disk already forces this geometry. The corresponding bound for all bounded truncated Toeplitz operators is at most $CR\log(e+R)$, where $C$ is absolute, and the logarithmic factor is optimal. In a nonzero de Branges space, the same geometric condition characterizes when every sufficiently small equivalent change of norm preserving the de Branges structure is represented exactly by reweighting the original integral with a positive density bounded above and away from zero. This characterization remains valid when the norm changes are restricted to discrete sampling norms. Outside the one-component class, every model space admits self-adjoint trace class truncated Toeplitz operators without bounded symbols, with arbitrarily small norm and singular values satisfying any prescribed positive upper bounds.