[论文解读] Convexity of Berezin Range and Berezin Radius Inequalities via a class of Seminorm

P. Hiran Das, Athul Augustine+2 more|arXiv (Cornell University)|Mar 9, 2026

Holomorphic and Operator Theory被引用 0

一句话总结

本文在 RKHS 上的有界算子引入 sigma_t-Berezin 范数，建立其基本性质，推导新的 Berezin 半径不等式，并分析加权 Hardy 空间与 Fock 空间上 Berezin 范围的凸性，以及通过 sigma_t-范数的单位元表征。

ABSTRACT

Let $B(\mathcal{H})$ denote the $C^*$-algebra of all bounded linear operators acting on a reproducing kernel Hilbert space $\mathcal{H}(Ω).$ In this paper, we introduce a new family of seminorms on $B(\mathcal{H})$, called the $σ_t$-Berezin norm, defined as $$ \|A\|_{{ber}_{σ_t}} = \sup_{λ,μ\in Ω} \left\{ \left( \left|\left\langle A\hat{k}_λ,\hat{k}_μ ight angle ight|^p \, σ_t \, \left|\left\langle A^*\hat{k}_λ,\hat{k}_μ ight angle ight|^p ight)^{\frac{1}{p}} ight\}, $$ where $A\in B(\mathcal{H}), ~p \geq 1, ~t \in [0,1]$ and ~$σ_t$ denotes an interpolation path of a symmetric mean $σ$. We show that this family of seminorms characterizes invertible operators that are unitary. Several fundamental properties of the $σ_t$-Berezin norm are established, along with a collection of new inequalities that yield refined upper bounds for the Berezin radius of bounded linear operators, thereby improving existing results in the literature. Furthermore, we investigate the convexity of the Berezin range of operators acting on weighted Hardy space and Fock space over $\mathbb{C}^n$. We characterised the convexity of the Berezin range of composition operator with elliptic automorphism and finite rank operators with different weights on the weighted Hardy space. We also characterized convexity of the Berezin range of composition operator on Fock space over $\mathbb{C}^n$ with symbol $ϕ(z)=Az$, where $A$ is a scalar matrix of order $n$.

研究动机与目标

• 通过对称均值的插值路径， motivate 并定义在 B(H) 上的一族半范数，即 sigma_t-Berezin 范数。
• 用 sigma_t-Berezin 范数刻画可逆算子中是否为单位元。
• 推导更精细的不等式，上界 Berezin 半径，并将其与现有界限联系起来。
• 研究加权 Hardy 空间与 Fock 空间上算子的 Berezin 范围的凸性性质。
• 统一并扩展现有关于 Berezin 范围凸性及相关算子界的结果。

提出的方法

• 定义 sigma_t-Berezin 范数：||A||_{ber_{sigma_t}} = sup_{ρ,ν ∈ Ω} { ( |⟨A k̂_ρ, k̂_ν⟩|^p σ_t |⟨A^* k̂_ρ, k̂_ν⟩|^p )^{1/p} }，其中 p ≥ 1 且 t ∈ [0,1]。
• 证明基本性质：对称性、正性、齐次性，以及 σ_t 对称性（||A||_{ber_{sigma_t}} = ||A^*||_{ber_{sigma_t}}；||λA|| = |λ| ||A||；t 与 1−t 时的等价性）。
• 使用辅助引理（Cauchy–Schwarz、Young 不等式、谱半径、极分解）建立 ||A||_{ber_{sigma_t}} 和 ber(A) 的上下界。
• 推导改进的 Berezin 半径不等式，如 ber(A) ≤ ber(t|A|^p + (1−t)|A^*|^p)^{1/p} 及与算子的乘积和和相关的界。
• 通过 ||A^*A||_{ber_{sigma_t}} ≤ 1 和 ||(A^*A)^{-1}||_{ber_{sigma_t}} ≤ 1 来表征幺正算子。
• 将该框架应用到 2×2 算子矩阵，以及组合算子/有限秩算子上，研究加权 Hardy 空间与 Fock 空间上 Berezin 范围的凸性。

实验结果

研究问题

• RQ1 sigma_t 插值路径的对称均值如何在 B(H) 上定义一个有意义的半范数？
• RQ2 sigma_t-Berezin 范数的精确性质和等号情形是什么？
• RQ3 sigma_t-Berezin 范数如何界定或细化现有的 Berezin 半径不等式？
• RQ4 是否可以通过 sigma_t-Berezin 范数刻画幺正算子，与现有的 Berezin 数判定类似？
• RQ5 加权 Hardy 空间与 Fock 空间上算子的 Berezin 范围的凸性条件是什么，以及它们如何与特定算子类（如组合算子、有限秩算子）相关？

主要发现

• sigma_t-Berezin 范数是 B(H) 上的良定义半范数，对 A 与 A^* 具有对称性，且只有零算子才为零，且具有可缩放的同态性。
• 幺正算子 A 的特征条件为 ||A^*A||_{ber_{sigma_t}} ≤ 1 且 ||(A^*A)^{-1}||_{ber_{sigma_t}} ≤ 1，提供 sigma_t 范数的幺正判据。
• sigma_t-Berezin 范数的上界可导出 Berezin 半径界的细化，尤其 ber(A) ≤ ber(t|A|^p + (1−t)|A^*|^p) 及相关表达式，相较某些现有常数有改进。
• 给出若干尖锐不等式，包括多算子与块矩阵变体，将 ber_{sigma_t} 与算子函数的和与积通过极分解和均值联系起来。
• 论文刻画了加权 Hardy 空间与 Fock 空间上 Berezin 范围的凸性，在不同符号（如 φ(z)=ηz、φ(z)=Az）下，以及对组合算子和有限秩算子，给出凸性成立的条件。
• 该框架统一并扩展了关于 Berezin 范围凸性的已知结果，并提供了一致的方法，通过插值路径均值导出算子界。