Questions where the notion matrix has an important or crucial role (for the latter, note the tag matrix-theory for potential use). Matrices appear in various parts of mathematics, and this tag is typically combined with other tags to make the general subject clear, such as an appropriate top-level ...

learn more… | top users | synonyms (1)

0
votes
0answers
123 views

Range of a trace preserving completely positive projection

I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is $$\text{Tr}(P(A)) = ...
2
votes
2answers
157 views

How to calculate one Cauchy type determinant

As we know, a Cauchy determinant of size n admits the following explicit formula: $$\det \left(\frac{1}{x _i+y _j}\right) _{1\le i,j \le n}=\frac{\prod _{1\le i < j\le n} (x _j-x _i)(y _j-y ...
1
vote
0answers
164 views

Is there a method to simultaneously block-diagonalize a set of group matrices?

Assume that you are explicitly given the representation matrices of a group. How does one go about finding that common basis which will find the irreducible components of all of them simultaneously? ...
1
vote
0answers
58 views

What are good bounds on ratios of subdeterminants?

Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ? Using the ...
5
votes
1answer
297 views

When is a linear combination of permutation matrices unitary?

Question: Let $P_\pi$ denote the matrix representation of permutation $\pi$. Consider a linear combination of all $n \times n$ permutation matrices $$U := \sum_{\pi \in S_n} c_\pi P_\pi$$ where ...
3
votes
0answers
77 views

When is a Hankel matrix invertible?

I would like to have some conditions that render a general Hankel matrix of the form \begin{pmatrix}a_1 & a_2 & a_3 &\cdots & a_n \\ a_2 & a_3 & a_4 & \cdots & a_{n+1} ...
1
vote
2answers
135 views

Matrices congruent to each other via a permutation

Consider the collection of all integer matrices and partition them via an equivalence relation $A\sim B\Leftrightarrow \exists$ a permutation matrix $P$ such that $B=PAP^T$. Is some canonical form ...
1
vote
2answers
153 views

Inverse of a matrix expression

Let $$X_i = \left(I - P\left(I - t_it_i^T\right)\right)^{-1}$$ where $P$ is an $N\times N$ matrix and $t_i$ is a vector of $N$ elements. Is there a way to simplify this expression in order to ...
0
votes
1answer
120 views

$\mathbb{Z}_{2}$ -equivariant vector bundles over manifold of rank-$k$ matrices

Edit: I remove the trivial part of the first version, according to comment of Alex Degtyarev Let $M$ be the manifold of all matrices in $M_{n}(\mathbb{R})$ with fixed rank $0<k<n$. There is ...
3
votes
1answer
89 views

Probe permutationally matrix extreme properties

Suppose given $M\in\{0,1\}^{n\times n}$ of rank $r$. Assume that changing even a single $1$ to $0$ in $M$ raises rank. Does it follow that $M$ is permutationally equivalent to a block diagonal ...
3
votes
1answer
542 views

Why are 1 and -1 eigenvalues of this matrix?

This is a subject I've been working on for a very long time now, but still did not manage to fully understand the interesting properties of this matrix $\mathbf{A}$. First, let's define two matrices: ...
1
vote
0answers
71 views

Spectral radius of a column stochastic matrix perturbed by a rank-1 matrix

$P\in \mathbb{R}^{n\times n}$ is an irreducible column stochastic matrix. $P$ is also diagonally dominant. $w \in \mathbb{R}^{n} $ is a strictly positive vector satisfying $w^T \mathbf{1} = 1$ where ...
4
votes
1answer
108 views

Maximizing Frobenius Norm of Commutator (an opposite Procrustes problem)

I was wondering if anybody has any suggestions on the following problem: Let $S$ be an $n\times n$ positive definite symmetric matrix. I wish to find an $n\times n$ orthogonal matrix $R$ which ...
2
votes
1answer
164 views

Symplectic (contact) structure on $M_{n}(\mathbb{R})$

Assume that $n$ is an even number. What is a natural symplectic structure on $M_{n}(\mathbb{R})$, such that for every $1\leq k \leq n$ the manifold of $k$-rank matrices would be invariant under ...
3
votes
1answer
97 views

Upper bounds on elements of a matrix

During my research I have come across matrices this type $$C=B\left(B^T B\right)^{-1}B^T\ ,$$ where $B$ is an $m\times n$ real matrix. If $B^TB$ is not invertible, then $\left(B^T B\right)^{-1}$ ...
5
votes
0answers
169 views

Characterizing matrices with rank constraint

Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, is there a nice method to characterize $$\mathscr{D}[M]=\{Q\in\Bbb\{0,1\}^{n\times n}:\mathsf{rank}(M-Q)= \mathsf{rank}(Q),\quad M-Q\in\Bbb\{0,1\}^{n\times ...
4
votes
1answer
130 views

Non-negative decomposition of a non-negative matrix

Consider a matrix $A\in{\bf M}_{n\times m}({\mathbb R})$, whose entries are non-negative. Let $r$ be the rank of $A$. It is well-known that $A$ decomposes as $x_1y_1^T+\cdots+x_ry_r^T$ with ...
3
votes
1answer
105 views

A norm description for singular matrices

For $n>2$, are there norms $\parallel.\parallel_{a}$ and $\parallel.\parallel_{b}$ on $M_{n}(\mathbb{R})$ with the following property: $A\in M_{n}(\mathbb{R})$ is singular if and only if ...
2
votes
2answers
184 views

A line bundle over the manifold of singular matrices

According to answer of Denis Serre to this question, the manifold of singular matrices in $M_{n}(\mathbb{R})$ is defined as follows: $$M=\{A\in M_{n}(\mathbb{R})\mid \text{rank}(A)=n-1\}$$ So we ...
1
vote
1answer
165 views

A geometric property of singular matrices

Let $S\subset M_{n}(\mathbb{R})$ be the singular points of the equation $Det=0$. That is $S$ is the critical points of the determinant function. What matrices belongs to $S$, precisely? Let ...
1
vote
0answers
89 views

Spectrum of primitive nonnegative integer matrices

Let $P(X) = a_nX^n + \cdots + a_1X + a_0$ with $a_i \in \mathbb Z$. Question 1. Is there an efficient criterion on the $a_i$ to decide if there exists a primitive nonnegative integer matrix with ...
2
votes
2answers
164 views

Matrices with real spectrum

Assume you have a non-symmetric real square matrix of all whose eigenvalues are real. Can anything be said about it? Is it unitarily equivalent to a symmetric matrix? EDIT: Is it at least similar to ...
1
vote
0answers
118 views

Eigenvalue of product of self adjoint compact operators

Suppose A is a self adjoint $m \times m$ real matrix with eigenpairs $\{e_j, \lambda_j\}$ such that $\lambda_j > \lambda_{j + 1}$. Let $B$ be another self adjoint real $m \times m$ matrix such that ...
0
votes
0answers
115 views

A quantity associated with an algebraic variete

Let $P:\mathbb{C}^{n}\to \mathbb{C}$ be an irreducible homogenous polynomial. Is there a geometric or algebra geometric interpretation for the following quantity: The maximum number $k$ such that ...
1
vote
1answer
116 views

Matrix Submodular Inequality

Given $a,b,x > 0$ I know following the submodularity property holds: \begin{align} \frac{1}{a} - \frac{1}{a+x} \geq \frac{1}{a+b} - \frac{1}{a+b+x} \end{align} My question is, does this property ...
11
votes
0answers
296 views

Why is a matrix pencil called a pencil?

I'm trying to understand the historical context behind the word pencil in matrix pencils, or pencil of curves so on. I am aware that even Gantmacher 1959 has this terminology however I don't know ...
6
votes
1answer
266 views

Jordan decomposition of the tensor product of two matrices

I asked this question on Math.SE here, but did not get a lot of attention. I am interested in the problem of determining the Jordan decomposition of the tensor product of two unipotent matrices over ...
8
votes
1answer
141 views

Is the center of the automorphism group of a von Neumann algebra M trivial whenever M is a factor?

Question: Is the center of the automorphism group of a von Neumann algebra $\mathscr{M}$ trivial (=$\{\mathrm{id}\}$) whenever $\mathscr{M}$ is a factor (=$\mathscr{M}$ has center $\{\lambda I; ...
3
votes
1answer
230 views

Finite codimensional subvector space of $C^{*}$ algebras which contains no invertible elements

Assume that $A$ is a unital $C^{*}$ algebra. Is there a subvector space $Y\subset A$ of finite codimension which does not contain any invertible element? Let $n(A)$ be the infimum of such ...
0
votes
0answers
49 views

Orthogonalization technique after cosparse dictionary update

I'm trying to adapt the cosparse dictionary learning (DL) approach described in Analysis K-SVD to a DL method that creates the dictionary as a union of orthonormal blocks (UONB). For this I apply the ...
0
votes
0answers
49 views

Dual cone of a set of particular semidefinite cones

Let $X$ be a matrix variable $$X=\begin{pmatrix} x_1 & x_2 & x_3\\ x_2 & x_4 & x_5\\x_3 & x_5 & x_6\end{pmatrix},$$ define the cone as ...
1
vote
0answers
59 views

Bound of spectral radius of polynomial of a complex matrix

I am trying to prove or disprove the following inequality. $$ ||P(A)||_2\leq 2 \max_{\alpha\in W(A)}| P(\alpha)|,$$ where $P(\cdot)$ is a complex polynomial, $A\in \mathbb{C}^{n\times n}$ and ...
1
vote
0answers
77 views

An exact fraction of a matrix

Let $A$ be a $n \times m$ real matrix with $n<<m$ and of rank $r<n$. It is known that $A$ has exactly two distinct non-zero singular values: $\sigma_{\max}$ and $\sigma_{2}$, and also that ...
2
votes
1answer
206 views

Rank changes with matrix edits

Assume we have rank $r$ real matrix $M\in\{0,1\}^{n\times n}$ (not constrained to symmetric). Assume $W\in\{0,1\}^{n\times n}$ is rank $1$ real matrix. Case $1$: $M+W\in\{0,1\}^{n\times n}$. Could ...
0
votes
0answers
51 views

Bits of precision matrix reconstruction

We have a real rank $r$ matrix $M\in\{0,1\}^{n\times n}$. Suppose we have diagonalized using $LMR=D$. I want to recover a real matrix $\widetilde{M}$ such that maximum absolute entry of ...
0
votes
0answers
58 views

Way to parameterise sparse multi diagonal matrix

I have an NxN matrix S that looks like this: $$ S^{-1} = K^{-1} + \Lambda $$ where N is a multiple of 3, both K and S are positive definite matrices, and Lambda is $$ \Lambda = \begin{bmatrix} x ...
3
votes
0answers
98 views

Maximal compact subgroup of SL(2,|H)

The exceptional isomorphism $Spin(5,1)\simeq SL(2,\mathbb{H})$ is well-known, and I can find references that say the maximal compact of $Spin(5,1)$ is $Spin(5) \simeq Sp(2)$. So I know the answer to ...
4
votes
0answers
83 views

Can we replace 2-fold cover by n rectangles with 1-fold cover by n rectangles?

Suppose that $n$ rectangles cover every point of their union exactly twice (except for points on their boundaries). Can we partition this union into at most $n$ rectangles? I think it's pretty ...
3
votes
1answer
182 views

Is there a standard notation for off-diagonal transpose?

Given a matrix $A=\begin{pmatrix}a&b\\c&d\end{pmatrix}$, its transpose, obviously, is $A^T=\begin{pmatrix}a&c\\b&d\end{pmatrix}$. But is there a conventional way of notating the matrix ...
5
votes
1answer
451 views

Some calculus in the orthogonal group $O(n)$

How can one compute each of the following matrices, explicitly: $$\int_{O(n)} e^{g}dg$$ or $$\int_{O(n)} g^{n}dg \;\;\;\;n\in \mathbb{N} \;\;n>1$$ What is the explicite entries of the resulting ...
1
vote
0answers
194 views

A (possible) equivalent relation on the space of vector bundles

Edit: According to the essential comment of Alex Degtyarev, we revise the question as follows; Assume that $\alpha$ and $\beta$ are two oriention preserving automorphism of Lie groups $O(n)$ and ...
4
votes
2answers
222 views

An algorithm to compare two representations of a simple Lie algebra?

I have two representations of a simple (complex or real) finite-dimensional Lie algebra $S$, both given in terms of their structure constants on a given basis. the first one is the adjoint ...
3
votes
1answer
233 views

Explicit Isomorphism between $Cl(8)$ and $\mathbb{R}(16)$

I am looking for a explicit isomorphism between $Cl(8)$ (Clifford algebra over $\mathbb{R}^8$ with standard Euclidean metric) and $\mathbb{R}(16)$ (algebra of $16\times 16$ matrices over ...
1
vote
0answers
130 views

Zariski dense subgroups and conjugates

Let $H \leq \mathrm{SL}_3(\mathbb{Z})$ be a finitely generated subgroup which is not Zariski dense, and let $g \in \mathrm{SL}_3(\mathbb{Z})$. Must there be some $a \in \mathrm{SL}_3(\mathbb{Z})$ such ...
6
votes
1answer
245 views

Subadditivity of the square root for matrices

For positive numbers $a$ and $b$ we have the inequality $\sqrt{a+b} \leqslant \sqrt{a} + \sqrt{b}$. Is it true that the same holds if we take $a$ and $b$ to be positive semidefinite matrices? If not, ...
0
votes
0answers
53 views

About bi-stochastic and symmetric matrix

If you have an bi-stochastisc and symmetric matrix, what you can say about the second largest eigenvalue of this matrix? To be more precise, I would like to find upper bounds for it looking for the ...
1
vote
1answer
63 views

Are certain normal matrices circulant? (Part 2)

Let $\mathcal{F}$ denote the family of real normal matrices $A$ such that $ A^TA=\begin{pmatrix} a & b \\ b & \ddots \end{pmatrix}$, for $b>0$. As a user observed in the solution of Part 1 ...
0
votes
3answers
130 views

Simple Spectrum of Jacobi matrices

I want to call a matrix a Jacobi matrix (cause there may be different notions of Jacobi matrices) if it is a tridiagonal matrix with positive off-diagonal entries. Now, I read that the spectrum of ...
5
votes
0answers
76 views

Eigenvalues of Random Regular Bipartite Graphs

I am looking for a way of getting a good estimate of the eigenvalues of random bipartite d-regular graphs. The literature has very precise values the proofs of which are very involved and since I am ...
0
votes
1answer
155 views

Are these particular kinds of matrices well known?

Given two positive integers $n$ and $a \leq \frac{n}{2}$ consider a $n \times n$ matrix $A$ such that, all the diagonal entries are either $a$ or $a+1$ all the non-zero off-diagonal entries are ...