All Questions
1,925 questions with no upvoted or accepted answers
1
vote
0
answers
94
views
Space spanned by pointwise squares of basis functions
Consider the Hilbert space $L^2(\Omega)$ over some Euclidean domain $\Omega$.
Let $F=\{f_i;i\in\mathbb N\}$ be an orthonormal basis of this space consisting of functions in $L^2(\Omega)\cap L^4(\Omega)...
- 8,086
1
vote
0
answers
399
views
Center of matrices
I encountered a neat problem in a problem in particle physics
So given $n$ skew symmetric matrices $A_1,...,A_n$ in $\mathbb{C}^{d \times d}.$
I would like to call this the commutator property: $...
1
vote
0
answers
256
views
Significance of Tikhonov matrix
I am looking for a tutorial on Tikhonov matrix, in the sense what it can do or it cannot do. The definition of the matrix can be obtained in the wikipedia link. https://en.wikipedia.org/wiki/...
1
vote
0
answers
83
views
What is optimal distance between inverse of convolution operator?
I am looking for a measure to find the optimal distance measure between inverse of an convolution operator $A$ and say another convolution operator $B$. I want my measure to be sharp that mean when $B$...
1
vote
0
answers
72
views
basis representation of a special sinc kernel
I have a functional map from $(x,y) \in \mathbb{R}^2$ to another function $f_{x,y}(z,w) \in \mathbb{C}$. (Variables $z,w $ range from $-\infty$ to $\infty$.) That is, for any pair $x,y$, I get a ...
- 31
1
vote
0
answers
155
views
When can a binary matrix be transformed into a certain form
I have a $k \times n$ matrix $G$ over ${\mathbb F_2}$ that's full rank.
This can always be put in systematic form : $G \sim [I_k \mid P]$ where $I_k$ is a $k \times k$ identity matrix and $P$ is a $k \...
- 451
1
vote
0
answers
153
views
Lower bound on the difference of singular values
Suppose $X, U \in \mathbb{R}^{n \times r}$, $n>r$, with compact SVD $X = \Phi_1 \Sigma_1 \Theta_1$ and $U = \Phi_2 \Sigma_2 \Theta_2$, $\Phi_1,\Phi_2 \in \mathbb{R}^{n \times r}$ and $\Sigma_1,\...
- 85
1
vote
0
answers
497
views
Reverse-mode Hessian matrix of the Cholesky factor
Let $ f(L) $ be a scalar function of the lower triangular Cholesky decomposition of the covariance matrix $ \Sigma $ such as $ \Sigma = LL' $.
Let's assume that we know the first and second derivative ...
- 11
1
vote
0
answers
55
views
On the Lowener-Heinz inequality
I know that for two symmetric positive semi-definite (non-diagonal) matrices $A,B$, the inequality asserts that the following does not hold for all $p > 1$
$$A \succeq B \succeq 0 \Rightarrow A^p \...
- 11
1
vote
0
answers
76
views
Linear independence of an odd set of measurable functions
Let $g(t)$ be a convex positive function. I'm trying to show that the set $\{ |t|^ne^{\frac{g(t)}{t^n}}\}_{n\in \mathbb{N}}$ is linearly independent in the space of measurable functions on $\mathbb{R}...
- 5,405
1
vote
0
answers
173
views
Generating $\mathfrak{so}(7)$
Short version: Let $V$ be a 7-dimensional linear space of (real) square matrices. Suppose further that $[V,V]$ (the linear space spanned $[X,Y]$, $X,Y\in V$) is actually a subalgebra isomorphic to $\...
- 369
1
vote
0
answers
96
views
Determinant formula related to solutions of a second-order recurrence
Let $A$ be the linear map on the space of complex sequences acting as
$$(Au)_{n}=u_{n-1}+a_{n}u_{n}+u_{n+1}, \quad n\in\mathbb{Z},$$
where $\{a_{n}\}$ is a fixed sequence. Let $f=f(z)$ and $g=g(z)$ be ...
- 2,188
1
vote
0
answers
167
views
Largest eigenvalue of signed graph
Let us consider a graph where edges can have weight 1 or -1, such a graph is called signed graph. In a signed graph, a cycle is called balanced cycle when product of weights on its edges is positive ...
- 640
1
vote
0
answers
947
views
max min of ratio of quadratic forms
Consider the optimization over two vectors $x$ and $y$
$$\max_{x,y} \min\left(\frac{x^TAx}{y^TAy},\frac{y^TBy}{x^TBx}\right)$$
for two positive definite matrices $A$ and $B$.
This problem can be ...
1
vote
0
answers
174
views
Negative eigenvalue of Toeplitz Hermitian matrix?
I am working on estimation of a covariance matrix and I know that the matrix is Toeplitz. The desired matrix should not produce negative eigenvalues at all. However, sometime my estimation leads to a ...
- 495
1
vote
0
answers
56
views
Matrix diagonalization after a completely positive transformation
I have a hermitian matrix $A$ which can be diagonalized:
$$A=UDU^+,$$
where U is the unitary matrix and D is the diagonal matrix.
Next, I have a completely positive transformation over it, which is ...
- 171
1
vote
0
answers
444
views
Number of positive eigenvalues of the product of two matrices
Let $A\in\mathbb{R}^{n\times n}$ be a matrix that has at least one positive eigenvalue with positive real part. Let $B\in\mathbb{R}^{n\times n}$ be a matrix where all its eigenvalues have positive ...
- 23
1
vote
0
answers
84
views
A problem of defining addition in a Quotient space
Let $\mathcal{C}$ be the space of all parametric curves $x:[0,1]\rightarrow \mathbb{R}^2$. Let the set of all re-parameterizations of curves is $\Gamma = \{\gamma : [0, 1] \rightarrow [0, 1]| \gamma (...
- 213
1
vote
0
answers
90
views
Separable Least squares - is there a notion of conjugate directions?
I have a general question.
Suppose I have the following to optimize
$$\|Y-A(\mathbf{x})B(\mathbf{y})\|^2$$
where $Y$ is a vector, $A(\mathbf{x})$ is a matrix that depends on a vector $\mathbf{x}$ in a ...
- 61
1
vote
0
answers
517
views
Complex conjugate and unitary complex conjugate
Definition: Let V be complex finite dimensional inner product space
Complex Conjugate: $J$ is called complex conjugate on V iff $(i) J$ is antilinear $(ii) J^2 =I$
Definition: Anti-unitary Complex ...
- 121
1
vote
0
answers
227
views
Find optimal value for a regularization parameter in generalized eigenvalue problem
Consider the generalized eigenvalue problem :
$ \Sigma_{XY} \Sigma_{YX} {W} = \lambda \Sigma_{XX} {W} $
where $\Sigma_{XX} $ and $\Sigma_{XY}$ are sample covariance matrices are of the matrices $X$...
- 45
1
vote
0
answers
137
views
Boundary of pseudospectra
Suppose:
$B_i \in \mathbb{C}^{n \times n}$, $0<w_i\in \mathbb{R}$ $(i = 0,1,2,\ldots,m)$
${\rm P}(x) ={\rm{B}_m} x ^m + \cdots + B_1 x + B_0$ is a matrix polynomial, and $x $ is a complex ...
- 151
1
vote
0
answers
84
views
Extra-Lorentzian Kac-Moody algebras
My question is about Kac-Moody (KM) algebras of finite rank with symmetrized Cartan matrices $B = C A$ ($A$ is Cartan matrix) of signatures $(-,-,+,...,+)$, $(-,-,-,+,...,+)$, etc. i.e. with $2$,...
- 371
1
vote
0
answers
208
views
the linear span of all matrix coefficients is $C(G,\mathbb{C})$ where $G$ is a finite group
Theorem. Let $\{(R_{\alpha},V_{\alpha})\}$ be a complete set of inequivalent irreducible finite dimensional representations of a finite group $G$. Let $V_{R_{\alpha}}$ be the subspace generated by all ...
- 155
1
vote
0
answers
96
views
Let $M = \frac{1}{2}(A + {A^T})$ be real symmetric nonnegative matrix. Why does $\rho (A) \le {\lambda _{\max }}(M)$?
Let $A \in M_n$ be nonnegative, and consider the real symmetric nonnegative matrix
$M = \frac{1}{2}(A + {A^T})$.
Why does $\rho (A) \le {\lambda _{\max }}(M)$?
- 11
1
vote
0
answers
59
views
How to associate the following two kinds of real polynomials?
Suppose the following real polynomial of $n$ variables
$$f(X_1,X_2,\cdots,X_n)=\sum_{I=(i_1,i_2,\cdots,i_n)}a_IX_1^{i_1}X_2^{i_2}\cdots X_n^{i_n}$$
is easy or familiar to us, but I need to deal with ...
- 1,997
1
vote
0
answers
84
views
References for a minor variant of the Rayleigh quotient
I believe this variant of the Rayleigh quotient inequality must be well known but I could not find references for it online. It's proof is straightforward.
Let $\mathbf{A}\in\mathbb{R}^{n\times n}$ ...
1
vote
0
answers
72
views
Triangle inequality for nonconvex functions of singular value vector
For a nonconvex function $p_\lambda(\cdot)$, with hyper-parameter $\lambda$, it can be decomposed into two parts that $p_\lambda(t) = \lambda |t| + q_\lambda(t)$, where $q_\lambda(t)$ is the concave ...
- 31
1
vote
0
answers
141
views
For of a special case of $Ax>=b$, are there always integer solutions?
The input consists of two integers $n\geq 2$ and $K\geq 2$, and a vector of positive integers $b$ of size $n$. We assume that $\sum_i b_i$ is a multiple of $K$.
The output is a matrix $A(n\times n)$ ...
- 123
1
vote
0
answers
149
views
Product of elementary divisors
Let $A$ be an $(m \times n)$ integer matrix (if it helps, we can assume that a is a square matrix). Let $d_i,\ldots,d_s$ be the elementary divisors of $A$. I am interested in the product $\prod_{i=1}^...
- 1,101
1
vote
0
answers
164
views
Eigenvalues of a partitioned self-adjoint matrix
This is a repost of the same question on MSE (with no reply/comment):
https://math.stackexchange.com/questions/1454314/eigenvalues-of-a-partitioned-self-adjoint-matrix
I would be grateful just for a ...
- 27
1
vote
0
answers
642
views
On triangular Toeplitz matrices
Let $R(x)$ be the upper triangular Toeplitz matrix with first row $x$, so that $R_{ik}=x_{k-i+1}$ if $i\le k$ and $R_{ik}=0$ otherwise. Let $N(n)$ be the smallest number $N$ such that there exist $u_j,...
- 3,873
1
vote
0
answers
326
views
Symplectic spectrum
I have a question about a step in the proof of the following theorem from symplectic geometry.
The theorem is: Given any ellipsoid $E:=\{ w \in \mathbb{R}^{2n}; \sum_{i,j =1}^{2n} a_{ij}w_iw_j \le 1\}...
- 181
1
vote
0
answers
138
views
Minimum rank of certain matrices
Let $\mathscr{M}[n]$ be collection of $n\times n$ matrices with real entries from $\{0,1\}$ such that every row is distinct and every column is distinct.
What is minimum real rank of matrices in $\...
- 13.9k
1
vote
0
answers
129
views
Volume element of symmetric definite matrices in polar coordinates
I have a difficulty to understand the following statement. I don't ask for a proof but just understand the statement concretely (what it does mean, how to apply it...)
Let $\mathcal P_n$ be the ...
- 11
1
vote
0
answers
66
views
Products of random permutations with fixed matrix
This question originates from an engineering problem, which I am solving. Any related references are highly appreciated.
Let $M_k(T)=\prod_{t=1}^T P_t S_k$ over some field (finite or reals), where $...
- 161
1
vote
0
answers
60
views
Stochastic independence of columns of projection matrix to the rest of the columns of a random matrix
First let me describe the setting of the problem.
I have a random matrix $A\in \mathbb{R}^{m\times n},\ (m<n)$ with $a_{ij}\sim \mathcal{N}(0,I)$ i.i.d. Let there be a given set of $K (K<m)$ ...
1
vote
0
answers
148
views
Perturbation of eigenvalues of some special matrices
In perturbation theory of linear operators, one major question is how the eigenvalues of a linear operator $A$ change under a small perturbation, $A(x) = A + xP$, with $x\in\mathbb{R}$. For instance, ...
- 61
1
vote
0
answers
59
views
Analogs of the paralleloram identity in higher degrees
I asked this two months ago in MSE, but nobody answered, so I hope it will be suitable here.
A homogenious polynomial of degree $k\in{\Bbb N}$ on a finite dimensional vector space $X$ over $\Bbb R$ ...
- 7,426
1
vote
0
answers
537
views
Epsilon-net of operator norm ball around Identity
Suppose I look at the set of matrices which are invertible and satisfy
$$
\left\|A-Id\right\|_{op}<r
$$
for some $r<1$, where $Id$ is the $n\times n$ identity matrix. An $\epsilon$-net of such ...
- 205
1
vote
0
answers
111
views
non-intersecting families of subspaces
Given $V$, a vector space over a finite field $F$ of size $k$, if $\dim(V)=m$, and $r$ divides $m$, there exists a family of $r$-dimensional subspaces, whose size is equal to $(k^m-1)/(k^r-1)$ and ...
- 71
1
vote
0
answers
249
views
Is there a way to simplify this apparently huge characteristic polynomial calculation?
Say I am given the $0/1$ adjacency matrix of an undirected graph. Also I am given a representation $\rho$ of some group $G$ and an orientation has been arbitrarily chosen along each edge. Let $E^{...
- 1,893
1
vote
0
answers
166
views
Is there a relation between covariance matrices and real and imaginary part of eigenvectors?
Apology if my question not clear or appropriate. Consider a complex positive definite sample covariance matrix (SCM) A, generated by a band limited signal on a set of sensors which is termed as data ...
- 11
1
vote
0
answers
54
views
Lattice-isotopic essentialization of arrangements
I'm working on a problem related to
$\textbf{Randell's isotopy theorem}$ for complex hyperplane arrangements. I have a question which seems quite obvious. However, I haven't found a rigorous proof ...
- 741
1
vote
0
answers
113
views
Is my particular finite dimension Toeplitz matrix always strictly positive?
Let $H(\omega), \; -\pi \leq \omega \leq \pi$ be a real-valued function with a continuous band of zeros, that is (for simplicity) $H(\omega)=0, \; |\omega|\geq \beta \pi$.
Define a sequence of banded ...
- 21
1
vote
0
answers
631
views
Bounding the largest Singular value
D is a $n \times n$ diagonal matrix whose diagonal entries lies in $(0,1]$.
B is any $n \times n$ n.n.d. matrix.
What will be the sharpest upper bound on the largest eigenvalue of:
$(D+B)^{-1}D^2(...
1
vote
0
answers
470
views
Complex Hessian Signature
It' all, simply, about the signature of a matrix.
Let $\Omega\subseteq\Bbb C^n$ open, $r:\Omega\to\Bbb R$ twice differentiable (real differentiable, not necessarely complex differentiable, i.e. not ...
- 779
1
vote
0
answers
109
views
Volume under the intersection of scaled simplices
This is rather specific but I need to compute the volume under the intersection of rescaled simplexes, that is, the volume of the space:
$\left\{x \in \mathbb{R}^n|\sum_i c_{ki} |x_i| \leq1\; k = 1 \...
1
vote
0
answers
111
views
Notions of consistency / heterogeneity in sets of vector values?
The problem
Let us consider a row vector u of size $n\in\mathbb{N}$, containing only binary values (0,1):
$$u=(u_1 \cdots u_n), n\in\mathbb{N}$$
$$\forall i \in \{1\ldots n\}, u_i \in\{0,1\}$$
I would ...
- 11
1
vote
0
answers
276
views
Showing a wedge product is nonzero
Let $V$ be a complex vector space of dimension $n$, equipped with a Hermitian inner product whose Kahler form we denote by $\omega$. Let's set $P = \bigwedge^{2p} V^*$ and $Q = \bigwedge^{2q} V^*$ for ...
- 4,343