All Questions
Tagged with linear-algebra oa.operator-algebras
63 questions
0
votes
1
answer
121
views
Inequality for commuting hermitian operators
Let $p_1$ and $p_2$ be a complete system of orthogonal projections on $R^n$, $n\geq 2$ (i.e., $p^2_i=p_i=p^*_i$ and $p_1+p_2=\bf{1}$) and $S_1,S_2$ be two commuting hermitian operators on $R^n$ (i.e., ...
- 73
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
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
1
vote
0
answers
125
views
Transforming nilpotency into diagonalizability [closed]
We designate the $k$-th standard vector as $e_k$ in $\mathbb{C}^n$.
We consider the backward shift operator, denoted as $T: \mathbb{C}^n \to \mathbb{C}^n$, which is defined as follows:
$Te_1=0$ and $...
- 4,058
0
votes
1
answer
143
views
Differential form of the multidimensional "orthogonal dilation" operator
For a one-dimensional $f(x)$, the dilation operator $f(ax)$ can be expressed as $\exp(g(D))f(x)$, where $g$ is a closed-form function. This is easily checked by e.g. formal Taylor series expansion.
...
- 286
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
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
-3
votes
1
answer
134
views
SU(2) and entangled particles [closed]
We have two particles $A$ and $B$ in a maximally entangled state $|\Psi\rangle \in \cal{H}_A \times \cal{H}_B$
$$
\left|\Psi\right\rangle = \frac{1}{\sqrt{2}} ( \left| 0
\right\rangle_A\otimes \left| ...
- 1
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}...
- 31
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
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
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
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
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
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
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
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
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
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
1
vote
1
answer
247
views
Linearity of the directional derivative of a convex functional at the minimum
Let $H$ be a Hilbert space, $T_+(H)$ the set of positive self-adjoint trace-class operators on $H$, and $f : T_+(H) \to [0,m]$ a non-negative, bounded, convex functional. I don't necessarily know that ...
- 695
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
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
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
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
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
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
1
vote
0
answers
311
views
Computing the nearest hermitian positive semi-definite matrix
The real case of finding the nearest semi-definite matrix in terms of the Frobenius norm was solved by Higham in 1988.
But is there any work on computing the nearest
hermitian positive semi-...
- 43
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 $*$-...
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
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
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
0
votes
1
answer
556
views
Bounds on spectral norm of difference of powers of linear operators
Given bounded linear operators $A$ and $B$, with $||A-B||<\epsilon$, what is the tightest upper bound on $||A^n-B^n||$, for positive integer $n$? Additionally, for my specific situation, $A$ is ...
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
-1
votes
1
answer
132
views
How should $A^α$ be defined for real $α ∈ [0,∞)$ and $A\in M_n(\mathbb C)$? [closed]
Let $A\in M_n(\mathbb C)$ be arbitrary. I'm interested to know How should $A^{\alpha}$ be defined for real $\alpha\in [0,\infty)$? When $A$ is nonsingular, we can define $A^{\alpha}=\exp(\alpha \log(A)...
- 201
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 ...
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
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
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
1
vote
0
answers
108
views
Reference request on operator matrices [closed]
I'm looking for a reference on linear, bounded, self-adjoint operators defined on the product space, $T:E\times F\to E\times F$ such that
$$Tx = \begin{pmatrix}A & B \\
C & D
\end{pmatrix}\...
- 11
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
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
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):
...
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
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
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 ...
- 225
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
1
vote
0
answers
140
views
Diagonalizing matrices of linear forms of indeterminates
Let $B$ be a matrix with elements as linear forms of indeterminates. Is there a proper diagonalization procedure for such matrices like those of matrices with real and complex entries?
- 13.9k
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 ...
