Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA pointwise weak-majorization inequality for linear maps over Euclidean Jordan algebras
67
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Given a linear map $T$ on a Euclidean Jordan algebra of rank $n$, we consider the set of all nonnegative vectors $q$ in $R^n$ with decreasing components that satisfy the pointwise weak-majorization inequality $lambda(|T(x)|)underset{w}{prec}q*lambda(|x|)$, where $lambda$ is the eigenvalue map and $*$ denotes the componentwise product in $R^n$. With respect to the weak-majorization ordering, we show the existence of the least vector in this set. When $T$ is a positive map, the least vector is shown to be the join (in the weak-majorization order) of eigenvalue vectors of $T(e)$ and $T^*(e)$, where $e$ is the unit element of the algebra. These results are analogous to the results of Bapat, proved in the setting of the space of all $ntimes n$ complex matrices with singular value map in place of the eigenvalue map. They also extend two recent results of Tao, Jeong, and Gowda proved for quadratic representations and Schur product induced transformations. As an application, we provide an estimate on the norm of a general linear map relative to spectral norms.
rate research
Read More
Motivated by Horns log-majorization (singular value) inequality $s(AB)underset{log}{prec} s(A)*s(B)$ and the related weak-majorization inequality $s(AB)underset{w}{prec} s(A)*s(B)$ for square complex matrices, we consider their Hermitian analogs $lambda(sqrt{A}Bsqrt{A}) underset{log}{prec} lambda(A)*lambda(B)$ for positive semidefinite matrices and $lambda(|Acirc B|) underset{w}{prec} lambda(|A|)*lambda(|B|)$ for general (Hermitian) matrices, where $Acirc B$ denotes the Jordan product of $A$ and $B$ and $*$ denotes the componentwise product in $R^n$. In this paper, we extended these inequalities to the setting of Euclidean Jordan algebras in the form $lambdabig (P_{sqrt{a}}(b)big )underset{log}{prec} lambda(a)*lambda(b)$ for $a,bgeq 0$ and $lambdabig (|acirc b|big )underset{w}{prec} lambda(|a|)*lambda(|b|)$ for all $a$ and $b$, where $P_u$ and $lambda(u)$ denote, respectively, the quadratic representation and the eigenvalue vector of an element $u$. We also describe inequalities of the form $lambda(|Abullet b|)underset{w}{prec} lambda({mathrm{diag}}(A))*lambda(|b|)$, where $A$ is a real symmetric positive semidefinite matrix and $A,bullet, b$ is the Schur product of $A$ and $b$. In the form of an application, we prove the generalized H{o}lder type inequality $||acirc b||_pleq ||a||_r,||b||_s$, where $||x||_p:=||lambda(x)||_p$ denotes the spectral $p$-norm of $x$ and $p,q,rin [1,infty]$ with $frac{1}{p}=frac{1}{r}+frac{1}{s}$. We also give precise values of the norms of the Lyapunov transformation $L_a$ and $P_a$ relative to two spectral $p$-norms.
Let V be a Euclidean Jordan algebra of rank n. The eigenvalue map from V to R^n takes any element x in V to the vector of eigenvalues of x written in the decreasing order. A spectral set in V is the inverse image of a permutation set in R^n under the eigenvalue map. If the permutation set is also a convex cone, the spectral set is said to be a spectral cone. This paper deals with connectedness and arcwise connectedness properties of spectral sets. By relying on the result that in a simple Euclidean Jordan algebra, every eigenvalue orbit is arcwise connected, we show that if a permutation invariant set is connected (arcwise connected), then the corresponding spectral set is connected (respectively, arcwise connected). A related result is that in a simple Euclidean Jordan algebra, every pointed spectral cone is irreducible.
Denote by $P_n$ the set of $ntimes n$ positive definite matrices. Let $D = D_1oplus dots oplus D_k$, where $D_1in P_{n_1}, dots, D_k in P_{n_k}$ with $n_1+cdots + n_k=n$. Partition $Cin P_n$ according to $(n_1, dots, n_k)$ so that $Diag C = C_1oplus dots oplus C_k$. We prove the following weak log majorization result: begin{equation*} lambda (C^{-1}_1D_1oplus cdots oplus C^{-1}_kD_k)prec_{w ,log} lambda(C^{-1}D), end{equation*} where $lambda(A)$ denotes the vector of eigenvalues of $Ain Cnn$. The inequality does not hold if one replaces the vectors of eigenvalues by the vectors of singular values, i.e., begin{equation*} s(C^{-1}_1D_1oplus cdots oplus C^{-1}_kD_k)prec_{w ,log} s(C^{-1}D) end{equation*} is not true. As an application, we provide a generalization of a determinantal inequality of Matic cite[Theorem 1.1]{M}. In addition, we obtain a weak majorization result which is complementary to a determinantal inequality of Choi cite[Theorem 2]{C} and give a weak log majorization open question.
A Banach algebra $A$ is said to be a zero Jordan product determined Banach algebra if every continuous bilinear map $varphicolon Atimes Ato X$, where $X$ is an arbitrary Banach space, which satisfies $varphi(a,b)=0$ whenever $a$, $bin A$ are such that $ab+ba=0$, is of the form $varphi(a,b)=sigma(ab+ba)$ for some continuous linear map $sigma$. We show that all $C^*$-algebras and all group algebras $L^1(G)$ of amenable locally compact groups have this property, and also discuss some applications.
The commutation principle of Ramirez, Seeger, and Sossa cite{ramirez-seeger-sossa} proved in the setting of Euclidean Jordan algebras says that when the sum of a Fr{e}chet differentiable function $Theta(x)$ and a spectral function $F(x)$ is minimized over a spectral set $Omega$, any local minimizer $a$ operator commutes with the Fr{e}chet derivative $Theta^{prime}(a)$. In this paper, we extend this result to sets and functions which are (just) invariant under algebra automorphisms. We also consider a similar principle in the setting of normal decomposition systems.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
