Questions about the properties of vector spaces and linear transformations, including linear systems in general.

learn more… | top users | synonyms

5
votes
1answer
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
3answers
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
2answers
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
2answers
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
1answer
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
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
3answers
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
1answer
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 ...