pith. sign in

arxiv: 2605.17861 · v1 · pith:OAI4GFT6new · submitted 2026-05-18 · 🧮 math.FA

Unbounded Toeplitz operators and finite rank de Branges-Rovnyak spaces

Soumitra Ghara , MD Ramiz Reza , Chaman Kumar Sahu This is my paper

Pith reviewed 2026-05-20 01:10 UTC · model grok-4.3

classification 🧮 math.FA
keywords de Branges-Rovnyak spacesfinite rank spacesToeplitz operatorsSchur functionsHardy spacesunbounded operatorsreproducing kernel spaces
0
0 comments X

The pith

Finite rank de Branges-Rovnyak spaces H(B) are the domains of adjoints of Toeplitz operators with symbols BA inverse.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that finite rank de Branges-Rovnyak spaces generated by row-valued Schur functions B coincide with the domains of the adjoints of specific unbounded Toeplitz operators. This identification relies on a matrix-valued outer function A satisfying A star A plus B star B equals the identity almost everywhere on the unit circle, which defines the symbol phi as B times A inverse. The work also supplies an explicit norm formula for functions in these spaces expressed through Taylor coefficients and derives a boundary condition on I minus B B star that characterizes when bounded analytic functions sit inside H(B). This extends earlier results on de Branges-Rovnyak spaces to the finite-rank setting and connects reproducing-kernel spaces directly to domains of unbounded operators on Hardy space.

Core claim

Finite rank H(B)-spaces are the domain of the adjoint of the Toeplitz operators T_varphi star with symbol varphi equals B A inverse, where A is a matrix-valued outer function satisfying A star A plus B star B equals I almost everywhere on the unit circle. A norm formula for functions in the H(B)-space is derived and realized in terms of the Taylor coefficients of the function and the symbol varphi. All symbols B are characterized for which H infinity is contained in H(B) in terms of the boundary behavior of I minus B B star.

What carries the argument

The matrix-valued outer function A satisfying A star A plus B star B equals I almost everywhere on the unit circle, which defines the symbol varphi equals B A inverse so that the domain of the adjoint of the associated Toeplitz operator is exactly the finite-rank H(B) space.

If this is right

  • A norm formula is obtained for functions in H(B) expressed via Taylor coefficients and the symbol varphi.
  • Symbols B are characterized so that the space of bounded analytic functions is contained in H(B) based on the boundary values of I minus B B star.
  • This provides a generalization of earlier work on de Branges-Rovnyak spaces to the finite-rank case with row-valued Schur functions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The identification may permit explicit descriptions of domains for related unbounded operators on other classes of analytic function spaces.
  • Boundary conditions on I minus B B star could be used to test membership of specific functions in H(B) without direct computation in the space.
  • Similar domain characterizations might extend to vector-valued or higher-rank versions of these spaces.

Load-bearing premise

There exists a matrix-valued outer function A satisfying A star A plus B star B equals the identity almost everywhere on the unit circle.

What would settle it

A row-valued Schur function B for which no such outer function A exists, or for which the domain of the adjoint of the corresponding Toeplitz operator fails to equal the H(B) space.

read the original abstract

Motivated by the recent developments of de Branges-Rovnyak spaces, we investigate the function theoretic aspects of finite rank de Branges-Rovnyak spaces $H(B)$ generated by row-valued Schur functions $B$. We provide a generalization of Sarason's fundamental work by characterizing finite rank $H(B)$-spaces as the domain of the adjoint of the Toeplitz operators $T_\varphi^*$ with symbol $\varphi = BA^{-1}$, where $A$ is an matrix-valued outer function satisfying $A^*A+B^*B = I$ a.e. on the unit circle. We derive a norm formula for functions in $H(B)$-space and provide a concrete realization of this norm in terms of the Taylor coefficients of the function and the symbol $\varphi$. As an application, we characterize all symbols $B$ for which $H^\infty \subseteq H(B)$ in terms of the boundary behavior of $I-BB^*$, thereby extending Sarason's criterion for the classical de Branges-Rovnyak spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper investigates finite-rank de Branges-Rovnyak spaces H(B) generated by row-valued Schur functions B. It generalizes Sarason's results by identifying these spaces with the domains of adjoints of unbounded Toeplitz operators T_φ^* where the symbol is φ = B A^{-1} and A is a matrix-valued outer function satisfying A^* A + B^* B = I a.e. on the unit circle. The manuscript also derives an explicit norm formula for functions in H(B) expressed via Taylor coefficients of the function and the symbol φ, and characterizes those B for which H^∞ ⊆ H(B) in terms of the boundary behavior of I - BB^*.

Significance. If the central identifications and formulas hold, the work supplies a concrete operator-theoretic realization of finite-rank H(B) spaces and extends Sarason's classical criterion to the matrix-valued setting. The norm formula in Taylor coefficients and the boundary-behavior characterization of the inclusion H^∞ ⊆ H(B) are potentially useful for further study of unbounded operators on Hardy spaces and for explicit computations in finite-dimensional de Branges-Rovnyak spaces.

major comments (2)
  1. [Main theorem and setup of φ = B A^{-1}] The construction of the symbol φ = B A^{-1} and the identification of H(B) with dom(T_φ^*) rest on the existence of a matrix-valued outer function A satisfying A^* A + B^* B = I a.e. on the circle. The manuscript invokes this relation (see the statement of the main theorem and the paragraph introducing the symbol φ) but does not verify or discuss the necessary integrability condition ∫ log det(I - B^* B) dt > -∞ required for the outer spectral factor to exist. For row-valued Schur functions B this integral may diverge even when H(B) is finite-dimensional, in which case A fails to exist (or vanishes on a set of positive measure) and the domain identification cannot hold.
  2. [Norm formula section] The norm formula expressed in Taylor coefficients (presumably Theorem X or the corollary following the domain identification) is derived under the same outer-function assumption. If the integrability condition is not guaranteed by the finite-rank hypothesis, the formula's validity is restricted to a proper subclass of finite-rank B and the claimed generality of the result is overstated.
minor comments (2)
  1. [Introduction and notation] Clarify the precise dimensions: whether B is row-valued of size 1 × n for fixed n, and whether the finite-rank condition refers to dim H(B) < ∞ or to the rank of the associated kernel.
  2. [Application section] The boundary-behavior characterization of B such that H^∞ ⊆ H(B) should explicitly state the almost-everywhere sense in which I - BB^* behaves (e.g., bounded below by a positive constant).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below, indicating planned revisions where appropriate.

read point-by-point responses

  1. Referee: [Main theorem and setup of φ = B A^{-1}] The construction of the symbol φ = B A^{-1} and the identification of H(B) with dom(T_φ^*) rest on the existence of a matrix-valued outer function A satisfying A^* A + B^* B = I a.e. on the circle. The manuscript invokes this relation (see the statement of the main theorem and the paragraph introducing the symbol φ) but does not verify or discuss the necessary integrability condition ∫ log det(I - B^* B) dt > -∞ required for the outer spectral factor to exist. For row-valued Schur functions B this integral may diverge even when H(B) is finite-dimensional, in which case A fails to exist (or vanishes on a set of positive measure) and the domain identification cannot hold.

    Authors: We appreciate the referee highlighting the integrability condition for the outer function A. In the finite-rank setting, the finite dimensionality of H(B) implies that B is rational (a finite Blaschke product in the matrix sense), so I - B^*B vanishes only at finitely many points and the log-det integral remains finite. We will add a clarifying paragraph before the main theorem in the revised manuscript to explicitly verify this under the finite-rank hypothesis, thereby justifying the existence of A without restricting the claimed scope. revision: yes

  2. Referee: [Norm formula section] The norm formula expressed in Taylor coefficients (presumably Theorem X or the corollary following the domain identification) is derived under the same outer-function assumption. If the integrability condition is not guaranteed by the finite-rank hypothesis, the formula's validity is restricted to a proper subclass of finite-rank B and the claimed generality of the result is overstated.

    Authors: We agree that the norm formula relies on the existence of A. The revision will include the new paragraph noted above, which establishes that the integrability condition holds for all finite-rank row-valued Schur functions B under consideration. We will also add a sentence in the norm formula section stating that the formula applies precisely when A exists, which is guaranteed in this class, preserving the generality of the result as stated. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation relies on standard outer factorization

full rationale

The paper characterizes finite-rank H(B) spaces as domains of T_φ^* for φ = B A^{-1} where A is the outer factor of I - B^* B. This uses the standard existence theorem for outer spectral factors of positive matrix-valued functions on the circle (under the finite-rank row Schur hypothesis), which is an external result from function theory and does not reduce the claimed norm formula or H^∞ inclusion criterion to a self-definition or fitted input. No load-bearing step equates a derived quantity to its own construction by the paper's equations, and the generalization of Sarason's work invokes independent prior results rather than a self-citation chain. The setup is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the standard existence of outer functions for Schur-class symbols and on the unitary completion condition A^*A + B^*B = I; no free parameters or new invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Existence of a matrix-valued outer function A satisfying A^* A + B^* B = I a.e. on the unit circle
    Invoked to define the symbol φ = B A^{-1} and to realize the space H(B) as the domain of T_φ^*.

pith-pipeline@v0.9.0 · 5722 in / 1464 out tokens · 42336 ms · 2026-05-20T01:10:30.649359+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Aleman and B

    A. Aleman and B. Malman, Hilbert spaces of analytic functions with a contractive backward shift,Journal of Functional Analysis,277(1)(2019), 157-199

    work page 2019

  2. [2]

    de Branges and J

    L. de Branges and J. Rovnyak,Square Summable Power Series, Holt, Rinehart and Winston, New York, 1966

    work page 1966

  3. [3]

    Chavan, S

    S. Chavan, S. Ghara, and Md. R. Reza, The Cauchy dual subnormality problem via de Branges–Rovnyak spaces,Studia Math.265(2022), no. 3, 315–341

    work page 2022

  4. [4]

    H. Chen, C. Gu and S. Luo, De Branges-Rovnyak spaces generated by row Schur functions with mate,Bulletin des Sciences Math´ ematiques, 193 (2024), 103434

    work page 2024

  5. [5]

    Chevrot, D

    N. Chevrot, D. Guillot, and T. Ransford, De Branges–Rovnyak spaces and Dirichlet spaces,Journal of Func- tional Analysis,259, Issue 9, (2010), 2366-2383

    work page 2010

  6. [6]

    Chu, Which de Branges-Rovnyak spaces have complete Nevanlinna-Pick property?,Journal of Functional Analysis,279, no

    C. Chu, Which de Branges-Rovnyak spaces have complete Nevanlinna-Pick property?,Journal of Functional Analysis,279, no. 6 (2020)

    work page 2020

  7. [7]

    Costara and T

    C. Costara and T. Ransford, Which de Branges–Rovnyak spaces are Dirichlet spaces (and vice versa)?,Journal of Functional Analysis, 265(12) (2013), 3204-3218

    work page 2013

  8. [8]

    P. L. Duren,Theory ofH p spaces, Pure Appl. Math., Vol.38, Academic Press, New York-London, 1970. xii+258 pp

    work page 1970

  9. [9]

    Fricain, J

    E. Fricain, J. Mashreghi,The Theory ofH(b)Spaces, Vol. 1, New Mathematical Monograph,20, Cambridge University Press, Cambridge, 2016

    work page 2016

  10. [10]

    Fricain and J

    E. Fricain and J. Mashreghi,The theory ofH(b)spacesVol. 2., New Mathematical Monograph,21, Cambridge University Press, Cambridge, 2016. xix+619 pp

    work page 2016

  11. [11]

    Helson,Lectures on Invariant Subspaces, Academic Press, New York-London, 1964

    H. Helson,Lectures on Invariant Subspaces, Academic Press, New York-London, 1964

    work page 1964

  12. [12]

    S. Luo, C. Gu, and S. Richter, Higher order local Dirichlet integrals and de Branges–Rovnyak spaces,Adv. Math., 385 (2021), Paper No. 107748, 47 pp

    work page 2021

  13. [13]

    N. K. Nikol’ski˘ ı,Treatise on the shift operator Spectral function theory, Fundamental Principles of Mathe- matical Sciences, Springer-Verlag, Berlin, 1986. xii+491 pp

    work page 1986

  14. [14]

    Rosenblum and J

    M. Rosenblum and J. Rovnyak,Hardy Classes and Operator Theory, Dover Publications, Inc., Mineola, NY, 1997

    work page 1997

  15. [15]

    Sarason,Doubly shift-invariant spaces inH 2, Journal of Operator Theory, (1986): 75-97

    D. Sarason,Doubly shift-invariant spaces inH 2, Journal of Operator Theory, (1986): 75-97

    work page 1986

  16. [16]

    Sarason,Sub-Hardy Hilbert Spaces in the Unit Disk, Wiley, New York, 1994

    D. Sarason,Sub-Hardy Hilbert Spaces in the Unit Disk, Wiley, New York, 1994

    work page 1994

  17. [17]

    Sarason,Local Dirichlet spaces as de Branges–Rovnyak spaces, Proc

    D. Sarason,Local Dirichlet spaces as de Branges–Rovnyak spaces, Proc. Amer. Math. Soc. 125 (1997) 2133–2139

    work page 1997

  18. [18]

    Sarason, Unbounded toeplitz operators,Integral Equations and Operator Theory,61(2008): 281-298

    D. Sarason, Unbounded toeplitz operators,Integral Equations and Operator Theory,61(2008): 281-298. 14 Department of Mathematics, Indian Institute of Technology Kharagpur, Midnapore-721302, India Email address:soumitra@maths.iitkgp.ac.in, ghara90@gmail.com School of Mathematics, Indian Institute of Science Education and Research Thiruvananthapu- ram, Keral...

    work page 2008