All Questions
Tagged with linear-algebra oa.operator-algebras
63 questions
52
votes
2
answers
3k
views
vector balancing problem
I believe the solution posted to the arXiv on June 17 by Marcus, Spielman, and Srivastava is correct.
This problem may be hard, so I don't expect an off-the-cuff solution. But can anyone suggest ...
- 42.8k
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,748
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 ...
- 4,705
17
votes
3
answers
905
views
Existence of translation-invariant basis on $C_c(\mathbb R)$
Consider the space $C_c(\mathbb R)$ of complex-valued continuous functions of compact support. This is a vector space over $\mathbb C$, and I am not considering any topology, so the question is ...
- 2,071
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,873
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\|$, ...
- 1,748
13
votes
1
answer
1k
views
A generalization of the Powers-Stormer inequality
The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)) \leq \| A^2 - B^2 \|_1$, where $\| \cdot \|_1$ ...
- 2,019
12
votes
1
answer
1k
views
Decomposition of positive definite matrices.
It is known that a $n^2 \times n^2$ positive semidefinite matrix $A$ cannot always be written as a finite sum
$$
A=\sum_{j} B_j \otimes C_j
$$
with $B_j$ and $C_j$ positive semidefinite matrices (of ...
10
votes
4
answers
903
views
Relationship between free probability and deterministic graphs?
Consider the $N\times N$ matrix $$
M = \left(\begin{array} \\
0 & 1 & & 0 \\
1 & \ddots & \ddots & \\
& \ddots & \ddots & 1 \\
0 & & 1 & 0 \\
\end{...
- 1,890
8
votes
2
answers
5k
views
When is spectral norm of AB equal to that of BA?
I have $A^{1/2} B A^{1/2} \preceq I$ for two PSD matrices $A$ and $B$, and I'd like to know if that implies $\|AB\|_2 \leq 1.$
The argument I was using to show this is that for any two square ...
- 922
8
votes
3
answers
691
views
Commutant of the conjugations by unitary matrices
Let $\mathcal{L}(\mathbb{C}^{n \times n})$ denote the algebra of all linear mappings from $\mathbb{C}^{n \times n}$ to $\mathbb{C}^{n \times n}$ and let $\mathcal{C} \subseteq \mathcal{L}(\mathbb{C}^{...
- 12.5k
7
votes
2
answers
2k
views
When is this map completely positive?
Consider the complex $n$-by-$n$ matrices $M_n$.
Suppose that $A_i$, for $i=1,\ldots,n^2$, satisfy $\mathrm{Tr}(A_i^*
A_j)=\delta_{ij}$, so that together they form an orthonormal basis for
$M_n$. ...
- 3,937
7
votes
1
answer
532
views
Almost commuting matrices, one a projection, is there a nearby projection that commutes?
Suppose that $P, A, Q \in \mathbb{M}^{n \times n}(\mathbb{R})$ (I'm still interested if it must be done over $\mathbb{C}$), (EDIT:) suppose that $A$ is given, $P$ is an orthogonal projection, and $\...
- 393
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{...
- 3,984
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?
...
- 3,984
6
votes
1
answer
315
views
A power of a sum in a non-commutative algebra
Let $ A := \mathbb{C}\langle x, y \rangle / ( xy-2 ) $ where $ \mathbb{C}\langle x, y \rangle $ is the free (non-commuative) $ \mathbb{C} $-algebra which is generated by $ x $ and $ y $ and $ ( xy-2 ) ...
- 327
5
votes
3
answers
2k
views
How to check whether a matrix is completely positive or not?
The definition:
cone of completely positive matrices
$$
\mathcal{C}=\left\{
\sum_{i=1}^kx_ix_i^T : \text{$x_i\in\mathbb{R}^n_+$ for $i=1,2,\ldots,k$}
\right\}.
$$
I just don't know how to check ...
- 187
5
votes
1
answer
528
views
Completely bounded maps on Mn
The aim of this question is to collect nice maps on $M_n(\mathbb{C})$ with the following property:
$\phi_n:M_n(\mathbb{C})\rightarrow M_n(\mathbb{C})$ with $||\phi||=1$ and $||\phi_n||_{cb}\...
- 4,705
5
votes
2
answers
475
views
Can finitely many hermitian (positive-semidefinite) operators always be embedded into a small dimensional space preserving inner product?
Given $n$ hermitian (positive-semidefinite) operators $Q_1,\cdots,Q_n$ in finite dimensional Hilbert space (the dimension can be very large), is there a mapping $\phi$ maps $Q_i$ to $P_i$, which ...
- 363
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 ...
- 421
4
votes
1
answer
303
views
Which operators on the trace-class operators extend to operators on Hilbert-Schmidt operators?
Let $\mathcal{H}$ be a separable Hilbert space and let $TC( \mathcal{H})$, $HS(\mathcal{H})$ be the space of trace-class operators and Hilbert-Schmidt operators on $\mathcal{H}$. Recall that these ...
- 1,054
4
votes
1
answer
119
views
Is the Loewner maximum uniquely defined?
Given 2 (symmetric) PSD matrices $A,B$, is the following set $S_{A,B}$ non-empty?
$$ S_{A,B} = \{ C: C\succeq A, C\succeq B, \text{ and }\forall D, D\succeq A, D\succeq B \implies D\succeq C \} $$
If ...
- 41
4
votes
1
answer
353
views
When is rank-1 perturbation to a positive operator still positive?
Let $A : \mathcal{H} \to \mathcal{H}$ and $B : \mathcal{H} \to \mathcal{H}$ be trace-class (hence compact) Hermitian operators on a separable Hilbert space. Assume that $A$ is strictly positive and ...
- 695
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 ...
- 209
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 ?
...
3
votes
1
answer
1k
views
What is the significance of matrix ordered algebras?
I am trying to grok matrix ordered operator algebras, but I am having a hard time understanding their significance from the definition. Here is the definition (or at least, one way of stating it):
...
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 ...
- 103
3
votes
1
answer
325
views
Reference on completely positive maps which are isometries
Let $\Phi:\mathcal{L}(H)\rightarrow \mathcal{L}(K)$ be a completely positive map sending positive self-adoint operators on a finite-dimensional Hilbert space $H$ to positive self-adoint operators on a ...
- 627
3
votes
1
answer
142
views
Observable nearly commuting with a "complete" set of commuting observables
Consider the Hilbert space $H = E^{\otimes n}$ where $E=\mathbb{C}^2$.
On $E$ we have an observable $O$ (i.e. a Hermitian matrix) that is diagonalizable in the standard basis with eigenvalues $1$ and ...
- 2,772
3
votes
1
answer
490
views
Bounds on operator 2-norms on partial traces of linearly related operators
Consider an arbitary positive semidefinite operator ρ, acting on ℂA ⊗ ℂB ⊗ ℂC, for A,B,C finite. Also, let P be an orthogonal projector on &#...
- 1,434
3
votes
0
answers
115
views
Recovering the matrix when the Schur decomposition of its blocks are known
Let E be a real symmetric matrix in $M_n(\mathbb{R})$ where $ n=2m$ and
$$E=\left(\begin{array}{cc}
G & X \\
X^t & H
\end{array}\right)$$
where $G,H,X$ are $m\times m$ matrices.
Suppose that $...
- 4,058
3
votes
0
answers
160
views
Tensor product of operator subalgebras and properties of the trace
Note that this question was already posted on MSE: https://math.stackexchange.com/questions/4290741/tensor-product-of-operator-subalgebras-and-properties-of-the-trace
Let $V$ be a vector space and let ...
- 139
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 $*$-...
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 \...
- 227
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 ...
- 1,706
2
votes
3
answers
657
views
Are the Gell-Mann matrices extremal when used as Kraus operators for a quantum channel?
Landau and Streater proved that a set of Kraus operators, Ai, is extremal if and only if the set
$\{A_{k}^{\dagger}A_{l}\}_{k,l \ldots N}$
are linearly independent. I have seen very convincing ...
- 121
2
votes
1
answer
143
views
Inequality for hermitian matrices
Let $p_1$ and $p_2$ be a complete system of orthogonal projections on $\mathbf R^n, n \geq 2$ (i.e., $p_i^2=p_i=p_i^*$ and $p_1+p_2=\bf{1}$) and $S_1, S_2$ be two hermitian operators such that $S_i \...
- 73
2
votes
1
answer
316
views
Decomposition of Hilbert spaces via groups and algebras representations
Let $\mathcal{H}$ be a complex finite dimensional Hilbert space and let $\mathcal{A}\subseteq \mathcal{B}(\mathcal{H})$. I am looking to understand the different decompositions of $\mathcal{H}$ ...
- 23
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 ...
- 637
2
votes
1
answer
107
views
tensor stability of block-positive matrices
Let $X_{AB}$ be an operator acting on the tensor-product Hilbert space $\mathcal{H}_A \otimes \mathcal{H}_B$. Suppose that $X_{AB}$ is block positive, meaning that (in Dirac notation)
$\langle \psi |...
- 483
2
votes
0
answers
267
views
Example of a unital contractive map that is not completely positive on an operator system
I am aware of maps that are positive but not completely positive (for example transpose map). BUT I can not think of an example of the following type.
Does there exist an operator $T$ such that a map $...
- 231
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 ...
- 3,873
2
votes
0
answers
165
views
Rank–nullity theorem for finite von Neumann algebras
The rank-nullity theorem states that for $U, V$ finite dimensional vector spaces and $T:U \to V$ a linear map $$\dim(U) = \dim(im(T)) + \dim(ker(T)) $$
Let $M \subset B(H) $ be a finite von Neumann ...
2
votes
0
answers
400
views
How to determine there exists a unique invariant subspace for a set of matrices
Hi everyone,
Ive been looking at the following problem, but its not entirely in my area and some potential solutions seem to rely on algebraic geometry. Maybe thats just a complicated way to solve ...
- 39
1
vote
1
answer
220
views
Dimension of commutant
Suppose that $A = M_n(\mathbb{C})$ be the algebra of $n*n$ matrices over $\mathbb{C}$.
If com(A) = {$B \in M_n(\mathbb{C}); AB = BA$}, then what is the $dim(com(A))?$
- 581
1
vote
1
answer
478
views
Is exp(rA) = (exp(A))^r for real r and A in a Banach space?
Is $e^{(rA)} = (e^{A})^r$ when $r \in \mathbb{R}$ and $A$ is an element of a Banach algebra?
Clearly if $n$ is an integer, then
$e^{(nA)} = e^{A+A \cdots +A} = e^{A}e^{A}\cdots e^{A} = (e^{A})^n$,
...
- 657
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 ...
- 43.2k
1
vote
2
answers
156
views
How to study the behavior of a particular function on a Vector Space.
Let, $V$ be a vector space over a field $K.$ Let, $T$ be a function from $V$ to $V$ such that
$T(kX) = kT(X)$ for all $k \in K$ and for all $X \in V$ and also
$T(k + X) = T(X)$ for all $k \in K$ ...
- 73
1
vote
1
answer
322
views
A particular commutator of the discrete Fourier matrix
For $N$ be a fixed natural number, define $w=e^{\frac{2\pi i}{N}}$ and $z=e^{\frac{\pi i}{N}}$, so that $z^2=w$. Let $D$ be the diagonal matrix $D=\operatorname{diag}(1,z,z^2,\ldots,z^{N-1})$ and $F$ ...
- 4,058
1
vote
1
answer
114
views
Is a $1_A \otimes U$ invariant subspace of $\mathcal{H}_A \otimes \mathcal{H}_B$ a product $V_A \otimes \mathcal{H}_B$?
Consider a subspace $V$ of $\mathcal{H}_A \otimes \mathcal{H}_B$, with $\mathcal{H}_A$ and $\mathcal{H}_B$ finite-dimensional Hilbert spaces, that is $1_A \otimes U$ invariant for all unitary ...
- 133