Skip to main content

All Questions

29 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
9 votes
0 answers
261 views

SVD-type decomposition for the tensor product of three Hilbert spaces?

(The questions How does the Schmidt decomposition generalize to tensor products of several finite-dimensional systems? and Is there a useful generalization of the Schmidt decomposition to the ...
Yemon Choi's user avatar
  • 25.8k
7 votes
0 answers
355 views

An $L^{\infty}$ version of principal component analysis?

I have a $k$ by $n$ matrix $A$, with $k \ll n$. In case it helps, the $k$ rows are orthonormal. I'm interested in finding a $k$ by $k$ orthogonal matrix $M$ so as to maximize the $L^{\infty}$ norms ...
floc's user avatar
  • 193
6 votes
0 answers
320 views

Can we approximate any eigenvalue of an infinite matrix via eigenvalues of some sequence of submatrices which approximates the matrix?

Let $T:\ell^2\to\ell^2$ be a compact linear operator. Let $[T]=(a_{i,j})_{i,j=1}^{\infty}$ be the representing infinite matrix of $T$ with respect to the canonical base. Let $T_n$ be the finite rank ...
Chilote's user avatar
  • 596
6 votes
0 answers
243 views

Operator arithmetic-harmonic mean inequality with operator-valued weights

Let $\Lambda_1,\dots,\Lambda_n$ be strictly positive definite operators in the Euclidean space $\mathbb{R}^d$. By an operator arithmetic-harmonic mean inequality with weights $\Lambda_i$ I mean the ...
Alexander Shamov's user avatar
4 votes
0 answers
120 views

Matrix product of entire functions

Suppose I have two $d \times d$ entire matrix functions $F, G$ defined on $\mathbb{C}$ with the the property that $\|FG^*\|_{L^\infty(\mathbb{C})} < \infty$. Can anything be said about $F$ and $G$, ...
Joshua Isralowitz's user avatar
3 votes
0 answers
81 views
+50

Tight upper bound for $m[Q^k - Q^{k+1}]$ for completely positive linear maps

Let $m: \mathcal{L}(\mathbb{R}^{d \times d}) \to \mathbb{R}$ be the function $$ m[H] = \frac{\lambda_{\max}(H[\mathbf{I}])}{\lambda_{\max}(H)}, $$ where $\lambda_{\max}$ denotes the largest eigenvalue....
Ran's user avatar
  • 73
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 $...
ABB's user avatar
  • 4,058
3 votes
0 answers
275 views

Schur-Horn theorem for principal submatrices

The Schur-Horn theorem says that there exists a Hermitian matrix with diagonal entries $d_1,d_2,\ldots,d_n$ and eigenvalues $\lambda_1,\lambda_2,\ldots,\lambda_n$ if and only if $(\lambda_1,\lambda_2,\...
Nathaniel Johnston's user avatar
3 votes
0 answers
86 views

What kind of set is this, spanned by two positive definite matrices?

Let $A$ and $B$ be Hermitian positive definite $n\times n$ matrices over $\mathbb C$ or $\mathbb R$. Then for real $k,\ell,$ the matrix $A^kB^\ell A^k$ is well-defined and again Hermitian positive ...
Wolfgang's user avatar
  • 13.4k
3 votes
0 answers
48 views

Questions on "The condition number of a randomly perturbed matrix"

This question is about the two vectors $w'$ and $y$ that are necessary for the argument in section $7$ (page 6) of this paper by Terence Tao and Van Vu, https://arxiv.org/abs/math/0703307 (that ...
gradstudent's user avatar
  • 2,246
3 votes
0 answers
193 views

Method to Generate Random Mutually Orthogonal Unitary Matrices

The title says it all, I'd like to know if such a method exists to generate random mutually orthogonal unitary matrices. If so, any supplementary references would be very much obliged. Thanks again!
Vincent Russo's user avatar
2 votes
0 answers
43 views

Selecting some linearly independent columns of a particular matrix

Let us consider the matrix $C=A_1+A_2$ where : $A_1=(a_{k,l})_{k,l=0}^{n-1}$ is the $n$ by $n$ matrix given by $a_{k,l}=\frac{2}{\sqrt{n}}(\cos\frac{2kl\pi}{n})$ $A_2$ is the the $n$ by $n$ block ...
ABB's user avatar
  • 4,058
2 votes
0 answers
246 views

Decay rate of least eigenvalue of Gram matrices

Consider the Hilbert space $H=L^2_w(I)$ as the weighted $L^2$ space, where $I\subseteq\mathbb{R}$: $$ L_w^2(I)=\{\phi:I\rightarrow\mathbb{R}:\,\|\phi\|^2=\int_I \phi(x)^2w(x)\,dx<\infty\}. $$ In ...
user39756's user avatar
  • 141
2 votes
0 answers
147 views

Is the following inequality true for the norm of Moore-Penrose pseudoinverses?

Let $L$ be a real, positive semi-definite, symmetric, square matrix, with pseudoinverse $L^{+}$. It can be shown for the operator norms $||.||_{op}$ that: if $L$ is invertible and $||I - L||_{op} < ...
Learning math's user avatar
2 votes
0 answers
125 views

When is an selfadjoint operatorvalued matrix with positive semidefinite diagonal elements positive semidefinite as well?

We have $p \in \mathbb{N}$ and $\mathcal{H}$ is a Hilbert space. let's consider a matrix $\boldsymbol{\Gamma}_p := (C_{i-j})_{i,j=1, ..., p} \in \mathcal{S_H}^{p\times p}\!\!\,,$ that is a $p\times p$...
Obriareos's user avatar
  • 195
1 vote
0 answers
92 views

Multilinear non-commutative Khintchine inequality

Let $g_1,\ldots,g_k$ be independent standard Gaussians and for each index $(i_1,\ldots,i_k)\in [n]^k$ let $A_{i_1,\ldots,i_k}$ be a $d\times d$ symmetric matrix. Question: Is there a known bound for ...
user293794's user avatar
1 vote
0 answers
106 views

Question on the existence of a certain decomposition method for real square matrices

I was working around with the decomposition of the multidimensional linear canonical transform (which is not even continuous w.r.t. the parameters) into a few fractional Fourier transforms (and other ...
Kanghun Kim's user avatar
1 vote
0 answers
88 views

2-positivity to 3-positivity

Let $B\in M_3(\mathbb{C})$ and $S_3= \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \\ \end{pmatrix} $. Suppose $I_3\otimes I_2+B\otimes X+B^*\otimes X^*\geq 0$ for all $2$...
Piku's user avatar
  • 231
1 vote
0 answers
70 views

Minimax type principle for a self-adjoint operator acting on a Hilbert space

Let $T\in\mathcal{B}(\mathcal{H})$ be a self-adjoint operator acting on a Hilbert space $\mathcal{H}$. Suppose $k\in\mathbb{N}$. Define $$\lambda_k(T)=\sup\limits_{\substack{\mathcal{M}\subseteq \...
Piku's user avatar
  • 231
0 votes
0 answers
55 views

Johnson-Lindenstrauss type result for matrix factorization

The type of result I want is: given matrix $A\in \mathbb{R}^{m\times n}$ and error tolerance $\epsilon$, what is a lower bound on $k$ such that $\|A - UV\|_{??}\le \epsilon$, where $U \in\mathbb{R}^{m\...
optimal_transport_fan's user avatar
0 votes
0 answers
124 views

Eigenvectors of the symmetric tridiagonal matrices whose entries above the diagonal are all the same

Let us consider the real symmetric tridiagonal matrix $T=(t_{kl})$ in $M_n(\mathbb{R})$ with $$t_{1,2}=t_{2,3}=\cdots=t_{n-1,n}=1$$ How can we compute the eigenvectors of $T$?
ABB's user avatar
  • 4,058
0 votes
0 answers
70 views

Follow-up question regarding real singular matrices with additional details

After my question whose answer turned out to be false, I re-examined the course of my proof, which is actually seperate from the one in my question, and found out that there's another condition, at ...
Kanghun Kim's user avatar
0 votes
0 answers
174 views

Lipschitz map on positive definite cone of $n$-by-$n$ matrices

A function matrix $f : X \to \mathbb R$ is a convex Lipschitz continuous matrix function with Lipschitz constant $\mathrm L$ with respect to a fixed given norm $\|\cdot\|$, i.e., $|f(A)-f(B)| \leq \...
Reza's user avatar
  • 91
0 votes
0 answers
198 views

eigenvalues of the product of a unitary with a diagonal

In $M_n(\mathbb{C})$, suppose $U$ and $D$ are a unitary and an invertible diagonal matrix with eigenvalues $\{e^{i\theta_1},\cdots,e^{i\theta_n}\}$ and $\{e^{i\eta_1},\cdots,e^{i\eta_n}\}$ ...
ABB's user avatar
  • 4,058
0 votes
0 answers
90 views

Is a basis that almost diagonalizes a matrix 'close' to its eigenbasis?

Let $A\in\mathbb{R}^{n\times n}$ be diagonalisable (over $\mathbb{C}$) with pairwise distinct eigenvalues $\lambda_1,\ldots,\lambda_n\in\mathbb{C}$, and suppose that $$\tag{1}S^{-1}\cdot A\cdot S = \...
fsp-b's user avatar
  • 463
0 votes
0 answers
49 views

Non-square multiplication operator matrix

Let $A(x), x\in (0,1)$ an $2\times n$ matrix, with $n\geq 2$. Consider the multiplication operator $K$ on $[L^2(0,1)]^n$ defined as $$K: f(x) \mapsto Kf(x)=A(x).f(x).$$ Intuitively, $$K: [L^2(0,1)]^n ...
Gustave's user avatar
  • 617
0 votes
0 answers
90 views

Special kind of translation and rotational invariance of the numerical range

Let $T\in\mathscr{B(\mathcal{H})}$ and $X\in M_n(\mathbb{C})$. Is the following statement true? If $W(B\otimes X)\subseteq W(B\otimes T)$ for any $B\in M_n$ then $W(B\otimes (X+I_n))\subseteq W(B\...
Piku's user avatar
  • 231
0 votes
0 answers
510 views

Composition of upper semi-continuous real valued function with upper semi-continuous matrix valued function

Say that a matrix valued function $A: \mathbb{R} \rightarrow \mathbb{R}^{n \times n}$ is upper semi-continuous at $x_0$ if $$ \limsup_{x \rightarrow x_0} A(x) \preceq A(x_0), $$ where $\preceq$ ...
Tadashi's user avatar
  • 1,590
-1 votes
1 answer
114 views

Construct a probability function on the operator monotone functions, $g(t)=t g(t^{-1})$, fitting certain values

To immediately pose the question of interest to us, without first expanding upon its (quantum-information-theoretic) origin—we seek a univariate function $f$, for which we have the ("two-qubit ...
Paul B. Slater's user avatar