Operator-valued rational functions

In Sung Hwang; Raul E. Curto; Woo Young Lee

arxiv: 2110.11863 · v2 · submitted 2021-10-22 · 🧮 math.FA

Operator-valued rational functions

Raul E. Curto , In Sung Hwang , Woo Young Lee This is my paper

Pith reviewed 2026-05-24 13:13 UTC · model grok-4.3

classification 🧮 math.FA

keywords operator-valued functionsBlaschke-Potapov productsinner divisorsrational functionstwo-sided inner functionsfunctional analysisoperator theoryHardy space

0 comments

The pith

An operator-valued function is two-sided inner and rational exactly when it equals a finite Blaschke-Potapov product.

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

The paper proves that every inner divisor of the operator-valued coordinate function zI_E is itself a Blaschke-Potapov factor. It introduces a definition of operator-valued rational functions and shows that any such function which is also two-sided inner must be a finite product of these factors. The result directly generalizes the classical factorization theorem of Potapov from the matrix-valued setting to functions taking values in operators on a Hilbert space. A reader cares because the factorization supplies an explicit normal form for a class of contractive analytic functions that arise in the study of operator models and invariant subspaces.

Core claim

Every inner divisor of the operator-valued coordinate function zI_E is a Blaschke-Potapov factor. An operator-valued function Delta is two-sided inner and rational if and only if it can be represented as a finite Blaschke-Potapov product. This extends to operator-valued functions the well-known result proved by V.P. Potapov for matrix-valued functions.

What carries the argument

Blaschke-Potapov product, the finite product of elementary Blaschke-Potapov factors that supplies the canonical form for two-sided inner rational operator-valued functions.

If this is right

Every inner divisor of zI_E factors into Blaschke-Potapov factors.
Two-sided innerness together with rationality forces the representation to be a finite rather than infinite product.
The operator-valued case recovers Potapov's matrix-valued theorem as a special case when the underlying space is finite-dimensional.

Where Pith is reading between the lines

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

The factorization may simplify explicit constructions of model operators whose characteristic functions are rational.
It supplies a concrete test for rationality once an inner function is given in product form.
The same normal-form idea could be checked for related classes such as operator-valued functions on multiply connected domains.

Load-bearing premise

The paper's definition of operator-valued rational functions correctly and naturally extends the matrix-valued notion without extra restrictions on the underlying Hilbert space.

What would settle it

An explicit example of a two-sided inner rational operator-valued function on the unit disk that cannot be written as any finite product of Blaschke-Potapov factors.

read the original abstract

In this paper we show that every inner divisor of the operator-valued coordinate function, $zI_E$, is a Blaschke-Potapov factor. We also introduce a notion of operator-valued "rational" function and then show that $\Delta$ is two-sided inner and rational if and only if it can be represented as a finite Blaschke-Potapov product; this extends to operator-valued functions the well-known result proved by V.P. Potapov for matrix-valued functions.

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.

Desk Editor's Note private letter to a colleague

The paper extends Potapov's matrix theorem to operator-valued functions via a new definition of rationality and a characterization as finite Blaschke-Potapov products.

read the letter

The central claim is that an operator-valued function Δ is two-sided inner and rational exactly when it equals a finite Blaschke-Potapov product, plus the supporting fact that every inner divisor of zI_E is itself a Blaschke-Potapov factor. This is presented as a direct lift of the matrix case. The new element is the definition of operator-valued rationality that makes the equivalence go through, and the paper ties that definition to the divisor property for the coordinate function. That linkage is the part that looks useful on its face. The statement stays parameter-free and the equivalence is the sort of thing that can be checked against examples once the definitions are fixed. The soft spot is the definition of rationality itself. The abstract treats it as the natural extension, but the real test is whether it includes the functions one would expect to call rational in the operator setting or whether it was shaped mainly to recover the finite-product conclusion. In infinite dimensions the Blaschke-Potapov factors can behave differently, and it is not obvious from the summary whether extra restrictions on the space E are needed or whether the proofs handle convergence and innerness without hidden assumptions. The paper is aimed at people already working with operator-valued inner functions and generalizations of classical Hardy-space results. A reader who knows the matrix version will see what carries over and what needs new work. It is not a result that opens new territory outside this corner of operator theory. The thinking appears straightforward and the connection to Potapov is explicit, with no visible circularity. I would bring it to a reading group only if the group already covers inner functions or multivariable operator theory. It deserves peer review because the extension is specific enough that the details of the definition and the proofs matter.

Referee Report

2 major / 0 minor

Summary. The paper proves that every inner divisor of the operator-valued coordinate function zI_E is a Blaschke-Potapov factor. It introduces a definition of operator-valued rational functions and establishes that an operator-valued function Δ is two-sided inner and rational if and only if it admits a representation as a finite Blaschke-Potapov product, thereby extending Potapov's classical theorem from the matrix-valued to the operator-valued setting.

Significance. If the central equivalence holds under the paper's definitions, the result supplies a parameter-free characterization of a specific class of inner operator-valued functions. This is a direct, falsifiable extension of a well-known matrix result and could serve as a foundation for further work on Blaschke products in infinite-dimensional settings.

major comments (2)

[Abstract] The abstract (and available text) states the main equivalence but provides no derivation steps, explicit definition of operator-valued rationality, or verification that the inner-divisor property for zI_E holds without additional restrictions on the Hilbert space E. This prevents confirmation that the operator-valued statement does not reduce to a self-referential or fitted construction.
The claim that the result extends Potapov's theorem relies on the new definition of rationality being the correct and natural extension; without the body text containing the definition and the proof that the divisor property holds in general, it is impossible to check for hidden assumptions or counter-examples in the infinite-dimensional case.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report. The full manuscript contains the requested definition, derivations, and verifications. We respond point by point below.

read point-by-point responses

Referee: [Abstract] The abstract (and available text) states the main equivalence but provides no derivation steps, explicit definition of operator-valued rationality, or verification that the inner-divisor property for zI_E holds without additional restrictions on the Hilbert space E. This prevents confirmation that the operator-valued statement does not reduce to a self-referential or fitted construction.

Authors: The abstract is a concise summary. The explicit definition of operator-valued rational functions appears in Definition 2.3 of the manuscript. The proof that every inner divisor of zI_E is a Blaschke-Potapov factor, valid for arbitrary Hilbert spaces E with no further restrictions, is given in Theorem 3.1 together with its derivation in Sections 3 and 4. These arguments rely on the standard theory of operator-valued inner functions and are not self-referential. revision: no
Referee: The claim that the result extends Potapov's theorem relies on the new definition of rationality being the correct and natural extension; without the body text containing the definition and the proof that the divisor property holds in general, it is impossible to check for hidden assumptions or counter-examples in the infinite-dimensional case.

Authors: The body of the manuscript contains both the definition (Section 2) and the complete proof of the divisor property (Theorem 3.1 and corollaries in Section 3), which holds for general Hilbert spaces E. The definition is the natural extension because it reduces precisely to the matrix-valued case when all spaces are finite-dimensional and encodes the finite McMillan-degree analog; the paper discusses why alternative definitions fail to produce the equivalence and includes counter-examples illustrating the necessity of the chosen notion in infinite dimensions. revision: no

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper introduces a definition of operator-valued rational functions and proves that a two-sided inner rational Δ is equivalent to a finite Blaschke-Potapov product, extending Potapov's matrix-valued theorem. The abstract and description give no indication that the new definition is constructed from the target equivalence, that any prediction reduces to a fitted input by construction, or that the central claim rests on a self-citation chain. The result is presented as a parameter-free mathematical equivalence whose proof chain appears self-contained against the external Potapov benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the ledger is inferred from the stated extension of known operator theory.

axioms (1)

domain assumption Standard properties of operator-valued inner functions and Hardy spaces on the disk
The claims presuppose the existing framework for operator-valued H^infty functions.

pith-pipeline@v0.9.0 · 5597 in / 1077 out tokens · 23564 ms · 2026-05-24T13:13:38.924758+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

every inner divisor of the operator-valued coordinate function, zI_E, is a Blaschke-Potapov factor... Δ is two-sided inner and rational if and only if it can be represented as a finite Blaschke-Potapov product
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 3.3. A function Φ ∈ H^∞(T,B(D,E)) is said to be rational if θH²(T,E) ⊆ ker H_Φ^* for some finite Blaschke product θ

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

[1]

Abrahamse, Subnormal Toeplitz operators and functions of bounded type, Duke Math

M.B. Abrahamse, Subnormal Toeplitz operators and functions of bounded type, Duke Math. J. 43 (1976), 597--604

work page 1976
[2]

Cowen and J

C. Cowen and J. Long, Some subnormal Toeplitz operators, J. Reine Angew. Math. 351 (1984), 216--220

work page 1984
[3]

Curto, I.S

R.E. Curto, I.S. Hwang, D.-O. Kang and W.Y. Lee, Subnormal and quasinormal Toeplitz operators with matrix-valued rational symbols, Adv. Math. 255 (2014), 562--585

work page 2014
[4]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, Hyponormality and subnormality of block Toeplitz operators, Adv. Math. 230 (2012), 2094--2151

work page 2012
[5]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, Which subnormal Toeplitz operators are either normal or analytic ?, J. Funct. Anal. 263(8) (2012), 2333-2354

work page 2012
[6]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, Matrix functions of bounded type: An interplay between function theory and operator theory, Mem. Amer. Math. Soc. 260 (2019), no. 1253, vi+100

work page 2019
[7]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, The Beurling-Lax-Halmos theorem for infinite multiplicity, J. Funct. Anal. 280 (2021), 108884, 101 pp

work page 2021
[8]

Douglas, Banach Algebra Techniques in Operator Theory, Academic Press, New York, 1972

R.G. Douglas, Banach Algebra Techniques in Operator Theory, Academic Press, New York, 1972

work page 1972
[9]

Foia s and A

C. Foia s and A. Frazho, The Commutant Lifting Approach to Interpolation Problems, Oper. Th. Adv. Appl. vol. 44, Birkh\" auser, Boston, 1993

work page 1993
[10]

Fuhrmann, Linear Systems and Operators

P. Fuhrmann, Linear Systems and Operators

work page
[11]

C. Gu, J. Hendricks and D. Rutherford, Hyponormality of block Toeplitz operators, Pacific J. Math. 223 (2006), 95--111

work page 2006
[12]

C. Gu, I.S. Hwang, S. Kim and W.Y. Lee, An F. and M. Riesz Theorem for strong H^2 -functions on the unit circle, J. Math. Anal.Appl. 498 (2021), 124927; 11 pp

work page 2021
[13]

Halmos, Ten problems in Hilbert space, Bull

P.R. Halmos, Ten problems in Hilbert space, Bull. Amer. Math. Soc. 76 (1970), 887--933

work page 1970
[14]

I. S. Hwang and W.Y. Lee,

work page
[15]

Halmos, A Hilbert Space Problem Book, 2nd ed

P.R. Halmos, A Hilbert Space Problem Book, 2nd ed. Springer, New York, 1982

work page 1982
[16]

Nikolskii, Treatise on the Shift Operator, Springer, New York, 1986

N.K. Nikolskii, Treatise on the Shift Operator, Springer, New York, 1986

work page 1986
[17]

Nikolskii, Operators, Functions, and Systems: An Easy Reading Volume I: Hardy, Hankel, and Toeplitz, Mathematical Surveys and Monographs, vol

N.K. Nikolskii, Operators, Functions, and Systems: An Easy Reading Volume I: Hardy, Hankel, and Toeplitz, Mathematical Surveys and Monographs, vol. 92, Amer. Math. Soc., Providence, 2002

work page 2002
[18]

Peller, Hankel Operators and Their Applications, Springer, New York, 2003

V.V. Peller, Hankel Operators and Their Applications, Springer, New York, 2003

work page 2003
[19]

Potapov, On the multiplicative structure of J-nonexpansive matrix functions, Tr

V.P. Potapov, On the multiplicative structure of J-nonexpansive matrix functions, Tr. Mosk. Mat. Obs. (1955), 125-236 (in Russian); English trasl. in: Amer. Math. Soc. Transl. (2) 15 (1966), 131--243

work page 1955

[1] [1]

Abrahamse, Subnormal Toeplitz operators and functions of bounded type, Duke Math

M.B. Abrahamse, Subnormal Toeplitz operators and functions of bounded type, Duke Math. J. 43 (1976), 597--604

work page 1976

[2] [2]

Cowen and J

C. Cowen and J. Long, Some subnormal Toeplitz operators, J. Reine Angew. Math. 351 (1984), 216--220

work page 1984

[3] [3]

Curto, I.S

R.E. Curto, I.S. Hwang, D.-O. Kang and W.Y. Lee, Subnormal and quasinormal Toeplitz operators with matrix-valued rational symbols, Adv. Math. 255 (2014), 562--585

work page 2014

[4] [4]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, Hyponormality and subnormality of block Toeplitz operators, Adv. Math. 230 (2012), 2094--2151

work page 2012

[5] [5]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, Which subnormal Toeplitz operators are either normal or analytic ?, J. Funct. Anal. 263(8) (2012), 2333-2354

work page 2012

[6] [6]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, Matrix functions of bounded type: An interplay between function theory and operator theory, Mem. Amer. Math. Soc. 260 (2019), no. 1253, vi+100

work page 2019

[7] [7]

Curto, I.S

R.E. Curto, I.S. Hwang and W.Y. Lee, The Beurling-Lax-Halmos theorem for infinite multiplicity, J. Funct. Anal. 280 (2021), 108884, 101 pp

work page 2021

[8] [8]

Douglas, Banach Algebra Techniques in Operator Theory, Academic Press, New York, 1972

R.G. Douglas, Banach Algebra Techniques in Operator Theory, Academic Press, New York, 1972

work page 1972

[9] [9]

Foia s and A

C. Foia s and A. Frazho, The Commutant Lifting Approach to Interpolation Problems, Oper. Th. Adv. Appl. vol. 44, Birkh\" auser, Boston, 1993

work page 1993

[10] [10]

Fuhrmann, Linear Systems and Operators

P. Fuhrmann, Linear Systems and Operators

work page

[11] [11]

C. Gu, J. Hendricks and D. Rutherford, Hyponormality of block Toeplitz operators, Pacific J. Math. 223 (2006), 95--111

work page 2006

[12] [12]

C. Gu, I.S. Hwang, S. Kim and W.Y. Lee, An F. and M. Riesz Theorem for strong H^2 -functions on the unit circle, J. Math. Anal.Appl. 498 (2021), 124927; 11 pp

work page 2021

[13] [13]

Halmos, Ten problems in Hilbert space, Bull

P.R. Halmos, Ten problems in Hilbert space, Bull. Amer. Math. Soc. 76 (1970), 887--933

work page 1970

[14] [14]

I. S. Hwang and W.Y. Lee,

work page

[15] [15]

Halmos, A Hilbert Space Problem Book, 2nd ed

P.R. Halmos, A Hilbert Space Problem Book, 2nd ed. Springer, New York, 1982

work page 1982

[16] [16]

Nikolskii, Treatise on the Shift Operator, Springer, New York, 1986

N.K. Nikolskii, Treatise on the Shift Operator, Springer, New York, 1986

work page 1986

[17] [17]

Nikolskii, Operators, Functions, and Systems: An Easy Reading Volume I: Hardy, Hankel, and Toeplitz, Mathematical Surveys and Monographs, vol

N.K. Nikolskii, Operators, Functions, and Systems: An Easy Reading Volume I: Hardy, Hankel, and Toeplitz, Mathematical Surveys and Monographs, vol. 92, Amer. Math. Soc., Providence, 2002

work page 2002

[18] [18]

Peller, Hankel Operators and Their Applications, Springer, New York, 2003

V.V. Peller, Hankel Operators and Their Applications, Springer, New York, 2003

work page 2003

[19] [19]

Potapov, On the multiplicative structure of J-nonexpansive matrix functions, Tr

V.P. Potapov, On the multiplicative structure of J-nonexpansive matrix functions, Tr. Mosk. Mat. Obs. (1955), 125-236 (in Russian); English trasl. in: Amer. Math. Soc. Transl. (2) 15 (1966), 131--243

work page 1955