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)

1
vote
0answers
260 views

When does this matrix have full rank?

Suppose $\mathbf{B}\in\left[0,1\right]^{T\times M}$ is a binary matrix, $\mathbf{B}_{i}$ is a column of $\mathbf{B}$, and $\mathbf{X}\in\mathbb{R}^{N\times T}$ is a matrix where the columns are ...
0
votes
2answers
83 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=...
0
votes
1answer
40 views

Making a real matrix positive definite by replacing nonzero and nondiagonal entries with arbitrary nonzero reals

Let $A$ be real square matrix. Let $\mathcal{F}(A)$ be the set of real matrices $A'$ of the same size such that $A'_{ii}=A_{ii}$ for all $i$, and for all $i,j$, $A_{ij}=0\Rightarrow A'_{ij}=0 \land ...
5
votes
1answer
210 views

A partition of the set of all $n\times n\ (0,1)$-matrices

Let $S_n$ be the set of all the $n\times n\ (0,1)$-matrices and divide $S_n$ into two sets as follows: $A_n=\{M\in S_n:$ there exist a row and a column of $M$ such that the sum of the row is equal to ...
0
votes
0answers
99 views

A linear combination problem

Given $0/1$ $n\times n$ matrix $M$. Suppose we have $2$ vectors $\lambda,\mu\in\Bbb R^{1\times n}$ such that both $$\lambda M\in\{0,1\}^{1\times n}$$ $$M\mu'\in\{0,1\}^{n\times 1}$$ holds with $'$ ...
5
votes
0answers
105 views

When is a Hermitian matrix of the form $g^*g$ for some matrix $g$

I tried asking this question on Math StackExchange and didn't get any replies. I was hoping that maybe someone here could help, sorry for duplicating. I'm trying to figure out some properties of ...
2
votes
1answer
91 views

Eigenvalues of product of symplectic matrices

I have 2 symplectic matrices $X_{1},X_{2} \in \mathbb{R}^{2n\times2n}$. The matrix $X=X_{1} \cdot X_{2}$ is also symplectic. Question: Are there any theorems which allow me to express eigenvalues of ...
1
vote
0answers
34 views

Most accurate separation of tensor product of matrices

Given a matrix $A \in \mathbb{R}^{n^m \times n^m}$, how I can find a set of $m$ matrices $\{B_i\}$ such that $$\arg \min_{\{B_i\, \in\, \mathbb{R}^{n \times n}\}} \|A - B_1 \otimes \ldots \otimes B_m\...
3
votes
2answers
275 views

Is it always possible to “separate” the eigenvalues of an integer matrix?

Call a square matrix Galois-irreducible if all its eigenvalues are Galois conjugates of each other. Let $M$ be an integer $n\times n$ matrix which is not Galois-irreducible. Is it always ...
4
votes
3answers
178 views

Fast Upper Triangular Matrix Exponentiation

Let $Q_n$ be a $n\times n$ matrix with $Q_n=\begin{pmatrix} -\lambda_1-\mu_1 & \lambda_1 & 0 & \cdots\\ 0 & -\lambda_2-\mu_2 & \lambda_2 & \cdots\\ \vdots & \vdots & \...
0
votes
1answer
52 views

Approximate $\mathbf{G}=(a\mathbf{H}+\mathbf{M})^+$ by Taylor expansion [closed]

Suppose we have a complex matrix $\mathbf{M}$. Let $\mathbf{M}^+=(\mathbf{M}^*\mathbf{M})^{-1}\mathbf{M}^*$ be the pseudo-inverse of $\mathbf{M}$, where $^*$ denotes the conjugate transpose. Let $\...
0
votes
1answer
150 views

A particular Lie algebra $L_{n}$ and (various) lie groups whose Lie algebra is isomorphic to $L_{n}$

We define $$L_{n}=\{A=(a_{ij})\in M_{n}(\mathbb{R})\mid \sum_{i=1}^{n} a_{ij}=0 \;\;\;\text{for every fixed j}\}$$ This is a Lie subalgebra of $M_{n}(\mathbb{R})$. A dynamic-geometric proof for ...
6
votes
1answer
73 views

Least-squares solution of systems of Sylvester equations

The Sylvester equation $AX+XB=C$ has been studied quite a lot and there are known algorithms for solving it. But has the situation where (an over-determined) system of equations $A_{i}X+XB_{i}=C_{i}$ ...
1
vote
1answer
187 views

On Knot Equivalence problem statement

How is the knot equivalence problem represented? By this I mean I am looking for an analogy that compares with graph equivalence. For graph equivalence, we have two graphs $G_1$ and $G_2$ with ...
4
votes
0answers
168 views

Existence or construction of a sequence of orthogonal matrices with three properties

This is a problem that I encountered during my research, and I have spent a good amount of time on it without success. So I am reaching out for help .... Any pointers or suggestions are appreicated! ...
6
votes
1answer
159 views

Sum of the absolute eigenvalues of A>=B

Kindly help me to prove/disprove the following statement. Let $A$ be a symmetric matrix of order $n \times n$ with all the diagonal entry equal to $0$, and other non-diagonal entry equal to $k$ (...
3
votes
3answers
144 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 & ...
4
votes
2answers
172 views

Non-asympototic version of Gelfand's formula

Let $A$ be a $n\times n$ matrix. Let $\|A\|$ be the spectral norm of $A$, and $\rho(A)$ be the spectral radius. I am wondering whether the following statement is true. There exists universal ...
6
votes
2answers
485 views

Parametrization of positive semidefinite matrices

We know that a real, symmetric, positive definite matrix $A$ of size $n\times n$ can be parametrized by a vector $\theta$ of $\frac{n(n+1)}{2}$ parameters thanks to the Cholesky decomposition: $$ A = ...
0
votes
0answers
81 views

Is there a metric defined on the product space of orthogonal groups?

If one considers just the orthogonal group, then there is a natural metric given by [1]: $$\begin{align} \theta & =\frac{1}{2} \| \log(R_1^{-1}R_2) \| \\ & = \frac{1}{2} \| \log(\exp(-[\...
-5
votes
1answer
90 views

Simple bimodule over matrix ring [closed]

Let given not trivial simple $R$- $R$ bimodule $M$, where $R$ - $n\times n$ matrix algebra over field $\mathbf{F}$. Is it true that $M$ is uniquely defined?
3
votes
1answer
128 views

Uniqueness of the reduced rank QR decomposition

Let $A$ be a $n\times n$ matrix that is a real, symmetric, positive semidefinite and has rank $r$. I read about the rank reduced $QR$ decomposition (here for example) as the QR variant where $A=QR$ ...
12
votes
2answers
360 views

Factorization of a matrix as a product of a symmetric and a skew-symmetric matrix

When can an $n\times n$ matrix $M$ be written as a product $M=AB$, where $A^T=A$ and $B^T=-B$? For example, a necessary condition is that the trace of $M$ vanishes. In this case, it is easy to ...
3
votes
0answers
73 views

When is $\left[\begin{smallmatrix} D_1 & B \\\\ -B^T & D_2 \end{smallmatrix} \right]$ $\mathbb{R}$-diagonalizable?

Is there some block-wise characterization of $\mathbb{R}$-diagonalizability (by similarities) of $$\begin{bmatrix} D_1 & B \\\\ -B^T & D_2 \end{bmatrix},$$ where $D_1$ and $D_2$ are real ...
0
votes
0answers
30 views

Reducing the degrees of freedom in unitary columns

Let $U = diag([U_1, U_2, ..., U_N])$ be a block-diagonal $NM \times NM$ unitary matrix, where each $U_j$ is a unitary $M \times M$ matrix. Furthermore, let $Q_e = kron(I_M, Q)$ be the Kronecker ...
7
votes
2answers
193 views

Computer Algebra Systems that support variable sized matrices

I'm familiar with sympy, the matlab symbolic package, reduce, and have tried out a few other computer algebra systems. However, as far as I can tell, none of them seem to be able to do algebra on ...
3
votes
1answer
111 views

The action of $GL(\mathbb{R}^{n})\otimes GL(\mathbb{R}^{m})$ on $\mathbb{R}P^{(mn-1)}$

Motivated by the following RG question we ask a related question as follows: We identify $\mathbb{R}^{n} \otimes \mathbb{R}^{m}$ with $\mathbb{R}^{mn}$. We define $GL(\mathbb{R}^{n})\otimes GL(\...
8
votes
0answers
94 views

Which ordering of factors is needed to obtain this kind of determinantal inequalities?

Let $A$ and $B$ be $n\times n$ Hermitian positive definite matrices. The curious determinantal inequality given here, which can be stated as $$\det (A^{4}+ ABBA+BAAB+B^{4})\ge\det(A^{4}+ AABB+BBAA+B^{...
1
vote
0answers
76 views

Expected value of minimum rank of random matrices

I have $n$ random vectors ${\bf r}_i$ for $i=1,2,\dots,n$, each with dimension $1 \times m$, and $n$ random matrices ${\bf S}_i$ for $i=1,2,\dots,n$, each with dimension $M \times m$. The elements of $...
8
votes
2answers
206 views

generalizations of Vandermonde matrix to high dimensions

Let $x_1,x_2,\cdots,x_n\in\mathbb{R} $ or $\mathbb{C}$. By the non-degeneracy of Vandermonde matrix the maps $$ f: \mathbb{R}\longrightarrow\mathbb{R}^n,$$ $$ x\longmapsto (1,x,x^2,\cdots,x^{n-...
9
votes
1answer
268 views

The intuition behind the Hilbert projective metric and the Perron Frobenius Theorem

Recently I have read a proof of the Perron Frobenius Theorem for positive aperiodic matrices. In this proof, the trick is to put a metric in the "positive quadrant" of $\mathbb{R}^n$, $\mathbb{R}^{n}_+...
6
votes
1answer
154 views

Are the integer matrices in SO(3,2) “boundedly generated”?

Let $G$ be the subgroup of integer matrices in $\mathrm{SO}(3,2)$. (The invertible linear maps from a $5$ dimensional real vector space to itself which leave invariant a nondegenerate symmetric ...
9
votes
3answers
328 views

Integer matrix that does not belong to a free group of rank 2

I'm given two matrices in $SL_2(\mathbb{Z})$ $$ A = \left(\begin{array}{cc} 2 & 3\\ 3 & 5 \end{array}\right), \ \ B = \left(\begin{array}{cc} 5 & 3\\ 3 &...
7
votes
1answer
122 views

Efficient SVD of a matrix without some of the columns

I have a matrix $A \in \mathbb{R}^{p \times q}$ of rank $r$ and its SVD decomposition, i.e, $$ A = U S V^\top, $$ where $U \in \mathbb{R}^{p \times r}$ and $V \in \mathbb{R}^{q \times r}$ are ...
1
vote
0answers
108 views

Lower bound on the value $\textbf{1}^Tx$ such as $Ax\geq b$

The problem may be formulated as follows: We are given a set of $m$ positive numbers $\{b_1,...,b_m\}$ and a set of $n$ positive numbers $\{v_1,...,v_n\}$. We have $v_j\leq K$, $j=1,...,n$, for a ...
17
votes
1answer
482 views

Almost commuting unitary matrices

Suppose that $A_1,\dots, A_k$ are unitary matrices such that any two of them can be approximated by commuting unitary matrices. i.e. for any $i$ and $j$, there are unitary matrices $A_i'$ and $A_j'$ ...
-1
votes
1answer
49 views

finding a unitary submatrix inside a random matrix

Let $\mathbf{R} \in \mathbb{C}^{~m \times n} $ with $m \leq n $ be a random matrix, whose entries are i.i.d zero mean random variables with circularly symmetric Normal distribution. Let where $r$ be ...
2
votes
0answers
29 views

Nonconvex function on the singular value vectors of projected matrix

For a nonconvex function $p_\lambda(\cdot)$, with hyper-parameter $\lambda$, it can be decomposed into two parts that $p_\lambda(t) = \lambda |t| + q_\lambda(t)$, where $q_\lambda(t)$ is the concave ...
-1
votes
1answer
189 views

How bad could $\|A^k\|$ be when $\rho(A) < 1-\delta$ [closed]

(Sorry, I do hate editing this many many times but let me try the last time) Gelfand's formula says that $$\lim_{k\rightarrow \infty} \|A^k\|^{1/k} = \rho(A)$$ I am wondering whether there is any ...
11
votes
1answer
412 views

Strong equivalence between intrinsic and extrinsic metrics on $GL_n^+$?

$\newcommand{\til}{\tilde}$ Lately, I have become interested in comparing intrinsic and extrinsic metrics on Riemannian manifolds. Consider $GL_n^+$ (invertible matrices , $\det >0$) as an open ...
1
vote
0answers
145 views

Is there a brute force method for determining irreducible representations?

Suppose I have some groups $G_1$, $G_2$, $G_3$, etc... Then the direct product is given by $G = G_1 \times G_2 \times G_3 \ldots$ I know that the sub-representations of a reducible representation ...
4
votes
2answers
200 views

Prediction with positive weights?

Consider a covariance function (positive definite function) on $\mathbb{Z}$: $$ \gamma(k)=(1+|k|)^{-\alpha},\quad \alpha>0. $$ It is guaranteed to be positive definite by Polya's criterion (...
5
votes
1answer
118 views

What is the criterion for a matrix containing vectors and their permutations being invertible?

Consider the matrix $A\in\mathbb{R}^{m\times 2m}$. Let any arbitrary choice of $m$ columns of $A$ be linearly independent. Together with a permutation $P\in\mathcal{P_{2m}}$, one can build the matrix $...
9
votes
2answers
376 views

Kernel of skew-symmetric matrix of rank $n-1$ with $n$ odd: is this a known result?

When $n$ is odd, the kernel of a skew-symmetric matrix $M$ of size $n\times n$ and rank $n-1$ is the span of $v$, where $v$ is a vector whose $i$-th component is the Pfaffian of the matrix obtained by ...
8
votes
1answer
312 views

Exchange determinant and integral of a matrix-valued function

Assume $A(x)=(a_{ij}(x))_{k\times k}$ is a Hermitian matrix function on some manifold $M$, is there any inequality relates the integral of its determinant $\int_M det(A)$ and the determinant of its ...
11
votes
1answer
236 views

Have “sturdy squares” been studied before?

Over on PPCG I've just made a question that involves arranging the numbers 1 to 9 on a 3 by 3 grid such that every 2 by 2 subgrid has the same sum. I'm calling such 3 by 3 grids and their N by N ...
8
votes
0answers
124 views

A $k \times n$ matrix with a lot of invertible $k \times k$ submatrices over $\mathbb{F}_2$

In the appendix of the paper by Tolhuizen ( http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=841182) there is a very fast and easy probabilistic proof that for $k=cn$ where $c \in [0,1]$ is fixed, ...
1
vote
0answers
101 views

For of a special case of $Ax>=b$, are there always integer solutions?

The input consists of two integers $n\geq 2$ and $K\geq 2$, and a vector of positive integers $b$ of size $n$. We assume that $\sum_i b_i$ is a multiple of $K$. The output is a matrix $A(n\times n)$ ...
1
vote
0answers
49 views

Product of elementary divisors

Let $A$ be an $(m \times n)$ integer matrix (if it helps, we can assume that a is a square matrix). Let $d_i,\ldots,d_s$ be the elementary divisors of $A$. I am interested in the product $\prod_{i=1}^...
1
vote
0answers
57 views

Log convexity for the norm of a vector-valued function

Log convexity of various functions defined on the space of Hermitian matrices plays an important role in matrix analysis and probability theory. Given $v \in \mathbb{C}^n$, $D$ a diagonal matrix with ...