Pith. sign in

REVIEW 4 major objections 4 minor 20 references

On the Berezin range of Toeplitz and weighted composition operators on weighted Bergman spaces

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read On every weighted Bergman space, a bounded harmonic symbol $\varphi$ makes the Berezin range of the Toeplitz operator $T_\varphi$ exactly $\varphi(\mathbb{D})$; the paper proves this and applies it to convexity and realizability.

desk verdict Clean Berezin-range theorem for harmonic Toeplitz symbols, surrounded by two unfinished sections that need proof repairs. read the letter →

arxiv 2506.04052 v1 pith:XBNZQFOR submitted 2025-06-04 math.FA math.CV

Anirban Sen , Somdatta Barik , Kallol Paul This is my paper
classification math.FAmath.CV MSC 47B3247B3847A0547B3347B35
keywords BerezinrangeToeplitzoperatorweightedBergmanspacecompositionnumberharmonicsymbolconvexityreproducingkernel
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper gives a complete description of the Berezin range—the set of all values of the Berezin transform—for Toeplitz operators with bounded harmonic symbols on weighted Bergman spaces, the Hilbert spaces of holomorphic functions on the unit disk with weight $dA_\gamma(z)=(\gamma+1)(1-|z|^2)^\gamma\,dA(z)$. The main theorem states that the Berezin range is exactly the image of the symbol, so convexity of the range is equivalent to convexity of that image, and every bounded simply connected region of the plane arises as such a range. The paper also introduces a new class of weighted composition operators on these spaces, computes their Berezin range and Berezin number, and decides when the Berezin range of a composition operator induced by a rotation or by an automorphism with a boundary zero is convex. It shows in particular that for any non-identity holomorphic self-map for which the composition operator is bounded, the origin lies in the closure of the Berezin range but not in the range. These results give a case where the Berezin range, a subset of the numerical range, is identified exactly and its convexity decided.

What carries the argument

The carrying identity is the integral formula for the Berezin transform of a Toeplitz operator on $A^2_\gamma(\mathbb{D})$: $\widetilde{T_\varphi}(w)=\int_{\mathbb{D}}\varphi(z)\,|\hat k_w(z)|^2\,dA_\gamma(z)$, where $\hat k_w$ is the normalized reproducing kernel of the weighted Bergman space. A change of variables by the disk automorphism $\varphi_w(z)=(w-z)/(1-\bar w z)$ turns the right-hand side into $\int_{\mathbb{D}}\varphi\circ\varphi_w\,dA_\gamma$, and the mean-value property of harmonic functions makes this equal to $\varphi(w)$. For the composition operators studied in Section 4, the same normalized-kernel calculus gives the closed form $\widetilde{C_\psi}(w)=\big((1-|w|^2)/(1-\bar w\,\psi(w))\big)^{\gamma+2}$, which is the expression whose real and imaginary parts drive the convexity and origin-membership arguments.

What would settle it

To test Theorem 2.1, compute the claimed identity for $\varphi(z)=z$: it reduces to $\int_{\mathbb{D}} z\,|\hat k_w(z)|^2\,dA_\gamma(z)=w$ for every $w$, a direct reproducing-kernel calculation. To test the unitarity claim behind Section 3, take $\beta=0$, $\eta=i$, apply $C_{\hat k_0,\psi_{0,i}}$ to the paper's proposed inverse, and check whether the repaired inverse $f(w)=g(-iw)$ lies in $A^2_\gamma$ and recovers $g$.

Watch

Extended reading notes

Core claim

The paper's central discovery is Theorem 2.1: if $\varphi\in L^\infty(\mathbb{D},dA_\gamma)$ is harmonic on $\mathbb{D}$, then the Berezin transform of the Toeplitz operator $T_\varphi$ at a point $w$ equals $\varphi(w)$, and therefore $\operatorname{Ber}(T_\varphi)=\varphi(\mathbb{D})$. The proof converts the defining integral into an average of $\varphi$ against the disk automorphism that swaps $0$ and $w$, and the harmonic mean-value property collapses that average to $\varphi(w)$. From this identity the paper derives a convexity criterion, a normality criterion in terms of $\operatorname{Ber}(T_\varphi)$ lying on a line, and a realization result for bounded simply connected regions. For the new weighted composition operators $C_{\hat k_\beta,\psi_{\beta,\eta}}(f)=\hat k_\beta\,(f\circ\psi_{\beta,\eta})$, it obtains the explicit Berezin transform and uses it to show $\operatorname{Ber}(C_{\hat k_\beta,\psi_{\beta,-1}})=(0,1]$ and $\operatorname{ber}(C_{\hat k_\beta,\psi_{\beta,1}})=(1-|\beta|^2)^{(\gamma+2)/2}$. It further characterizes convexity of the Berezin range of composition operators with rotation symbols $\psi_{0,\eta}(w)=\eta w$ (convex exactly for $\eta=\pm1$) and, under a technical hypothesis and for $-1<\gamma\le0$, with automorphism symbols $\psi_{\beta,1}(w)=(w-\beta)/(1-\bar\beta w)$ (convex exactly for $\beta=0$).

Load-bearing premise

The Section 3 theorems about the new weighted composition operators rest on the claim that each $C_{\hat k_\beta,\psi_{\beta,\eta}}$ is unitary; the proof's surjectivity step uses the automorphism $\psi_{\beta,\eta}$ rather than its inverse, so for general $\eta$ that step is not justified as written.

Editorial extensions

If this is right

  • For any $\gamma>-1$ and any bounded harmonic $\varphi$, the Berezin range of $T_\varphi$ is exactly $\varphi(\mathbb{D})$, so testing convexity of the range reduces to testing convexity of a planar image.
  • Every non-empty bounded simply connected region of the plane is the Berezin range of some Toeplitz operator on every weighted Bergman space.
  • For a non-constant bounded harmonic $\varphi$, the numerical range of $T_\varphi$ is the closure of the relative interior of its Berezin range, connecting the two classical sets for this class.
  • For the new weighted composition operators, $\operatorname{Ber}(C_{\hat k_\beta,\psi_{\beta,-1}})=(0,1]$ and $\operatorname{ber}(C_{\hat k_\beta,\psi_{\beta,1}})=(1-|\beta|^2)^{(\gamma+2)/2}$, so the Berezin number of a norm-one operator can be made arbitrarily small.
  • For composition operators induced by $\eta w$ and by $(w-\beta)/(1-\bar\beta w)$, the paper decides convexity of the Berezin range exactly, and for every non-identity holomorphic self-map for which the operator is bounded, the origin lies in the closure of the Berezin range but not in the range.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the equality $\widetilde{T_\varphi}=\varphi$ holds for bounded harmonic symbols on any domain whose invariant volume measure has the mean-value property, the same exact-range conclusion would transfer to Toeplitz operators on other reproducing-kernel spaces; the disk-specific ingredient is only the change of variables.
  • The explicit one-variable formula for the Berezin transform of a rotation composition operator suggests a general principle: when the inducing self-map commutes with a large group of disk symmetries, convexity of the Berezin range may be decided by the boundary action of that group.
  • With the surjectivity step repaired as $f(w)=g(\psi_{\beta,\eta}^{-1}(w))/\hat k_\beta(w)$, the new operators would supply a family of unitaries whose Berezin ranges are either explicit intervals or have Berezin number tending to zero, giving concrete test cases for the open question of convexity of Berezin ranges of general operators.
  • The closure-but-not-range behavior of $0$ invites a search for other boundary points: for self-maps with an interior fixed point, the radial limits of the Berezin transform may trace the boundary of the closure of the Berezin range.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper studies Berezin ranges of Toeplitz operators with harmonic symbols and of a class of weighted composition operators on weighted Bergman spaces. Theorem 2.1 states that for φ ∈ L∞ harmonic on D, Ber(T_φ) = φ(D), with a proof based on the invariant mean-value property. Corollaries give convexity equivalence, a normality characterization, and the realizability of every bounded simply connected region as a Berezin range. Section 3 introduces operators C_{k̂_β,ψ_{β,η}} and claims they are unitary, computes their Berezin transform, and determines the Berezin range for η=-1 and the Berezin number for η=1. Section 4 studies convexity of Berezin ranges for composition operators induced by elliptic automorphisms and Blaschke factors, and shows that 0 lies in the closure but not the range for non-identity holomorphic self-maps.

Significance. If the results are fully established, the paper provides a complete and elegant characterization of Berezin ranges for harmonic-symbol Toeplitz operators on weighted Bergman spaces, settling the question in a parameter-free way and implying strong corollaries such as Corollary 2.9. The Section 3 class extends Coburn's Weyl-type unitary operators, and Section 4 contributes to the convexity question of Berezin ranges. However, several proofs in Sections 3 and 4 contain repairable but load-bearing gaps, so the full scope of the claims is not yet established in the present version.

major comments (4)
  1. [Section 3, Proposition 3.1] The surjectivity step of the proof defines f(w) = g(ψ_{β,η}(w)) / k̂_β(ψ_{β,η}(w)), but substituting into C_{k̂_β,ψ_{β,η}} gives k̂_β(w) g(ψ_{β,η}^2(w)) / k̂_β(ψ_{β,η}(w)), which equals g(w) only when ψ_{β,η} is an involution. The correct construction is f(w) = g(ψ_{β,η}^{-1}(w)) / k̂_β(ψ_{β,η}^{-1}(w)); this belongs to A^2_γ because the reciprocal of k̂_β is bounded on D. The stated unitarity of C_{k̂_β,ψ_{β,η}} is therefore not proved as written, although the isometry part is correct and the fix is straightforward.
  2. [Section 3, Theorem 3.3] The proof shows that Ber(C_{k̂_β,ψ_{β,-1}}) is a connected subset of R containing 1 and having 0 as a boundary limit, and concludes that Ber = (0,1]. This conclusion requires an additional bound ensuring the Berezin transform never exceeds 1. Without such a bound, the range could be (0,b] for b>1. A direct estimate from formula (3.1) for η=-1, showing (1-|β|^2)(1-|ξ|^2)^2 ≤ (1+|ξ|^2 - 2Re(ξ\bar{β}))^2, supplies the missing upper bound.
  3. [Section 4, Lemma 4.5] The proof states that C̃_{ψ_{β,1}}(re^{iφ}) = C̃_{ψ_{β,1}}(re^{i(2θ-φ)}) and derives e^{2iθ}ψ_{β,1}(re^{i(2θ-φ)}) = ψ_{β,1}(re^{iφ}). The displayed identity is incorrect; the correct symmetry for closure under complex conjugation is C̃(re^{i(2θ-φ)}) = \overline{C̃(re^{iφ})}, which follows from \bar{w}'ψ(w') = w\overline{ψ(w)}. The lemma's conclusion is true, but the proof as written needs correction.
  4. [Section 4, Theorem 4.6] The proof asserts that lim_{ρ→1^-} C̃_{ψ_{β,1}}(ρe^{iφ}) = 0 for all φ when β≠0. This is false at boundary directions that are fixed by ψ_{β,1}; for example, when β is real, at ζ=1 the limit is positive. The proof only needs the existence of some direction with limit 0, so the argument can be repaired, but the stated claim and the subsequent 'for each w' step should be rephrased accordingly.
minor comments (4)
  1. [Section 1, paragraph 4] The sentence 'the Berezin transform is a one-to-one, bounded, and real-analytic function on D' should specify that it is the map T ↦ T̃ that is injective; as stated, it is easy to misread as a property of the function on D.
  2. [Section 2, Example 2.3(ii)] The series expansion involving Γ(n+γ+2) is presented without derivation; adding a short derivation or a reference would improve readability.
  3. [Section 3, Corollary 3.5] The sentence 'Then φ is a one-to-one mapping on BC(D)' is garbled; it should state that the Berezin transform map from B(A^2_γ) to BC(D) is injective, and the open mapping theorem is then applied to this injective bounded map.
  4. [Throughout] There are several typographical and encoding issues: 'holomorophic' in Section 1, 'Poission' in the introduction, 'Blashke' in Section 4, and repeated OCR artifacts such as ']C' for the Berezin transform in Section 4. These should be corrected in revision.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: Theorem 2.1 is a direct parameter-free computation benchmarked against the symbol's range; the sole self-citation is non-load-bearing, and the Section 3 surjectivity gap is a correctness issue rather than circularity.

full rationale

The central claim, Theorem 2.1, is derived from the definition of the Berezin transform together with a change of variables and the mean-value property for harmonic functions on D with respect to the radial measure dA_gamma. The computation integral of phi(z) times |normalized kernel|^2 equals integral of phi composed with the disk automorphism against dA_gamma, which equals phi(phi_w(0)) = phi(w), is self-contained and is checked against the independent external object phi(D). No fitted parameter, no imported uniqueness theorem, and no ansatz is involved. Corollaries 2.2, 2.8, and 2.9 follow by direct substitution from Theorem 2.1. The only imported self-citation is Lemma 2.5, called 'recently proved in [16, Th. 3.6]', and it is used solely to convert Theorem 2.1 into Corollary 2.6 relating the numerical range and the Berezin range; that corollary is not the paper's central claim, so the self-citation is not load-bearing. Separately, Proposition 3.1 contains a genuine proof gap: the displayed f(w) = g(psi_beta,eta(w)) / k_beta^gamma(psi_beta,eta(w)) gives C f = g composed with psi_beta,eta composed with psi_beta,eta in general, not g, unless the automorphism is an involution. The repair is to use the inverse automorphism in the definition of f and to note that the reciprocal of the normalized kernel is bounded on D. This is a localized correctness gap in a secondary unitary-operator section, not a circular reduction, and it does not affect Theorem 2.1. Therefore no circular step is identified; the score reflects only the minor non-load-bearing self-citation.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No fitted parameters and no invented entities appear; the paper is a pure operator-theory proof. It relies on standard reproducing-kernel facts, the invariant mean-value property, the Riemann mapping theorem, and one imported numerical-range lemma from the authors' own earlier arXiv paper [16] that is neither proved nor machine-checked here.

assumptions (7)
  • standard math Berezin transform map T -> tilde T is injective on bounded operators on A^2_gamma(D).
    Invoked in Corollary 3.5 to apply the open mapping theorem; standard, cited to [4].
  • standard math Harmonic functions satisfy the invariant mean-value property with respect to the weighted Bergman measure dA_gamma under disk automorphisms.
    Used in Theorem 2.1 to conclude that the weighted average of phi composed with phi_w equals phi(w); cited to [1].
  • standard math Riemann mapping theorem.
    Used in Corollary 2.9 to realize any bounded simply connected region as phi(D).
  • domain assumption Lemma 2.5 from [16]: for nonconstant bounded harmonic phi, W(T_phi) equals the relative interior of the convex hull of phi(D).
    Imported from the authors' earlier arXiv preprint 2502.02833; not proved or formally verified in this paper, and it supports Corollary 2.6.
  • standard math Every non-identity disk automorphism has a boundary point whose radial limit differs from the boundary point itself.
    Used in Propositions 3.2 and 4.9 to show the origin lies in the closure of the Berezin range.
  • standard math Composition operators with disk automorphisms are bounded on weighted Bergman spaces.
    Used throughout Sections 3 and 4; standard, cited to [19].
  • domain assumption Symmetry condition: Im(tilde C_{psi_{beta,1}}(w)) = 0 implies Im(bar beta w) = 0.
    Explicit hypothesis of Theorem 4.6; verified only for -1 < gamma <= 0 in Lemma 4.7, so convexity for gamma > 0 remains open.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the Berezin range of Toeplitz and weighted composition operators on weighted Bergman spaces." pith.science (2026). https://pith.science/paper/XBNZQFOR

@misc{pith2026250604052,
  author       = {Pith},
  title        = {Pith review of: On the Berezin range of Toeplitz and weighted composition operators on weighted Bergman spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XBNZQFOR}},
  note         = {Machine review of arXiv:2506.04052}
}
read the original abstract

In this article, we completely characterize the Berezin range of Toeplitz operators with harmonic symbols acting on weighted Bergman spaces, illustrating the necessity of the harmonicity condition through examples. We then introduce a new class of weighted composition operators on these spaces, investigating their fundamental properties and determining their Berezin range and Berezin number. Finally, we study the convexity of the Berezin range of composition operators on weighted Bergman spaces and show that the origin lies in its closure of Berezin range but not in the range itself.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

20 extracted references · 18 canonical work pages

  1. [1]

    Ahern, M

    P. Ahern, M. Flores and W. Rudin, An invariant volume mean value property, J. Funct. Anal. 111 (1993), 380–397

    work page 1993

  2. [2]

    Augustine, M

    A. Augustine, M. Garayev and P. Shankar, On the convexity of the Berezin range of com- position operators and related questions, (2024), arXiv:2401.03176 [math.F A]

    arXiv 2024

  3. [3]

    Augustine, M

    A. Augustine, M. Garayev and P. Shankar, Composition operators, convexity of their Berezin range and related questions, Complex Anal. Oper. Theory 17 (2023), no. 8, Paper No. 126, 22 pp

    work page 2023

  4. [4]

    Berezin, Covariant and contravariant symbols for operators, Math

    F.A. Berezin, Covariant and contravariant symbols for operators, Math. USSR-Izv. 6 (1972), 1117–1151

    work page 1972

  5. [5]

    Bourdon and J.H

    P.S. Bourdon and J.H. Shapiro, When is zero in the numerical range of a composition operator?, Integral Equations Operator Theory 44 (2002), no. 4, 410–441

    work page 2002

  6. [6]

    Cowen and C

    C.C. Cowen and C. Felder, Convexity of the Berezin range, Linear Algebra Appl. 647 (2022), 47–63

    work page 2022

  7. [7]

    Coburn, Berezin transform and Weyl-type unitary operators on the Bergman space, Proc

    L.A. Coburn, Berezin transform and Weyl-type unitary operators on the Bergman space, Proc. Amer. Math. Soc. 140 (2012), 3445–3451. BEREZIN RANGE OF TOEPLITZ AND COMPOSITION OPERATORS 15

    work page 2012

  8. [8]

    ˇCuˇ ckovi´ c and R

    Z. ˇCuˇ ckovi´ c and R. Zhao, Weighted composition operators between different weighted Bergman spaces and different Hardy spaces, Illinois J. Math. 51 (2) (2007), 479–498

    work page 2007

Show all 20 references
  1. [9]

    Engliˇ s, Toeplitz operators and the Berezin transform on H 2, Linear Algebra Appl

    M. Engliˇ s, Toeplitz operators and the Berezin transform on H 2, Linear Algebra Appl. 223/224, (1995), 171–204

    1995

  2. [10]

    Engliˇ s, Functions Invariant under the Berezin Transform, J

    M. Engliˇ s, Functions Invariant under the Berezin Transform, J. Funct. Anal. 121 (1994), no. 1, 233–254

    1994

  3. [11]

    Gallardo-Guti´ errez, R

    E.A. Gallardo-Guti´ errez, R. Kumar and J.R. Partington, Boundedness, Compactness and Schatten-class Membership of Weighted Composition Operators, Integral Equations Oper- ator Theory 67 (2010), no. 4, 467–479

    2010

  4. [12]

    Gustafson and D.K.M

    K.E. Gustafson and D.K.M. Rao, Numerical Range. The Field of Values of Linear Operators and Matrices, Springer-Verlag, New York, (1997)

    1997

  5. [13]

    Karaev, Reproducing kernels and Berezin symbols techniques in various questions of operator theory, Complex Anal

    M.T. Karaev, Reproducing kernels and Berezin symbols techniques in various questions of operator theory, Complex Anal. Oper. Theory 7 (2013), no. 4, 983–1018

    2013

  6. [14]

    Karaev, Berezin symbol and invertibility of operators on the functional Hilbert spaces, J

    M.T. Karaev, Berezin symbol and invertibility of operators on the functional Hilbert spaces, J. Funct. Anal. 238 (2006), no. 1, 181–192

    2006

  7. [15]

    Nordgren and P

    E. Nordgren and P. Rosenthal, Boundary values of Berezin symbols, in: Nonselfadjoint Operators and Related Topics, Oper. Theory Adv. Appl. 73 (1994), pp.362–368

    1994

  8. [16]

    A. Sen, S. Halder, R. Birbonshi and K. Paul, Numerical range of Toeplitz and Composition operators on weighted Bergman spaces, (2025). arXiv:2502.02833v1 [math.F A]

    2025 arXiv

  9. [17]

    Zhao and D

    X. Zhao and D. Zheng, Invertibility of Toeplitz operators via Berezin transforms, J. Oper- ator Theory 75 (2016), no. 2, 475–495

    2016

  10. [18]

    Zhu, The Berezin transform and its Applications, Acta Math

    K. Zhu, The Berezin transform and its Applications, Acta Math. Sci. 41 (2021), no. 6, 1839–1858

    2021

  11. [19]

    Zhu, Operator theory in function spaces, Math

    K. Zhu, Operator theory in function spaces, Math. Surveys Monogr., 138 American Math- ematical Society, Providence, RI, (2007)

    2007

  12. [20]

    Zorboska, The Berezin transform and radial operators, Proc

    N. Zorboska, The Berezin transform and radial operators, Proc. Am. Math. Soc. 131 (3) (2003), 793–800. (Sen) Department of Mathematics, Jadavpur University, Kolkata 700032, West Bengal, India Email address : anirbansenfulia@gmail.com (Barik) Department of Mathematics, Jadavpur...

    2003

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.