pith. sign in

arxiv: 2309.05888 · v2 · submitted 2023-09-12 · 🧮 math.FA

Geometrically regular weighted shifts

Chafiq Benhida , Raul E. Curto , George R. Exner This is my paper

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

classification 🧮 math.FA
keywords weighted shiftssubnormal operatorshyponormal operatorshyperexpansive operatorsmoment sequencesBernstein functionsBergman shiftgeometric weights
0
0 comments X

The pith

Geometrically regular weighted shifts with weights sqrt((p^n + N)/(p^n + D)) display subnormality, k-hyponormality, or complete hyperexpansiveness in specific sectors of the (N,D) unit square.

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

The paper defines a family of weighted shifts on l^2 whose successive weights follow the geometric ratio form sqrt((p^n + N)/(p^n + D)) for fixed p greater than 1 and parameters N, D inside the open unit square. It then partitions that square into sectors and proves that inside each sector the shifts satisfy one of several distinct properties: their moment sequences are infinitely divisible, the operators are subnormal, they are exactly k-hyponormal for a given k, or they are completely hyperexpansive, with Bernstein functions interpolating either the squared weights or the moments. These shifts also arise as subshifts of the Bergman shift but with geometric rather than linear spacing of the weights. A reader would care because the construction supplies a flexible, explicitly computable collection of examples that can be used to test the boundaries between these operator classes.

Core claim

In sectors nicely arranged in the unit square in (N,D), these geometrically regular weighted shifts exhibit a wide variety of properties: moment infinitely divisible, subnormal, k- but not (k+1)-hyponormal, or completely hyperexpansive, and with a variety of well-known functions (such as Bernstein functions) interpolating their weights squared or their moment sequences. They provide subshifts of the Bergman shift with geometric, not linear, spacing in the weights which are moment infinitely divisible.

What carries the argument

The weight sequence alpha_n = sqrt((p^n + N)/(p^n + D)) for p > 1, which generates the shift and permits the sector-wise classification of its operator properties via interpolation by Bernstein functions.

If this is right

  • Inside designated sectors the shifts are subnormal.
  • Inside other sectors they are exactly k-hyponormal for each fixed k but not (k+1)-hyponormal.
  • In further sectors they are completely hyperexpansive.
  • Bernstein functions interpolate the squared weights or the moment sequences throughout the classified sectors.
  • The shifts remain moment infinitely divisible while forming geometric-spacing subshifts of the Bergman shift.

Where Pith is reading between the lines

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

  • The same geometric-weight construction could be tested on bilateral weighted shifts to see whether the sector classification survives the change from unilateral to bilateral index sets.
  • One could check whether the Bernstein-function interpolation extends to multivariable weighted shifts or to shifts on other reproducing-kernel spaces.
  • The explicit moment formulas might allow direct computation of the numerical range or the essential spectrum for these operators in each sector.

Load-bearing premise

The parameters N and D lie in (-1,1) so that all weights are positive real numbers and the resulting weighted shift is a well-defined bounded operator on l^2.

What would settle it

Pick concrete values p=2, N=0.3, D=0.4 inside a claimed subnormal sector and compute the first several moments; if the associated measure is not positive or the shift fails the subnormality criterion, the sector claim is false.

read the original abstract

We study a general class of weighted shifts whose weights $\alpha$ are given by $\alpha_n = \sqrt{\frac{p^n + N}{p^n + D}}$, where $p > 1$ and $N$ and $D$ are parameters so that $(N,D) \in (-1, 1)\times (-1, 1)$. Some few examples of these shifts have appeared previously, usually as examples in connection with some property related to subnormality. In sectors nicely arranged in the unit square in $(N,D)$, we prove that these geometrically regular weighted shifts exhibit a wide variety of properties: moment infinitely divisible, subnormal, $k$- but not $(k+1)$-hyponormal, or completely hyperexpansive, and with a variety of well-known functions (such as Bernstein functions) interpolating their weights squared or their moment sequences. They provide subshifts of the Bergman shift with geometric, not linear, spacing in the weights which are moment infinitely divisible. This new family of weighted shifts provides a useful addition to the library of shifts with which to explore new definitions and properties.

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 manuscript introduces the family of weighted shifts on ℓ² with weights α_n = √((p^n + N)/(p^n + D)) for fixed p > 1 and parameters (N, D) ∈ (-1, 1) × (-1, 1). It claims to prove that, inside explicitly delineated sectors of the unit square in the (N, D)-plane, these operators realize a range of properties: moment infinite divisibility, subnormality, k-hyponormality but not (k + 1)-hyponormality, complete hyperexpansiveness, and interpolation of the squared weights or moment sequences by Bernstein functions and related classes. The shifts are presented as geometrically spaced subshifts of the Bergman shift.

Significance. If the sector-wise classifications hold, the family supplies a flexible, closed-form collection of examples that realize multiple operator-theoretic properties under a single weight formula whose parameters are chosen independently of the target conclusions. This augments the existing library of weighted shifts used to test definitions and conjectures in subnormal and hyponormal operator theory, and the geometric (rather than linear) spacing provides a distinct construction.

minor comments (3)
  1. [Section 2] §2 (or wherever the sectors are defined): the precise inequalities or curves separating the sectors (e.g., the boundaries between subnormal and k-hyponormal regions) should be stated explicitly with the corresponding theorem numbers; the abstract’s phrase “nicely arranged” is too vague for a reader to locate the claims.
  2. [Introduction] The boundedness argument for the operator when |N|, |D| < 1 is asserted but the limit of α_n as n → ∞ is only sketched; a short paragraph confirming sup α_n < ∞ under the stated parameter restrictions would remove any doubt.
  3. [Section 3] Notation for the moment sequence {γ_n} and the associated functions (Bernstein, completely monotone, etc.) is introduced without a consolidated table; a short table listing which function class interpolates which sequence in each sector would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of its contributions, and the recommendation for minor revision. We appreciate the recognition that this family provides a flexible collection of examples for operator-theoretic properties.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces the family of weighted shifts by the explicit closed-form weight formula α_n = sqrt((p^n + N)/(p^n + D)) with independent parameters p>1 and (N,D) in (-1,1)^2. It then derives the listed operator properties (moment infinite divisibility, subnormality, k-hyponormality, complete hyperexpansiveness) by direct analysis of this formula inside explicitly delimited sectors of the (N,D) square. No load-bearing step reduces any claimed property to a fitted quantity, a self-citation chain, or an ansatz that presupposes the result; the derivations remain self-contained against the given definition and standard operator theory.

Axiom & Free-Parameter Ledger

3 free parameters · 2 axioms · 0 invented entities

The construction rests on choosing three parameters to define the weights and on the standard definition of a weighted shift on l^2; no new entities are introduced. Assessment is limited because only the abstract is available.

free parameters (3)
  • p
    Fixed number greater than 1 that sets the geometric decay rate of the weight adjustment.
  • N
    Parameter in (-1,1) that shifts the numerator of the weight ratio.
  • D
    Parameter in (-1,1) that shifts the denominator of the weight ratio.
axioms (2)
  • standard math The underlying space is the Hilbert space l^2 with its standard orthonormal basis.
    Required for the definition of any weighted shift operator.
  • domain assumption The chosen N and D keep every weight positive, so the operator is bounded.
    Stated by restricting N,D to (-1,1).

pith-pipeline@v0.9.0 · 5728 in / 1583 out tokens · 38642 ms · 2026-05-24T07:14:03.245900+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]

    Agler, Hypercontractions and subnormality, J

    J. Agler, Hypercontractions and subnormality, J. Operator Theory 13(1985), 203–217

    work page 1985

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

    Athavale, On completely hyperexpansive operators, Proc

    A. Athavale, On completely hyperexpansive operators, Proc. Amer. Math. Soc. 124(1996), 3745–3752

    work page 1996

  4. [4]

    Benhida, R.E

    C. Benhida, R.E. Curto, and G.R. Exner, Moment infinitely divisible we ighted shifts, Com- plex Analysis and Operator Theory 13(2019), 241–255

    work page 2019

  5. [5]

    Benhida, R.E

    C. Benhida, R.E. Curto, and G.R. Exner, Conditional positive defin iteness as a bridge be- tween k–hyponormality and n–contractivity, Linear Algebra and its Applications 625(2021), 146–170

    work page 2021

  6. [6]

    Benhida, R.E

    C. Benhida, R.E. Curto and G.R. Exner, Moment infinite divisibility of w eighted shifts: Sequence conditions, Complex Analysis and Operator Theory 16: 1 (2022), paper 5

    work page 2022

  7. [7]

    Berg, J.P.R

    C. Berg, J.P.R. Christensen and P. Ressel, Harmonic Analysis on Semigroups , Springer Verlag, Berlin, 1984

    work page 1984

  8. [8]

    Bhatia, Infinitely divisible matrices, Amer

    R. Bhatia, Infinitely divisible matrices, Amer. Math. Monthly 113(3)(2006), 221–235

    work page 2006

  9. [9]

    Bram, Subnormal operators, Duke Math

    J. Bram, Subnormal operators, Duke Math. J. 22(1965), 75–94

    work page 1965

  10. [10]

    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

  11. [11]

    Duan, Berger measure for Spa, b, c, dq, J

    J Cui and Y. Duan, Berger measure for Spa, b, c, dq, J. Math. Anal. Appl. 413(2014), 202– 211

    work page 2014

  12. [12]

    Curto, Quadratically hyponormal weighted shifts, Integral Equations Operator Theory 13(1990), 49–66

    R.E. Curto, Quadratically hyponormal weighted shifts, Integral Equations Operator Theory 13(1990), 49–66

    work page 1990

  13. [13]

    Curto and G.R

    R.E. Curto and G.R. Exner, Berger measure for some transfor mations of subnormal weighted shifts, Integral Equations Operator Theory 84(2016), 429–450

    work page 2016

  14. [14]

    Curto and L.A

    R.E. Curto and L.A. Fialkow, Recursively generated weighted shif ts and the subnormal completion problem, I, Integral Equations Operator Theory 17(1993), 202–246

    work page 1993

  15. [15]

    Curto and S.S

    R.E. Curto and S.S. Park, k–hyponormality of powers of weighted shifts via Schur products, Proc. Amer. Math. Soc. 131(2002), 2761–2769

    work page 2002

  16. [16]

    Curto, Y.T

    R.E. Curto, Y.T. Poon and J. Yoon, Subnormality of Bergman-like weighted shifts, J. Math. Anal. Appl. 308(2005), 334–342. 26 CHAFIQ BENHIDA, RA ´UL E. CURTO, AND GEORGE R. EXNER

    work page 2005

  17. [17]

    Exner, Aluthge transforms and n–contractivity of weighted shifts, J

    G.R. Exner, Aluthge transforms and n–contractivity of weighted shifts, J. Operator Theory, 61(2)(2009), 419–438

    work page 2009

  18. [18]

    Gellar and L.J

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

    work page 1970

  19. [19]

    Krattenthaler, Advanced determinant calculus, S´ eminaire Lotharingien Combin

    C. Krattenthaler, Advanced determinant calculus, S´ eminaire Lotharingien Combin. 42 (1999), Article B42q, 67 pp

    work page 1999

  20. [20]

    Polya, How to Solve It , Princeton University Press, Princeton, 1945

    G. Polya, How to Solve It , Princeton University Press, Princeton, 1945

    work page 1945

  21. [21]

    Stampfli, Which weighted shifts are subnormal, Pacific J

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

    work page 1966

  22. [22]

    Stochel and J

    J. Stochel and J. B. Stochel, On the κth root of a Stieltjes moment sequence , J. Math. Anal. Appl., 396(2012), 786–800

    work page 2012

  23. [23]

    Mathematica, Version 12.1, Wolfram Research Inc., Champaign, IL, 2019

    Wolfram Research, Inc. Mathematica, Version 12.1, Wolfram Research Inc., Champaign, IL, 2019. UFR de Math ´ ematiques, Universit ´ e des Sciences et Technologies de Lille, F- 59655, Villeneuve-d’Ascq Cedex, France Email address : chafiq.benhida@univ-lille.fr Department of Mathematics, University of Iowa, Iowa City, I owa 52242-1419, USA Email address : ra...

    work page 2019