All Questions
629 questions
1
vote
1
answer
153
views
Schur complement and depermuting an algorithm for $\mathsf{determinant}\bmod2$
Let $$M=\begin{bmatrix}A&B\\C&D\end{bmatrix}$$ be a matrix in $\mathbb F_2^{n\times n}$ where $A\in\mathbb F_2$ and $D\in\mathbb F_2^{(n-1)\times(n-1)}$ are square.
Through the determinant ...
1
vote
1
answer
6k
views
Largest eigenvalue of the sum of Hermitian matrices [closed]
Is there an expression for the largest eigenvalue of the sum of two Hermitian matrices in terms of the spectrum of the same matrices?
1
vote
1
answer
207
views
Maximum number of vectors with bounds on inner products
Suppose there are 2n vectors $\{m_1,m_2,...,m_n\}$ and $\{\mu_1,\mu_2,...,\mu_n\}$. All vectors are in k-dimensional Euclid space $R^k$. The vectors satisfy:
$$m_i \mu_j \leq 0, \quad \forall i\neq j $...
1
vote
1
answer
84
views
Asymptotic property of the left singular vectors of i.i.d. data matrix
Let $\mathbf{X}$ be $(n \times p)$-dimensional data matrix ($n > p$) whose rows $\mathbf{x}_i$ are i.i.d. with some finite moments:
$$
\mathbf{X}^\top = [\mathbf{x}_1, \ldots \mathbf{x}_n]^\top.
...
1
vote
0
answers
475
views
How does the Schmidt decomposition generalize to tensor products of several finite-dimensional systems?
Let $n,d_1,\ldots,d_n > 1$ be integers, and $V_1, \ldots, V_n$ be inner product spaces over $\mathbb C$, having dimensions $d_1, \ldots, d_n$ respectively. We consider the ways in which we may ...
1
vote
2
answers
734
views
Singular matrices with integer entries
I am motivated by the following paper by Greg Martin and Erick B. Wong:
http://www.math.ubc.ca/~gerg/papers/downloads/AAIMHNIE.pdf
Here the authors prove that assuming that the entries of an $n \...
1
vote
1
answer
173
views
References request: reflections in coxeter groups
Let $V$ be a vector space. A reflection is a linear map $f: V \to V$ which has an eigenvalue $1$ with multiplicity $n-1$.
Let $S_n$ be the symmetric group on $\{1,\ldots,n\}$. Then the reflections in ...
1
vote
1
answer
940
views
maximal number of mutually orthogonal vectors
Let $F$ be a field, $n$ be a positive integer. Denote by $h_{F}(n)$ the maximal dimension of a subspace $X\subset F^n$ such that $(x,y)=0$ for any two (not necessary distinct) vectors $x,y\in F^n$, ...
1
vote
1
answer
171
views
transposing "unrimmed" permutations
Denote the set of $n\times n$ permutation matrices by $\mathfrak{S}_n$. The ordinary transpose preserves this group.
Given $P\in\mathfrak{S}_n$, construct the $n\times n$ matrix ${}^tP$ according to ...
1
vote
1
answer
114
views
Is a $1_A \otimes U$ invariant subspace of $\mathcal{H}_A \otimes \mathcal{H}_B$ a product $V_A \otimes \mathcal{H}_B$?
Consider a subspace $V$ of $\mathcal{H}_A \otimes \mathcal{H}_B$, with $\mathcal{H}_A$ and $\mathcal{H}_B$ finite-dimensional Hilbert spaces, that is $1_A \otimes U$ invariant for all unitary ...
1
vote
0
answers
267
views
Construct special "joint SVD" from separate SVDs
Given two matrices, $A,B\in\mathbb{C}^{n\times n}$ which can be written as
$$ A = XD_AY^T \\
B = XD_BY^T $$
where $X$ and $Y\in\mathbb{C}^{n\times n}$ are unitary and with diagonal $D_A$ and $D_B\in\...
1
vote
0
answers
69
views
Does there exist a canonical form for normal matrices which extends the following embedding?
Given an unordered pair of complex numbers $\{w,z\}$, we can associate to it the complex matrix
$$\frac 1 2\left[\begin{matrix}w + z + \frac{\left(w - z\right)^{2} + \left|{w - z}\right|^{2}}{2 \left|{...
1
vote
2
answers
121
views
How to solve the optimization problem $\max_{\mathbf{w}}\sum_i\text{sign}(\mathbf{w}^T \mathbf{x}_i)$?
I am looking for an algorithm to solve the following optimization problem
$$\max_{\mathbf{w}}\sum_i\text{sign}(\mathbf{w}^T \mathbf{x}_i)$$
where $\mathbf{w}$ and each $\mathbf{x}_i\in\mathbb{R}^d$.
...
1
vote
1
answer
1k
views
product of Gaussian random matrix and a deterministic diagonal matrix
Suppose that $G$ is an $n\times n$ Gaussian random matrix of i.i.d. entries $N(0,1/n)$ and $D$ is an $n\times n$ deterministic diagonal elements. I'd like to know if there have been results on the ...
0
votes
1
answer
111
views
A conjugation matrix $X\in \mathbb{C}^{ n\times p}$ where $p< n$
Given a Hermitian positive definite matrix $A\in \mathbb{C}^{n \times n}$ and a Hermitian matrix $B\in\mathbb{C}^{ p\times p},$ find the matrix $X$ so that $X^HAX=B$ holds where $X^H$ denotes ...
0
votes
1
answer
450
views
Conjugacy in the quaternion group
Let $G$ be a non-commutative group, and suppose we are given two elements $x, y \in G$ which are conjugate, i.e. we know there exists some $z \in G$ such that $zxz^{-1} = y$. Can we find $z$ given $x$ ...
0
votes
1
answer
311
views
Intuitive explanation of concentration of the measure for spheres [duplicate]
What is the concentration of the measure(c.o.m.)?
I am struggling with the following sentence;
"The phenomenon of the concentration of the measure for spheres in dimensions larger than 2."
I tried ...
0
votes
1
answer
302
views
root of identity matrix and lexicographic order
I asked a question here order of a permutation and lexicographic order but it seems*** that a very powerful and rich generalization can be made!
Let $A$ be a finite ring together with an arbitrary ...
0
votes
1
answer
122
views
Nilpotent infinite binary matrices
Let $\text{Mat}(\mathbb{N},\{0,1\})$ be the set of all maps $A:\mathbb{N}\times\mathbb{N}\to \{0,1\}$. We define a matrix multiplication for $A, B\in \text{Mat}(\mathbb{N},\{0,1\}$) and $m,n\in\mathbb{...
0
votes
1
answer
199
views
Prove that $(v^Tx)^2-(u^Tx)^2 < 1-(u^Tv)^2$ for any unit vectors $u$, $v$, $x$
Let $u,v,x \in \mathbb R^d$ be three unit vectors. I found a very complicated proof that $(v^Tx)^2-(u^Tx)^2 \leq 1-(u^Tv)^2$.
That is $\lVert uu^T-vv^T\rVert^2_2 = 1-(u^Tv)^2$, or that $f(v,x)\leq f(v,...
0
votes
1
answer
533
views
Follow up: Show that these vectors are linearly independent almost surely
I posted this question some time ago here. I started a bounty for it and received an answer which helped me a lot. However, I still have some issues I want to discuss regarding it. Unfortunately I can'...
0
votes
1
answer
101
views
Maximum number of vectors with bounds on inner products (follow up question)
This is a follow-up question from my previous question.
Suppose there are (2n+1) vectors $\{m_1,m_2,...,m_n\}$, $\{p_1,p_2,...,p_n\}$ and $p^*$ in $R^{k+1}$. $m_i$ are weakly positive vectors. $p_i$ ...
0
votes
0
answers
69
views
Formulas involving traces of products of singular hermitian positive semidefinite $2$ by $2$ matrices
While working on the Atiyah problem on configurations of points, I came across formulas involving products of traces of products of singular hermitian positive semidefinite $2$ by $2$ matrices.
To ...
0
votes
1
answer
328
views
Number of minimal left ideals
Is there any way to compute the number of minimal left ideals of $M_n(K)$, the full $n\times n$ matrix ring with entries in the field $K$ ?
0
votes
1
answer
288
views
How eigenvalue perturbation affects back to the original matrix?
Both "eigenvalue perturbation" and "matrix perturbation" seems to study this scenario that given a matrix $A$, if we add something to it like $\tilde{A} = A+E$, how will the eigenvalues of $\tilde{A}$ ...
0
votes
1
answer
154
views
Dimension of a similarity class
Let $K$ be an algebraically closed field with characteristic $0$. I consider the Jordan decomposition of a NILPOTENT matrix: $A=diag(J_{r_1},\cdots,J_{r_s})\in M_n(K)$ where $J_k$ is the nilpotent ...
0
votes
0
answers
643
views
A new generalization of the dimension?
During my research, I came a cross on these notions :
Definition 1: A structure $S$, is a pair $(X, \mathcal T)$ with $X$ a set and $\mathcal T$ a set of subsets of $X$, stable by arbitrary ...
0
votes
1
answer
836
views
Relation between the subordinate norm and the spectral radius of a matrix
Let's define the following subordinate norm of a $(NM \times NM)$ matrix A norm as follows
\begin{eqnarray*}
||A||_{2,b} = \mathrm{max}_{x \in \mathbb{C}^{NM}} \left \{ \frac{||A x||_b}{||x||_2} \...
-2
votes
1
answer
1k
views
Derivative of log determinant [closed]
Let $x_i \in\mathbb{R}^d$ and $a_i\in [0,1]$ for $i = 1,\dots,k$. How to compute the following derivative?
$$
\frac{d}{da_j}\log \det\left(\sum_{i = 1}^k a_ix_ix_i^\top\right).
$$