pith. sign in

arxiv: 2605.21555 · v1 · pith:DSEIXXDUnew · submitted 2026-05-20 · 🧮 math.FA · math.CV· math.OA

Partially isometric truncated and dual truncated Toeplitz operators

Kritika Babbar , Mo Javed , Amit Maji This is my paper

Pith reviewed 2026-05-22 00:27 UTC · model grok-4.3

classification 🧮 math.FA math.CVmath.OA
keywords truncated Toeplitz operatorsdual truncated Toeplitz operatorspartially isometric operatorsinner functionsmodel spacesextremal vectors
0
0 comments X

The pith

A_ϕ and D_ϕ are partially isometric for symbols ϕ = conjugate(u)v precisely when v divides θ.

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

The paper characterizes the partially isometric truncated Toeplitz operators A_ϕ and dual truncated Toeplitz operators D_ϕ when the symbol takes the form ϕ equal to the conjugate of an inner function u times another inner function v, with the requirement that v divides a given non-constant inner function θ. This setup ensures the symbol lies in the model space K_θ. A sympathetic reader would care because partial isometries have well-behaved initial and final spaces that simplify norm preservation and spectral questions in these function spaces. The authors further characterize the space of extremal vectors for the non-zero versions of these operators.

Core claim

For an inner function θ and ϕ = conjugate(u)v where v divides θ, the truncated Toeplitz operator A_ϕ and the dual truncated Toeplitz operator D_ϕ are partially isometric, together with an explicit description of the space of extremal vectors for the non-zero cases.

What carries the argument

The division condition that v divides θ, which places the symbol ϕ inside the model space K_θ and permits direct verification of the partial isometry property for the operators A_ϕ and D_ϕ.

If this is right

  • The initial and final spaces of A_ϕ and D_ϕ can be identified in terms of the factors u and v.
  • The extremal vectors for non-zero partially isometric A_ϕ and D_ϕ form a concrete subspace inside K_θ.
  • Further properties of these operators follow directly once the partial isometry condition is established.

Where Pith is reading between the lines

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

  • The same division technique may yield characterizations for compactness or Fredholm index of these operators.
  • The results suggest a route to classify all partially isometric members of the truncated Toeplitz class on K_θ.
  • Verification on low-order Blaschke products for θ would give a direct computational check of the stated conditions.

Load-bearing premise

The assumption that v divides θ is needed to ensure that the symbol ϕ belongs to the model space K_θ.

What would settle it

An explicit triple of inner functions u, v, θ in which v does not divide θ yet A_ϕ or D_ϕ remains partially isometric would disprove the necessity of the division condition.

read the original abstract

Let $\theta$ be a non-constant inner function and let $\phi=\overline{u}v$, where $u$ and $v$ are inner functions such that $v$ divides $\theta$. In this paper we characterize the partially isometric truncated Toeplitz operators $A_{\phi}$ and dual truncated Toeplitz operators $D_{\phi}$ with symbols of the form $\phi=\overline{u}v$. Along with that, we obtain a few more characterization results, including the space of extremal vectors for non-zero partially isometric truncated and dual truncated Toeplitz operators.

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

0 major / 2 minor

Summary. The paper characterizes the partially isometric truncated Toeplitz operators A_ϕ and dual truncated Toeplitz operators D_ϕ with symbols of the form ϕ = ūv, where u and v are inner functions such that v divides the given non-constant inner function θ. It also provides characterizations of the space of extremal vectors for non-zero such operators.

Significance. If the characterizations are fully supported by the derivations, the work contributes to the structural theory of truncated Toeplitz operators on model spaces by identifying conditions under which these operators are partial isometries, using standard tools such as Beurling-type theorems and model-space identities. This extends existing results on Toeplitz operators in Hardy spaces and may aid in understanding extremal vectors and related operator properties.

minor comments (2)
  1. [Abstract] The abstract mentions 'a few more characterization results' without specifying them; adding a brief list or reference to the relevant theorem numbers would improve clarity for readers.
  2. [Introduction] Notation for the dual truncated Toeplitz operator D_ϕ should be defined explicitly early in the introduction, as it is less standard than A_ϕ.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript and recommending minor revision. The referee's summary accurately reflects the paper's focus on characterizing partially isometric truncated Toeplitz operators A_ϕ and dual truncated Toeplitz operators D_ϕ for symbols ϕ = ūv with v dividing θ, along with the space of extremal vectors.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained in classical model-space theory

full rationale

The paper characterizes partially isometric truncated Toeplitz operators A_ϕ and dual truncated Toeplitz operators D_ϕ for symbols of the form ϕ=ūv with v dividing θ. All steps rely on established properties of inner functions, Beurling-type theorems, model spaces K_θ, and direct verification of the partial-isometry relation via the projection P_θ M_ϕ restricted to K_θ. The division condition is an explicit assumption ensuring ϕ lies in K_θ rather than a derived claim; no equations reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The central results remain within the classical framework for truncated Toeplitz operators without circular reduction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background facts from the theory of inner functions and model spaces; no free parameters or newly invented entities are introduced.

axioms (2)
  • domain assumption θ is a non-constant inner function
    Explicitly stated in the setup for the model space on which the operators act.
  • domain assumption v divides θ for inner functions u and v
    Required to define the symbol ϕ = ūv in the context of the truncated operators on K_θ.

pith-pipeline@v0.9.0 · 5623 in / 1277 out tokens · 53274 ms · 2026-05-22T00:27:44.945877+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

23 extracted references · 23 canonical work pages

  1. [1]

    Baranov, R

    A. Baranov, R. Bessonov, and V. Kapustin,Symbols of truncated Toeplitz operators,J. Funct. Anal.261 (2011), 3437–3456

    work page 2011

  2. [2]

    Baranov, I

    A. Baranov, I. Chalendar, E. Fricain, J. Mashreghi, and D. Timotin,Bounded symbols and reproducing kernel thesis for truncated Toeplitz operators,J. Funct. Anal.259(2010), 2673–2701

    work page 2010

  3. [3]

    R. V. Bessonov,Truncated Toeplitz operators of finite rank,Proc. Amer. Math. Soc. (2014), 1301–1313

    work page 2014

  4. [4]

    Brown, R

    A. Brown, R. G. Douglas,Partially isometric Toeplitz operators,Proc. Amer. Math. Soc.16(1965), no. 4, 681–682

    work page 1965

  5. [5]

    Chalendar, E

    I. Chalendar, E. Fricain, and D. Timotin,A survey of some recent results on Truncated Toeplitz operators, In: Recent progress on operator theory and approximation in spaces of analytic functions, Contemp. Math., 679, Amer. Math. Soc. , Providence, RI, (2016), 59–77

    work page 2016

  6. [6]

    J. A. Cima, S. R. Garcia, W. T. Ross, and W. R. Wogen,Truncated Toeplitz operators: spatial isomor- phism, unitary equivalence, and similarity,Indiana Univ. Math. J.59(2010), 595–620

    work page 2010

  7. [7]

    J. A. Cima, W. T. Ross, and W. R. Wogen,Truncated Toeplitz operator on finirte dimensional spaces, Oper. Matrices2(2008), 357–369

    work page 2008

  8. [8]

    Debnath, D

    R. Debnath, D. K. Pradhan, and J. Sarkar,Pairs of inner projections and two applications,J. Funct. Anal.286(2024), no. 2, Paper No. 110216, 26 pp. PARTIALLY ISOMETRIC TTO AND DTTO 13

    work page 2024

  9. [9]

    K. D. Deepak, D. Pradhan, and J. Sarkar,Partially isometric Toeplitz operators on the polydisc,Bull. Lond. Math. Soc. 54 (2022), 1350–1362

    work page 2022

  10. [10]

    Ding and Y

    X. Ding and Y. Sang,Dual truncated Toeplitz operators,J. Math. Anal. Appl.461(2018), no. 1, 929–946

    work page 2018

  11. [11]

    R. G. Douglas,Banach algebra techniques in operator theory,Second edition. Graduate Texts in Mathe- matics, 179. Springer-Verlag, New York, 1998

    work page 1998

  12. [12]

    Garcia, J

    S.R. Garcia, J. Mashreghi, and W. T. Ross,Introduction to model spaces and their operators,(Vol. 148), Cambridge University Press, 2016

    work page 2016

  13. [13]

    S. R. Garcia, W. T. Ross, and W. R. Wogen, Spatial isomorphisms of algebras of truncated Toeplitz operators, Indiana Univ. Math. J.59(2010), 1971–2000

    work page 2010

  14. [14]

    Gu,Characterizations of dual truncated Toeplitz operators,J

    C. Gu,Characterizations of dual truncated Toeplitz operators,J. Math. Anal. Appl.496(2021), no. 2, Paper No. 124815, 24 pp

    work page 2021

  15. [15]

    E. Ko, J. E. Lee, and T. Nakazi,On the dilation of truncated Toeplitz operators II, Complex Anal. Op. Th., 13 (2019), 3549-3568

    work page 2019

  16. [16]

    Y. Li, Y. Q. Sang, and X. H. Ding,The commutant and invariant subspaces for dual truncated Toeplitz operators,Banach J. Math. Anal.15(2021), no. 1, Paper No. 17, 26 pp

    work page 2021

  17. [17]

    P. Ma, F. Yan, and D. Zheng,Zero, Finite rank, and compact big truncated Hankel operators on model spaces, Proc. Amer. Math. Soc. (12)146(2018), 5235–5242

    work page 2018

  18. [18]

    N. K. Nikolski,Treatise on the shift operator: spectral function theory,Springer, New York, 1986

    work page 1986

  19. [19]

    Y. Sang, Y. Qin, and X. Ding,A theorem of Brown-Halmos type for dual truncated Toeplitz operators, Ann. Funct. Anal. (2019) Art. No. 2

    work page 2019

  20. [20]

    D. E. Sarason,Algebraic properties of truncated Toeplitz operators,Oper. Matrices1(2007), no. 4, 491– 526

    work page 2007

  21. [21]

    N. A. Sedlock,Algebras of truncated Toeplitz operators,Oper. Matrices5(2011), no. 2, 309–326

    work page 2011

  22. [22]

    Strouse, D

    E. Strouse, D. Timotin, and M. Zarrabi,Unitary equivalence to truncated Toeplitz operators,Indiana Univ. Math. J.61(2012), 525–538

    work page 2012

  23. [23]

    Yang,The relationship between model spaces and the invariant subspaces of the unilateral shift,Con- temp

    X. Yang,The relationship between model spaces and the invariant subspaces of the unilateral shift,Con- temp. Math.5(2024), 1474–1486. Indian Institute of Technology Roorkee, Department of Mathematics, Roorkee-247 667, Uttarakhand, India Email address:kritika@ma.iitr.ac.in, kritikababbariitr@gmail.com Indian Institute of Technology Roorkee, Department of M...

    work page 2024