pith. sign in

arxiv: 2604.10810 · v1 · submitted 2026-04-12 · 🧮 math.FA

CPD nth roots of subnormal operators are subnormal

Zenon Jan Jab{\l}o\'nski , Il Bong Jung , Pawe{\l} Pietrzycki , Jan Stochel This is my paper

Pith reviewed 2026-05-10 15:08 UTC · model grok-4.3

classification 🧮 math.FA
keywords conditionally positive definite operatorsnth root problemsubnormal operatorsquasinormal operators3-isometriesLevy-Khintchine formulaHilbert space operatorsnormaloid operators
0
0 comments X

The pith

If a conditionally positive definite operator has a subnormal nth power, then the operator itself is subnormal.

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

The paper studies bounded operators on Hilbert space that satisfy the conditionally positive definite condition given by the Levy-Khintchine formula. This class includes all subnormal operators along with complete hypercontractions of order 2 and 3-isometries. The main theorem states that if T lies in the class and T to the nth power belongs to one of the subclasses (subnormal, quasinormal, normal, or 3-isometric), then T itself belongs to that subclass. The result establishes that these subclasses are closed under taking nth roots inside the larger CPD class and supplies explicit characterizations of the quasinormal and normal cases via the structure of the representing triplet.

Core claim

If T is a CPD operator and T^n is subnormal (respectively quasinormal, normal, or a 3-isometry), then T is subnormal (respectively quasinormal, normal, or a 3-isometry). The proof proceeds by comparing the Levy-Khintchine triplets of T and of T^n and showing that the positivity and other structural conditions transfer back to T. Separate arguments give triplet-based characterizations of quasinormal and normal operators inside the CPD class and exhibit explicit CPD operators that are not normaloid.

What carries the argument

The Levy-Khintchine triplet that represents each CPD operator and encodes the positivity conditions needed to compare T with T^n.

If this is right

  • Taking nth roots preserves subnormality inside the CPD class.
  • Taking nth roots preserves quasinormality, normality, and the 3-isometry property inside the CPD class.
  • Quasinormal and normal operators inside the CPD class are characterized by specific conditions on their Levy-Khintchine triplets.
  • The CPD class is strictly larger than the normaloid class, as shown by both abstract arguments and concrete examples.

Where Pith is reading between the lines

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

  • The same triplet comparison technique might apply to other positivity-based classes of operators when checking root closure.
  • One could construct new examples of subnormal or 3-isometric operators by starting with known operators and extracting roots while staying inside CPD.
  • The separation of CPD from normaloid operators supplies a concrete test case for distinguishing spectral-radius behavior from other positivity conditions.

Load-bearing premise

Every operator whose nth power has the listed properties can be represented by a Levy-Khintchine triplet that defines membership in the CPD class.

What would settle it

Exhibit a single CPD operator T such that T^n is subnormal yet T fails to be subnormal.

read the original abstract

We investigate the $n$th root problem for bounded operators on a Hilbert space within the class of conditionally positive definite (CPD) operators determined by the L\'evy--Khintchine formula. The class contains subnormal operators, complete hypercontractions of order $2$, and $3$-isometries. Our main result shows that if $T$ is a CPD operator such that $T^n$ is subnormal (resp., quasinormal, normal, or a $3$-isometry), then $T$ belongs to the corresponding class. This establishes the invariance of these classes under taking $n$th roots within the CPD class and extends several earlier results in operator theory. Furthermore, we provide characterizations of quasinormal and normal operators in terms of their CPD property and the structure of the representing triplet. Finally, we show that the classes of CPD and normaloid operators are distinct by means of both theoretical arguments and explicit examples.

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 / 3 minor

Summary. The paper investigates the nth root problem for bounded operators on Hilbert space in the class of conditionally positive definite (CPD) operators defined via the Lévy-Khintchine formula. The central claim is that if T is CPD and T^n is subnormal (resp. quasinormal, normal, or a 3-isometry), then T belongs to the same class. The manuscript supplies characterizations of quasinormal and normal CPD operators in terms of the representing triplet and shows via examples that the CPD class is distinct from the class of normaloid operators.

Significance. If the results hold, they unify and extend several root-invariance results in operator theory by showing closure under nth roots inside the CPD class, which contains subnormal operators, complete hypercontractions of order 2, and 3-isometries. The explicit triplet-based characterizations provide concrete, verifiable conditions that strengthen the main theorems, and the distinction from normaloid operators clarifies the boundaries of the CPD class. The Lévy-Khintchine approach appears to avoid the stress-test concern about incomplete capture of cases, as the invariance follows by construction from the triplet transformation.

minor comments (3)
  1. The abstract lists complete hypercontractions of order 2 as contained in the CPD class, but the main results focus only on subnormal, quasinormal, normal, and 3-isometry cases; a short remark on whether the root-invariance extends to hypercontractions would improve completeness.
  2. In the examples distinguishing CPD from normaloid operators, the Hilbert space setting and explicit construction of the triplets could be expanded with a low-dimensional matrix example to make the distinction more accessible.
  3. Notation for the Lévy-Khintchine triplet components (e.g., the measure and the linear term) should be standardized across sections to avoid minor inconsistencies in the characterizations of normality.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and insightful report, which recognizes the unification of root-invariance results within the CPD class and the value of the triplet-based characterizations. We appreciate the recommendation for minor revision and note that no specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation begins from the standard Lévy-Khintchine triplet representation that defines the CPD class and proceeds by explicit algebraic transformation of the triplet parameters under the nth-power map. The paper shows that if the powered operator satisfies the positivity or isometry conditions for subnormality, quasinormality, normality or 3-isometry, then the pre-image triplet satisfies the same conditions, with all steps obtained by direct computation on the representing measures and operators. No parameter is fitted to data and then relabeled as a prediction, no self-citation is invoked as a uniqueness theorem that forbids alternatives, and the class membership is preserved by construction of the triplet map rather than by redefinition. The argument is therefore self-contained and independent of the target conclusion.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on the Levy-Khintchine representation for CPD operators and standard axioms of Hilbert space operator theory; no free parameters or invented entities are introduced beyond the existing classes.

axioms (2)
  • standard math Hilbert space operators satisfy the usual algebraic and topological properties (boundedness, adjoint, spectrum).
    Invoked throughout the definitions of subnormal, quasinormal, normal, and 3-isometry operators.
  • domain assumption The Levy-Khintchine formula defines the CPD class via a triplet of measures or functions.
    Central to the main result; the paper uses this to characterize when roots preserve the classes.

pith-pipeline@v0.9.0 · 5479 in / 1395 out tokens · 28269 ms · 2026-05-10T15:08:04.824355+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

46 extracted references · 46 canonical work pages

  1. [1]

    Abdullah, T

    B. Abdullah, T. Le, The structure ofm-isometric weighted shift operators,Oper. Matrices 10(2016), 319-334

    work page 2016

  2. [2]

    Ando, Operators with a norm condition,Acta Sci

    T. Ando, Operators with a norm condition,Acta Sci. Math.(Szeged)33(1972), 169–178

    work page 1972

  3. [3]

    Agler, M

    J. Agler, M. Stankus,m-isometric transformations of Hilbert spaces, I,Integr. Equ. Oper. Theory21(1995), 383-429

    work page 1995

  4. [4]

    Agler, M

    J. Agler, M. Stankus,m-isometric transformations of Hilbert spaces, II,Integr. Equ. Oper. Theory23(1995), 1-48

    work page 1995

  5. [5]

    Agler, M

    J. Agler, M. Stankus,m-isometric transformations of Hilbert spaces, III,Integr. Equ. Oper. Theory24(1996), 379-421

    work page 1996

  6. [6]

    R. B. Ash,Probability and measure theory, Harcourt/Academic Press, Burlington, 2000

    work page 2000

  7. [7]

    C. Berg, J. P. R. Christensen, P. Ressel,Harmonic analysis on semigroups, Springer-Verlag, Berlin, 1984

    work page 1984

  8. [8]

    M. Sh. Birman, M. Z. Solomjak,Spectral Theory of selfadjoint operators in Hilbert space, D. Reidel Publishing Co., Dordrecht, 1987

    work page 1987

  9. [9]

    Brown, On a class of operators,Proc

    A. Brown, On a class of operators,Proc. Amer. Math. Soc.4(1953), 723–728. CPDnTH ROOTS OF SUBNORMAL OPERATORS ARE SUBNORMAL 13

    work page 1953

  10. [10]

    Chavan, V

    S. Chavan, V. M. Sholapurkar,Completely monotone functions of finite order and Agler’s conditions, Studia Math. 226 (2015), 229-258

    work page 2015

  11. [11]

    J. B. Conway,The theory of subnormal operators, Math. Surveys Monographs, Amer. Math. Soc., Providence, 1991

    work page 1991

  12. [12]

    J. B. Conway, B. B. Morrel, Roots and logarithms of bounded operators on Hilbert space,J. Funct. Anal.70(1987), 171–193

    work page 1987

  13. [13]

    R. E. Curto, S. H. Lee, J. Yoon, Quasinormality of powers of commuting pairs of bounded operators,J. Funct. Anal.278(2020), 108342

    work page 2020

  14. [14]

    R. E. Curto, T. Prasad, Classes of operators related to subnormal operators,Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat.120(2026), 41

    work page 2026

  15. [15]

    B. P. Duggal, Onnth roots of normal contractions,Bull. London Math. Soc.25(1993), 74–80

    work page 1993

  16. [16]

    M. R. Embry,nth roots of operators,Proc. Amer. Math. Soc.19(1968), 63–68

    work page 1968

  17. [17]

    M. R. Embry, A generalization of the Halmos-Bram criterion for subnormality,Acta Sci. Math.(Szeged)35(1973), 61–64

    work page 1973

  18. [18]

    Furuta,Invitation to linear operators, Taylor & Francis, Ltd., London, 2001

    T. Furuta,Invitation to linear operators, Taylor & Francis, Ltd., London, 2001

    work page 2001

  19. [19]

    P. R. Halmos, Normal dilations and extensions of operators,Summa Brasil. Math.2(1950), 125–134

    work page 1950

  20. [20]

    P. R. Halmos,A Hilbert space problem book, Springer-Verlag, New York Inc., 1982

    work page 1982

  21. [21]

    P. R. Halmos, G. Lumer, Square roots of operators II,Proc. Amer. Math. Soc.5(1954), 589–595

    work page 1954

  22. [22]

    P. R. Halmos, G. Lumer, J. J. Schaffer, Square roots of operators,Proc. Amer. Math. Soc.4 (1953), 142–149

    work page 1953

  23. [23]

    Z. J. Jab lo´ nski, I. B. Jung, J. Stochel,m-isometric operators and their local properties,Linear Algebra Appl.596(2020), 49–70

    work page 2020

  24. [24]

    Z. J. Jab lo´ nski, I. B. Jung, J. Stochel, Conditional positive definiteness in operator theory, Dissertationes Math. 578, 2022, pp. 64

    work page 2022

  25. [25]

    G. E. Keough, Roots of invertibly weighted shifts with finite defect,Proc. Amer. Math. Soc. 91(1984), 399–404

    work page 1984

  26. [26]

    Y. Kim, E. Ko, Characterizations of square roots of unitary weighted composition operators onH 2,Complex Anal. Oper. Theory16:14(2022), 22 pp

    work page 2022

  27. [27]

    Lambert, Subnormality and weighted shifts,J

    A. Lambert, Subnormality and weighted shifts,J. London Math. Soc.14(1976), 476–480

    work page 1976

  28. [28]

    Mashreghi, M

    J. Mashreghi, M. Ptak, W. T. Ross, The square roots of some classical operators,Studia Math.269(2023), 83–106

    work page 2023

  29. [29]

    Pietrzycki, J

    P. Pietrzycki, J. Stochel, Subnormalnth roots of quasinormal operators are quasinormal,J. Funct. Anal.280(2021), 109001

    work page 2021

  30. [30]

    Pietrzycki, J

    P. Pietrzycki, J. Stochel, Onnth roots of bounded and unbounded quasinormal operators, Ann. Mat. Pura. Appl. 202 (2023), 1313-1333

    work page 2023

  31. [31]

    Pietrzycki, J

    P. Pietrzycki, J. Stochel, Hyperrigidity I: singly generated commutativeC ∗-algebras, to ap- pear inIsrael J. Math

    work page

  32. [32]

    C. R. Putnam, On square roots of normal operators,Proc. Amer. Math. Soc.8(1957), 768–769

    work page 1957

  33. [33]

    Radjavi, P

    H. Radjavi, P. Rosenthal, On roots of normal operators,J. Math. Anal. Appl34(1971), 653–664

    work page 1971

  34. [34]

    Richter, Invariant subspaces of the Dirichlet shift,Jour

    S. Richter, Invariant subspaces of the Dirichlet shift,Jour. Reine Angew. Math.386(1988), 205-220

    work page 1988

  35. [35]

    Rudin,Real and Complex Analysis, McGraw-Hill, New York 1987

    W. Rudin,Real and Complex Analysis, McGraw-Hill, New York 1987

    work page 1987

  36. [36]

    Schm¨ udgen,Unbounded self-adjoint operators on Hilbert space,Graduate Texts in Math- ematics, 265, Springer, Dordrecht, 2012

    K. Schm¨ udgen,Unbounded self-adjoint operators on Hilbert space,Graduate Texts in Math- ematics, 265, Springer, Dordrecht, 2012

    work page 2012

  37. [37]

    Schm¨ udgen,The moment problem, Graduate Texts in Mathematics 277, Springer, 2017

    K. Schm¨ udgen,The moment problem, Graduate Texts in Mathematics 277, Springer, 2017

    work page 2017

  38. [38]

    J. G. Stampfli, Hyponormal operators,Pacific J. Math.12(1962), 1453–1458

    work page 1962

  39. [39]

    J. G. Stampfli, Which weighted shifts are subnormal?,Pacific J. Math.17(1966), 367–379

    work page 1966

  40. [40]

    Stankovi´ c, Subnormalnth roots of matricially and spherically quasinormal pairs,Filomat 37(2023) 5325-5331

    H. Stankovi´ c, Subnormalnth roots of matricially and spherically quasinormal pairs,Filomat 37(2023) 5325-5331

    work page 2023

  41. [41]

    Stankovi´ c, Spherically quasinormal tuples:n-th root problem and hereditary properties, Complex Anal

    H. Stankovi´ c, Spherically quasinormal tuples:n-th root problem and hereditary properties, Complex Anal. Oper. Theory,19(2025), Article 156

    work page 2025

  42. [42]

    Stankovi´ c, C

    H. Stankovi´ c, C. Kubrusly, On roots of normal operators and extensions of Ando’s theorem, Ann. Funct. Anal.16(2025), Article 60. 14 Z.J. JAB LO ´NSKI, I. B. JUNG, P. PIETRZYCKI AND J. STOCHEL

    work page 2025

  43. [43]

    Stochel, Decomposition and disintegration of positive definite kernels on convex∗- semigroups,Ann

    J. Stochel, Decomposition and disintegration of positive definite kernels on convex∗- semigroups,Ann. Polon. Math.56(1992), 243–294

    work page 1992

  44. [44]

    Stochel, F

    J. Stochel, F. H. Szafraniec, On normal extensions of unbounded operators. II,Acta Sci. Math.(Szeged),53(1989), 153–177

    work page 1989

  45. [45]

    Weidmann,Linear operators in Hilbert spaces, Springer-Verlag, Berlin, Heidelberg, New York, 1980

    J. Weidmann,Linear operators in Hilbert spaces, Springer-Verlag, Berlin, Heidelberg, New York, 1980

    work page 1980

  46. [46]

    Wogen, Subnormal roots of subnormal operators,Integr

    W. Wogen, Subnormal roots of subnormal operators,Integr. Equ. Oper. Theory8(1985), 432–436. Wydzia l Matematyki i Informatyki, Uniwersytet Jagiello´nski, ul. Lojasiewicza 6, PL-30348 Krak´ow, Poland Email address:zenon.jablonski@im.uj.edu.pl Department of Mathematics, Kyungpook National University, Daegu 702-701, Ko rea Email address:ibjung@knu.ac.kr Wydz...

    work page 1985