All Questions
Tagged with fa.functional-analysis linear-algebra
325 questions
1
vote
0
answers
85
views
What are good bounds on ratios of subdeterminants?
Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...
- 1,893
3
votes
2
answers
939
views
Positive definiteness of infinite tridiagonal matrices
I am interested in the following problem: I have an infinite symmetric tridiagonal matrix
$$
A=
\begin{bmatrix}
a_1 & b_1 & & & \\
b_1 & a_2 & b_2 & & \...
- 692
1
vote
0
answers
270
views
Eigenvalue of product of self adjoint compact operators
Suppose A is a self adjoint $m \times m$ real matrix with eigenpairs $\{e_j, \lambda_j\}$ such that $\lambda_j > \lambda_{j + 1}$. Let $B$ be another self adjoint real $m \times m$ matrix such that ...
- 2,545
8
votes
3
answers
526
views
Lower bound for spectral radius on $\operatorname{GL}(n,\mathbb{Z})$
Consider the group of matrices $G =\operatorname{GL}(n,\mathbb{Z})$ with integer entries and determinant $\pm 1$. For each matrix $D \in G$, the product of the eigenvalues of $D$ is equal to $\det D =\...
- 47.4k
8
votes
0
answers
421
views
Approximate singular value decomposition in Banach spaces
I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are finite-...
- 6,206
6
votes
1
answer
277
views
Diagonalization of the matrix $(1/(i+j+\rm{const}))_{i,j}$
Consider the following infinite matrix: $A_{i,j}=\frac1{i+j+\gamma}$, $0\leq i,j<\infty$, $\gamma>0$ is a constant. Is it known how to diagonalize $A$, or, say, calculate $(I+tA)^{-1}$ for ...
- 15.4k
0
votes
1
answer
177
views
$Ax=b$ in a function space
Let
$X$ be compact Hausdorff topological space,
$C(X)$ denote the algebra of complex-valued continuous functions on $X$,
$b\in \mathbb{C}^m$,
$\mathbf{A}\in C(X)^{m\times n}$,
for all $x\in X$, $b\...
- 13k
5
votes
2
answers
11k
views
How to prove that a kernel is positive definite?
For example, how to prove
$\forall(x,y)\in R^N\times R^N,K(x,y) = \displaystyle\frac{1}{1+\frac{||x - y||^2}{{\sigma}^2}}\\$
where $\sigma > 0$ is a parameter, is positive definite? I have tried to ...
- 28.6k
9
votes
1
answer
598
views
Trouble with Jordan form of the truncated Carleman-matrix for $\sin(x)$ as size $n$ goes to infinity
I'm currently trying to get familiar with the Jordan normal form for matrices; and after some example I ask for the possible Jordan-form for the Carleman matrix for the function $f(x) = \sin(x)$ when ...
- 5,342
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 ...
- 20.2k
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 ...
- 54.2k
2
votes
0
answers
216
views
Separating duality for TVS?
What is the modern concept (term) for "separating duality" (dualité séparante in french) in the sense of Bourbaki (TVS Ch II § 6) as explained in the following ?
...
- 3,738
5
votes
1
answer
641
views
Characterizing invertible nonnegative matrices with bounded sums
Almost a year ago, I asked in this question about obtaining a tight bound on the sum of the entries of the inverse of a strictly positive definite matrix. Denis Serre gave a nice counterexample ...
CommunityBot
- 1
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 ...
- 15.8k
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 ...
- 9,366
18
votes
3
answers
1k
views
Example of a space for which $V \cong Hom(V,V)$
Let $V$ be a topological linear space, and let $\operatorname{Hom}(V,V)$ be the space of continuous linear maps from $V$ back to $V$, equipped with a suitable topology.
Is there a non-trivial ...
- 201
1
vote
1
answer
176
views
Linear map with two "incompatible" representations
Let $K$ be a field and let $V$ be the set of sequences $\{v_1,v_2,\dots\}$ of elements of $K$. If $A=\{a_1,a_2,\dots\}$ is also a sequence of elements of $K$, then it defines an endomorphism of $V$ $$...
- 42.8k
12
votes
2
answers
1k
views
Matrix inequality $(A-B)^2 \leq c (A+B)^2$ ?
Let A and B be positive semidefinite matrices. It is not hard to see that $(A-B)^2 \leq 2A^2 + 2B^2$. In fact, $2A^2 + 2B^2 - (A-B)^2 = (A+B)^2$ is positive semidefinite.
My question is: Is there a ...
- 1,748
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$,...
- 28.6k
12
votes
1
answer
2k
views
Comparing Krein-Rutman theorem and Perron–Frobenius theorem
Krein–Rutman theorem is a generalization of Perron–Frobenius theorem, I know that things could be more subtle in infinite dimension, yet there's an important result in Perron–Frobenius that's missing ...
- 273
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
6
votes
2
answers
405
views
$\|T\|_2 \le \sqrt{\|T\|_1\|T\|_\infty}$
Let $T$ be a linear operator acting on a finite-dimensional real or complex
vector space. As a direct consequence (or rather a particular case) of the
Riesz-Thorin theorem, we have
$$ \|T\|_2 \le \...
- 7,633
4
votes
0
answers
404
views
Hilbert Schmidt Operators and the Conditional Expectation Operator
Consider the function $\text{E}_W: L_2(\mathbb{R},P_X) \mapsto L_2(\mathbb{R},P_W)$ where $P_X$ and $P_W$ are two different probability measures. They are related in such a way that if $f_X$, $f_W$ ...
- 289
4
votes
1
answer
135
views
Characterization(?) of coersive(?) elements in the special linear group
Take your favorite matrix norm $\|\bullet\|$ (my favorite is the Frobenius norm $\|A\| = \sqrt{\operatorname{tr} A A^t}$). Now consider the set $S_x$ of matrices $A,$ such that
$\|A\| < x$ and $\|...
- 44.4k
1
vote
1
answer
686
views
dual space of the quotient space of some locally convex topological space
I would like to a classical result about dual space. Let $E$ be a locally convex space and $F$ its closed linear subspace. If $E^{\ast}$ is the dual space of $E$, could some one affirm me that the ...
- 25.3k
5
votes
0
answers
148
views
Groups of operators between local unitaries and full unitaries
Consider the group $U(d_1) \otimes U(d_2)$ of "local unitary" operators acting on the complex space $\mathbb{C}^{d_1} \otimes \mathbb{C}^{d_2}$ (i.e., $U(d_1) \otimes U(d_2)$ is the group of unitary ...
- 6,351
1
vote
1
answer
223
views
A linear algebraic q-difference equation [SOLVED]
I would like to solve the following algebraic linear q-difference equation:
\begin{equation}
a\left(x\right)f\left(x\right)=f\left(qx\right)
\end{equation}
The parameter $q$ is real, positive and ...
- 133
2
votes
0
answers
88
views
System of 2 linear q-difference equations with singular matrix
I would like to solve the following algebraic linear system of q-difference functional equations:
\begin{cases}
a_{11}\left(x\right)f\left(x\right)+a_{12}\left(x\right)g\left(x\right)=f\left(qx\right)...
- 133
4
votes
1
answer
189
views
Weak ergodicity of nonhomogenous products of 0-1 matrices
Here is a question which probably has a negative answer, but I couldn't find any literature directly on it.
Let $(A_n)$ be a sequence of rectangular 0-1 matrices (that is, the entries are restricted ...
- 23.2k
3
votes
1
answer
494
views
A question on Grassmannian
Let $V$ be the space of $4$ by $4$ Hermitian matrices, that
is a vector space of dimension $16$ over $\mathbb{R}$. Is the uniform
measure of
$$
\left\{ W\in Gr\left(5,V\right):W \text{contains no ...
CommunityBot
- 1
2
votes
0
answers
648
views
Closed-form expressions for dual norms of real normed vector spaces
Didn't get any biters over at MSE, so I figure this place might be more appropriate...
Say that $V$ is a finite-dimensional real normed vector space, where for some $v \in V$ the norm is notated by $\...
- 4,897
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 ...
- 6,206
7
votes
1
answer
531
views
Are dual spaces barreled?
Let $X$ denote a topological affine space (with no additional assumptions). Let $X^*$ denote its dual space of continuous affine functionals, equipped with the weak-$*$ topology. It is easy to see ...
- 1,287
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 ...
CommunityBot
- 1
4
votes
1
answer
480
views
Isomorphisms between topological vector spaces [closed]
Let $f : X \to Y$ be a continuous map of complete topological vector spaces. Suppose that $A \subseteq X$ and $B \subseteq Y$ are proper, dense linear subspaces, and that the restriction map $f : A \...
- 8,512
4
votes
0
answers
94
views
Algebraic conditions of separability
Let $X$ be a real vector space (without any norm), and $Y$ be a convex subset of $X$, $0\notin Y$. The goal is to find a hyperplane $L$ passing through 0 such that $Y$ lies in a closed halfspace ...
- 109k
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\...
3
votes
1
answer
379
views
Schur product, partial order
Let $A, B$ be positive definite matrices. Then $A^r\circ B^r \le (A\circ B)^r$ for $0\le r\le 1$, where $\circ$ is Schur product. Here the inequality is in the sense of Loewner partial order.
How to ...
- 28.6k
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 ...
- 882
4
votes
1
answer
2k
views
lipschitz constant of a multivariate function
I have a function $f:\mathbb{R}^{50} \rightarrow \mathbb{R}$ and I need to compute the Lipschitz constant of $f$ to solve an optimization problem using a specific algorithm. Does any one have ...
- 28.6k
25
votes
16
answers
4k
views
functions satisfying "one-one iff onto"
Hello Everybody.
I need some more examples for the following really interesting phenomenon:
A function from the class ... is one-one iff it is onto.
Some ...
CommunityBot
- 1
1
vote
1
answer
387
views
All and the only algebraically closed fields s.t. any regular n-by-n matrix has a k-th root for every k
The title has it all. I'm looking for a proof/disproof of the fact that an algebraically closed field, say $\mathbb K$, has characteristic zero iff the following property (R) holds: For all $n,k \in \...
CommunityBot
- 1
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
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 ...
- 28.6k
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{...
- 188k
9
votes
2
answers
1k
views
Rescaling positive definite matrices to force a unit eigenvector
Hello,
Let $X'X$ be a positive definite matrix and let $\mathbf{1}$ denote the vector of ones.
I'm hoping to construct a positive, diagonal matrix $W$ such that
$$(W X'X W) \mathbf{1} = \mathbf{1}$$...
- 193
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 ...
- 42.8k
8
votes
3
answers
1k
views
Relating a Polynomial equation to the characteristic equation of a Hermitian matrix
This question arose out of mere curiosity. Given a polynomial equation and I happen to know that its roots are real (but not the roots itself). Does it mean it is the characteristic equation of a ...
0
votes
0
answers
244
views
Checking whether this would be bounded
It may be better to post this question here. Assume that $M$ is an $m$ by $m$ ($m$ is an even number) symmetric
positive-semi-definite matrix with exactly $m/2$ positive eigenvalues
and every entry of ...
- 1
16
votes
3
answers
791
views
Random products of projections: bounds on convergence rate?
The von Neumann-Halperin [vN,H] theorem shows that iterating a fixed product of projection operators converges to the projector onto the intersection subspace of the individual projectors. A good ...
- 201