**5**

votes

**1**answer

283 views

### History of Jordan Canonical Form?

Can anyone suggest a reference that discusses the history of the Jordan canonical form? In particular, I am interested in:
When and how was it first stated? (I understand it was independently stated ...

**2**

votes

**1**answer

320 views

### Is this projective variety empty?

Let $\mathbf{a}\in\mathbb{R}^{4}$ and the entries of a $3$ by $4$ real matrix $A$
be the variables of the polynomial equations, $\det\left(A\right)=0$, $S_{1},S_{2}\subseteq\left\{ 1,2,3,4\right\}$
...

**0**

votes

**1**answer

169 views

### Nonnegative Matrix

Let $A=E+\sqrt{-1}B$, where $E=diag\{0,1,\cdots,1\}$, $B$ is a real symmetric matrix. Let $A^*$ denote the adjoint matrix of $A$, i.e. $AA^*=\det A\cdot I$. I hope the real part of adjoint matrix ...

**3**

votes

**3**answers

102 views

### For centralizer subgroups, is the endomorphism ring of a restriction generated by endomorphisms and the centralized element?

In some recent doodlings, I got myself to the point where what I was trying to understand would work out if the following claim were true:
Let $G$ be a group, $g\in G$, and $\rho:G \to ...

**7**

votes

**1**answer

85 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

**1**answer

75 views

### Measuring the extent of entanglement in tensor products

Is there a non-negative integer valued grading function on the tensor product of two Hilbert spaces which measures the extent of entanglement ?

**1**

vote

**1**answer

105 views

### Form of a block upper triangular matrix of finite order

If I take a block upper triangular matrix and the matrix is known to be diagonalizable and the leading blocks in the diagonal are each of finite order, is it true that away from the leading block ...

**3**

votes

**1**answer

76 views

### Set of orthogonal simplexes or partial mutually unbiased bases

I am interested in the existence of a set of vectors $\{ v_{ij} \}_{ij} \subseteq \mathbb{C}^N$ for $i \in \{1,\dots,N\}$, $j \in \{1,\dots,N+1\}$ such that $\left\vert v^*_{ij} v_{ij'} \right\vert = ...

**2**

votes

**1**answer

102 views

### Ranks of higher incidence matrices of designs

In 1978 Doyen, Hubaut and Vandensavel proved that if $S$ is a Steiner triple system $S(2,3,v)$ then the $GF(2)$ rank of its incidence matrix $N$ is
$$
Rk_{2}(N)=v-(d_{p}+1),
$$
where $d_{p}$ is the ...

**0**

votes

**2**answers

154 views

### Does there exist a linear equation system with a NAND-like behavior? [closed]

Does there exist an equation system with only linear equalities and inequalities and exhibits a NAND-like behavior?
By 'NAND-like' I mean, among all the variables in the system there are 3 vars $x_1$, ...

**1**

vote

**0**answers

98 views

### Solve a linear equation with many variables using only 1 and -1

For a program I am writing, I would find it useful to find the least possible positive solution to a linear equation, using only -1 and 1 for roots.
For example...
...

**0**

votes

**0**answers

63 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

**3**answers

154 views

### Online estimation of covariance matrix

I am trying to dynamically estimate the (low-dimensional) covariance matrix ${\mathbb E}[{\bf x}_t{\bf x}_t^\top]$ of a stream of data points ${\bf x}_t\in{\mathbb R}^N$ online, without any memory. ...

**1**

vote

**2**answers

100 views

### Designing almost orthogonal vectors in a deterministic manner

Consider the vector space $\mathbb{R}^n$, the standard inner product $\langle \cdot,\cdot \rangle:\mathbb{R}^n\times\mathbb{R}^n\rightarrow \mathbb{R}$, and some $0<\epsilon\leq ...

**1**

vote

**1**answer

53 views

### Augmenting orthonormal system into complete orthonormal system in a numerically stable way

Let us suppose we have a, say, 10 dimensional real space with 3 orthogonal unit vectors given. How do I complete this orthonormal system with 7 additional vectors into a complete ONS in a way that is ...

**4**

votes

**1**answer

365 views

### Checking irreducibility

This is related to this question. Suppose I have an $n$-dimensional representation of a finitely generated group, and I want to know whether it is absolutely irreducible. This can, of course, be done ...

**2**

votes

**1**answer

161 views

### Graph of Grassmannian

Let p be an integer, and let G be the graph $(V=Gr(k,\mathbb{F}_q ^n),E)$
where: $Gr(k,\mathbb{F}_q ^n)$ is the set of all subspace of $\mathbb{F}_q$ of dimension k, and $E=\{ W_1,W_2 \in V | ...

**0**

votes

**0**answers

43 views

### Distinguishing two different matrix distributions in polynomial time

I have two distributions:
$\{ (f^TA + e_1, f^T(As+e) \}$ and $\{ (f^TA, f^T(As+e) + s_i \}$
where $A$ is a randomly generated $m \times n$ binary matrix $A, A_{ij} \in \{0,1\}$, $f$ and $e$ are a ...

**2**

votes

**2**answers

154 views

### The derivative of the Cholesky Factor

Let $A$ be a symmetric, positive definite $p\times p$ matrix, and let $f(A)$ be it's Cholesky factor. That is, $f(A)$ is a lower triangular $p\times p$ matrix such that $A = f(A) f(A)^{\top}$. I am ...

**3**

votes

**0**answers

87 views

### Inverting a matrix with entries equal to positive or negative infinity

I would like to define an inverse on matrices whose entries may be positive or negative infinity.
To formulate my problem precisely, suppose that I have a matrix $A$ and another matrix $B$. How do I ...

**4**

votes

**1**answer

179 views

### Full-rank rectangular matrices over GF(2)

Given positive integers $k$, $m$, $n$, let $A$ be an $m \times n$ matrix over $GF(2)$ constructed as follows. Let $X_1, \ldots, X_m$ be independent random subsets of $\{1,\ldots,n\}$ with cardinality ...

**2**

votes

**2**answers

218 views

### Are the finite dimensional von Neumann algebras, singly generated?

Let $\mathcal{M}$ be a finite dimensional von Neumann algebra, then :
$$\mathcal{M} \simeq \bigoplus_i M_{n_i}(\mathbb{C})$$
Question : Is it singly generated (as von Neumann algebra)? how ?
...

**7**

votes

**0**answers

182 views

### Coherence between different ranking methods of a graph's vertices

Given a (connected) graph $G$ it is natural to want to rank its vertices, with the more "central" vertices ranked higher.
Two natural ways of doing it are:
By the degrees.
By the entries in a ...

**4**

votes

**1**answer

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

**2**

votes

**1**answer

273 views

### A submanifold of the space positive definite matrices

Consider the space of $n \times n$ positive definite symmetric matrices and let $\Sigma$ be one such matrix. We make this space into a Riemannian manifold $M$ by means of the metric ...

**7**

votes

**1**answer

469 views

### A question on eigenvalues

Let $A_{1}$, $A_{2}$, $A_{3}$, $A_{4}$, $A_{5}$ be linearly independent Hermitian matrices in the the space of $6$ by $6$ Hermitian matrices as a vector space over $\mathbb{R}$. Does there always ...

**2**

votes

**1**answer

68 views

### Rings in which every J-matrix is non-singular

Let $R$ be a ring with identity. A matrix $A=[a_{ij}] \in M_n(R)$ is called a J-matrix if for any $i$, $a_{ii} \not \in J(R)$ but for any $i \not = j$, $a_{ij} \in J(R)$. Now suppose that every ...

**3**

votes

**0**answers

96 views

### Variant of orthogonal Procrustes problem

The orthogonal Procrustes problem seeks a matrix $M$ that minimizes $||AM-B||_F$ subject to $M^TM=I$, where $M$ is $d\times d$ and both $A$ and $B$ are $n\times d$. Geometrically, $M$ rotates a set of ...

**5**

votes

**1**answer

173 views

### Characteristic polynomial of exterior power

Suppose $f$ is a linear map, and consider $\Lambda^k f$ as the usual exterior power of $f$ (if you prefer matrices, it is a matrix whose entries are the $k\times k$ minors of $f.$) The coefficients of ...

**5**

votes

**1**answer

180 views

### Which positive definite symmetric matrices have solvable characteristic polynomial?

I am interested in the structure of the space of $n \times n$ positive definite symmetric matrices with rational entries whose characteristic polynomials are solvable (i.e. the Galois group is ...

**26**

votes

**2**answers

820 views

### Continuous functions $f$ with $f(A)$ linearly independent when $A$ is independent

Is there any characterization of continuous functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ such that for any linearly independent set $A$ (over the rationals) $f(A)$ is also linearly independent ?

**4**

votes

**0**answers

202 views

### Does the product of principal sines between subspaces satisfy the triangle inequalilty?

As we know that the volume of a matrix $X$ is defined as $\sqrt{\det(X^TX)}$, if we consider the volume of two matrices $X$ and $Y$, with $X,Y \in \mathbb{R}^{N\times d},d<N,\dim(X)=\dim(Y)=d$, ...

**3**

votes

**1**answer

200 views

### Spatial and temporal covariance matrices

Suppose $(x_i(t))$ is a $n$-dimensional time-series, where $t$ is an integer between $1$ and $T$ (time is discrete) and $i$ an integer between $1$ and $n$, and I assume $n<T$. From this ...

**-1**

votes

**1**answer

185 views

### Rank of a random matrix

Let $x$ a random Gaussian vector of size $n$ with i.i.d coefficients $N(0,1)$. Let $J$ a random matrix with i.i.d coefficients $N(0,\sigma^2/n)$ where $\sigma \in [0,1]$. For any integer T>n, define:
...

**3**

votes

**2**answers

231 views

### Variety determined by interior product of the determinant?

Let $\Lambda^k(V)$ be the space of alternating $k$-linear tensors on $V$. Consider the map $f: \left(\mathbb{R}^n\right)^{n-k} \to \Lambda^k(\mathbb{R}^n)$ given by $\left(v_1,v_2, ..., ...

**3**

votes

**2**answers

195 views

### Why eigenvectors optimize this orthogonally constrained nonlinear minimization problem?

Given a $p \times p$ positive definite matrix $\Sigma$, why eigenvectors of $\Sigma$, stacked as columns of a matrix $R \equiv [r_1 \, r_2 \, \ldots \, r_p]$, optimize the following orthogonally ...

**7**

votes

**1**answer

592 views

### Frobenius-Perron eigenvalue and eigenvector of sum of two matrices

Suppose that I have two positive matrices, $A$, and $B$, and I know their Frobenius-Perron eigenvalues ($\lambda_A$, $\lambda_B$) and eigenvectors ($v_A$, $v_B$). I'm interested in what I can say ...

**1**

vote

**0**answers

40 views

### Nontrivial Matrix-estimate

I try to proof the following estimate:
\begin{align}
h' W^{-1} H W^{-1} h \geq c h' H h \qquad c>0, \qquad\qquad (1)
\end{align}
where $h\in\mathbb{R}^{K-1}$ and ...

**4**

votes

**0**answers

85 views

### Fully Homomorphic Error Correction?

Consider a field $F$. Suppose we have two vectors $a,b\in F^n$, and an invertible matrix $G\in F^{n\times n}$. Let $c\in F^n$ be the point-wise product of $a$ and $b$, that is, $c_i=a_ib_i$. Let ...

**1**

vote

**3**answers

2k views

### Multiplicative functions $\phi : M_n(F) \longrightarrow F$ with $\phi(I) = 1$

Let $F$ be an infinite field and let $f \in F[x_{11},x_{12},...,x_{nn}]$ be an arbitrary polynomial in $n^2$ variables. Consider the function $\phi : M_n(F)\longrightarrow F$ defined by ...

**1**

vote

**0**answers

71 views

### “Almost orthogonalizing” matrices using a signature matrix

Suppose $A$ and $B$ are two real symmetric $n \times n$ matrices (If simpler, consider $A$ and $B$ to be 0/1 matrices, say, adjacency matrices of d-regular graphs).
Then $||AB||_{op} \leq ...

**8**

votes

**1**answer

457 views

### How to check whether a positive integer can be written as linear combination of given others, where all coefficients are positive?

Let $n$, $k$ and $m_1, \dots, m_k$ be positive integers. Which is the most efficient
algorithm to find out whether there are positive integers $a_1, \dots, a_k$ such that
$n = \sum_{i=1}^k a_i m_i$?
...

**0**

votes

**1**answer

106 views

### On separable field extensions [closed]

Let $F\subseteq K$ be a finite separable field extension with $a_1,..., a_n$ an $F$-basis for $K$. Is it true that the matrix $A := [\mbox{tr}(a_ia_j)]$ is non-singular ?

**1**

vote

**1**answer

121 views

### Eigenvalue problem with quadratic constraints

$\circ$ Consider the following eigenvalue problem : $$Ax=\lambda x \hspace{0.5cm} (1)$$
where matrice $A \in \mathbb{R}_{n \times n}$ is a positive semi-definite with eigenvectors $x = ...

**3**

votes

**1**answer

76 views

### Decomposition of a semi-definite matrix into sums of sparse semi-definite matrices

I'll first provide the background.
Let $x\in\mathbb{R}^N$ be decomposed into $n$ non-overlapping blocks of variables
$x^{(1)},\ldots,x^{(n)}$.
We say that $f:\mathbb{R}^N\rightarrow\mathbb{R}$ is ...

**5**

votes

**1**answer

158 views

### For a set of matrices $S$, find $X$ such that the elements of $SX$ commute

Let $S := \{A_0, A_1, \dots, A_d\}$, where $A_k \in \mathbb{C}^{n \times n}$, be a set of (generally noncommuting) matrices. I am interested in finding a nonsingular $X \in \mathbb{C}^{n \times n}$ ...

**2**

votes

**0**answers

40 views

### Moments of matrix multiplied with diagonal matrix with Gaussians

I have a circulant Toeplitz matrix $T$ and a diagonal matrix $D$ with IID zero mean complex Gaussians with circular symmetry along its main diagonal.
How do I compute the moments $E[(D^HTD)^n]$?
The ...

**7**

votes

**1**answer

767 views

### A Problem on Linear Algebra

I'm trying to calculate an integral over the generalized Poincare upper half plane, then I find that I need to show the following identity:
Let $X=(X_{i,j})\in\mathrm{GL}(n,\mathbb R)(n\geq 3)$ ...

**5**

votes

**3**answers

533 views

### Set of Positive Definite matrices with determinant > 1 forms a convex set

While reading a paper An Arithmetic Proof of John’s Ellipsoid Theorem by Gruber and Schuster, I have a question on their proof.
Consider an $n\times n$ real symmetric and positive definite matrix ...

**2**

votes

**1**answer

79 views

### Updating $LU$ decomposition after adding a sparse matrix

How many elements of $LU$ decomposition of a symmetric matrix change after adding a sparse symmetric matrix? Is it more efficient to recompute $LU$ decomposition after adding a sparse matrix comparing ...