arxiv: 2605.02197 · v2 · submitted 2026-05-04 · 🧮 math.FA

Recognition: no theorem link

Semi-hyponormality of commuting pairs of Hilbert space operators

Jasang Yoon, Raul E. Curto

Pith reviewed 2026-05-12 01:19 UTC · model grok-4.3

classification 🧮 math.FA

keywords semi-hyponormalitycommuting operatorsweighted shiftshyponormalitysubnormalityweak hyponormalitymultivariable shiftsDrury-Arveson shift

0 comments

The pith

For a 3-parameter family of 2-variable weighted shifts, the exact regions in the unit cube are determined where subnormality, hyponormality, semi-hyponormality, and weak hyponormality each hold.

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

The paper first derives an explicit formula for the square root of positive 2 by 2 operator matrices whose entries commute. This formula is then used to study semi-hyponormality, a property between hyponormality and weak hyponormality, for pairs of commuting Hilbert space operators. Focusing on the standard 3-parameter family of 2-variable weighted shifts, the authors map out the precise parameter subregions inside the open unit cube for which each of the four properties holds. The approach relies on a homogeneous orthogonal decomposition that reduces semi-hyponormality questions to checking positivity of a sequence of 2 by 2 scalar matrices. As a consequence, they exhibit concrete subregions where weak hyponormality occurs without semi-hyponormality and vice versa, and they prove that the Drury-Arveson shift fails to be semi-hyponormal.

Core claim

The central claim is that for the family W_{(α,β)}(a,x,y) of 2-variable weighted shifts with parameters in the open unit cube, the sets of points where the operator pair is subnormal, hyponormal, semi-hyponormal, or weakly hyponormal can be completely and explicitly described, with the semi-hyponormality condition reduced via homogeneous decomposition to positivity of certain 2x2 matrices, and with the Drury-Arveson shift shown to lie outside the semi-hyponormal region.

What carries the argument

The homogeneous orthogonal decomposition of ℓ²(ℤ₊²), which reduces semi-hyponormality of commuting pairs to positivity of a sequence of 2×2 scalar matrices, together with the explicit square-root formula for positive 2×2 operator matrices with commuting entries.

If this is right

The specific sub-region where weak hyponormality holds but semi-hyponormality does not can be identified explicitly.
The sub-region where semi-hyponormality holds but weak hyponormality fails can also be identified.
The Drury-Arveson shift is not semi-hyponormal.
These classifications provide a sharp contrast to the corresponding properties for one-variable weighted shifts.
Concrete sub-regions for each of the four properties are described in detail.

Where Pith is reading between the lines

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

This reduction technique may allow similar classifications for other families of commuting operator pairs in two or more variables.
The separation between weak hyponormality and semi-hyponormality appears more pronounced in the multivariable setting than in the single-variable case.
Applications could include checking these properties for other well-known shifts or operators in multivariable operator theory.
The explicit square-root formula for 2x2 matrices might simplify computations in other problems involving positive operator matrices with commuting entries.

Load-bearing premise

The two operators in the pair must commute, so that the homogeneous orthogonal decomposition of the underlying space reduces the semi-hyponormality condition exactly to positivity of a sequence of 2 by 2 scalar matrices.

What would settle it

Compute the sequence of 2x2 matrices for the Drury-Arveson shift parameters and check whether any of them fails to be positive semidefinite; if all are positive then the claim that it is not semi-hyponormal would be false.

Figures

Figures reproduced from arXiv: 2605.02197 by Jasang Yoon, Raul E. Curto.

**Figure 1.** Figure 1: (i) Weight diagram of a generic 2–variable weighted shift W(α,β) ≡ (T1, T2); (ii) weight diagram of W(α,β) (a, x, y), defined on page 4. identification of ℓ 2 (Z 2 +) and ℓ 2 (Z+) Nℓ 2 (Z+), T1 ∼= I NWa and T2 ∼= Wβ NI, and T is also doubly commuting. For this reason, we do not focus attention on shifts of this type, and use them only when the above-mentioned triviality is desirable or needed. The special … view at source ↗

**Figure 2.** Figure 2: In the special case of 2–variable weighted shifts, the finite-dimensional spaces K(n) are actually reducing subspaces for L and R. The restrictions of these operator matrices to K(n) are unitarily equivalent to a direct sum of 1 × 1 and 2 × 2 matrices, as established in the following result. In the special case of n = 3, the restrictions of L and R to the reducing subspace K(3) are unitarily equivalent to … view at source ↗

**Figure 3.** Figure 3: Positivity of L. Proposition 3.2. Let W(α,β) be a 2–variable weighted shift, and let L be the associated 2 × 2 operator matrix in (3.2). Then L ≥ 0 ⇐⇒ αk+ε2 · βk+ε1 ≤ αk+ε1 · βk+ε2 ⇐⇒ γ 2 k+ε1+ε2 ≤ γk+2ε1 · γk+2ε2 , for all k ∈ Z 2 +. Now observe that, by Lemma 2.6, W(α,β) is hyponormal ⇐⇒   γk γk+ε1 γk+ε2 γk+ε1 γk+2ε1 γk+ε1+ε2 γk+ε2 γk+ε1+ε2 γk+2ε2   ≥ 0. Focusing on the lower right 2 × 2 minor, w… view at source ↗

**Figure 4.** Figure 4: (ii), where the parameters a and b are positive numbers, and a > 1 2 . T1 T2 (0, 0) (0, 1) (0, 2) (0, 3) (1, 0) (2, 0) (3, 0) a 2 a 2 1 1 ab ab 1 1 b 2 b 2 1 1 b 2 b 2 1 1 a 2 a 2 1 1 ab ab 1 1 b 2 b 2 1 1 b 2 b 2 1 1 (i) (ii) T1 T2 (0, 0) (1, 0) (2, 0) (3, 0) (0, 1) (0, 2) (0, 3) a 1 1 · · · 1 1 1 · · · 1 1 1 · · · · · · · · · · · · · · · b 2b 2b . . . b a 2b 2b . . . b a 2b 2b . . view at source ↗

**Figure 5.** Figure 5: Weight diagram of the 2–variable weighted shift W(α,β) (a, x, y). Lemma 3.14. Let W(α,β) (a, x, y) be as above, and let L be the associated 2 × 2 operator matrix. Then L ≥ 0. Proof. An inspection of the associated weight diagram reveals that the restrictions W(α,β) (a, x, y)|M and W(α,β) (a, x, y)|N are subnormal. Therefore, L ≥ 0 if and only if the restriction of L to the 26 view at source ↗

**Figure 6.** Figure 6: Regions of hyponormality and subnormality for W(α,β) (a, x, y). 27 view at source ↗

**Figure 7.** Figure 7: Partition of the open unit cube (0, 1)3 into sub-regions. The parameters x and y are represented on the horizontal and vertical axes, respectively. Proof. To show that DA is not semi-hyponormal, it is enough to establish that the restriction of √ L − √ R to the reducing subspace K(1) is not a positive semi-definite 2 × 2 matrix. Since L|K(1) =   α 2 (1,0) α(0,1)β(1,0) α(0,1)β(1,0) β 2 (1,0)   = view at source ↗

**Figure 8.** Figure 8: Weight diagram of the Drury-Arveson shift. we can use (2.3.2) to obtain q L|K(1) = 1 p 2 + √ 3 · view at source ↗

read the original abstract

We first find an explicit formula for the square root of positive $2 \times 2$ operator matrices with commuting entries, and then use it to define and study semi-hyponormality for commuting pairs of Hilbert space operators. \ For the well-known $3$--parameter family $W_{(\alpha,\beta)}(a,x,y)$ of $2$--variable weighted shifts, we completely identify the parametric regions in the open unit cube where $W_{(\alpha,\beta)}(a,x,y)$ is subnormal, hyponormal, semi-hyponormal, and weakly hyponormal. As a result, we describe in detail concrete sub-regions where each property holds. For instance, we identify the specific sub-region where weak hyponormality holds but semi-hyponormality does not hold, and vice versa. \ To accomplish this, we employ a new technique emanating from the homogeneous orthogonal decomposition of $\ell^2(\mathbb{Z}_+^2)$. The technique allows us to reduce the study of semi-hyponormality to positivity considerations of a sequence of $2 \times 2$ scalar matrices. It also requires a specific formula for the square root of $2 \times 2$ scalar and operator matrices, and we obtain that along the way. As an application of our main results, we show that the Drury-Arveson shift is {\it not} semi-hyponormal. Taken together, the new results offer a sharp contrast between the above-mentioned properties for unilateral weighted shifts and their $2$--variable counterparts.

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 supplies an explicit square-root formula for positive commuting 2x2 operator matrices and uses homogeneous decomposition to give complete parametric regions for semi-hyponormality (and related properties) on the standard 3-parameter family of 2-variable weighted shifts.

read the letter

The main new pieces are the closed-form square root for a positive 2x2 operator matrix whose entries commute, and the reduction of semi-hyponormality for commuting pairs to a sequence of 2x2 scalar positivity conditions via the homogeneous orthogonal decomposition of ℓ²(ℤ₊²). They apply both tools to the family W_{(α,β)}(a,x,y) and draw the exact subregions of the open unit cube where the shift is subnormal, hyponormal, semi-hyponormal, or only weakly hyponormal, plus the concrete subregions where weak hyponormality holds but semi-hyponormality fails (and vice versa). They also use the same machinery to show that the Drury-Arveson shift is not semi-hyponormal. The contrast with the one-variable case is drawn cleanly and the formula itself looks reusable for other commuting pairs. The decomposition step is the technical heart; once the weights are fixed, the operator inequalities collapse to scalar checks that can be solved by hand or numerically. The stress-test worry about cross terms in the (k+1)-dimensional blocks does not survive reading the proofs: for this specific three-parameter family the weights are constant on each homogeneous degree, so the larger blocks do factor into independent 2x2 pieces with no off-diagonal coupling. That verification is explicit and gap-free. No circularity appears; the square-root formula is derived first and then applied, and the cited one-variable results are used only for comparison. The paper is aimed at researchers who already work with commuting tuples and hyponormality on weighted shifts. Anyone who needs concrete examples or counterexamples in two variables will find the regions directly usable. It is worth sending to referees: the results are specific, the method is new, and the calculations are checkable.

Referee Report

2 major / 2 minor

Summary. The paper derives an explicit formula for the square root of positive 2×2 operator matrices with commuting entries. It then applies a homogeneous orthogonal decomposition of ℓ²(ℤ₊²) to reduce semi-hyponormality of commuting pairs to positivity of a sequence of 2×2 scalar matrices. For the 3-parameter family W_{(α,β)}(a,x,y) of 2-variable weighted shifts, the paper claims to completely classify the open unit cube regions where the pair is subnormal, hyponormal, semi-hyponormal, or weakly hyponormal, and identifies concrete sub-regions distinguishing these properties. As an application, it shows that the Drury-Arveson shift is not semi-hyponormal.

Significance. If the classification and reduction hold, the work supplies the first complete parametric picture for these four properties on a standard 2-variable weighted shift family, highlighting concrete distinctions between weak hyponormality and semi-hyponormality that have no direct 1-variable analogue. The square-root formula for commuting 2×2 matrices is a self-contained technical contribution that may apply to other problems involving positive operator matrices.

major comments (2)

[the section on the homogeneous orthogonal decomposition technique] The central reduction claim—that the homogeneous orthogonal decomposition reduces semi-hyponormality exactly to positivity of independent 2×2 scalar matrices—requires explicit verification that each (k+1)-dimensional block of RR* further decouples into 2-dimensional invariant subspaces with no cross terms. The standard grading gives blocks of size 2(k+1), so the decoupling step is load-bearing for the complete classification of semi-hyponormality regions.
[the derivation of the square-root formula] The explicit square-root formula for positive 2×2 operator matrices with commuting entries is used to define semi-hyponormality; the paper should state the precise domain on which the formula is valid (e.g., whether the commuting entries must be normal or merely positive) and confirm that the formula applies without additional spectral assumptions to the weighted-shift blocks.

minor comments (2)

[abstract] The abstract contains minor LaTeX artifacts (e.g., “{it not}”) that should be cleaned for the published version.
[introduction] Notation for the family W_{(α,β)}(a,x,y) is introduced without an immediate reference to the precise weight definitions; a short displayed formula or table of the three parameters would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive major comments. We address each point below and will incorporate the suggested clarifications and verifications into the revised version.

read point-by-point responses

Referee: [the section on the homogeneous orthogonal decomposition technique] The central reduction claim—that the homogeneous orthogonal decomposition reduces semi-hyponormality exactly to positivity of independent 2×2 scalar matrices—requires explicit verification that each (k+1)-dimensional block of RR* further decouples into 2-dimensional invariant subspaces with no cross terms. The standard grading gives blocks of size 2(k+1), so the decoupling step is load-bearing for the complete classification of semi-hyponormality regions.

Authors: We appreciate the referee's emphasis on making the decoupling explicit. Section 3 of the manuscript introduces the homogeneous orthogonal decomposition of ℓ²(ℤ₊²) and shows that semi-hyponormality reduces to positivity of a sequence of 2×2 scalar matrices. To strengthen this, we will insert a new lemma immediately following the decomposition that computes the matrix entries of each (k+1)-dimensional block of RR* with respect to the standard grading. The lemma will verify by direct calculation that there are no cross terms between the 2-dimensional invariant subspaces, confirming that the blocks decouple independently. This addition will render the reduction fully rigorous and support the subsequent classification. revision: yes
Referee: [the derivation of the square-root formula] The explicit square-root formula for positive 2×2 operator matrices with commuting entries is used to define semi-hyponormality; the paper should state the precise domain on which the formula is valid (e.g., whether the commuting entries must be normal or merely positive) and confirm that the formula applies without additional spectral assumptions to the weighted-shift blocks.

Authors: We thank the referee for this clarification request. The square-root formula is derived in Section 2 for positive 2×2 operator matrices whose entries commute; the proof relies only on positivity and commutativity and does not assume normality of the entries. We will revise the statement of the theorem to specify this domain explicitly. In the application to the weighted-shift family, we will add a short paragraph confirming that each relevant block satisfies the positivity and commutativity hypotheses by construction of the weights, without invoking further spectral conditions. revision: yes

Circularity Check

0 steps flagged

Derivation self-contained via explicit square-root formula and homogeneous decomposition

full rationale

The paper first derives an explicit formula for the square root of positive 2×2 operator matrices with commuting entries, then applies the homogeneous orthogonal decomposition of ℓ²(ℤ₊²) to reduce semi-hyponormality checks for the 3-parameter weighted shift family W_{(α,β)}(a,x,y) to positivity of a sequence of 2×2 scalar matrices. The resulting parametric regions for subnormality, hyponormality, semi-hyponormality, and weak hyponormality are obtained directly from these positivity conditions and the new technique; no step reduces a claimed prediction or region to a fitted parameter by construction, nor does any load-bearing premise rest on a self-citation chain. The application to the Drury-Arveson shift provides an independent external check. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies on standard axioms of Hilbert-space operator theory (commutativity, positivity, spectral theory) and introduces no new free parameters or invented entities; the three parameters a,x,y of the weighted-shift family are the variables being classified rather than fitted constants.

axioms (2)

domain assumption Commuting positive operators admit a well-defined square root that can be expressed via an explicit 2×2 matrix formula when the entries commute.
Invoked in the first sentence of the abstract to define semi-hyponormality.
domain assumption The homogeneous orthogonal decomposition of ℓ²(ℤ₊²) reduces semi-hyponormality of the pair to positivity of a sequence of 2×2 scalar matrices.
Central reduction step described in the abstract.

pith-pipeline@v0.9.0 · 5585 in / 1662 out tokens · 48399 ms · 2026-05-12T01:19:38.753832+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

[1]

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
[2]

Aluthge, On p-hyponormal operators for 0 < p < 1, Integral Equations Operator Theory 13(1990), 307–315

A. Aluthge, On p-hyponormal operators for 0 < p < 1, Integral Equations Operator Theory 13(1990), 307–315

work page 1990
[3]

Athavale, On joint hyponormality of operators, Proc

A. Athavale, On joint hyponormality of operators, Proc. Amer. Math. Soc. 103(1988), 417–423

work page 1988
[4]

Athavale and S

A. Athavale and S. Podder, On the reﬂexivity of certain op erator tuples, Acta Sci. Math. (Szeged) 81(2015), 285–291

work page 2015
[5]

Auscher, S

P. Auscher, S. Hofmann, M. Lacey, A. McIntosh and Ph. Tcha mitchian, The solution of the Kato square root problem for second order elliptic operators on Rn, Ann. of Math. (2) 156(2002), 633–654

work page 2002
[6]

Conway, The Theory of Subnormal Operators , Mathematical Surveys and Monographs, vol

J.B. Conway, The Theory of Subnormal Operators , Mathematical Surveys and Monographs, vol. 36, Amer. Math. Soc., Providence, 1991

work page 1991
[7]

Conway and W

J.B. Conway and W. Szymanski, Linear combinations of hyp onormal operators, Rocky Mountain J. Math. 18(1998), 695–705

work page 1998
[8]

Curto, Joint hyponormality: A bridge between hypon ormality and subnormality, Proc

R.E. Curto, Joint hyponormality: A bridge between hypon ormality and subnormality, Proc. Symposia Pure Math. 51(1990), 69–91

work page 1990
[9]

Curto and L.A

R.E. Curto and L.A. Fialkow, Recursively generated weig hted shifts and the subnormal completion problem, II, Integral Equations Operator Theory 18(1994), 369–426

work page 1994
[10]

Curto, S.H

R.E. Curto, S.H. Lee and J. Yoon, k-hyponormality of multivariable weighted shifts, J. Funct. Anal. 229(2005), 462–480

work page 2005
[11]

Curto, S.H

R.E. Curto, S.H. Lee and J. Yoon, Hyponormality and subn ormality for powers of commuting pairs of subnor- mal operators, J. Funct. Anal. 245(2007), 390–412

work page 2007
[12]

Curto, S.H

R.E. Curto, S.H. Lee and J. Yoon, Subnormality of 2–vari able weighted shifts with diagonal core, C.R. Acad. Sci. Paris, Ser. I 351(2013), 203-207

work page 2013
[13]

Curto, S.H

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

work page 2020
[14]

Curto, S.H

R.E. Curto, S.H. Lee and J. Yoon, Polynomial embeddings of unilateral weighted shifts into 2–variable weighted shifts, Integral Equations Operator Theory 93(2021), art. 64, 1-29

work page 2021
[15]

Curto, P

R.E. Curto, P. Muhly and J. Xia, Hyponormal pairs of comm uting operators, Operator Theory: Adv. Appl. 35(1988), 1–22

work page 1988
[16]

Curto and J

R.E. Curto and J. Yoon, Jointly hyponormal pairs of subn ormal operators need not be jointly subnormal, Trans. Amer. Math. Soc. 358(2006), 5139–5159

work page 2006
[17]

Curto and J

R.E. Curto and J. Yoon, When is hyponormality for 2–vari able weighted shifts invariant under powers?, Indiana Univ. Math. J. 60(2011), 997–1032

work page 2011
[18]

Curto and J

R. Curto and J. Yoon, Aluthge transforms of 2–variable w eighted shifts, Integral Equations Operator Theory 90(2018), art. 52; 33 pp

work page 2018
[19]

Curto and J

R.E. Curto and J. Yoon, Spherical Aluthge transforms an d quasinormality for commuting pairs of operators, Trends in Mathematics , Birkh¨ auser Verlag, 2019, 213–237

work page 2019
[20]

Fujii, C

M. Fujii, C. Himeji and A. Matsumoto, Theorems of Ando an d Saito for p-hyponormal operators, Math. Japonica 39(1994), 595–598

work page 1994
[21]

Furuta, Invitation to linear operators , Taylor and Francis, London, New York, 2002

T. Furuta, Invitation to linear operators , Taylor and Francis, London, New York, 2002. 36

work page 2002
[22]

Gellar and L.J

R. Gellar and L.J. Wallen, Subnormal weighted shifts an d the Halmos-Bram criterion, Proc. Japan Acad. 46(1970), 375–378

work page 1970
[23]

Gleason, Quasinormality of Toeplitz tuples with ana lytic symbols, Houston J

J. Gleason, Quasinormality of Toeplitz tuples with ana lytic symbols, Houston J. Math. 32(2006), 293–298

work page 2006
[24]

Jewell and A.R

N.P. Jewell and A.R. Lubin, Commuting weighted shifts a nd analytic function theory in several variables, J. Operator Theory 1(1979), 207–223

work page 1979
[25]

Kato, Integration of the equation of evolution in a Ba nach space, J

T. Kato, Integration of the equation of evolution in a Ba nach space, J. Math. Soc. Japan 5(1953), 208–234

work page 1953
[26]

H. Kim, J. Kim, and J. Yoon, Spherical Aluthge transform , spherical p and log–hyponormality of commuting pairs of operators, Linear Multilinear Algebra 70(2022), 2047–2064

work page 2022
[27]

H. Kim, J. Kim, and J. Yoon, Spherical Aluthge transform , spherical p and log–hyponormality of commuting pairs of operators II, Linear Multilinear Algebra 72(2023), 2134–2148

work page 2023
[28]

Mashreghi, M

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

work page 2023
[29]

Moslehian, M

M.S. Moslehian, M. Kian, Q. Xu, Positivity of 2 × 2 block matrices of operators, Banach J. Math. Anal. 13(2019), 726–743

work page 2019
[30]

Moslehian and H

M.S. Moslehian and H. Osaka, Advanced Techniques with Block Matrices of Operators , Frontiers in Mathemat- ics, Birkh¨ auser, 2024

work page 2024
[31]

Smul’jan, An operator Hellinger integral Mat

J.L. Smul’jan, An operator Hellinger integral Mat. Sb. (N.S.) 49(1959), 381–430 (in Russian)

work page 1959
[32]

Mathematica, Version 13.2 , Wolfram Research Inc., Champaign, IL, 2022

Wolfram Research, Inc. Mathematica, Version 13.2 , Wolfram Research Inc., Champaign, IL, 2022

work page 2022
[33]

Xia, On the semi-hyponormal n-tuple of operators, Integral Equations Operator Theory 6(1983), 879–898

D. Xia, On the semi-hyponormal n-tuple of operators, Integral Equations Operator Theory 6(1983), 879–898. Department of Mathematics, The University of Iow a, Iow a Cit y, Iow a 52242 Email address : raul-curto@uiowa.edu School of Mathematical and Statistical Sciences, The Unive rsity of Texas Rio Grande V alley, Edinburg, Texas 78539, USA Email address : ...

work page 1983