On the convexity of Berezin range and Berezin radius inequalities via a class of semi-norms

Athul Augustine; P. Hiran Das; Pintu Bhunia; P. Shankar

REVIEW 3 major objections 3 minor 17 references

On the convexity of Berezin range and Berezin radius inequalities via a class of semi-norms

T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read A new family of semi-norms is claimed to sharpen Berezin radius bounds, and a convexity theorem is extended to symbols that may not be analytic.

desk verdict A natural generalization of the alpha-Berezin norm is undercut by a fatal non-analytic symbol in the main convexity theorems and an internal endpoint inconsistency. read the letter →

arxiv 2507.22427 v1 pith:I752QFB4 submitted 2025-07-30 math.FA

Athul Augustine , P. Hiran Das , Pintu Bhunia , P. Shankar This is my paper · ORCID

classification math.FA MSC 47A1247A3026E6047B32

keywords Berezinrangeradiussemi-norminterpolationpathsymmetricmeancompositionoperatorweightedshiftHardyspace

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 introduces a family of semi-norms, the $\sigma_\mu$-Berezin norms, that interpolate between the Berezin radius and the Berezin norm for operators on reproducing kernel Hilbert spaces. It derives several inequalities for these semi-norms and uses them to claim improved upper bounds for the Berezin radius, including a bound that improves on a prior result. The paper also studies the convexity of the Berezin range of composition operators with symbols of the form $\phi(z)=\zeta|z|^k z$ with $k\ge 0$, claiming convexity exactly when $\zeta\in[-1,1]$. A sympathetic reader would care because a genuinely new family of interpolating norms could unify multiple Berezin-radius estimates, and a broad convexity result would extend earlier work on elliptic symbols. However, the convexity claims for $k>0$ depend on the unstated premise that $\zeta|z|^k z$ is analytic on the unit disc, which fails for every $k>0$ under the standard definition of composition operators.

What carries the argument

The key object is the interpolated symmetric mean $\sigma_\mu$, with endpoints $\sigma_0$ and $\sigma_1$ recovering the Berezin radius and the Berezin norm, respectively. This interpolation path is combined with the reproducing-kernel evaluation $\langle T\hat{k}_\lambda,\hat{k}_\lambda\rangle$ and the norm $\|T\hat{k}_\lambda\|$ to form the $\sigma_\mu$-Berezin semi-norm. The inequalities are derived through Cauchy-Schwarz-type lemmas, the mixed Cauchy-Schwarz inequality, and monotonicity of the mean, while the convexity results use explicit formulas for the Berezin transform of composition operators and weighted shifts at $z=re^{i\theta}$.

What would settle it

A concrete enough check is to compute $\phi(z)=\zeta|z|^k z$ at two points, say $z_1=1/2$ and $z_2=-1/2$, and verify whether the function satisfies the Cauchy-Riemann equations: for $k>0$, $\partial\phi/\partial\bar z$ is nonzero, so $\phi$ is not holomorphic and the composition operator $C_\phi$ is not defined. Thus the claimed convexity theorems for $k>0$ fail unless the phrase 'analytic' is changed or an analytic symbol is substituted.

Watch

Extended reading notes

Core claim

The central claim is that for every $p\ge 1$ and $\mu\in[0,1]$, the quantity $\|T\|_{\sigma_\mu\text{-ber}} = \sup_{\lambda\in\Omega}(|\langle T\hat{k}_\lambda,\hat{k}_\lambda\rangle|^p \, \sigma_\mu \, \|T\hat{k}_\lambda\|^p)^{1/p}$ defines a semi-norm lying between the Berezin radius and the Berezin norm, and that inequalities for this semi-norm yield improved Berezin-radius bounds such as $\operatorname{ber}^p(T) \le (2^{-p}+2^{-p/2-1})\operatorname{ber}(|T|^p+|T^*|^p)$ for $p\ge 2$. The paper further claims that the Berezin range of the composition operator $C_\phi$ on $H^2(\mathbb{D})$ and on $A^2(\mathbb{D})$, for $\phi(z)=\zeta|z|^k z$ with $k\ge 0$, is convex if and only if $\zeta\in[-1,1]$, and that weighted shift operators with weights $\beta^n$ have disc-shaped Berezin ranges.

Load-bearing premise

The load-bearing premise is that $\phi(z)=\zeta|z|^k z$ is an analytic function on the unit disc for every $k\ge 0$; for $k>0$ this function is not holomorphic, so the composition operator $C_\phi$ is not defined on the Hardy or Bergman space in the standard sense, and the convexity conclusions for $k>0$ have no valid operator to apply to.

Editorial extensions

If this is right

If the $\sigma_\mu$-Berezin norm inequalities are valid, they provide a unified interpolation between previously known Berezin-radius bounds and may yield sharper constants for $p\ge 2$.
The claimed improvement in Corollary 2.24 would give a strictly better constant than the estimate $\operatorname{ber}^p(T)\le \frac12\operatorname{ber}(|T|^p+|T^*|^p)$ from the cited prior work for every $p\ge 2$.
The Berezin-range convexity statements, if valid, would extend the convexity characterization from elliptic symbols to a one-parameter family of radial symbols and would also give a concrete family of weighted shifts with disc-shaped Berezin ranges.
The upper bounds for the Berezin radius of weighted shifts, such as $\operatorname{ber}(T)\le \frac{2}{3\sqrt{3}(1-|\beta|)}$ on the Hardy space and the analogous bound on the Bergman space, give explicit numerical control for these operators.

Reading between the lines

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

A reader should check whether the claimed convexity theorems can be salvaged by replacing $|z|^k z$ with an analytic symbol such as $\zeta z^{k+1}$ or a rational function with the same boundary behavior; the radial Berezin-transform computation would then need to be redone.
The $\sigma_\mu$-Berezin semi-norm family could likely be extended to other symmetric means and interpolation paths, and the question of when the semi-norm is a genuine norm for general reproducing kernel Hilbert spaces remains a natural follow-up.
The weighted-shift results suggest a testable conjecture: for weight sequences that are powers of a fixed $\beta\in\mathbb{D}$, the Berezin range is exactly the open disc centered at the origin with radius given by the supremum in the displayed bound, and this radius may be computable in closed form for special $\beta$.

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.

Desk Editor's Note

read the letter

Quick take: the paper has a genuinely new object—the sigma_mu-Berezin norm, which interpolates between the Berezin radius and the Berezin norm along a symmetric mean path—and Section 2 collects a plausible set of inequalities around it. The weighted-shift convexity results (Theorems 3.3 and 3.7) are straightforward and likely correct. Those parts deserve credit.

The problems are where the paper makes its biggest claims. Theorems 3.1 and 3.5 use phi(z) = zeta |z|^k z with k >= 0. For k > 0 this symbol is not holomorphic; it depends on \bar z. So C_phi is not a composition operator on H^2 or A^2 in the standard sense, and the Berezin-symbol formula used in both proofs is only valid for holomorphic symbols. The claimed generalization for k > 0 has no well-defined operator to attach to; the k = 0 case reduces to earlier work. This is not a typo, it is the core of the title.

Section 2 has its own internal contradiction. Definition 1.2 with sigma_0 gives sup ||T k_lambda||, which is the Berezin norm, not the Berezin radius as Proposition 2.3(i) states. The endpoints are swapped. That is directly inconsistent with the paper's own interpolation-path axioms. Also, the proof of Theorem 2.23 uses a power inequality for (a+b+c)^q with q = p/2 > 1 and drops the necessary 3^{q-1} factor; so Corollary 2.24's claimed improvement over [16] is not established as written. Theorem 3.5, despite being in the Bergman subsection, says H^2(D). These are not cosmetic issues; they affect the main theorems.

Some of the Section 2 inequalities could likely be repaired by reparametrizing mu and fixing the missing constant, and the norm framework itself is a reasonable addition to Berezin operator theory. But as written, the central new results are not supported. The paper deserves a serious referee rather than a desk rejection—there is enough salvageable content—but a referee should be pointed at the analyticity premise and the endpoint definition. My own vote would be reject in current form.

Referee Report

3 major / 3 minor

Summary. The paper introduces a family of semi-norms, termed the σ_μ-Berezin norm, on B(H) for a reproducing kernel Hilbert space H, defined by an interpolation path σ_μ of a symmetric mean. It derives several inequalities relating this norm to the Berezin radius and the Berezin norm, and presents improved upper bounds for the Berezin radius, including a claimed improvement via Corollary 2.24. The final section studies the convexity of the Berezin range of composition operators with symbols φ(z)=ζ|z|^k z on the Hardy and Bergman spaces, and of weighted shift operators with weights β^{n-1}.

Significance. The σ_μ-Berezin norm family is a natural interpolation between the Berezin radius and the Berezin norm, and the weighted-shift convexity results appear correct. If the main claims were valid, the paper would generalize the known elliptic-symbol convexity results to a larger family and provide genuinely improved Berezin radius bounds. However, the claimed generalization in Theorems 3.1 and 3.5 is not well-posed because the symbol is not analytic for k>0, the endpoint identification in Proposition 2.3(i) contradicts Definition 1.2, and the proof of Theorem 2.23 relies on an invalid power inequality. These are load-bearing defects that undermine the principal new results, so the paper in its current form is not suitable for publication.

major comments (3)

[§3.1, Theorem 3.1 and §3.2, Theorem 3.5] The symbol φ(z)=ζ|z|^k z is not holomorphic for k>0. Since |z|^2=z\bar z, ∂φ/∂\bar z = ζ(k/2)z^2|z|^{k-2}, which is nonzero in D\{0} for k>0; for example at k=1 it equals ζ z^2/(2|z|). Consequently C_φ f = f∘φ is not a well-defined composition operator on H^2(D) or A^2(D) under the standard definition, which requires a holomorphic symbol. The formulas \widetilde{C_φ}(re^{iθ})=(1-r^2)/(1-ζ r^{k+2}) and its square in Theorems 3.1 and 3.5 are only formal expressions and do not correspond to the Berezin symbol of any genuine bounded composition operator for k>0. The stated if-and-only-if characterizations therefore have no valid operator to which they apply for k>0; the results reduce to the known k=0 elliptic-symbol case, which is prior work. This is the central new claim of Section 3 and is load-bearing.
[§2, Proposition 2.3(i)] Proposition 2.3(i) asserts ∥T∥_{σ_0-ber}=ber(T) and ∥T∥_{σ_1-ber}=∥T∥_{ber}. This contradicts Definition 1.2 together with the interpolation-path axioms stated in the introduction: by Definition 1.2, ∥T∥_{σ_0-ber}=sup_λ (|⟨T\hat k_λ,\hat k_λ⟩|^p σ_0 ∥T\hat k_λ∥^p)^{1/p}=sup_λ ∥T\hat k_λ∥=∥T∥_{ber}, and ∥T∥_{σ_1-ber}=sup_λ |⟨T\hat k_λ,\hat k_λ⟩|=ber(T). The endpoints are reversed in the proposition. This error affects the interpretation of the norm and propagates into the statements and proofs that rely on endpoint cases, such as the relation (2.1) and Theorem 2.13.
[§2, Theorem 2.23 and Corollary 2.24] The proof of Theorem 2.23 uses the inequality (A+B+C)^{p/2} ≤ A^{p/2}+B^{p/2}+C^{p/2} for the three nonnegative terms involving |⟨(|T|+i|T^*|)\hat k_λ,\hat k_λ⟩|^2, ∥|T^*|\hat k_λ∥^2+∥|T|\hat k_λ∥^2, and |⟨|T||T^*|\hat k_λ,\hat k_λ⟩|. This inequality is false for p/2>1, i.e., for p>2, which is precisely the range used in Corollary 2.24. The subsequent step also mixes ber^p and ber^{p/2} terms in a way not justified by the preceding line. Since Corollary 2.24, the claimed improvement over [16, Corollary 3.5(i)] for all p≥2, rests on Theorem 2.23, the improved bound is not established by the given argument.

minor comments (3)

[§3.2, Theorem 3.5] The statement of Theorem 3.5 says the operator acts on H^2(D), but the proof uses the Bergman kernel and the context indicates it should be A^2(D). This typo should be corrected.
[Throughout] There are several typographical errors, including 'Riez representation theorem' instead of 'Riesz', 'hyponormanl' and 'co-hyponormanl' in the proof of Theorem 2.4, and various broken formulas in the displayed equations (e.g., 'lim k−→∞' and 'berp' without proper exponents).
[§3.1 and §3.2, Theorems 3.3 and 3.7] The weighted-shift results appear mathematically sound, but the notation β_n=β^{n-1} would be clearer as β_n=β^{n-1} with explicit parentheses, and the claim that the Berezin range is a disc should be stated with the understanding that the set is {z:|z|<R} for the computed R, including the point 0.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction found: the sigma_mu-Berezin norm and Section 2 inequalities are derived from external lemmas; Section 3's convexity results rely on prior work only as base cases. The non-holomorphicity of phi for k>0 is a correctness defect, not a circularity.

full rationale

The paper's new object, the sigma_mu-Berezin norm (Definition 1.2), is defined directly from the existing Berezin radius and Berezin norm via interpolation paths of symmetric means; no fitted parameter is later relabeled as a prediction. The Section 2 inequalities are proved from cited external tools (Kato's inequality, Kittaneh's theorem, Simon's lemma, Vasic-Keckic inequality) and are compared with, not derived from, the prior bound [16, Corollary 3.5(i)]. Although Corollary 2.24 improves that bound, its proof uses Corollary 2.12, which comes from the independent [16, Corollary 3.4]; the improvement is therefore not an input-output loop. The convexity theorems in Section 3 cite the authors' earlier papers [1,2] and the alpha-Berezin norm paper [7] only as motivation or base cases; the proofs of Theorems 3.1 and 3.5 are self-contained algebraically. The genuine defect is non-circular: for k>0 and nonzero zeta, the map phi(z)=zeta|z|^k z is not holomorphic on the unit disc, so C_phi is not a well-defined composition operator on H^2(D) or A^2(D), and the Berezin-symbol formula used in the proofs is not the symbol of a bona fide operator. That is a mathematical correctness issue, not a reduction of the conclusion to the hypothesis. Since no specific circular step can be exhibited, the score 2 reflects only the presence of minor, non-load-bearing self-citations.

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

The paper's proofs rest on imported standard inequalities plus the new sigma_mu-Berezin norm definition; no free parameters are fitted to data. The two domain assumptions that are most fragile are the analyticity of the symbol |z|^k*z and the endpoint convention for sigma_mu, both of which are internally inconsistent or false as stated.

assumptions (4)

domain assumption For the interpolation path sigma_mu, endpoints satisfy a sigma_0 b = b and a sigma_1 b = a, as stated in Section 1.
The paper defines the sigma_mu-Berezin norm with this convention, but Proposition 2.3(i) asserts sigma_0-ber = ber(T) and sigma_1-ber = ||T||_ber, which reverses the endpoints. This inconsistency is load-bearing for interpreting all mu-dependent results.
ad hoc to paper phi(z) = zeta*|z|^k*z is an analytic self-map of the unit disc for k >= 0.
False for k>0: |z|^k*z is not holomorphic because it depends on ar{z}, so composition operators C_phi are not well defined under standard theory. Invoked in Theorems 3.1 and 3.5.
domain assumption sigma_mu <= nabla_mu (weighted arithmetic mean) for the means considered.
True for geometric and harmonic means; used without proof in Theorems 2.16, 2.19, and 2.23. This is a standard property for the usual means.
standard math Kato inequality (Lemma 2.5), Kittaneh inequality (Lemma 2.6), Buzano inequality (Lemma 2.8), Jensen-type Lemma 2.7, and the power-sum Lemma 2.9 hold as cited.
Imported from the literature; these are standard results in operator theory and are used as black boxes throughout Section 2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the convexity of Berezin range and Berezin radius inequalities via a class of semi-norms." pith.science (2026). https://pith.science/paper/I752QFB4

@misc{pith2026250722427,
  author       = {Pith},
  title        = {Pith review of: On the convexity of Berezin range and Berezin radius inequalities via a class of semi-norms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/I752QFB4}},
  note         = {Machine review of arXiv:2507.22427}
}

abstract

This paper introduces a new family of semi-norms, say $\sigma_\mu$-Berezin norm on the space of all bounded linear operators $B(\mathcal{H})$ defined on a reproducing kernel Hilbert space $\mathcal{H}$, namely, for each $\mu \in [0,1]$ and $p\geq 1$, $$\|T\|_{\sigma_{\mu}\text{-ber}}= \sup_{\lambda\in\Omega}\left\lbrace \left(|\langle T\hat{k}_\lambda,\hat{k}_\lambda\rangle |^p~ \sigma_{\mu}~ \|T\hat{k}_\lambda\|^p\right)^{\frac{1}{p}}\right\rbrace $$ where $T\in B(\mathcal{H})$ and $\sigma_{\mu}$ is an interpolation path of the symmetric mean $\sigma$. We investigate many fundamental properties of the $\sigma_\mu$-Berezin norm and develop several inequalities associated with it. Utilizing these inequalities, we derive improved bounds for the Berezin radius of bounded linear operators, enhancing previously known estimates. Furthermore, we study the convexity of the Berezin range of a class of composition operators and weighted shift operators on both the Hardy space and the Bergman space.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[16]

Taghavi, T

A. Taghavi, T. A. Roushan, and V. Darvish, Some upper bounds for the Berezin number of Hilbert space operators, Filomat 33 (2019), no. 14, 4353–4360

work page 2019
[1]

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

work page 2023
[2]

On the convexity of the Berezin range of composition operators and related questions

A. Augustine, M. Garayev, and P. Shankar, On the convexity of the berezin range of composition operators and related questions, https://arxiv.org/abs/2401.03176 (2024)

work page Pith review arXiv 2024
[3]

Bakherad, C

M. Bakherad, C. Conde, and F. Kittaneh, A new family of semi-norms between the Berezin radius and the Berezin norm, Acta Appl. Math. 192 (2024), Paper No. 3, 18

work page 2024
[4]

F. A. Berezin, Covariant and contravariant symbols of operators, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 1134-1167

work page 1972
[5]

Bhatia, The Riemannian mean of positive matrices, Matrix information geometry, Springer, Heidelberg, 2013, pp

R. Bhatia, The Riemannian mean of positive matrices, Matrix information geometry, Springer, Heidelberg, 2013, pp. 35-51

work page 2013
[6]

Bhatia and J

R. Bhatia and J. Holbrook, Noncommutative geometric means, Math. Intelligencer 28 (2006), no. 1, 32-39

work page 2006
[7]

Bhunia, M

P. Bhunia, M. G¨ urdal, K. Paul, A. Sen, and R. Tapdigoglu, On a new norm on the space of reproducing kernel Hilbert space operators and Berezin radius inequalities, Numer. Funct. Anal. Optim. 44 (2023), no. 9, 970–986

work page 2023

Show all 17 references

[8]

M. L. Buzano, Generalizzazione della diseguaglianza di Cauchy-Schwarz, Rend. Sem. Mat. Univ. e Politec. Torino 31 (1971/73), 405–409 (1974)

1974
[9]

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

2022
[10]

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

Kato, Notes on some inequalities for linear operators, Math

T. Kato, Notes on some inequalities for linear operators, Math. Ann. 125 (1952), 208-212

1952
[12]

Kittaneh, Notes on some inequalities for Hilbert space operators, Publ

F. Kittaneh, Notes on some inequalities for Hilbert space operators, Publ. Res. Inst. Math. Sci. 24 (1988), no. 2, 283-293

1988
[13]

V. I. Paulsen and M. Raghupathi, An introduction to the theory of reproducing kernel Hilbert spaces, Cambridge Studies in Advanced Mathematics, vol. 152, Cambridge University Press, Cam- bridge, 2016

2016
[14]

Pe˘ cari´ c, T

J. Pe˘ cari´ c, T. Furuta, J. Mi´ ci´ c Hot, and Y. Seo, Mond-Peˇ cari´ c method in operator inequalities, , vol. 1, ELEMENT, Zagreb, 2005, Inequalities for bounded selfadjoint operators on a Hilbert space

2005
[15]

Simon, Trace ideals and their applications, London Mathematical Society Lecture Note Series, vol

B. Simon, Trace ideals and their applications, London Mathematical Society Lecture Note Series, vol. 35, Cambridge University Press, Cambridge-New York, 1979

1979
[17]

M. P. Vasi´ c and D. J. Keˇ cki´ c, Some inequalities for complex numbers, Math. Balkanica 1 (1971), 282–286. 20 ATHUL AUGUSTINE, P. HIRAN DAS, PINTU BHUNIA and P. SHANKAR Athul Augustine, Department of Mathematics, Cochin University of Science And Tech- nology, Ernakulam, Ker...

1971

Pith tools

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

[1] [16]

Taghavi, T

A. Taghavi, T. A. Roushan, and V. Darvish, Some upper bounds for the Berezin number of Hilbert space operators, Filomat 33 (2019), no. 14, 4353–4360

work page 2019

[2] [1]

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

work page 2023

[3] [2]

On the convexity of the Berezin range of composition operators and related questions

A. Augustine, M. Garayev, and P. Shankar, On the convexity of the berezin range of composition operators and related questions, https://arxiv.org/abs/2401.03176 (2024)

work page Pith review arXiv 2024

[4] [3]

Bakherad, C

M. Bakherad, C. Conde, and F. Kittaneh, A new family of semi-norms between the Berezin radius and the Berezin norm, Acta Appl. Math. 192 (2024), Paper No. 3, 18

work page 2024

[5] [4]

F. A. Berezin, Covariant and contravariant symbols of operators, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 1134-1167

work page 1972

[6] [5]

Bhatia, The Riemannian mean of positive matrices, Matrix information geometry, Springer, Heidelberg, 2013, pp

R. Bhatia, The Riemannian mean of positive matrices, Matrix information geometry, Springer, Heidelberg, 2013, pp. 35-51

work page 2013

[7] [6]

Bhatia and J

R. Bhatia and J. Holbrook, Noncommutative geometric means, Math. Intelligencer 28 (2006), no. 1, 32-39

work page 2006

[8] [7]

Bhunia, M

P. Bhunia, M. G¨ urdal, K. Paul, A. Sen, and R. Tapdigoglu, On a new norm on the space of reproducing kernel Hilbert space operators and Berezin radius inequalities, Numer. Funct. Anal. Optim. 44 (2023), no. 9, 970–986

work page 2023