All Questions
93 questions
4
votes
1
answer
630
views
Can sparse matrices satisfy the Null Space Property?
Definition A matrix $A \in \mathbb{C}^{m \times N}$ with $m < N$ satisfies the Null Space Property (NSP) of order $s$ if
$$\|x_S\|_1 < \|x_{\bar{S}}\|_1, \quad \forall x \in \ker A \setminus \{...
4
votes
0
answers
1k
views
Reference for matrices with all eigenvalues 1 or -1
In a homological algebra problem I am in the situation that I have an invertible (over $\mathbb{Z}$) integer matrix $X$ and a permutation matrix $Y$ such that $N:=XY$ is a matrix with all eigenvalues ...
4
votes
0
answers
244
views
On the sum of the first row of the inverse of a certain symmetric Toeplitz matrix
(i) Consider a Toeplitz matrix $A_n = (a_{i, j})_{1 \le i, j \le n}$ of size $n$ defined as follows:
$$ a_{i, j} := |i-j|^{-1/2}, \text{ if } i \ne j; \ \ a_{i, j} := 2, \text{ if }i = j. $$
Let $...
3
votes
3
answers
1k
views
Applications of rank factorization or full rank decomposition [closed]
I am teaching a course on linear algebra and came to this theorem: every $m \times n$ matrix $A$ with rank $r$ admits a factorization $A = CR$ where $C$ is an $m \times r$ matrix and $R$ is an $r \...
3
votes
1
answer
156
views
How can I show $\{\mathbf{x}: \dim (\ker M_1(\mathbf{x}) \cap \ker M_2(\mathbf{x})) \geq C \}$ is an affine variety?
Let $M_1(\mathbf{x})$ and $M_2(\mathbf{x})$ be $m$ by $m$ matrices with each entry a homogeneous form in $\mathbb{C}[x_1, \ldots, x_n]$.
I would like to show that
$$
\{ \mathbf{x} \in \mathbb{A}^n_{\...
3
votes
1
answer
166
views
The spectral radius of a modified graph
Let $H$ be a graph and let $G=H \vee K_{1}$ be obtained by creating a new vertex and joining it to every vertex in $H$.
This situation has many different names: $G$ is called the cone or the ...
3
votes
1
answer
5k
views
Relation between the eigenvalues of a block matrix and the eigenvalues of its diagonal blocks
Consider the $(m+n) \times (m+n)$ block matrix
$$M = \begin{bmatrix} A & B \\ C & D \end{bmatrix}$$
I need references where they are talking about the relation between the eigenvalues of $M$ ...
3
votes
1
answer
655
views
Upper bounds on the condition number of the eigenvector matrix
Let $A$ be an $n\times n$ real matrix with entries in a fixed interval $[a_\min,a_\max]$, with $a_\min$, $a_\max>0$.
Question: Are there any upper bounds on the condition number of the ...
3
votes
1
answer
270
views
What is the name of this measure of matrix "degenerateness"
Given a spanning set, consider the minimum number of vectors that you must remove in order to make it no longer span. What is this number called?
If the vectors are columns in a matrix $\Phi$, then ...
3
votes
1
answer
203
views
Results on Boolean matrices
Matrices with entries in the finite field of two elements $\mathbb{F}_2$, and with the usual operations of matrix addition and multiplication, have been intensively studied, especially due to their ...
3
votes
1
answer
621
views
Largest eigenvalue of a periodic Jacobi matrix
There is a vast literature on Jacobi matrices, I just don't know where to start looking. I'm interested in estimating the largest eigenvalue of the $n\times n$ periodic Jacobi matrix $D+P+P^{-1}$, ...
3
votes
0
answers
147
views
Convolution integral and its matrix representation
My background is chemistry and I was exploring some one dimensional deconvolution problems i.e., resolution of two or more overlapping peaks. A lot of excellent work was done in the 1970-80s. However, ...
3
votes
0
answers
148
views
Spectrum of symmetric Toeplitz matrix
A matrix is Toeplitz if it is constant on the diagonals parallel to the main diagonal.
I am looking for references on the spectrum of finite symmetric Toeplitz matrices over finite fields.
3
votes
0
answers
39
views
A non-singularity property for sets of real matrices
Let $M_N(\mathbb{R})$ be the ring of $N\times N$ real matrices. We say that a couple $(\mathcal{U},\mathcal{V})$, with $\mathcal{U},\mathcal{V}\subseteq M_N(\mathbb{R})$ is admissible if, for every $A\...
3
votes
0
answers
180
views
Automorphisms of infinite matrix algebra
This is a similar question to one that I posted in MSE a few days ago.
I recently came across this paper from Alahmedi, Alsulami, Jain and Zelmanov, which quoted the following result for $M_\infty(K)$...
3
votes
0
answers
359
views
Do we know what the impulse to "introduce" the Jordan canonical form was?
Mo-ers,
Do you know how it was that the study of the Jordan canonical form began?
There are certain things that may be said once one has thought about the matter: for instance, one can say that the ...
3
votes
0
answers
122
views
Algebra of block matrices with scalar diagonals
I am interested in block matrices $A$, that is $A\in M_{n\times n}(R)$ where $R=M_{s\times s}(k)$ and $k$ is a field, such that for every positive integer $m$ the matrix $A^m$ has only scalar blocks ...
2
votes
1
answer
460
views
Maximum permuted row/column sum of a matrix
Given a real $n \times n$ matrix $A$ (feel free to assume its entries are non-negative, if it helps), what is known about the problem of computing the quantity
$$
\max_{\sigma \in S_n} \left\{\sum_{j=...
2
votes
2
answers
3k
views
Statement of Lagrange's theorem on determinants(elementary question).
Apologies for this elementary question; but I was unable to find a reference otherwise.
Let $A, B, C$ be square matrices of the same dimension. Then,
$$\begin{vmatrix} A & C \\\ 0 & B \end{...
2
votes
3
answers
1k
views
On certain decomposition of unitary symmetric matrices
This is by any means elementary, but since I have asked this question on Stark Exchange but received no satisfactory answers I decide to post it here.
It is well known that a symmetric matrix over ...
2
votes
1
answer
810
views
On matrices that almost have the same eigenvalues
Let $A$ and $B$ be two $4\times 4$ matrices. Using Newton's identities, one can prove that if
$$\det(A) = \det(B)\quad \text{and}\quad \mathrm{tr}(A^i) = \mathrm{tr}(B^i)$$ for $i=1,2,3$, then $A$ and ...
2
votes
1
answer
217
views
Diagonalising a symmetric matrix with polynomial entries
Suppose I have a symmetric $2$ by $2$ matrix $M$ whose $(i,j)$-th entry $F_{i,j}(\mathbf{x})$ belongs to $\mathbb{R}[x_1, \ldots, x_n]$ for each $i,j$. I know that for each $\mathbf{x} \in \mathbb{R}^...
2
votes
1
answer
741
views
rank of a linear combination of matrices
Let $A_1,..., A_s \in M_n(\mathbb{R})$ be symmetric matrices and suppose they are linearly independent over $\mathbb{R}$. This means that
$$
m = \min_{(c_1, ..., c_s) \in \mathbb{R}^s \backslash \{0\}}...
2
votes
1
answer
325
views
Determinant and inverse of a "stars and stripes" matrix
This is a variant of another MO question. Consider the matrix
$$M_n:=\begin{bmatrix}c_1& a & b&a& \ddots & a \\ b & c_2 & a& b&\ddots & b\\ a & b & c_3&...
2
votes
1
answer
336
views
Bringing a (Least Squares Problem) Matrix into Block Upper-triangular Shape via Matrix-reordering
I have the problem of solving very large and very sparse least squares problems and, a bit dissatisfied with the run-times of the full-fledged QR-algorithm, I would like to bring the instances into ...
2
votes
0
answers
233
views
Do you know this formula for the scalar product in barycentric coordinates?
I've found a formula for a scalar product in barycentric coordinates which I think is pretty cool. I hope that it's new. Is it?
Suppose that you have points $x_1,\dots,x_n$ sitting in general position ...
2
votes
0
answers
99
views
When does a matrix subspace contain a full rank matrix?
Cross-posted at Math SE
Let $S\subseteq M_{n,m}(\mathbb{C})$ be a $d$-dimensional subspace of the space of $n\times m$ complex matrices (with $n\leq m$, say). I am interested in figuring out ...
2
votes
0
answers
130
views
Pfaffian generalization
The identity
$$\left|
\begin{array}{cccc}
x & y_1 & y_2 & y_3 \\
z_1 & 0 & a & b \\
z_2 & -a & 0 & c \\
z_3 & -b & -c & 0 \\
\end{array}
\right|=\...
2
votes
0
answers
102
views
Eigenvalue distribution for a real-valued random matrix with correlated Gaussian entries
I'm working on an application where I would greatly benefit from knowing the distributions of the eigenvalues of a real-valued random matrix whose elements can be assumed to be Gaussian, but where I ...
1
vote
2
answers
285
views
a follow up question on traces of matrices
In a recent MO post, pallab1234 ask for trace inequalities for which counterexample were given. I wish to probe in a different direction.
Suppose $A, B$ are $n\times n$ symmetric matrices (with ...
1
vote
1
answer
254
views
When does $\det \begin{pmatrix} A & X \\ X^T & A \end{pmatrix} = (\det A)^2 + (\det X)^2$?
Let $A$ be an $n \times n$ real symmetric matrix.
Let
$$
M = \begin{pmatrix} A & X \\ X^T & A \end{pmatrix}
$$
where $X$ is a real invertible $n \times n$ matrix. I am interested in finding ...
1
vote
1
answer
250
views
characterize certain type of matrices
I am trying to characterize matrices with a certain property :
Define $U$ as an $n \times n$ matrix (over C or R; you can also assume
that it is unitary or orthogonal if it helps). Now take $n$
...
1
vote
1
answer
254
views
references for families of conditionaly negative definite matrices
We say that a matrix $A\in M_n(\mathbb{C})$ is a conditionaly negative definite matrix if it is hermitian and if for all complex numbers $c_1,\ldots,c_n$ such that $c_1+\cdots +c_n=0$ we have
$$
\sum_{...
1
vote
1
answer
111
views
Decomposition of integral non-generate matrices [closed]
Let $GL_{\eta}(n,\mathbb{Z})=\left\{a\in
GL(n,\mathbb{R})\cap M^{n\times n}(\mathbb{Z})|det(a)=\eta\right\}$. Prove that there exists a
finite number of matrices $a_i$ in $GL_{\eta}(n,\mathbb{Z})$ ...
1
vote
1
answer
416
views
Decomposition of Matrix to its sub-matrix with constant rank
When we study the structure of simple graphs with a lot of $1$ or $-1$ as its adjacency eigenvalues, the rank of its adjacency matrix is very important. The reason is, in these case, we can study the ...
1
vote
0
answers
63
views
Reference request for non-banded Toeplitz matrix
I want to know references that treat the property of eigenvalues and eigenstates of the non-banded Toeplitz matrix.
I mean for example, the Toeplitz matrix $A$ whose matrix element is given by $A_{ij}=...
1
vote
0
answers
83
views
Properties of a matrix built via a "matricization" of a unit vector [closed]
Suppose I have a unit vector $\vec v$, and I write it as a matrix, e.g., $16$-vector $\vec v=(v_1,\dots,v_{16})$, where $v_i$ is the $i$-th entry of the vector $\vec v$, is written as follows
$$\begin{...
1
vote
0
answers
159
views
Non-trivial ways for generating matrices $A$ for which $A + A^T$ is positive-definite?
Disclaimer: This might be an SE question, but I'm not quite sure...
Thanks in advance!
Setup
So, it is known (see Proposition 5.2) that if $A + A^T$ is positive-definite then $A$ must be a $P$-...
1
vote
0
answers
619
views
On the basis of a finite dimensional vector space (revised)
Revision in response to the comments to earlier version:
To introduce the notion of a basis of a finite dimensional vector space over an arbitrary field $\Lambda$, without performing any computation ...
1
vote
0
answers
47
views
Partial ordering of a matrix entries [closed]
I need this for experimentation in some work, so it is not without purpose.
Consider the in-spiraling and out-spiraling $4\times 4$ matrices
$$\begin{pmatrix} 1&2&3&4 \\ 12&13&14&...
0
votes
1
answer
524
views
What is the mathematician's definition of the determinant? [closed]
I am trying really hard to find a good definition of the determinant.
I have looked virtually every single resource online and everybody gives a different answer:
sum of cofactors or minors https://...
0
votes
1
answer
229
views
Reference request: Strong Connectivity and the Incidence Matrix
Question: What would be a good reference for characterizations of strong connectivity of a digraph in terms of its incidence matrix?
Details: Consider a digraph $(V, E)$ with vertex set
$$V = \{v_1,...
0
votes
1
answer
130
views
Reference for measures of commutativity needed
I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if A and B are two n×n Hermitian matrices, and [A,B]=C.
I'd like a function μ:Cn×n→[0,∞) ...