# Tagged Questions

**1**

vote

**2**answers

105 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 ...

**4**

votes

**0**answers

82 views

### Strong convexity of the trace of the square root of a matrix function

Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...

**2**

votes

**1**answer

96 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

**0**answers

73 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 ?
...

**2**

votes

**1**answer

280 views

### Operator norm vs spectral radius for positive matrices

I believe the following statement should be true but somehow I don't see an argument:
For every integer $d>1$ there exists a constant $C=C(d)>1$ such that whenever $A$ is a $d \times d$ matrix ...

**3**

votes

**1**answer

124 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 ...

**0**

votes

**0**answers

93 views

### Equivalence of Positive Matrix in Infinite Dimensional Vector Space

What is the corresponding linear operator on an infinite dimensional vector space, say a Banach space or Hilbert space, to the nonnegative matrix on a finite dimensional vector space? What is the ...

**6**

votes

**1**answer

190 views

### Horn's inequalities for n matrices

Where I can find necessary and sufficient conditions on eigenvalues of Hermitian matrices with the relation $$A_1 + A_2 + ... + A_n = A_0 ,$$
i.e. Horn's inequalities for n matrices?
Can such ...

**1**

vote

**1**answer

142 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$ ...

**6**

votes

**2**answers

254 views

### elementwise functions of positive definite matrix

The fact that the Schur (that is, element wise) product of two positive definite (symmetric) matrices is positive definite immediately implies (using the convexity of the positive semi definite cone) ...

**2**

votes

**2**answers

253 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 ...

**5**

votes

**1**answer

185 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 ...

**3**

votes

**0**answers

131 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!

**6**

votes

**2**answers

315 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 ...

**2**

votes

**0**answers

105 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$ ...

**4**

votes

**1**answer

123 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 ...

**1**

vote

**0**answers

46 views

### Bounding Rayleigh quotioent for stochastic matrix

Suppose you have an irreducible, stochastic matrix $A$ with left Perron-Frobenius eigenvector $v$ (corresponding to the eigenvalue $1$), and suppose the next largest eigenvalue for $A$ is $\lambda$. ...

**0**

votes

**1**answer

83 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 ...

**4**

votes

**0**answers

84 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 ...

**18**

votes

**3**answers

993 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 ...

**1**

vote

**1**answer

162 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 ...

**2**

votes

**0**answers

66 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}
...

**4**

votes

**1**answer

116 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 ...

**9**

votes

**1**answer

321 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 ...

**0**

votes

**0**answers

65 views

### Interpret some coefficients in algebras

Let $A$ be a real vector space equipped with a scalar product $\langle \,,\,\rangle$, and assume moreover that a multiplication is define on it so that becomes an algebra (e.g. polynomials with the ...

**4**

votes

**1**answer

463 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 ...

**0**

votes

**0**answers

174 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 ...

**2**

votes

**1**answer

113 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 ...

**4**

votes

**1**answer

160 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 ...

**4**

votes

**1**answer

255 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 ...

**4**

votes

**1**answer

430 views

### Cauchy-Schwarz inequality for bilinear forms valued in an abstract vector space

I previously posted this question on Math.SE but didn't receive an answer. It is perhaps a little vague; part of what I want to know is what question I should ask.
First, consider the following form ...

**3**

votes

**0**answers

71 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 ...

**2**

votes

**2**answers

220 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 ...

**3**

votes

**1**answer

174 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 ...

**2**

votes

**1**answer

206 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

254 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 ...

**0**

votes

**1**answer

243 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 ...

**3**

votes

**0**answers

151 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$?
...

**4**

votes

**2**answers

526 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 ...

**2**

votes

**1**answer

171 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
...

**8**

votes

**2**answers

371 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} = ...

**2**

votes

**1**answer

255 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 ...

**8**

votes

**3**answers

448 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

239 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 ...

**0**

votes

**1**answer

145 views

### Positive definite Hermitian matrices of countable rank

Say that a $\omega\times \omega$ Hermitian matrix $A$ is positive semidefinite of rank $n$ if there exists a $\omega\times n$ complex matrix $B$ such that $A=B B^\dagger$ where $^\dagger$ denotes the ...

**2**

votes

**0**answers

147 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**

votes

**0**answers

126 views

### reference for perturbation of projection result

Let $A$ and $B$ have the same rank and dimensions. If $P_A$ denotes the projection onto the range space of $A$, then
$$
\|P_A - P_B\|_2 \leq \|A - B\| \cdot \min (\|A^\dagger\|_2, \|B^\dagger\|_2).
$$
...

**0**

votes

**0**answers

170 views

### The ratio of two strictly increasing functions

Given:
\begin{equation}
f_1(a)=\sum_{i=1}^{k^*-1} \left(\begin{array}{c}
K \\\
i \\
\end{array} \right) \left(-1-\frac{1}{ar}\right)^i
\end{equation}
\begin{equation}
f_2(a)=\sum_{i=1}^{k^*-1} ...

**7**

votes

**2**answers

387 views

### polynomials with minimal $L_\infty$ norm on multiple disjoint intervals

It is well-known that Chebyshev polynomials are the polynomials of minimal $L_\infty$ norm on [-1,1] with leading coefficient 1. But what if you want the minimal $L_\infty$ polynomial on two disjoint ...

**22**

votes

**16**answers

2k 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 ...