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

learn more… | top users | synonyms

-3
votes
1answer
48 views

A question on matrix polynomial [on hold]

Suppose ${P_\Delta }(\lambda ) = ({A_m} + {\Delta _m}){\lambda ^m} + ....... + ({A_1} + {\Delta _1}){\lambda ^1} + ({A_0} + {\Delta _0})$ is a matrix polynomial, and $\lambda $ is a complex ...
-5
votes
0answers
23 views

Algebra math word problem to be solved using elimination or substitution method [on hold]

A two-digit number is such that the sum of its digits is 1/4 of the number. When the digits of the number are reversed and the number is subtracted from the original number, the result obtained is ...
-1
votes
0answers
18 views

Uniqueness of Smith normal form in Z (ring of integers) [migrated]

It is a very well known fact that Smith Normal Form has proven useful when dealing with the development of the structure theorem of finitely generated abelian groups. In this context, there is an ...
-2
votes
0answers
60 views

Degree of a rational Function [on hold]

This might sound a very trivial question but I found different answers on the web. Assume on has a rational function f(x)/g(x) where f(x) and g(x) are polynomials. What is the degree of the rational ...
1
vote
0answers
32 views

Eigenvectors of a perturbed reducible stochastic matrix

Let $Q$ be a $n\times n$ reducible stochastic matrix. Let $J$ be such that $[J]_{ij}={1 \over n}$. Now for a small positive constant $\alpha\in [0,1]$, consider the matrix ...
2
votes
0answers
49 views

Zauner's conjecture [migrated]

The conjecture is as follow: In $\mathbb{C}^{n}$, there exists $\{v_1,\cdots,v_{n^2}\}$ such that the following holds: $$ \left| \left \langle v_i, v_j \right \rangle \right| = \begin{cases} 1 ...
4
votes
2answers
119 views

Relation between eigenvalues of $A$ and $A^TA$?

For an $n\times n$ diagonizable matrix $A$, is there a relation between the eigenvalues of $A$ and the eigenvalues of $A^TA$? I ask this because I am looking into the relation between $A$ and $A+cI$, ...
-4
votes
0answers
50 views

Why do n linearly independant vectors in $\mathbb{R}^n$ span $\mathbb{R}^n$? [closed]

I'm really not sure how to prove this, I've been googling around with no luck. Any help would be lovely!
4
votes
0answers
65 views

Complexity of approximating the size of the range of a matrix

Given an $m$ by $n$ matrix $M$ with $m \leq n$ and elements from $\{-1,1\}$, let us define: $$S_M = |\{Mx : x \in \{-1,1\}^n\}.$$ It is NP-hard to compute $S_M$ exactly I believe by applying the ...
1
vote
1answer
131 views

Is there a nice choice-free argument to count the number of sublattices?

It's a well known fact that the number of index $n$ sublattices of a rank two lattice $\Lambda$ is given by $\sigma_1(n) = \sum_{d\mid n} d$. Here is a proof of this fact: Proof: choosing a basis of ...
9
votes
0answers
208 views

How to prove this determinant is positive-II?

Question: Given an arbitrary number of real matrices of the form $ A_i= \biggl(\begin{matrix} C_i+E_i & B_i \\ B_i^T & D_i-F_i \end{matrix} \biggr) $, where $B_i$ is an arbitrary $n\times n$ ...
1
vote
0answers
44 views

Directed graph Laplacian with exactly one negative eigenvalue

Let $G$ be a digraph with adjacency matrix $A =(A_{ij})$ where $A_{ij}=1$ if and only if there is a directed edge $i \to j$ and $A_{ij}=0$ otherwise. Let $D= (D_{ij})$ be the degree matrix with ...
-1
votes
1answer
110 views

How should $A^α$ be defined for real $α ∈ [0,∞)$ and $A\in M_n(\mathbb C)$? [closed]

Let $A\in M_n(\mathbb C)$ be arbitrary. I'm interested to know How should $A^{\alpha}$ be defined for real $\alpha\in [0,\infty)$? When $A$ is nonsingular, we can define $A^{\alpha}=\exp(\alpha ...
0
votes
0answers
81 views

Extending the trace inner product to all matrix (real) inner products [closed]

In ${\bf R}^{n\times p}$ we have the trace inner product given by $$\langle A, B\rangle=\text{tr}(A^TB)$$ which can be interpreted as the Euclidean inner product on ${\bf R}^{np}$. All inner ...
-1
votes
0answers
11 views

How can i get real analog of complex function? [migrated]

I have a function: sin(wt-jT) (1.1), where j - complex number I transform it to function with real arguments: ...
-1
votes
0answers
27 views

Reduced row echelon form of a matrix [closed]

I have an input matrix Aof size 10x20and I want to find its RREF. This is simply done in Matlab by the following command: ...
0
votes
0answers
17 views

Norm of a linear operator in a tight frame

My question certainly has a simple answer, but I am not sure about how to formalize my thoughts, to put it simply, I am looking for the norm of a linear operator that is a composition of 2 linear ...
2
votes
1answer
150 views

Extracting a full rank matrix from a 0-1 matrix

If $A$ is a $n\!\times\!n$ $0$-$1$ matrix of rank $k<n$. If ever possible, what would be an efficient way of extracting a full rank $k\!\times\!k$ sub-matrix of $A$ by removing columns and rows of ...
6
votes
0answers
175 views

Dimensions of dual vector spaces

Let $V_F$ be an infinite dimensional right $F$-vector space (over a field $F$, or even over a division ring). The dual space $V^{\ast}={\rm Hom}(V,F)$ is naturally a left $F$-vector space (coming ...
2
votes
1answer
41 views

Spectral radius of perturbed bipartite graphs

I am looking into how perturbation(s) on a bipartite graph affect its spectrum (specifically its spectral radius or largest eigenvalue). Actually, I'm not exactly looking into bipartite but my ...
3
votes
1answer
143 views

Existence of $SO(n)$-isotropic inner products which are not $O(n)$-isotropic

$\newcommand{\al}{\alpha}$ Let $M_n$ be the space of $n \times n$ real matrices. Question: For which $n$, is there an inner product on $M_n$ which satisfies: $$(*) \, \, \langle Q^TXQ,Q^TYQ ...
4
votes
2answers
232 views

Derivative of eigenvectors of a matrix with respect to its components

Suppose that $B$ is a real, positive-definitive symmetric ($3\times3$) matrix (more accurately, $B$ is a tensor) with distinct eigenvalues, and that we can write it as $$ B= \sum_{i=1}^3 ...
6
votes
1answer
136 views

Fast Symbolic Linear Algebra CAS?

I am a regular user of Mathematica, Julia, and MATLAB but I am looking for something different. The problem I am trying to solve in Mathematica only requires (dense) linear algebra to specify but is ...
0
votes
1answer
115 views

Why is the Fano variety of lines on a smooth three-dimensional quadric isomorphic to $\mathbb{P}^3$?

Let $Q \subset \mathbb{P}^4$ be a smooth three-dimensional quadric over an algebraically closed field $k$ ($\mathrm{char}(k) \neq 2$) and let $F$ be the Fano variety of lines on $Q$. In "Iskovskikh ...
2
votes
2answers
150 views

Intersection of Subspaces with $O(3)$

Sorry for the confusion from earlier. I tried to fix the thread. The old version can be found below. For $6$-dimensional subspaces $V$ of the space $\mathbb{R}^{3\times 3}$ of real three-times-three ...
2
votes
1answer
148 views

programming to compute kernel quotient image of a $\mathbb{Z}$-module endomorphism

Let the integers $n\geq 2$, $k\geq 1$, $v=0$ or $1$ and $n_1,\cdots,n_k\geq 1$ such that $$ \sum_{i=1}^k n_i+v=n. $$ Define $P_a^b=0$ if both $a,b$ are odd and $P_a^b={{[a/2]}\choose {[(a+b)/2]}}$ ...
0
votes
0answers
131 views

Shortest distance on a combinatorial chess board

Consider a random $n\times n$ combinatorial $0/1$ square matrix over field $\Bbb F$ of rank $r$ with every row distinct and every column distinct as a chess board. Definition of combinatorial ...
1
vote
0answers
42 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 ...
4
votes
2answers
162 views

Describing Levi factors and unipotent radicals of parabolic subgroups in classical groups

I asked this question before at Math.SE (link) but got no answer. Let $G$ be an algebraic group over an algebraically closed field $k$ of characteristic $p \geq 0$. Then any parabolic subgroup $P$ ...
4
votes
2answers
125 views

Collection of projection operators in finite dimension and algebraic techinques

Consider a set of linearly independent vectors $\{x_1,\dots,x_n\}$ in some finite-dimensional Hilbert space $H$. For any subset $S \subset [n]$, let $P_S$ be the (orthogonal) projection (operator) ...
0
votes
0answers
69 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 ...
0
votes
0answers
36 views

QR(pivot) vs SVD for low rank approximation

Define the low rank problem as finding the approximation of matrix A, B: where we want to minimize rank(B) and we want the 2 norm of the residu of A-B to be less than epsilon. Could someone help me ...
0
votes
1answer
72 views

Example distance metric that is not conditionally negative definite

Theorem 4.1 of this paper says that there exist distance matrices that are not conditionally negative definite (CND). How do I construct an example of a distance matrix that is not CND? Do you know an ...
0
votes
1answer
233 views

Are $\left[\begin{matrix}x_\ell \\ x_\ell\varphi_k^\ell\end{matrix}\right]$ linearly independent?

Let $\varphi_k\in\mathbb{C}$ be a primitive $k$-th root of unity, and define the sets ...
4
votes
1answer
75 views

Kolmogorov complexity for matrices

In applications one often encounters very large matrices that barely fit in computer memory, if at all. Naturally one wishes to represent those matrices as compactly as possible. Sometimes one even ...
9
votes
1answer
173 views

Exact determinant of a circulant matrix

The wikipedia gives us a formula for the determinant of a circulant matrix. That is: $$\mathrm{det}(C) = \prod_{j=0}^{n-1} (c_0 + c_{n-1} \omega_j + c_{n-2} \omega_j^2 + \dots + c_1\omega_j^{n-1})= ...
1
vote
1answer
89 views

Determinant of discrete Laplacian

It can easy be shown by induction that the determinant of the $(N-1)\times (N-1)$ matrix $$\begin{pmatrix} 2 & -1 & & \\ -1 & 2 & \ddots & \\ & ...
4
votes
2answers
195 views

Why are the vectors with this special structure linearly independent with high probability?

Given $a_i\in\mathbb{R}^m$ for $i=1,\ldots,2m$ with independent and identically random entries of some continuous distribution. Every choice of $m$ vectors from $\{a_1\ldots,a_{2m}\}$ is linearly ...
11
votes
1answer
370 views

An inequality for the spectral radius of matrices used by J. Bochi

I am interested in the history of an inequality for the spectral radius of a $d\times d$ real or complex matrix, which occurs in Jairo Bochi's 2002 article Inequalities for numerical invariants of ...
5
votes
2answers
112 views

Induced matrix norm less than one for matrices with spectral radius less than one

Let $A$ be a square matrix with elements in $\mathbb{R}$ or $\mathbb{C}$, $\rho\left(A\right)$ stands for the spectral radius of $A$, i.e., the maximum absolute eigenvalue of $A$; $A^{*}$ is the ...
0
votes
0answers
32 views

If $A$ is doubly stochastic and reducible. Why is $A$ permutation similar to a matrix of the form $A_1 ⊕ A_2$

If $A \in M_n$ is doubly stochastic and reducible. Why is $A$ permutation similar to a matrix of the form $A_1 ⊕ A_2$, in which both $A_1$ and $A_2$ are doubly stochastic?
1
vote
0answers
63 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)$?
1
vote
1answer
78 views

Multiplicatively closed subsets of $\mathbb{C}^{n \times n}$

While dealing with another problem I saw that I need to classify subspaces $V$ of $\mathbb{C}^{n \times n}$ that are multiplicatively closed. So to get an idea of the nature of the subspaces I ...
0
votes
1answer
113 views

Standard rational functions from matrices

In linear algebra we get introduced to standard polynomials that are associated to matrices such as characteristic polynomials and determinants. What are some of the standard rational functions that ...
1
vote
1answer
72 views

$0/1$ programming multiple quadratic constraints

If we have an $n$-variable rank $n$-linear system it is clear we can find whether there exists a $0/1$ solution in polynomial time. If we have an $n$-variable degree $2$ system how many constraints ...
0
votes
2answers
334 views

Solving a system of equations using Gröbner basis

In Sage (or any other package) when using Gröbner basis to solve a system of equations (some of which are non-linear equations) does computing the Gröbner basis for the ideal ID generated by the ...
1
vote
0answers
17 views

How to find a subset of a matrix that has minimum condition number? [duplicate]

Suppose matrix $A$ is consist of M column vectors, how can we find a subset $B$, consisting of N column of $A$ (N<M), that has minimum condition number (the ratio of maximum singular value by minimum ...
0
votes
0answers
48 views

An extremal combinatorics problem

What is the minimum rank $r$ of an $n\times n$ square positive integer matrix such that sum of entries of every $\sqrt r\times\sqrt r$ submatrix is distinct and such that difference between minimum ...
1
vote
0answers
50 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
vote
0answers
68 views

A question on Perron–Frobenius theorem [closed]

Let $A \in M_n$ is nonnegative(all $a_{ij}\ge0$). Suppose $A$ has a nonnegative eigenvector(all entries$\ge0$ ) with $r ≥ 1$ positive entries and $n − r$ zero entries. Why is there a permutation ...