-
A Family of Semi-norms in $C^*$-algebras
Authors:
Athul Augustine,
Pintu Bhunia,
P. Shankar
Abstract:
We introduce a new family of non-negative real-valued functions on a $C^*$-algebra $\mathcal{A}$, i.e., for $0\leq μ\leq 1,$ $$\|a\|_{σ_μ}= \text{sup}\left\lbrace \sqrt{|f(a)|^2 σ_μ f(a^*a)}: f\in \mathcal{A}', \, f(1)=\|f\|=1 \right\rbrace, \quad $$ where $a\in \mathcal{A}$ and $σ_μ$ is an interpolation path of the symmetric mean $σ$. These functions are semi-norms as they satisfy the norm axioms…
▽ More
We introduce a new family of non-negative real-valued functions on a $C^*$-algebra $\mathcal{A}$, i.e., for $0\leq μ\leq 1,$ $$\|a\|_{σ_μ}= \text{sup}\left\lbrace \sqrt{|f(a)|^2 σ_μ f(a^*a)}: f\in \mathcal{A}', \, f(1)=\|f\|=1 \right\rbrace, \quad $$ where $a\in \mathcal{A}$ and $σ_μ$ is an interpolation path of the symmetric mean $σ$. These functions are semi-norms as they satisfy the norm axioms, except for the triangle inequality. Special cases satisfying triangle inequality, and a complete equality characterization is also discussed. Various bounds and relationships will be established for this new family, with a connection to the existing literature in the algebra of all bounded linear operators on a Hilbert space.
△ Less
Submitted 3 March, 2025;
originally announced March 2025.
-
On the Berezin range and the Berezin radius of some operators
Authors:
Athul Augustine,
M. Garayev,
P. Shankar
Abstract:
For a bounded linear operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}(Ω)$ over some non-empty set $Ω$, the Berezin range and the Berezin radius of $T$ are defined respectively, by $\text{Ber}(T) := \{\langle T\hat{k}_λ,\hat{k}_λ \rangle_{\mathcal{H}} : λ\in Ω\}$ and $\text{ber}(T)$ := $\sup\{|γ|: γ\in \text{Ber}(T)\}$, where $\hat{k}_λ$ is the normalized reproducing kernel fo…
▽ More
For a bounded linear operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}(Ω)$ over some non-empty set $Ω$, the Berezin range and the Berezin radius of $T$ are defined respectively, by $\text{Ber}(T) := \{\langle T\hat{k}_λ,\hat{k}_λ \rangle_{\mathcal{H}} : λ\in Ω\}$ and $\text{ber}(T)$ := $\sup\{|γ|: γ\in \text{Ber}(T)\}$, where $\hat{k}_λ$ is the normalized reproducing kernel for $\mathcal{H}(Ω)$ at $λ\in Ω$. In this paper, we study the convexity of the Berezin range of finite rank operators on the Hardy space and the Bergman space over the unit disc $\mathbb{D}$. We present applications of some scalar inequalities to get some operator inequalities. A characterization of closure of the numerical range of reproducing kernel Hilbert space operator in terms of convex hull its Berezin set is discussed.
△ Less
Submitted 16 November, 2024;
originally announced November 2024.
-
On the convexity of the Berezin range of composition operators and related questions
Authors:
Athul Augustine,
M. Garayev,
P. Shankar
Abstract:
The Berezin range of a bounded operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}$ is the set $B(T)$ := $\{\langle T\hat{k}_{x},\hat{k}_{x} \rangle_{\mathcal{H}} : x \in X\}$, where $\hat{k}_{x}$ is the normalized reproducing kernel for $\mathcal{H}$ at $x \in X$. In general, the Berezin range of an operator is not convex. Primarily, we focus on characterizing the convexity of…
▽ More
The Berezin range of a bounded operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}$ is the set $B(T)$ := $\{\langle T\hat{k}_{x},\hat{k}_{x} \rangle_{\mathcal{H}} : x \in X\}$, where $\hat{k}_{x}$ is the normalized reproducing kernel for $\mathcal{H}$ at $x \in X$. In general, the Berezin range of an operator is not convex. Primarily, we focus on characterizing the convexity of the Berezin range for a class of composition operators acting on the Fock space on $\mathbb{C}$ and the Dirichlet space of the unit disc $\mathbb{D}$. We prove an analogue of the elliptic range theorem for the unitarily equivalent Berezin range of an operator on a two-dimensional reproducing kernel Hilbert space and characterize the convexity of the unitarily equivalent Berezin range for a bounded operator $T$ on a reproducing kernel Hilbert space $\mathcal{H}$.
△ Less
Submitted 6 January, 2024;
originally announced January 2024.
-
Composition operators, convexity of their Berezin range and related questions
Authors:
Athul Augustine,
M. Garayev,
P. Shankar
Abstract:
The Berezin range of a bounded operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}$ is the set $\text{Ber}(T)$ := $\{\langle T\hat{k}_{x},\hat{k}_{x} \rangle_{\mathcal{H}} : x \in X\}$, where $\hat{k}_{x}$ is the normalized reproducing kernel for $\mathcal{H}$ at $x \in X$. In general, the Berezin range of an operator is not convex. In this paper, we discuss the convexity of ran…
▽ More
The Berezin range of a bounded operator $T$ acting on a reproducing kernel Hilbert space $\mathcal{H}$ is the set $\text{Ber}(T)$ := $\{\langle T\hat{k}_{x},\hat{k}_{x} \rangle_{\mathcal{H}} : x \in X\}$, where $\hat{k}_{x}$ is the normalized reproducing kernel for $\mathcal{H}$ at $x \in X$. In general, the Berezin range of an operator is not convex. In this paper, we discuss the convexity of range of the Berezin transforms. We characterize the convexity of the Berezin range for a class of composition operators acting on the Hardy space and the Bergman space of the unit disk. Also for so-called superquadratic functions, we prove the Berezin set mapping theorem for positive self-adjoint operators $A$ on the reproducing kernel Hilbert space $\mathcal{H}(Ω)$, namely we prove that $f(\mathrm{Ber}(Φ(A)))=\mathrm{Ber}(Φ(f(A)))$, where $Φ:\mathcal{B}%\left( \mathcal{H}\left( Ω\right) \right) \mathcal{\rightarrow}\mathcal{B}\left( \mathcal{K(}Q\mathcal{)}\right) $ is a normalized positive linear map.
△ Less
Submitted 25 September, 2023; v1 submitted 24 February, 2023;
originally announced February 2023.
-
The structure of twisted power partial isometries
Authors:
Athul Augustine,
P. Shankar
Abstract:
Let $n>1$ and let $\{U_{ij}\}_{1\leq i<j\leq n}$ be $n\choose 2$ commuting unitaries on a Hilbert space $\mathcal{H}$. Suppose $U_{ji}:=U^*_{ij}$, $1\leq i<j\leq n$. An n-tuple of power partial isometries $(V_1,...,V_n)$ on Hilbert space $\mathcal{H}$ is called $\mathcal{U}_n$-twisted power partial isometry with respect to $\{U_{ij}\}_{i<j}$ (or simply $\mathcal{U}_n$-twisted power partial isometr…
▽ More
Let $n>1$ and let $\{U_{ij}\}_{1\leq i<j\leq n}$ be $n\choose 2$ commuting unitaries on a Hilbert space $\mathcal{H}$. Suppose $U_{ji}:=U^*_{ij}$, $1\leq i<j\leq n$. An n-tuple of power partial isometries $(V_1,...,V_n)$ on Hilbert space $\mathcal{H}$ is called $\mathcal{U}_n$-twisted power partial isometry with respect to $\{U_{ij}\}_{i<j}$ (or simply $\mathcal{U}_n$-twisted power partial isometry if $\{U_{ij}\}_{i<j}$ is clear from the context) if $V_i^*V_j=U_{ij}V_jV^*_i, ~~ V_iV_j=U_{ji}V_jV_i ~~\text{and}~~ V_kU_{ij}=U_{ij}V_k~~(i,j,k=1,2,...,n,~\text{and}~i\neq j).$ We prove that each $\mathcal{U}_n$-twisted power partial isometry admits a Halmos and Wallen \cite{HW70} type orthogonal decomposition.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
