Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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\...
44 votes
2 answers
2k views

Fermat's Last Theorem for integer matrices

Some years ago I was asked by a friend if Fermat's Last Theorem was true for matrices. It is pretty easy to convince oneself that it is not the case, and in fact the following statement occurs ...
5 votes
0 answers
91 views

elementary matrices over a regular ring

Let $n\in\mathbb{N}$ with $n\geq 3$. Let $A$ be a regular ring and $\gamma\in GL_{n}(A)$. We suppose that $\gamma$ is homotopic to the identity, i.e. there exists $\alpha\in GL_{n}(A[X])$ such that $\...
6 votes
0 answers
259 views

Diameter of finite rational matrix groups

Suppose $G$ is a finite subgroup of $\mathrm{GL}(n,\mathbb{Q})$. For a set $\mathcal{M} \subseteq G$ that generates $G$, define the $\mathcal{M}$-diameter $\mathit{diam}(G, \mathcal{M})$ of $G$ to be ...
3 votes
0 answers
231 views

Singularity of symmetric block matrix with singular diagonal blocks

One can show that the following statement holds: Given symmetric matrix $A \in \Re^{n \times n}$ and tall matrix $B \in \Re^{n \times p}$ with full column rank, $$\begin{bmatrix}A & B \\ B^T &...
7 votes
0 answers
658 views

Row rank and column rank of matrix with entries in a commutative ring

Let $R$ be a unital commutative ring and $A\in M_{n\times m}(R)$. Under which appropriate invariant "rank" of modules discussed in "Ranks of Modules" one can say that the row rank of $A$ is ...
3 votes
1 answer
454 views

Difference of pseudoinverse bound under assumptions

This seems like a standard problem, but unable to find a solution online. Suppose we have two singular PSD matrices A and B with the following assumptions: $ 0 < x \leq ||A|| \leq y$ $ 0 < ||...
12 votes
2 answers
2k views

Determinant of identity matrix plus Hilbert matrix

I am looking for the determinant $$ \det(I_n + H_n) $$ where $I_n$ is the $n \times n$ identity matrix and $H_n$ is the $n \times n$ Hilbert matrix, whose entries are given by $$ [H_n]_{ij} = \frac{...
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)$...
7 votes
1 answer
2k views

Determinant and Inverse of a Toeplitz matrix

Let $T(n,k)$ be a $n \times n$ symmetric Toeplitz matrix, where all the entries of first $k$ super-diagonal (and sub-diagonal), last $k-1$ super-diagonal (and sub-diagonal) are ones, and rest of the ...
10 votes
0 answers
237 views

Generalized eigen property of a matrix

Given a $n \times n$ invertible matrix $A$, I am interested in the set $$ \mathcal{S}(A) = \{ D \textrm{ diagonal matrix } \mid \det(D - A) = 0 \}. $$ Thus, for all eigenvalues $\lambda_i$, we have $...
10 votes
1 answer
537 views

Coefficient-wise powers of matrices. Reference wanted

Let $K$ be a commutative field and ${\rm M}_n (K)$ be the ring of $n\times n$ square matrices with coefficients in $K$ ($n\geqslant 1$ is an integer). For $k\geqslant 1$ and $A =(a_{ij})_{1\leqslant i,...
11 votes
1 answer
896 views

Decide if a matrix is transposable

A matrix $M$ is called transposable if it can be transformed into its transpose $M^t$ via row and column permutations. Is there an efficient a way/algorithm to decide if a given matrix is ...
0 votes
1 answer
243 views

A peculiar operation on $M_2(\mathbb Z)$ which along with the usual matrix addition, makes $M_2(\mathbb Z)$ into a commutative ring with unity [closed]

For $A=\begin{pmatrix} a_1 & b_1 \\ c_1&d_1 \end{pmatrix}, B=\begin{pmatrix} a_2 & b_2 \\ c_2&d_2 \end{pmatrix}\in M_2(\mathbb Z)$, define $A*B:=a_1L_1BR_1+b_1L_1BR_2+c_1L_2BR_1+...
3 votes
0 answers
117 views

Sparsest similar matrix

Given a square matrix A (say with complex entries), which is the sparsest matrix which is similar to A? I guess it has to be its Jordan normal form but I am not sure. Remarks: A matrix is sparser ...
3 votes
3 answers
504 views

Reference request. Something like a rank for matrices over non-commutative rings

I'm looking for some function $P: M \rightarrow R$, where $M$ is matrix ring over some non-commutative ring that would behave "like" rank. In particular: $P(A+B) \leq P(A)+P(B)$ $P(A\times B) \leq P(...
1 vote
1 answer
1k views

Expected size of determinant of $AA^T$ for non-square random $A$

If $A$ is chosen uniformly at random over all possible $m \times n$ (0,1)-matrices, what is the expected size of the absolute value of the determinant of $AA^T$. We can assume $m < n$ and all ...
0 votes
1 answer
3k views

Cholesky decomposition – non-positive definite matrix

In order to pass the Cholesky decomposition, I understand the matrix must be positive definite. However, I also see that there are issues sometimes when the eigenvalues become very small but negative ...
3 votes
1 answer
1k views

The largest eigenvalue of a binary matrix with specific density

I would like to find the largest eigenvalue of an $n \times n$ binary matrix of density $p$, i.e., with $p n^{2}$ ones and $(1-p) n^{2}$ zeros. Any idea or reference is welcome.
1 vote
0 answers
26 views

Depth bound of generating an matrix algebra

Let $X$ be Hilbert spaces $\mathbb{C}^d$, and $L(X)$ be the sets of linear operators of $X$. We are given a matrix subspace $S\subset L(X)$. Via the following procedure, one can generate the smallest ...
6 votes
0 answers
223 views

Specifying cokernels of all powers of $p$-adic matrix

Given a matrix $A \in M_d(\mathbb{Z}_p)$ (with nonzero determinant), viewed as a map $\mathbb{Z}_p^d \to \mathbb{Z}_p^d$, I am interested in the sequence of abelian $p$-groups $\{coker(A^n)\}_{n \geq ...
2 votes
1 answer
389 views

On the notion of Hadamard rank of matrix

Given a matrix $M\in\Bbb F_2^{n\times n}$, define its Hadamard rank $h(M)$ to be the minimum number of rank $\leq2$ matrices in $\Bbb F_2^{n\times n}$ with Hadamard product (that is, the entry-wise ...
9 votes
1 answer
804 views

A singular value-eigenvalue inequality

Singular value or eigenvalue problems lie at the center of matrix analysis. One classical result is $$\lambda_{j}(X^{*}X+Y^{*}Y)\geq 2\sigma_j(XY^*)$$ for $j \in \{1, \ldots, n\}$, where $\lambda_j(\...
3 votes
0 answers
99 views

Are there nondiagonal ring homomorphisms $f:R\rightarrow M_n(R)$ for an integral domain R?

Let $R$ be an integral domain and $M_n(R)$ the ring of $n\times n$ matrices over $R$. Question 1: Is there a ring homomorphism $f:R\rightarrow M_n(R)$ such that $f(r)$ is a nondiagonal matrix for ...
2 votes
1 answer
245 views

Are symmetric matrices a maximal subspace of conjugate-normal matrices

Let $M$ denote the space of all complex $n\times n$ matrices. ($M$ is a complex vector space.) Let $C\subseteq M$ be the set of all conjugate-normal matrices (i.e., matrices $A$ with $AA^*=\overline{...
2 votes
1 answer
799 views

Relation between LDLT and eigendecomposition of real symmetric matrices

The wikipedia page for Cholesky decomposition says: For real matrices, the factorization has the form $A = LDL^T$ and is often referred to as LDLT decomposition. It is closely related to the ...
41 votes
4 answers
33k views

What is the intuition for the trace norm (nuclear norm)?

I will word this question in terms of linear operators acting on $\mathbb{C}^n$ for simplicity. Feel free to provide an answer in terms of more general Hilbert spaces if you think it makes more sense ...
17 votes
0 answers
704 views

When is the determinant an $8$-th power?

I am working over $\mathbb{R}$ (though most of the story goes over any field). I am looking for linear spaces of matrices such that the restriction of the determinant to this spaces can be written (...
5 votes
0 answers
315 views

Is there a matrix with this specific quadratic determinant?

We have $\det M=(a+b)(c+d)$ where $M=\begin{bmatrix} a& 0& -1& 0\\ 0& c& 0& -1\\ b& 0& 1& 0\\ 0& d& 0& 1 \end{bmatrix}$ and $\det M'=(a'+b')(c'+d')$...
1 vote
0 answers
95 views

Is it true that the generator of maximal ideal in $M_n(P[x])$ can be choosen to be monic?

Let $P$ be a finite field and $R=M_n(P[x])$ be a matrix polynomial ring. I want to prove that for every polynomial (not necessary with invertible leading term) $A(x)\in R$ such that $R\cdot A(x)$ is ...
3 votes
1 answer
236 views

For $T$ the $2\times 2$ triangular matrices over $R$, can we write $GL_2(T)=U(T)E_2(T)$?

Let $R$ be a commutative ring with identity, and let $T = T_2(R)$ be the ring of $2\times 2$ upper triangular matrices over $R$. Is it true that the following identity holds? $$GL_2(T)=U(T)E_2(T)$$ ...
2 votes
2 answers
117 views

Powers of small square matrices over the Laurent polynomial ring with integer coefficients

I'm trying to calculate the powers of a 2 by 2 matrix with entries in $\mathbb{Z} \left[ t,t^{-1} \right]$. The matrix is \begin{bmatrix} 0 & 1 \\ 1 & t \end{bmatrix} I tought of writing my ...
51 votes
1 answer
2k views

Invertible matrices over noncommutative rings

Let $A\in M_m(R)$ be an invertible square matrix over a noncommutative ring $R$. Is the transpose matrix $A^t$ also invertible? If it isn't, are there any easy counterexamples? The question popped up ...
2 votes
2 answers
242 views

Integer square $2 \times 2$ block matrix inverse

Let $\mathbf{M}$ be an integer square $2 \times 2$ block matrix $$ \mathbf{M} = \left( \begin{array}{cc} \mathbf{A} & \mathbf{B} \\ \mathbf{C} & \mathbf{D} \end{array} \right) , $$ where $\...
3 votes
1 answer
101 views

Isomorphism concerning $Soc(M_n(R))$

It is known that $M_n(R/J(R))\simeq M_n(R)/M_n(J(R))=M_n(R)/J(M_n(R))$. I tried to prove the same "isomorphism" replacing $J(R)$ by $Soc(R_R)$, where $J(R)$ and $Soc(R_R)$ stand for the Jacobson ...
4 votes
0 answers
112 views

Inducing surjections on $GL_n(-)$?

Suppose $A,\,B$ are (possibly noncommutative) rings, and $GL_n(-)$ is the group of invertible $n\times n$ matrices over a given ring. Suppose $f:A\to B$ is surjective, does it necessarily follow that $...
7 votes
1 answer
212 views

What does $K_1(R)$ tell us about $GL_n(R)/E_n(R)$?

Let $D$ be a division ring, and $R=D[t_1,\ldots,t_n]$. If $GL_m(R)$ is the usual group of invertible matrices over $R$, then by $E_m(R)$ I mean the subgroup of $GL_m(R)$ generated by the elementary ...
7 votes
1 answer
517 views

When is $GL_m(R)$ generated by elementary and diagonal matrices?

Let $D$ be a division ring and $R=D[t_1,\ldots,t_n]$ the polynomial ring in $n$ variables. Now let $GL_m(R),\,E_m(R)$ be the usual general linear group and its subgroup generated by the elementary ...
2 votes
1 answer
83 views

Exist matrices such that $f(X) = \sum_{j = j}A_jXB_j$ for all $X \in \text{M}_N(\mathbb{C})$? [closed]

Let $f: \text{M}_n(\mathbb{C}) \to \text{M}_n(\mathbb{C})$ be a $\mathbb{C}$-linear map (not necessarily an algebra homomorphism). Do there exist matrices $A_1, \ldots, A_d \in \text{M}_n(\mathbb{C})$ ...
4 votes
1 answer
161 views

Subring of matrix algebra with common eigenvectors

Consider the matrix algebra $\mathcal{M}_n(\mathbb{C})$ (acting on $n$ dimensional space $V$) and let $R$ be subring of matrices of $\mathcal{M}_n(\mathbb{C})$. Suppose that any two elements of $R$...
10 votes
1 answer
3k views

Reverse Minkowski (and related) Determinant Inequalities

For positive semidefinite matrices $A,B,C \in \mathbb{R}^{n\times n}$, the following inequalities are well known: $$(\det(A+B))^{1/n} \geq (\det A)^{1/n} + (\det B)^{1/n} $$ and $$\det(A+B+C) + \...
22 votes
1 answer
33k views

vector to diagonal matrix [closed]

For any column vector we can easily create a corresponding diagonal matrix, whose elements along the diagonal are the elements of the column vector. Is there a simple way to write this transformation ...
0 votes
2 answers
149 views

Simultaneous special orthogonal similarity problem

Given matrices $A,B,C,D\in\Bbb K^{n\times n}$ where $\Bbb K$ is a ring is there an efficient technique to compute set $O$ with $OO'=I$ where $'$ is transpose and $\mathsf{Det}(O)=\pm1$ such that $$A=...
7 votes
1 answer
1k views

The saturation of Murray von Neumann relation

Edit: According to comment of Pace Nielsen, I remove question 2 of the previous version: Let $R$ be a unital ring. We define Murray Von Neumann relation $M$ on $R$ as follows: We say $a M b$ iff $...
3 votes
3 answers
357 views

Can a block matrix with at least 3 zero blocks of different size on the diagonal and 1's everywhere else have only integer eigenvalues?

Let $M=\begin{pmatrix} \begin{array}{cccccccc} 0 & 0 & 1 & 1 & 1 & 1 & 1 &1\\ 0 & 0 & 1 & 1 & 1 & 1 & 1 &1\\ 1 & 1 & 0 & 0 & ...
17 votes
1 answer
2k views

Hlawka inequality for determinants of positive definite matrices

It is mentioned here that if $A, B, C\in M_{n}(\mathbb C)$ are positive semidefinite, then $$\det (A+B+C)+\det C\ge \det (A+C)+\det (B+C)$$ (quoted from this article) and the special case ($C=\bf 0$) $...
-4 votes
2 answers
357 views

Representing quaternions as matrices [closed]

Assume F is a field of characteristic different than 2. Let a, b be invertible elements in F, and let A(a,b) be the generalised quaternions. Using the Artin–Wedderburn theorem, there is a ...
5 votes
2 answers
338 views

Polynomial identities for mod p matrices

Can there be a polynomial over the field $F_p$ of $p$ elements ($p$ prime) in non-commuting variables $X_1,..., X_r$ such that: 1) $f(A_1,...,A_r)=0$ for every $n \times n$ matrices $A_1,...,A_r$ ...
6 votes
2 answers
4k views

Characteristic polynomial of Kronecker/tensor product

This was asked before on stackexchange but no answer was given. The question is the following: Let $A$ and $B$ be matrices in $GL(n)$ and $GL(m)$ respectively. Their tensor product $A\otimes B$ is ...
10 votes
2 answers
1k views

When the determinant of a 2x2 polynomial matrix is a square?

Consider a 2x2 matrix $A$ with entries from $\mathbb{C}[x,y]$. Assume that $\mathrm{det} A$ is a square. Is it true that then $A$ can be represented as a noncomuting product $A=A_1 A_2 … A_{2n}$, in ...