All Questions
Tagged with fa.functional-analysis linear-algebra
325 questions
0
votes
1
answer
130
views
Maximal length vector under constraints
Consider a criculant symmetric $M$ an $n \times n$ matrix with $0$ and $1$ entries and $r$ entries of $1$ in each row with the diagonal values taken as $1$. I am looking for a $0-1$ vector $v$ with ...
- 800
5
votes
1
answer
418
views
positive hermitian elements in $M_n(\mathbb{C})$
Elements of the set $P$ of positive hermitian $n×n$ matrices over complex numbers
have some special properties:
(i) they are closed under sum,
(ii) they are closed under multiplication by positive ...
- 179
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 ...
- 28.6k
0
votes
2
answers
415
views
Commutative *-subrings of the noncommutative C*-algebra $B(l^2)$
A $\star$-ring is a ring with an involutive anti-automorphism. The simplest example of a noncommutative $\star$-ring is perhaps $B(l^2)$, the ring of bounded linear functions on the sequence space $l^...
user2529
3
votes
2
answers
2k
views
trace norm inequality for positive matrices
If $A, B$ are positive $n \times n$ complex matrices, $n$ some integer, then obviously \begin{equation*} \|ABA\|_\text{tr} = tr(ABA) = tr(A^2 B). \end{equation*}
But can we say there is a constant $...
7
votes
2
answers
7k
views
Dual operators between Hilbert spaces: with or without Riesz representation
Let $X$ and $Y$ be Hilbert spaces over the real numbers (so complex conjugation plays no role, and everything will be linear in the strict sense). Let $f : X \rightarrow Y$ be a linear continuous ...
- 5,327
0
votes
1
answer
503
views
When are operators extended by linearity bounded?
Greetings.
Suppose that $H$ is a separable infinite-dimensional Hilbert space and that $M$ is an infinite
dimensional closed subspace of $H$. Suppose that {$v_{n}: n\ge 1$} is an infinite linearly ...
- 129
8
votes
1
answer
1k
views
Spectra of a Symmetric Toeplitz Operator
For a physics application, I would like to be able to compute the eigenvalues of the linear operator (acting on the Hilbert space $\ell^2$) given by an infinite matrix of the form
$\begin{bmatrix}
...
- 81
2
votes
0
answers
520
views
Eigenvector of infinite matrix
I consider the system of reaction-diffusion PDEs in a ball
with Robin boundary condition.
It is a Steklov eigenvalue problem
(see G Auchmuty (2004) "Steklov eigenproblems and the representation
of ...
- 31
1
vote
0
answers
174
views
Eigenvalues of a Parametrized Family of Linear Functions
Suppose that we have a family of linear functions $L(\alpha) : \mathbb{R}^n \rightarrow \mathbb{R}^n$, where $\alpha$ is a positive real number.
For each $\alpha$, it is given that $L(\alpha)$ is a ...
- 111
1
vote
1
answer
254
views
Extending linear operators to multi-linear ones
Suppose we are given a linear operator $L$ on a Banach space $X$. Is there any way to extend $L$ to a multi-linear operator $\mathcal{L}$ in such a way that
$$\mathcal{L}(x_1, x_2^*, \ldots, x_n^*) = ...
user7807
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
18
votes
1
answer
1k
views
Commuting unitaries
Is the following true:
For every unit vectors $x_1,..., x_n$, $y_1,..., y_n$ in $\mathbb{C}^k$
there exist a Hilbert space $H$, unitary operators $U_1,...,U_n$ and $V_1,...,V_n$ in $B(H)$ and unit ...
- 4,705
1
vote
0
answers
466
views
Bounding point-wise maximum of the absolute difference of two convex functions
Let $\Delta: R \times R \rightarrow R_{+}$ be a positive and convex function (convex in, say, both the arguments) called the loss function.
Let $x \in R^d$. Moreover, let $H_1,...,H_r$ be sets of ...
- 11
1
vote
1
answer
304
views
How do maximum norms relatively change in Euclidean translations
Let $Q$ be the cube $[-1,1]^{3}$ and $\pi$ be a plane in $\mathbb{R}^{3}$
that contains the origin but doesn't contain any vertex of $Q$. Suppose that $A$ is an invertible
linear transformation from $\...
- 11
0
votes
1
answer
263
views
Separability of inner product to a product of Minkowski function and norm
I’ve encountered the following assumption:
Let D be a set such that there exists a Minkowski function $f(u)$ on $\mathbb{R}^l$ and norm $g(v)$ on $\mathbb{R}^m$ such that
$\forall u\in \mathbb{R}^l, \...
- 1
6
votes
4
answers
7k
views
Why do we want to have orthogonal bases in decompositions?
In the decompositions I encountered so far, we all had orthogonal set of bases. For example in Singular Value Decomposition, we had orthogonal singular right and left vectors, in [discrete] cosine ...
- 497
-1
votes
1
answer
2k
views
Absolute values and Frobenius norm [closed]
The Frobenius, or Hilbert-Schmidt, norm of an $n$ by $n$ matrix $A$ is defined as $\|A\|_2 = \sqrt{\sum_{i,j=1}^n |A_{ij}|^2}$. The absolute value of $A$ is the unique positive matrix $|A|$ satisfying ...
- 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 ...
- 181
3
votes
1
answer
572
views
When is a finite matrix a "good" approximate representation of an operator?
I am interested in representing an arbitrary charge density (say, of atoms in a molecule) $\rho(r), \; r\in \mathbb{R}^3$ by a finite linear combination of basis functions
$\rho(r) = \sum_{i=1}^N q_i ...
- 1,890
7
votes
1
answer
347
views
Nonexistence of determinantal functional equation for $\arccos$
Suppose I have distinct real numbers $a_i \in [-1,1]$, $i \in [k]$. I want to choose real numbers $b_j, j\in [k]$ such that the matrix $(\arccos(a_i b_j))_{i,j \in [k]}$ is nonsingular.
Is this ...
- 1,021
12
votes
4
answers
1k
views
Topologizing free abelian groups
For any set $S$ one can consider the free abelian group $\mathbb{Z}[S]$ generated by this set. Now suppose, there is a topology on $S$ given. Is it possible to find a topology on $\mathbb{Z}[S]$ in ...
- 11.1k
9
votes
1
answer
708
views
Hilbert spaces are induced by a bilinear form. How about n-linear forms?
A Hilbert space is a complete vector space equipped with scalar product, i.e. a symmetric positive definite bilinear form.
What if we replace 'bilinear' by 'n-linear'? One might wonder, whether the $...
- 5,327
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
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