Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
264 views

Continuous path of unitary matrices with prescribed first column?

Consider a continuous curve $u \colon [0,1] \to \mathbb{C}^n$ where $u(t)$ is always a unit vector, $u(t)^* u(t) = 1$. Question 1: Does there exist a continuous curve $U \colon [0,1] \to \mathbb{C}^{n ...
0 votes
0 answers
105 views

Unitarily equivalent matrices that are also unitarily equivalent on orthogonal subspaces

Consider two positive semidefinite matrices $A$ and $B$ on $\mathbb C^d$. Let $\{P_i\}_{i=1}^m$ be a complete family of $m$ orthogonal projectors on $\mathbb C^d$ (i.e., $P_i^*=P_i, P_iP_j=\delta_{ij}...
4 votes
1 answer
204 views

Making Hermitian matrices almost commute

Consider two Hermitian matrices $A, B \in \mathbb{C}^{n \times n}$. I'm interested in finding another Hermitian matrix $A'$ that is close to $A$ and almost commutes with $B$. More precisely, I'd like ...
7 votes
0 answers
107 views

Potential p-norm on tuples of positive operators

This is a follow-up to this question on p-norms of tuples of operators. Consider $\left[\begin{matrix} A \\ B \end{matrix}\right] \in B(H)^2_+$, meaning $A,B\geq 0$, and define $$ \left\|\left[\begin{...
6 votes
1 answer
236 views

Potential p-norm on tuples of operators

Consider $\left[\begin{matrix}A \\ B\end{matrix}\right] \in B(H)^2$. One can define $$ \left\|\left[\begin{matrix}A \\ B\end{matrix}\right]\right\|_p = \| |A|^p + |B|^p\|^{1/p}. $$ Q: Is this a norm? ...
2 votes
0 answers
159 views

Formula for a completely positive map

Is there a family of completely positive maps $L(A,B)$ depending continuously on two nonzero, symmetric positive semidefinite $n\times n$ matrices $A$ and $B$, such that $L(A,B)$ maps $A$ to $B$ and ...
16 votes
1 answer
3k views

positive not completely positive maps

In extension to this question Positive but not completely positive? I'd like to know, for $k>1$, examples of $k$-positive linear maps of a matrix algebra into itself that are not $k+1$-positive. (...
3 votes
0 answers
270 views

How to compute a simultaneous block-diagonalization?

Let $n$ be a positive integer and consider of finite set $S \subset M_n(\mathbb{C})$ such that $S^* = S$ (i.e. if $a \in S$ then $a^* \in S$). The algebra generated by $S$ is a finite dimensional $*$-...
1 vote
2 answers
285 views

a follow up question on traces of matrices

In a recent MO post, pallab1234 ask for trace inequalities for which counterexample were given. I wish to probe in a different direction. Suppose $A, B$ are $n\times n$ symmetric matrices (with ...
3 votes
3 answers
1k views

Are the finite dimensional von Neumann algebras, singly generated?

Let $\mathcal{M}$ be a finite dimensional von Neumann algebra, then : $$\mathcal{M} \simeq \bigoplus_i M_{n_i}(\mathbb{C})$$ Question : Is it singly generated (as von Neumann algebra)? how ? ...
13 votes
2 answers
1k views

A matrix norm inequality

Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that $\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...
5 votes
0 answers
376 views

Non-linear positive map

In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...
19 votes
1 answer
856 views

A possible extension of a determinant inequality

It is well known that if $A, B$ are positive semidefinite matrices, then $$\det (A+B)\ge \det A+\det B.$$ I am considering a possible extension of this result. Let $\mathbb{M}_m(\mathbb{M}_n)$ ...
1 vote
0 answers
243 views

Norm bound of the entrywise logarithm of a stochastic matrix stationary matrix

Hello, Denote $\log_\star$ as the entrywise logarithm operation, and let $A$ be some row-stochastic matrix such that $\lim_{p\rightarrow\infty}A^p$ exists and all its entries are non-zero. As a part ...
3 votes
1 answer
362 views

Eigenvalues of certain positive matrices

For a matrix $ Q = (q_{ij}) \in GL_n(\mathbb{C}) $ let $ \overline{Q} = (\overline{q_{ij}}) $ be the matrix obtained by entry-wise complex conjugation (equivalently, $ \overline{Q} $ is the ...
2 votes
3 answers
3k views

Is there any conclusions generalized Singular Value Decomposition into Hilbert Space

Spectrum decomposition can be regarded as the generalizations of the following fact that: Every Hermitian matrix $A$ can be decomposed into $A=U^{*}\Lambda U$,where $U$ is a unitary matrix Singular ...
18 votes
1 answer
1k views

Commuting unitaries

Is the following true: For every unit vectors $x_1,..., x_n$, $y_1,..., y_n$ in $\mathbb{C}^k$ there exist a Hilbert space $H$, unitary operators $U_1,...,U_n$ and $V_1,...,V_n$ in $B(H)$ and unit ...
3 votes
0 answers
528 views

A question about the generalized Lidskii-Wielandt inequality for matrices proved by Thompson and Freede

In 1971, Thomson and Freede generalized the Lidskii-Wielandt inequalites as follows (version for singular values) Let $A$, $B$ be $n\times n$ Hermitian matrices. Suppose $\alpha_1\geq \alpha_2 \geq \...