All Questions
Tagged with fa.functional-analysis linear-algebra
325 questions
3
votes
1
answer
275
views
Sum of two parts of a continuous stochastic process
Let $X$ be a centered continuous stochastic process which is square integrable on $[0,2]\times \Omega$ and the basis of $L^2(0,2)$ is $\{e_i\}$. By using Karhunen-Leove Theorem one can write for all $...
- 213
3
votes
0
answers
239
views
Metrizing pointwise convergence of *sequences* of functionals in a dual space
This question was asked by myself on the math stackexchange a few days ago. I thought I'd repeat it here:
Let $X$ be a normed, real vector space of uncountable dimension. Let $X^*$ denote the set of ...
3
votes
0
answers
198
views
On a paper of von Neumann
Let $H$ be a Hilbert space and $T: H \to H$ be a contraction. In Eine Spektraltheorie für allgemeine Operatoren eines unitären Raumes, von Neumann proved the inequality
$$
\lVert p(T)\rVert \leq \sup \...
- 31
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
77
views
Unitary with entries $(i,j)$ only on equidistant lattice points $\|i-j\|^2 = c^2 \in \mathbb{N}$
My research needs help in finding examples of unitary matrices $U$ which have entries
\begin{align}
U_{ij} = \begin{cases} \alpha_{ij}, \ \text{ if } \|i-j\|^2 = c^2 \\ 0 , \text{ otherwise} \end{...
- 41
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,\...
- 6,351
3
votes
0
answers
229
views
$f(x)>0$ and $f(y)>0$ implies $f(x+y)>0$, then there must exist an linear function $g$ such that $g(x)>0$ iff $f(x)>0$?
Background: Let $x,y\in\mathbb (0,+\infty)^n$. $f$ is a continuous function on $\mathbb R^n_+=(0,+\infty)^n$. Consider the following condition (1), the sign of $f(x+y)$ is dependent on the sign of $f(...
- 263
3
votes
0
answers
95
views
Sparse perturbation
Let $x, x_0\in\mathbb{R}^n$ be two vectors satisfying $$\frac{\|x\|_1}{\|x\|_2}\leq\frac{\|x_0\|_1}{\|x_0\|_2}.$$
$\| \cdot\|_1$ and $\| \cdot\|_2$ are the $\ell_1$ and $\ell_2$ norm in $\mathbb{R}^n$,...
- 31
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
user136577
3
votes
0
answers
422
views
Isometries between subspaces of finite-dimensional vector spaces
I would like to characterise the subspaces of $\ell_p^n(\mathbb{R})$ that are isometric (for $p$ an even integer). In the literature, I have found few results related to this.
Taking $n \le m$, one ...
- 31
3
votes
1
answer
154
views
Solving Matrix/Operator Equation $H P X + X P H + HQ = 0$
This problem arises when minimizing the operator equation $X P X^* + X Q + R$ over positive $X$ with respect to the positive cone on a Hilbert space $\mathcal{H}$.
The (reduced) task:
Given $P$ and $...
- 153
3
votes
0
answers
588
views
Norm in a product vector space induced by a norm in $\mathbb{R}^d$
I posted this question originally here (nobody answered there): https://math.stackexchange.com/questions/2066318/is-the-following-function-a-norm
Let $\| \|$ be any norm in $\mathbb{R}^d$. Consider ...
- 153
3
votes
0
answers
119
views
Increasing sequence of closed subspaces of $L^2$ and error estimate of a product of orthogonal projections
We define an increasing sequence of closed subspaces
\begin{align*}
V_{0} \subset V_{1} \subset V_{\ell} \subset \dots
\end{align*}
of $L^2(I)$ where $I=(0,x_{max})$, and each $V_{\ell}$ is equipped ...
- 131
3
votes
0
answers
261
views
Generalization of trace and associated determinant
The standard relation between the trace and the determinant of matrices is presented in the MO-Q "Cycling through the zeta garden" where the log and exp functions allow one to jump between additive ...
- 10.5k
3
votes
0
answers
98
views
Quantum Groups and quantum spaces - From algebra to Analysis
My question will be about the non-standard quantum projective space $\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. I want to see this algebra now on a von Neumann algebraic ...
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!
- 133
3
votes
0
answers
176
views
Extending a Hilbert space isometrically
Let $H$ be a Hilbert space, and let $X$ be a topological vector space.
Under what conditions on the topologies of $X$ and $H$ does there exist an injective, continuous linear map $f : H \to X$?
...
- 8,512
3
votes
0
answers
395
views
Norm estimate for Moore-Penrose pseudo-inverse of $i^\ast T i$
Let $G$ and $H$ be Hilbert spaces, let $i : G \rightarrow H$ be an isometric inclusion (so $G$ is a subspace of $H$) and let $T : H \rightarrow H$ be a bounded linear operator with closed range.
That ...
- 5,327
3
votes
1
answer
791
views
Real part of eigenvalues and Laplacian
I am working on imaging and I am a bit puzzled by the behaviour of this matrix:
$$A:=\left(
\begin{array}{cccccc}
1 & 0 & 0 & -1 & 0 & 0 \\
0 & 0 & 0 & 0 & -1 &...
user136033
2
votes
3
answers
216
views
Equivalence of operators
let $T$ and $S$ be positive definite (thus self-adjoint) operators on a Hilbert space.
I am wondering whether we have equivalence of operators
$$ c(T+S) \le \sqrt{T^2+S^2} \le C(T+S)$$
for some ...
- 23
2
votes
3
answers
946
views
How can I measure the Morse index in infinite dimensions?
Let $V$ be a vector space over $\mathbb R$, and $a: V\otimes V\to \mathbb R$ a symmetric bilinear pairing. Recall that the Morse index of $a$ is the maximal dimension of any subspace $V_- \subseteq V$...
- 54.6k
2
votes
2
answers
352
views
The set of matrices with same spectral radius
I am working on an optimization problem over the set of positive matrices (that is, matrices where all entries are positive numbers) that have the same spectral radius. My main problem is how to ...
- 51
2
votes
4
answers
3k
views
Splitting a space into positive and negative parts
Let $V$ be a vector space over $\mathbb R$. A symmetric bilinear pairing on $V$ is a linear map $a: V\otimes V \to \mathbb R$. Because $\mathbb R$ is characteristic not-two, I will freely confuse ...
- 54.6k
2
votes
2
answers
631
views
Decomposition of a positive definite matrix
Let $K(x)_{n\times n}$ be a positive definite matrix defined on $x\in D$ and $K_{i,j}(x)\in C^2(D)$ (or generally $C^k$) for any $1\le i,j\le n$. Of course for any $x$, there exists a invertable ...
- 379
2
votes
1
answer
215
views
Forming real positive semidefinite matrices from complex matrices
I have asked this question on the Mathematics Stack Exchange: https://math.stackexchange.com/questions/4924554/forming-real-symmetric-positive-semidefinite-matrices-from-complex-matrices.
Let $Q \in \...
- 31
2
votes
1
answer
133
views
Control on dimension of image
Let $f:E\rightarrow F$ be a map between Banach spaces E and F; E finite dimensional (>0) and F infinite dimensional. Let $F$ be equipped with its weak topology and suppose that $f$ is strong-weak ...
- 5,405
2
votes
2
answers
1k
views
Relationship between largest eigenvalue of a positive matrix $A$ and $A∘A^T$
I'm wondering whether there is certain relationship between the largest eigenvalue of a positive matrix(every element is positive, not neccesarily positive definite) $A$, $\rho(A)$ and that of $A∘A^T$,...
- 273
2
votes
1
answer
386
views
Decomposing bilinear forms in Hilbert spaces
You are given a complex Hilbert space $H$ with two equivalent Hilbert space structures $<,>$ and $<,>'$. Define $<,>''=<,> + <,>'$ to be the sum of our two scalar ...
- 1,211
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
205
views
Do unitary bijections act invariantly on irreducible representations?
Let $\mathcal{A}$ be a $C^*$ algebra. Let $(\pi, \mathcal{H})$ be a faithful, irreducible, unitary, Hilbert space representation of $\mathcal{A}$; i.e., $\pi:\mathcal{A}\rightarrow\mathcal{B}(\mathcal{...
- 657
2
votes
1
answer
112
views
The eigenvectors of adding a particular rank one matrix to the circulant matrix
Suppose that $e_1, \cdots, e_n$ are the standard vectors of the Euclidean space $\mathbb{R}^n$.
Let us consider the backward shift operator $T:\mathbb{R}^n\to \mathbb{R}^n$ given by $Te_k=e_{k-1}$ ...
- 4,058
2
votes
1
answer
226
views
Tighest Gap $\|x\|_1/\|x\|_2$ between $\ell^1$ and $\ell^2$ norms
I'm looking specifically at the optimization problem
$$
\begin{align*}
\text{maximize: }& n - \frac{\|\lambda\|_1^2}{\|\lambda\|_2^2}\\
\text{subj. to: }& \lambda \succeq \epsilon\mathbf{1}
\...
- 153
2
votes
1
answer
127
views
Existence of an "Orthogonalizing" Operator
I was wondering if it was possible to prove existence of a unitary operator $A$ such that:
$\langle Au,u\rangle=0$ for all $u$.
In 2-dimensions it clearly is (just a 90 degrees rotation) and similarly ...
- 123
2
votes
1
answer
75
views
The eigenvalues of the product $WD$ for some particular matrices
Let $D$ be a diagonal matrix in $M_{2n}(\mathbb{R})$ such that $D^2=I$ and Trace$(D)$=0
Suppose that $e_k$s are the standard vectors in $\mathbb{R}^{2n}$, that is
$$e_k=(0,\cdots 0,1,0,\cdots,0)^t$$...
- 4,058
2
votes
1
answer
174
views
Gradient of a convex function on $\mathbb{R}^d$, maximum on hypercubes bounded by values in corners?
Let $f : \mathbb{R}^d \rightarrow \mathbb{R}$ be infinitely often continuously differentiable and convex.
For $d = 1$, we know that for any interval $[a, b]$, it holds for $x, y \in [a, b]$ that
$$
(f'...
- 1,095
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
1
answer
346
views
Alike looking matrices imply convergence of eigenvalues?
This is a question about convergence of eigenvalues which essentially came up in studying the spectrum of St.-Liouville operators.
We want to look at matrices that agree in most of their entries and ...
user54300
2
votes
1
answer
1k
views
Coercive Symmetric Bilinear form on a Hilbert space
I need to show one of the two following equivalent results. If true, it must be a simple proof but I do not seem to be able to make it work. Thank you in advance.
1) Consider a continuous symmetric ...
2
votes
1
answer
153
views
Regarding upper semicontinuity of a function
Let $E$ be a linear subspace of $\mathbb{C}^{n\times n}$.
Define the function $\mu_E:\mathbb{C}^{n\times n}\longrightarrow \mathbb{R}_+$ as
$$
\mu_E(A)=\frac{1}{\inf\{\|X\|:X\in E\text{ and }\det(I_n-...
- 31
2
votes
1
answer
265
views
How can I prove that the negative biased triangular kernel is positive semidefinite
How can I prove that the following triangular kernel function defined in $[0, 1] \subset R^1$
$k(x, x') = (1 - 2|x-x'|)$
is a positive semidefinite function?
It turns out to be psd function when ...
2
votes
2
answers
522
views
Existence of a projection operator onto a classical set of density matrices
I have a Hilbert space of quantum density matrices written in the Glauber-Sudarshan P representation - ie. we have coherent states $|\alpha \rangle$ and we write density matrices as
$$ \rho = \int d^2\...
2
votes
1
answer
247
views
Factorization of bivariate polynomial
Let $q(y, z) = u_1 + u_2y + u_3 z + u_4y^2 + u_5yz + u_6z^2 + u_7y^3 + u_8y^2z + u_9yz^2 +$ $\hspace{2.55cm}u_{10}y^3z + u_{11}y^2z^2 + u_{12}y^3z^2$
Can $q(y, z)$ be factorized as
\begin{...
- 23
2
votes
0
answers
331
views
What is the spectrum of this differential operator?
My self-adjount differential operator $L$ is defined by $$L f(x) \equiv u(x) \frac{\partial^2}{\partial x^2} \left( u(x) f(x) \right)$$ where $u(x)$ is a known but arbitrary smooth function that ...
- 151
2
votes
0
answers
60
views
Basis vectors using anti-commuting operators?
Let $V$ be a finite-dimensional inner product space. Suppose $A_{1},...,A_{N}$ are anti-commuting operators, meaning that these are linear operators on $V$ that satisfy:
$$A_{i}A_{j}+A_{j}A_{i} = A_{i}...
- 1,305
2
votes
0
answers
83
views
Closed form solutions to polynomial operator equations
To the best of my knowledge the problem at hand is a generalisation of monic matrix polynomials. Can a closed form solution to the following equation be found,
$$u_3A_3X^3B_3 + u_2A_2X^2B_2 + ...
2
votes
0
answers
258
views
Orthogonal complement of arbitrary intersection of Hilbert subspaces
Let $H$ a Hilbert space, and $\mathcal C$ an arbitrary set of closed subspaces of $H$. Is it true that
$$\left( \bigcap_{Z\in \mathcal C}Z\right)^\perp = \overline{\sum_{Z\in \mathcal C} Z^\perp}$$
...
- 63
2
votes
0
answers
134
views
How to prove $\|I-P\| = \|P\|$ for any non-trivial projector? [duplicate]
I noticed that in the paper [1] this property is proved by explicitly computing the singular values of $P$ after realizing $P$ in finite dimension as oblique projection matrix. I am wondering if there ...
- 205
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 ...
- 4,058
2
votes
0
answers
81
views
An square root of the multiplicative operator on $\ell^1(\mathbb{Z}_n)$
Let us consider the finite group algebra $\ell^1(\mathbb{Z}_n)$. Let $x=(x_0,\cdots,x_{n-1})$ in $\ell^1(\mathbb{Z}_n)$ and define
$$M_x: \ell^1(\mathbb{Z}_n)\to \ell^1(\mathbb{Z}_n) : M_x(a)=a*x$$
...
- 4,058
2
votes
0
answers
57
views
spilt the sum of singular values of matrices
Let $A_{i} \in GL(d, \mathbb{R})$ for $i=1, 2, 3.$ For $q>0$, we denote $t_{3}^{q}=\sum_{i=0}^{3} \sigma_{1}^{q}(A_{i})\sigma_{2}^{q}(A_{i})\sigma_{3}^{q}(A_{i})$, $t_{2}^{q}=\sum_{i=0}^{3} \sigma_{...
- 1,043