Some inequalities of majorization type (Q442657): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Vehbi Emrah Paksoy / rank | |||
Property / author | |||
Property / author: Vehbi Emrah Paksoy / rank | |||
Normal rank | |||
Property / review text | |||
Some majorization inequalities on real vectors are provided and applied to derive some inequalities concerning norm, eigenvalues, singular values and traces of matrices. For a vector \(x=(x_1,x_2,\dots,x_n)\in{\mathbb R}^n\) one denotes by \(x^{\downarrow}=(x^{\downarrow}_1,x^{\downarrow}_2,\dots,x^{\downarrow}_n)\) the vector having the components of \(x\) rearranged in decreasing order. For \(x=(x_1,x_2,\dots,x_n)\) and \(y=(y_1,y_2,\dots,y_n)\) one says that \(x\) is weakly majorized by \(y\) and one denotes \(x\prec_wy\) if \(\sum_{i=1}^kx^{\downarrow}_i\leq\sum_{i=1}^ky^{\downarrow}_i\), \(\forall k=1,2,\dots,n\). If \(x\) is weakly majorized by \(y\) and \(\sum_{i=1}^kx^{\downarrow}_i=\sum_{i=1}^ky^{\downarrow}_i\) then one says that \(x\) is majorized by \(y\) and one denotes \(x\prec y\). By replacing the sums \(\sum\) by the products \(\prod\) one obtains the definitions of \(x\prec_{wlog}y\) and \(x\prec_{log}y\) (respectively \(x\) is weakly log majorized by \(y\) and \(x\) is log majorized by \(y\). Some majorization inequalities for vectors are provided, for instance {\parindent=6mm \begin{itemize}\item[i)] \(\frac{1}{m}(x_1,x_2,\dots,x_m)\prec(r_1y_1,r_2y_2,\dots,r_my_m)\) if \(x_i,y_i\in{\mathbb R}^n\) and \(x_i\prec r_1y_1+r_2y_2+\cdots+r_my_m\), \(i=1,2,\dots m\). \item[ii)] \(\frac{1}{m}(x_1,x_2,\dots,x_m)\prec_w(r_1y_1,r_2y_2,\dots,r_my_m)\) if \(x_i,y_i\in{\mathbb R}^n_+\) and \(x_i\prec_wy_1^{r_1}\circ y_2^{r_2}\circ\cdots\circ y_m^{r_m}\), \(i=1,2,\dots m\), where \(\circ\) denotes the componentwise product of two vectors. \end{itemize}} The special case \(m=2\) is applied to generate many matrix inequalities, for example: \((\sigma(\frac{A+B}{2}),(\sigma(\frac{A+B}{2}))\prec_w(\sigma(A),(\sigma(B))\), \((\sigma(AB),(\sigma(AB))\prec_{log}(\sigma^2(A),(\sigma^2(B))\), \(\frac{1}{2}\|(A+B)\oplus(A+B)\|\leq\|A\oplus B\|\), \(\|(AB)\oplus(AB)\|\leq\|A^*A\oplus B^*B\|\), \(\|(A\circ B)\oplus(A\circ B)\|\leq\|A^*A\oplus B^*B\|\), where for \(A\in M_n\), \(\sigma(A)\) denotes the singular value vector of A with the singular values arranged in decreasing order. A generalization and a different proof is provided for a recent result on majorization, concerning partitioned Hermitian positive semidefinite matrices. | |||
Property / review text: Some majorization inequalities on real vectors are provided and applied to derive some inequalities concerning norm, eigenvalues, singular values and traces of matrices. For a vector \(x=(x_1,x_2,\dots,x_n)\in{\mathbb R}^n\) one denotes by \(x^{\downarrow}=(x^{\downarrow}_1,x^{\downarrow}_2,\dots,x^{\downarrow}_n)\) the vector having the components of \(x\) rearranged in decreasing order. For \(x=(x_1,x_2,\dots,x_n)\) and \(y=(y_1,y_2,\dots,y_n)\) one says that \(x\) is weakly majorized by \(y\) and one denotes \(x\prec_wy\) if \(\sum_{i=1}^kx^{\downarrow}_i\leq\sum_{i=1}^ky^{\downarrow}_i\), \(\forall k=1,2,\dots,n\). If \(x\) is weakly majorized by \(y\) and \(\sum_{i=1}^kx^{\downarrow}_i=\sum_{i=1}^ky^{\downarrow}_i\) then one says that \(x\) is majorized by \(y\) and one denotes \(x\prec y\). By replacing the sums \(\sum\) by the products \(\prod\) one obtains the definitions of \(x\prec_{wlog}y\) and \(x\prec_{log}y\) (respectively \(x\) is weakly log majorized by \(y\) and \(x\) is log majorized by \(y\). Some majorization inequalities for vectors are provided, for instance {\parindent=6mm \begin{itemize}\item[i)] \(\frac{1}{m}(x_1,x_2,\dots,x_m)\prec(r_1y_1,r_2y_2,\dots,r_my_m)\) if \(x_i,y_i\in{\mathbb R}^n\) and \(x_i\prec r_1y_1+r_2y_2+\cdots+r_my_m\), \(i=1,2,\dots m\). \item[ii)] \(\frac{1}{m}(x_1,x_2,\dots,x_m)\prec_w(r_1y_1,r_2y_2,\dots,r_my_m)\) if \(x_i,y_i\in{\mathbb R}^n_+\) and \(x_i\prec_wy_1^{r_1}\circ y_2^{r_2}\circ\cdots\circ y_m^{r_m}\), \(i=1,2,\dots m\), where \(\circ\) denotes the componentwise product of two vectors. \end{itemize}} The special case \(m=2\) is applied to generate many matrix inequalities, for example: \((\sigma(\frac{A+B}{2}),(\sigma(\frac{A+B}{2}))\prec_w(\sigma(A),(\sigma(B))\), \((\sigma(AB),(\sigma(AB))\prec_{log}(\sigma^2(A),(\sigma^2(B))\), \(\frac{1}{2}\|(A+B)\oplus(A+B)\|\leq\|A\oplus B\|\), \(\|(AB)\oplus(AB)\|\leq\|A^*A\oplus B^*B\|\), \(\|(A\circ B)\oplus(A\circ B)\|\leq\|A^*A\oplus B^*B\|\), where for \(A\in M_n\), \(\sigma(A)\) denotes the singular value vector of A with the singular values arranged in decreasing order. A generalization and a different proof is provided for a recent result on majorization, concerning partitioned Hermitian positive semidefinite matrices. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Valeriu Prepeliţă / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A18 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15B57 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A60 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6063133 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
eigenvalues | |||
Property / zbMATH Keywords: eigenvalues / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hermitian matrices | |||
Property / zbMATH Keywords: Hermitian matrices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positive semidefinite matrices | |||
Property / zbMATH Keywords: positive semidefinite matrices / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
matrix norm | |||
Property / zbMATH Keywords: matrix norm / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
majorization | |||
Property / zbMATH Keywords: majorization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
matrix inequality | |||
Property / zbMATH Keywords: matrix inequality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
singular value | |||
Property / zbMATH Keywords: singular value / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
unitarily invariant norm | |||
Property / zbMATH Keywords: unitarily invariant norm / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
trace | |||
Property / zbMATH Keywords: trace / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.laa.2012.04.021 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1970931340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3425149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A matrix trace inequality and its application / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4758141 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix Analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4040931 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Norm Inequalities for Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An eigenvalue majorization inequality for positive semidefinite block matrices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inequalities: theory of majorization and its applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix inequalities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix theory. Basic results and techniques / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:08, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some inequalities of majorization type |
scientific article |
Statements
Some inequalities of majorization type (English)
0 references
3 August 2012
0 references
Some majorization inequalities on real vectors are provided and applied to derive some inequalities concerning norm, eigenvalues, singular values and traces of matrices. For a vector \(x=(x_1,x_2,\dots,x_n)\in{\mathbb R}^n\) one denotes by \(x^{\downarrow}=(x^{\downarrow}_1,x^{\downarrow}_2,\dots,x^{\downarrow}_n)\) the vector having the components of \(x\) rearranged in decreasing order. For \(x=(x_1,x_2,\dots,x_n)\) and \(y=(y_1,y_2,\dots,y_n)\) one says that \(x\) is weakly majorized by \(y\) and one denotes \(x\prec_wy\) if \(\sum_{i=1}^kx^{\downarrow}_i\leq\sum_{i=1}^ky^{\downarrow}_i\), \(\forall k=1,2,\dots,n\). If \(x\) is weakly majorized by \(y\) and \(\sum_{i=1}^kx^{\downarrow}_i=\sum_{i=1}^ky^{\downarrow}_i\) then one says that \(x\) is majorized by \(y\) and one denotes \(x\prec y\). By replacing the sums \(\sum\) by the products \(\prod\) one obtains the definitions of \(x\prec_{wlog}y\) and \(x\prec_{log}y\) (respectively \(x\) is weakly log majorized by \(y\) and \(x\) is log majorized by \(y\). Some majorization inequalities for vectors are provided, for instance {\parindent=6mm \begin{itemize}\item[i)] \(\frac{1}{m}(x_1,x_2,\dots,x_m)\prec(r_1y_1,r_2y_2,\dots,r_my_m)\) if \(x_i,y_i\in{\mathbb R}^n\) and \(x_i\prec r_1y_1+r_2y_2+\cdots+r_my_m\), \(i=1,2,\dots m\). \item[ii)] \(\frac{1}{m}(x_1,x_2,\dots,x_m)\prec_w(r_1y_1,r_2y_2,\dots,r_my_m)\) if \(x_i,y_i\in{\mathbb R}^n_+\) and \(x_i\prec_wy_1^{r_1}\circ y_2^{r_2}\circ\cdots\circ y_m^{r_m}\), \(i=1,2,\dots m\), where \(\circ\) denotes the componentwise product of two vectors. \end{itemize}} The special case \(m=2\) is applied to generate many matrix inequalities, for example: \((\sigma(\frac{A+B}{2}),(\sigma(\frac{A+B}{2}))\prec_w(\sigma(A),(\sigma(B))\), \((\sigma(AB),(\sigma(AB))\prec_{log}(\sigma^2(A),(\sigma^2(B))\), \(\frac{1}{2}\|(A+B)\oplus(A+B)\|\leq\|A\oplus B\|\), \(\|(AB)\oplus(AB)\|\leq\|A^*A\oplus B^*B\|\), \(\|(A\circ B)\oplus(A\circ B)\|\leq\|A^*A\oplus B^*B\|\), where for \(A\in M_n\), \(\sigma(A)\) denotes the singular value vector of A with the singular values arranged in decreasing order. A generalization and a different proof is provided for a recent result on majorization, concerning partitioned Hermitian positive semidefinite matrices.
0 references
eigenvalues
0 references
Hermitian matrices
0 references
positive semidefinite matrices
0 references
matrix norm
0 references
majorization
0 references
matrix inequality
0 references
singular value
0 references
unitarily invariant norm
0 references
trace
0 references