Bounded Symbols and One-Component Inner Functions
Abstract
Let θ be a nonconstant inner function, we prove that every bounded truncated Toeplitz operator on the model space Kθ=H2ominusθH2 admits a bounded symbol if and only if θ is one-component, that is, if {z∈𝔻:|θ(z)|<r} is nonempty and connected for some r∈(0,1). This establishes the previously open necessary direction and resolves a conjecture of Baranov, Chalendar, Fricain, Mashreghi, and Timotin. For every non-one-component inner function, we construct a sequence of norm-one rank-one truncated Toeplitz operators whose infimal L∞-norms over all representing symbols tend to infinity. The quantitative lower bound is obtained by forming two inner divisors from angularly separated parts of the zero set and singular measure. The argument applies without restrictions on the Blaschke or singular parts of θ. The order of this lower bound is sharp, already for a family of degree-two Blaschke products. A continuation argument for local inverse branches produces the required sequence of points. Consequently, every non-one-component model space supports a trace-class truncated Toeplitz operator without a bounded symbol. Combined with known equivalences, the characterization also yields geometric criteria for weak factorization and for continuous-symbol representations of compact truncated Hankel operators.
Related
BibTeX
@misc{ma2026bounded,
title = {{Bounded Symbols and One-Component Inner Functions}},
author = {Pan Ma},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.28417},
eprint = {2610.28417},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.28417},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Bounded Symbols and One-Component Inner Functions
AU - Pan Ma
PY - 2026
DA - 2026/10/20
PB - arXiv
DO - 10.48550/arxiv.2610.28417
UR - https://arxiv.org/abs/2610.28417
AB - Let θ be a nonconstant inner function, we prove that every bounded truncated Toeplitz operator on the model space K_θ=H^2ominusθH^2 admits a bounded symbol if and only if θ is one-component, that is, if {z∈𝔻:|θ(z)|<r} is nonempty and connected for some r∈(0,1). This establishes the previously open necessary direction and resolves a conjecture of Baranov, Chalendar, Fricain, Mashreghi, and Timotin. For every non-one-component inner function, we construct a sequence of norm-one rank-one truncated Toeplitz operators whose infimal L^∞-norms over all representing symbols tend to infinity. The quantitative lower bound is obtained by forming two inner divisors from angularly separated parts of the zero set and singular measure. The argument applies without restrictions on the Blaschke or singular parts of θ. The order of this lower bound is sharp, already for a family of degree-two Blaschke products. A continuation argument for local inverse branches produces the required sequence of points. Consequently, every non-one-component model space supports a trace-class truncated Toeplitz operator without a bounded symbol. Combined with known equivalences, the characterization also yields geometric criteria for weak factorization and for continuous-symbol representations of compact truncated Hankel operators.
ER -