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

4
votes
1answer
189 views

Determinant inequality of square-product sum of diagonal matrix and upper-triangular matrix

Recently, I have seen a matrix inequality but don't know how to prove it. The inequality goes as follows. For an arbitrary $n\times n$ diagonal matrix $\mathbf{D}$ and an arbitrary upper-triangular ...
5
votes
0answers
155 views

Bound on number of multiplications required to generate a matrix algebra from generators?

I've got a question about matrices and matrix algebras that offhand seems difficult, I'm wondering there is any sharp solution? Or perhaps it's known to not have any solution at all? Suppose you have ...
3
votes
1answer
144 views

Explicit formula for an LMI solution

Suppose we have a linear matrix inequality (aka LMI aka spectahedron aka linear matrix pencil): $$A_{0}+x_{1}A_{1}+x_{2}A_{2}+\ldots+x_{m}A_{m} \succeq 0.$$ (The notation $X \succeq Y$ means that ...
3
votes
1answer
263 views

numerical range of a column-zero-sum matrix

I am trying to produce an example of a (necessarily non-normal) matrix that has only eigenvalues with positive real part, but whose numerical range contains elements with strictly negative real part. ...
3
votes
3answers
279 views

A NICE necessary and sufficient condition on positive semi-definiteness of a matrix with a special structure!

Let $$ A = \begin{pmatrix} \sum_{j\ne 1}a_{1j} & -a_{12} & \cdots & -a_{1n}\\ -a_{21} & \sum_{j\ne 2}a_{2j} & \cdots & -a_{2n}\\ \vdots & \vdots & \ddots & ...
18
votes
3answers
839 views

looking for proof or partial proof of determinant conjecture

Math people: I am looking for a proof of a conjecture I made. I need to give two definitions. For distinct real numbers $x_1, x_2, \ldots, x_k$, define $\sigma(x_1, x_2, \ldots, x_k) =1$ if $(x_1, ...
8
votes
1answer
132 views

Growth of powers of non-negative integer matrices

In what I am currently doing, there naturally appears the following question: let $A$ be a square matrix with non-negative integer entries. Let $a_n$ be the sum of all entries of $A^n$. Question: How ...
3
votes
1answer
112 views

Reference for partial Hadamard matrices

Definition. An $m\times n$ matrix is said to be a partial Hadamard matrix (let's say PHM) if its entries are chosen from $\lbrace -1, 1 \rbrace$ such that the dot product of each pair of row vectors ...
2
votes
2answers
149 views

Is my use of the eigendecomposition correct here?

I'm exploring different techniques to efficiently solve some matrix equations. My situation is that I have a matrix $\textbf{H} = \textbf{J}^T \textbf{J}$, where $\textbf{J}$ is a matrix with no ...
7
votes
1answer
244 views

Combinatorics of resultants

This is a crosspost of http://math.stackexchange.com/questions/446470/combinatorics-of-resultants which received no answer. [EDIT: I deleted the initial copy of the question on MathSE]. Let ...
4
votes
2answers
96 views

A certain type of constrained Rayleigh-Ritz ratio

Let $\mathbf{A_1}$ and $\mathbf{A_2}$ be two hermitian matrices. Consider the problem \begin{align} \max_{\mathbf{u}^H\mathbf{u}=1}~\mathbf{u}^H\mathbf{A}_1\mathbf{u} \\\ ...
10
votes
1answer
347 views

A simple proof for a theorem of Szekeres and Turán

Szekeres and Turán found in 1937 a formula for the sum of the squares and the sum of the fourth powers of determinants of all $n$ by $n$ matrices with $\pm 1$ entries. (The sum of squares case follows ...
3
votes
2answers
581 views

A problem about Determinant of sum of permutation matrices

Let $w_1$ and $w_2$ be two permutations of $\{1, \cdots , k\}$ such that for all $1\leq i \leq k$, $w_1(i)\neq w_2(i)$. Let $m$ and $n$ be two relatively prime integers. Then is there exist two ...
6
votes
1answer
239 views

The singular values of the Hilbert matrix

The $n\times n$ Hilbert matrix $H$ is defined as $H_{ij} = \frac{1}{i+j-1}, \qquad 1\leq i,j\leq n$ What is known about the singular values $\sigma_1\geq\ldots\geq \sigma_n$ of $H$? For example, ...
2
votes
1answer
110 views

Finding null-homologous curves via the matrix equation $AB^iC^jx=0$

Motivation: I have a family of curves obtained from a single curve by repeatedly applying two automorphisms of the surface (Dehn twists to be specific). I am interested in the images of these curves ...
3
votes
1answer
189 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$ ...
3
votes
0answers
158 views

Beating Kadane's Algorithm

I am seeking some reference on already existing work for the following problem. Given an $n$-dimensional square matrix $A=DP$ where $D$ is a diagonal and $P$ is a permutation matrix (think of Gaussian ...
19
votes
4answers
737 views

Does Anyone Know Anything about the Determinant and/or Inverse of this Matrix?

The matrix I am inquiring about here is the $n \times n$ matrix where the entry $A_{ij}$ is $\frac{1}{(i+j-1)^2}$. The $2 \times 2$ matrix looks like $$ \begin{pmatrix} 1 & 1/4 \\ 1/4 & 1/9 ...
4
votes
3answers
264 views

On tensor products of “generic” vectors

Suppose that $x_1,\ldots,x_n$ are $n$ vectors in $\mathbb{R}^m$ (where $m<n\leq m^2$) such that any subset of $m$ of them are linearly independent (i.e., they are "generic"). Now, form the ...
2
votes
1answer
134 views

Conjugacy of torsion subgroups in Gl(n, Z) for small n [duplicate]

Have the conjugacy classes of the torsion subgroups of Gl(n, Z) been determined for small n (say, n<=6)? In general, can much be said about the torsion subgroup?
1
vote
0answers
80 views

Copositivity in matrix pencils

Given two square symmetric matrices $A,B$ of the same order, the matrix pencil $P(A,B)$ is the set of linear combinations of $A$ and $B$. Finsler's theorem gives an elegant criterion for $P(A,B)$ to ...
14
votes
1answer
355 views

Geometry of numbers for three by three matrices?

While trying to use Minkowski's theorem to calculate the (left) class number of a noncommutative ring, I ran into the following problem: What is the volume of the largest symmetric convex subset ...
3
votes
1answer
113 views

subgroups of $\mathrm{Sp}_{2g}(\mathbb{Z})$ generated by powers of transvections

Let $g \geq 1$ be an integer, and $\mathrm{Sp}_{2g}(\mathbb{Z})$ be the symplectic group of $2g \times 2g$ integral matrices. In this case, we are defining the symplectic group a the automorphism ...
3
votes
0answers
116 views

Matrix-tree for matrices with constant diagonal

I've got a symmetric matrix $A$ whose entries are in $\{0,-1,1\}$, with the diagonal entries all equal to $1$. I'm interested in finding a combinatorial description of the entries of the inverse of ...
2
votes
1answer
162 views

Existence of a generalized matrix inverse over an arbitrary field?

Let $A\in M_n(K)$ be a square matrix over a field $K$. The notion of inverse matrix was generalized by Moore and Penrose for real and complex matrices (also called pseudo-inverse $A^{\dagger}$ of $A$, ...
12
votes
1answer
249 views

Largest subset of $GL_n(p)$ in which pairwise subtraction is also in $GL_n(p)$

Suppose $X\subset \mathrm{GL}_n(p)$ is a set of invertible matrices such that for every $A,B\in X$ then also $A-B\in \mathrm{GL}_n(p)\cup \{0\}$. (If anyone knows a name for such sets I would be ...
8
votes
1answer
195 views

Inequalities for Hadamard products of complex symmetric matrices

Consider a complex symmetric matrix $$ C= C_R + i C_I $$ with $C_R,C_I \in \text{Mat}_{n\times n}(\mathbb R)$ symmetric, and assume that the eigenvalues of $C_R$ are all strictly positive. Then, $C$ ...
1
vote
2answers
231 views

When powers of matrices are represented as a sum of integral matrices

There is a ring $R$ and its subring $K$ with unit. We have a matrix $A$ of order $n$ over $R$. Someone said, that if $A^m$ for $m=1,...,n$ can be represented as a sum of matrices over $R$ which a ...
1
vote
0answers
163 views

double eigenvalue of a sum

Let $A\in \mathcal{M}_n(\mathbb{R})$ be a diagonal positive matrix. We assume that $A$ is generic (in a sense to clarify). Let $\lambda \in\mathbb{R}$ and $U\in O_n(\mathbb{R})$ ($UU^T=I$) be such ...
1
vote
0answers
108 views

Books or references on multidimensional matrix operations

Have the 2D matrix operations been generalized to n-dimensional matrices? Are there any books that define various operations on multidimensional matrix? I'd like to see operations such as ...
1
vote
2answers
366 views

Hessian of function of covariance matrices

Suppose we have a typical logdet function $\mathcal{L}$ with respect to a covariance matrix $\mathbf{A}$, $$ \mathcal{L}(\mathbf{A}) = \log\vert \mathbf{I} + \mathbf{A}\mathbf{S} \vert - ...
10
votes
2answers
625 views

A strange matrix equality

Let $A$ and $B$ be $n\times n$ real matrices. When $n=2$, we have the equality $$A\Big(\mbox{Trace}(B)A-\mbox{Trace}(A)B\Big) B=B\Big(\mbox{Trace}(B)A-\mbox{Trace}(A)B\Big) A.$$ Can we give an ...
-1
votes
1answer
125 views

Regularized Gradient with respect to a matrix (with a specific structure)

Suppose we have a typical logdet function $\mathcal{L}$ $$ \mathcal{L} = \log\vert \mathbf{I} + \mathbf{A}\mathbf{S} \vert - \mathbf{q}^T(\mathbf{A}^{-1} + \mathbf{S})^{-1} \mathbf{q}, $$ where ...
3
votes
1answer
187 views

differential of the characteristic polynomial

Let $\chi:GL_{n}(\mathbb{C})\rightarrow \mathbb{C}^{n}$ the map given by the coefficients of the characteristic polynomial. Let $A$ a regular semisimple matrix, do we have a formula for the ...
1
vote
0answers
85 views

positiveness of the inverse solution to Sylvester equation

I need to construct a non-negative matrix with desired eigenvalues. To that end, I came up with a block matrix of the following form: $$ \mathbf{M} = \begin{vmatrix} \mathbf{A} & \mathbf{b} \\\ ...
-1
votes
1answer
224 views

identifying dual of lie algebra of general linear groups

Is there any reference for the following fact? I am looking for a nice and simple proof. Assume that $G=GL(n,C)$, the group of invertible $n\times n$ matrices with complex entries. Why can the dual ...
1
vote
0answers
297 views

What does this notation mean: matrix norm with a two-number subscript

I recently came across this notation, without explanation, in a paper: $||\mathbf{W}||_{2,1}$ From the context, I know that $\mathbf{W}$ is a matrix, which could be any size, and that ...
0
votes
0answers
103 views

A Horn-type conjecture regarding the singular values of submatrices

Given a sequence of $m$-tuples $\{\Lambda_K\}_{K\subseteq[n]}$, how can I determine whether there exists an $m\times n$ matrix $\Phi$ such that $\Lambda_K$ is the spectrum of $\Phi_K\Phi_K^*$ for ...
1
vote
1answer
258 views

Eigenvalues of Sum of non-singular matrix and diagonal matrix

Suppose $D={\rm diag}(d_i)$ is a diagonal matrix with all diagonal entries $d_i=\pm 1$. This implies $D^2=I$. Suppose $A$ is a non-singular Hermitian matrix. If we know that $A+A^{-1}+D$ has rational ...
4
votes
1answer
318 views

Rank of a 0-1-matrix

Suppose $K$ is a field of characteristic $0$. Let $M \in K^{n \times m}$ be a matrix such that every entry of $M$ is either $0$ or $1$. About this matrix, I know further that each sum over a column ...
4
votes
1answer
189 views

What is the largest possible operator norm of a sparse (0,1)-matrix?

Inspired by this question, I was wondering about the following problem: Consider all $n\times n$ $(0,1)$-matrices with $k$ ones. Which of these matrices has the largest operator norm? And how does ...
-1
votes
1answer
190 views

Upper bound on iterations count for power iteration algorithm

I'm stuck trying to get upper bound on iterations count for power iteration algroithm for finding first eigenvalue of adjacency matrix $A$ given tolerance value. I've tried to figure something out ...
0
votes
0answers
47 views

Spectral theory based on projections onto convex sets

Consider finite-dimensional settings. Usual spectral theory decomposes a self-adjoint operators $A$ as a linear combination of orthogonal projections $\{P_i\}$ onto linear subspaces, e.g. $A = ...
0
votes
1answer
190 views

Representation quaternions as matrices

char F≠2, a,b invertable from F, A(a,b) - generalised quaternions. Using Artin–Wedderburn theorem there is a representation of them over F. I found representation as Q8 but it's not over F. So, how to ...
1
vote
0answers
107 views

when upper triangular matrix modulo prime ideals implies upper triangular?

Let $E/ \mathbb{Q}_p$ be a finite extension, let $\mathcal{O}$ be the ring of integers of $E$. Let $A$ be a reduced noetherian local complete $\mathcal{O}$-algebra with the maximal ideal ...
8
votes
0answers
148 views

Determining the kernel of a Vandermonde-like matrix

The kernel of a Vandermonde matrix can be determined using >this< formula. The following type of matrix has a similar structure, and should also have a one-dimensional kernel. $V= ...
0
votes
0answers
164 views

Spectral radius of products of matrices of a certain form

Background Let $\mathcal{D}$ be the set of $S\times S$ diagonal matrices with elements in $[0,1)$. Let $\mathcal{G} = \{\Gamma \in \mathcal{D} : tr(\Gamma) = 1\}$, and let $B$ be an $S\times S$ ...
0
votes
0answers
94 views

Ratio of weighted sums => weighted sum?

Is it possible to convert a ratio of weighted sums to one single weighted sum whose weights depend on the previous weights? Let $m_1,m_2,m_3...$ and $n_1,n_2,n_3...$ be weights. This is the ratio of ...
3
votes
1answer
243 views

Regarding a Paper by Paul.A Clement on Tridiagonal Matrices

In Paul.A Clement's (1959) paper: A Class of Triple-Diagonal Matrices for Test Purposes SIAM Review, Vol. 1, No. 1 (Jan., 1959), pp. 50-52 He makes the claim ...
0
votes
0answers
91 views

Non-asymptotic ratio of singular values for random matrices

Suppose we have two independent Gaussian random vectors $\mathbf{X}\in \mathbb{R}^{p\times 1}, \mathbf{X}\sim \mathcal{N}(\mathbf{0}, \Sigma_x)$ and $\mathbf{Y}\in \mathbb{R}^{q\times 1}, ...