-
Numerical radius and $\ell_p$ operator norm of Kronecker products: inequalities and equalities
Authors:
Pintu Bhunia,
Sujit Sakharam Damase,
Apoorva Khare
Abstract:
Suppose $A=[a_{ij}]\in \mathcal{M}_n(\mathbb{C})$ is a complex $n \times n$ matrix and $B\in \mathcal{B}(\mathcal{H})$ is a bounded linear operator on a complex Hilbert space $\mathcal{H}$. We show that $w(A\otimes B)\leq w(C),$ where $w(\cdot)$ denotes the numerical radius and $C=[c_{ij}]$ with $c_{ij}= w\left(\begin{bmatrix} 0& a_{ij}\\ a_{ji}&0 \end{bmatrix} \otimes B\right).$ This refines Holb…
▽ More
Suppose $A=[a_{ij}]\in \mathcal{M}_n(\mathbb{C})$ is a complex $n \times n$ matrix and $B\in \mathcal{B}(\mathcal{H})$ is a bounded linear operator on a complex Hilbert space $\mathcal{H}$. We show that $w(A\otimes B)\leq w(C),$ where $w(\cdot)$ denotes the numerical radius and $C=[c_{ij}]$ with $c_{ij}= w\left(\begin{bmatrix} 0& a_{ij}\\ a_{ji}&0 \end{bmatrix} \otimes B\right).$ This refines Holbrook's classical bound $w(A\otimes B)\leq w(A) \|B\|$ [J. Reine Angew. Math. 1969], when all entries of $A$ are non-negative. If moreover $a_{ii}\neq 0$ $ \forall i$, we prove that $w(A\otimes B)= w(A) \|B\|$ if and only if $w(B)=\|B\|.$ We then extend these and other results to the more general setting of semi-Hilbertian spaces induced by a positive operator. In the reverse direction, we also specialize these results to Kronecker products and hence to Schur/entrywise products, of matrices: (1) We show that if $w(A) = \| A \|$ then $w(A^{\circ m})\leq w^m(A)\ \forall m \geq 1$, and characterize equality here when $A$ is normal. (2) We provide upper and lower bounds for the $\ell_p$ operator norm and the numerical radius of $A\otimes B$ for all $A \in \mathcal{M}_n(\mathbb{C})$, which become equal when restricted to doubly stochastic matrices $A$. Finally, using these bounds we obtain an improved estimation for the roots of an arbitrary complex polynomial.
△ Less
Submitted 7 January, 2025;
originally announced January 2025.
-
Multivariate transforms of total positivity
Authors:
Sujit Sakharam Damase,
Apoorva Khare
Abstract:
Belton-Guillot-Khare-Putinar [J. d'Analyse Math. 2023] classified the post-composition operators that preserve TP/TN kernels of each specified order. We explain how to extend this from preservers to transforms, and from one to several variables. Namely, given arbitrary nonempty totally ordered sets $X,Y$, we characterize the transforms that send each tuple of kernels on $X \times Y$ that are TP/TN…
▽ More
Belton-Guillot-Khare-Putinar [J. d'Analyse Math. 2023] classified the post-composition operators that preserve TP/TN kernels of each specified order. We explain how to extend this from preservers to transforms, and from one to several variables. Namely, given arbitrary nonempty totally ordered sets $X,Y$, we characterize the transforms that send each tuple of kernels on $X \times Y$ that are TP/TN of orders $k_1, \dots, k_p$, to a TP/TN kernel of order $l$, for arbitrary positive integers (or infinite) $k_j$ and $l$. An interesting feature is that to preserve TP (or TN) of order $2$, the preservers are products of individual power (or Heaviside) functions in each variable; but for all higher orders, the preservers are powers in a single variable. We also classify the multivariate transforms of symmetric TP/TN kernels; in this case it is the preservers of TP/TN of order 3 that are multivariate products of power functions, and of order 4 that are individual powers. The proofs use generalized Vandermonde kernels, Hankel kernels, (strictly totally positive) Polya frequency functions, and a kernel studied recently but tracing back to works of Schoenberg [Ann. of Math. 1955] and Karlin [Trans. Amer. Math. Soc. 1964].
△ Less
Submitted 29 November, 2024; v1 submitted 5 November, 2024;
originally announced November 2024.
-
A remark on characterizing inner product spaces via strong three-point homogeneity
Authors:
Sujit Sakharam Damase,
Apoorva Khare
Abstract:
We show that a normed linear space is isometrically isomorphic to an inner product space if and only if it is a strongly $n$-point homogeneous metric space for any (or every) $n \geqslant 3$. The counterpart for $n=2$ is the Banach-Mazur problem.
We show that a normed linear space is isometrically isomorphic to an inner product space if and only if it is a strongly $n$-point homogeneous metric space for any (or every) $n \geqslant 3$. The counterpart for $n=2$ is the Banach-Mazur problem.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
