Questions tagged [matrices]
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 tag ra.rings-and-algebras, co.combinatorics, etc. and other tags that might be applicable. There are also several more specialized tags concerning matrices.
881
questions with no upvoted or accepted answers
8
votes
0
answers
169
views
Nonzero subdeterminants conjecture: has anybody seen this anywhere?
I already posted this question on Mathematics StackExchange. A user there suggested that I rather post it on mathoverflow, since it is a research question. So here it is.
Let $m\geq2$, $n\geq1$ be ...
8
votes
0
answers
476
views
Strange determinant inequality $\det(C+ xA) \det(C-xA) \le (\det C)^2$
Let $A$ be an all-one $3$-by-$3$ matrix, let $C$ be a $3$-by-$3$ matrix, and let $x$ be a real number. How might one prove the following inequality?
$$\det(C+ xA) \det(C-xA) \le (\det C)^2$$
8
votes
0
answers
247
views
Quantum coupon collection: positivity of an alternating sum of matrices
It is well-known that in the classic coupon collecting problem (CCP), the expected waiting time is
\begin{equation*}
T_n(x_1,\ldots,x_n) = \sum_{k=1}^n (-1)^{k+1}\sum_{1\le i_1 < \cdots < i_k \...
8
votes
0
answers
196
views
Solving matrix equation $X^{-1}=\sum_{i=1}^n D_i X A_i$
Does anybody know an algorithm to solve the following matrix equation?
$$X^{-1}=\sum_{i=1}^n D_i X A_i$$
where $D_i$s are diagonal and $A_i$s are symmetric matrices.
It would be great to have an ...
8
votes
0
answers
187
views
Does $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ have periodic points missing the critical hypersurface?
I am trying to prove that if $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ is an algebraic morphism of degree $d > 1$ (by which I mean $\varphi^{*}(\mathcal{O}(1)) = \mathcal{O}(d)$, so the ...
8
votes
0
answers
2k
views
Possible values of eigenvalues of Hadamard product of Hermitian matrices
One of the most important (and very well-known) result in the study of the spectrum of Hermitian matrices is Horn's conjecture (or theorem?), which provides a complete answer to the following problem:
...
8
votes
0
answers
5k
views
Partitioned inverse 3x3 block matrix
We know that matrices can be inverted blockwise by using the following analytic inversion formula:
\begin{equation}
\begin{bmatrix} \mathbf{A} & \mathbf{C^T} \\ \mathbf{C} & \mathbf{D} \end{...
8
votes
0
answers
719
views
Bounding sum of first singular values squared for Kronecker sum of traceless matrices
Let $A$ and $B$ be $4\times4$ traceless matrices with Hilbert-Schmidt norms summing up to $1/4$, i.e.
$$\text{Tr}\left[ A\right]=\text{Tr}\left[ B\right] = 0,\qquad\text{Tr}\left[ A^\dagger A + B^\...
8
votes
0
answers
691
views
Path connected set of matrices?
Consider the collection of $n$ by $n$ matrices
$$S=\{ A: A_{ij}\le0,\quad (-1)^{c_i}\det A(P_i;Q_i)<0 \quad \text{for} \quad i=1,\ldots, k\}$$
where $c_i\in \{0,1\}$, $P_i$ and $Q_i$ are disjoint ...
8
votes
0
answers
221
views
Standard polynomials applied to matrices (bis)
The standard polynomial in $r$ non-commuting indeterminates $x_1,\ldots,x_r$ is defined by
$${\mathcal S}_r(x_1,\ldots,x_r):=\sum_{\sigma\in S_r}\epsilon(\sigma)x_{\sigma(1)}x_{\sigma(2)}\cdots x_{\...
7
votes
0
answers
174
views
Hölder continuity of spectrum of matrices
Endow $\mathbb{C}^{d \times d}$ with the norm induced by the Euclidean norm on $\mathbb{C}^d$. It is well-known (to those who know it well, I guess) that the spectrum $\sigma(A)$ of a matrix $A \in \...
7
votes
0
answers
212
views
How to check two matrices for similitude over $\mathbb{Z}$?
General question. Let $A$ and $B$ be two $n\times n$-matrices over
$\mathbb{Z}$. How do I algorithmically check whether $A$ and $B$ are similar
(i.e., conjugate in the ring $\mathbb{Z}^{n\times n}$)?
...
7
votes
0
answers
104
views
Potential p-norm on tuples of positive operators
This is a follow-up to this question on p-norms of tuples of operators.
Consider $\left[\begin{matrix} A \\ B \end{matrix}\right] \in B(H)^2_+$, meaning $A,B\geq 0$, and define
$$
\left\|\left[\begin{...
7
votes
0
answers
889
views
The Möbius function as eigenvalues
Let the $N$ by $N$ matrix $A$ be defined by the tetration:
$$\Large \text{If } \gcd(n, k)=1 \text{ then } A(n,k)= \underbrace{e^{e^{\cdot^{\cdot^{e^{\Re\left(\frac{1}{n^s}\right)}}}}}}_m \text{ else }...
7
votes
0
answers
124
views
Removing rows to reduce the rank
What is the smallest number of rows one can delete from a matrix to reduce its rank (by $1$)? Is there any standard name / notation for this characteristic? Has it been studied?
I am in fact ...
7
votes
0
answers
176
views
Matrix of high rank mod $2$: must it have a large non-singular minor (with disjoint rows and columns)?
Let $A$ be a $2n$-by-$2n$ matrix with entries in
$\mathbb{Z}/2\mathbb{Z}$ such that, for every $2n$-by-$2n$ diagonal
matrix $D$ with entries in $\mathbb{Z}/2\mathbb{Z}$, the matrix $A+D$
has rank $\...
7
votes
0
answers
585
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 ...
7
votes
0
answers
138
views
A generalization of matrix minors to non-integer values
I am interested to know if there exist a notion of $k$-minors of a real square matrix, for non-integer positive values of $k$
One approach I thought of was to use the fact that the $k$-minors are (...
7
votes
0
answers
563
views
A rank inequality
Suppose
$$M := \begin{bmatrix}
M_{11} & \cdots &M_{1d} \\
\vdots & \ddots & \vdots \\
M_{d1} & \cdots & M_{dd}
\end{bmatrix}$$
is a $d \times d$ block matrix such that
$$M_{...
7
votes
0
answers
249
views
Bound on gap between least eigenvalues of $n \times n$ correlation matrix and of its $(n -1) \times (n-1)$ submatrices
The following problem is motivated by one of my research problems.
Let
$\Sigma$ be an $n \times n$ correlation matrix whose least eigenvalue is denoted by $\lambda$.
$\Sigma_i'$ be an ...
7
votes
0
answers
276
views
Counting 0-1 $n\times n$ matrices with a given rank r
What is the number $N$ of $n \times n$ $0$-$1$ matrices with rank $k$?
I read this sequence is
"OEIS A064230 Triangle $T(n,k)$ = number of rational (0,1) matrices of rank $k$ ($n\ge 0$, $0\le k\le ...
7
votes
0
answers
188
views
A special eigenvalue problem
For my research I need to solve a generalised eigenvalue problem
$Ax=\lambda B x$, where $A$, $B$ are general matrices, and selectively find only eigen-pairs $\lambda, x$ such that $\lambda\in \mathbb{...
7
votes
0
answers
250
views
A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers
In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that:
For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$
contains infinitely many finite index ...
7
votes
0
answers
334
views
Does this inequality always hold?
Denote the adjacency matrix of a given undirected graph by $g$. It is an $n$-by-$n$ symmetric Boolean matrix with elements on the diagonal to be zero ($n\geq 3$). Let $g_{12}=g_{21}=g_{13}=g_{31}=1$ ...
7
votes
0
answers
215
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 ...
7
votes
0
answers
410
views
Solving $P=AB,Q=BA$, in the unknowns $A,B$
Let $p\geq q$ $P\in M_p(\mathbb{C}),Q\in M_q(\mathbb{C})$. We seek $A\in M_{p,q},B\in M_{q,p}$ s.t. $P=AB,Q=BA$. The NS conditions for the existence of $(A,B)$ are given in
On the matrices AB and BA. ...
7
votes
0
answers
381
views
Concept of eigenvector restricted to nonnegative entries
Let $X\in \mathbb{R}^{n\times n}$ be a positive semidefinite matrix. The leading eigenvector $v\in \mathbb{R}^n$ of $X$ is the solution to the problem
$\arg \max_{v:\lVert v\rVert_2=1} \lambda\quad$ ...
7
votes
1
answer
368
views
Hankel matrix commuting with a Jacobi matrix
Assume the semi-infinite Hankel matrix $H$ with entries
$$H_{i,j}=\alpha_{i+j-1}, \quad i,j\geq1,$$
where $\alpha_{n}\in\mathbb{R}$, is given. It turns out that in some special situations a semi-...
7
votes
1
answer
506
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 ...
6
votes
0
answers
187
views
Zero-one pairings between sets of vectors
Let
$A\subseteq V$ and
$B\subseteq V^\star$
be spanning sets in
a finite-dimensional real vector space $V$ and
its dual $V^\star$.
Suppose that
$$
\langle b,a\rangle\in\lbrace0,1\rbrace
$$
for all
$a\...
6
votes
0
answers
145
views
Expressing an invertible sparse matrix as a product of few elementary matrices
Let $M$ be an $n \times n$ matrix with integer entries. Suppose that $M$ is invertible (over the integers) and that $M$ has at most $An$ nonzero entries, each of which is less than $B$ in absolute ...
6
votes
0
answers
337
views
Asymptotically nilpotent Lie sets of matrices
A matrix $A\in\textbf{Mat}_n(\mathbb{R})$ is called asymptotically nilpotent if for each vector $v$, ${\lim}_{k\to\infty}A^k(v) = 0$.
Question 1. Assume that $\mathcal{A}$ is the subset of $\textbf{...
6
votes
0
answers
127
views
Hölder inequality inside trace
$\DeclareMathOperator\tr{tr}$Suppose we have positive semidefinite matrices $A_1, \dotsc, A_n$ and $B_1, \dotsc, B_n$ of the same dimension. Do we have a Hölder inequality for the trace of the ...
6
votes
0
answers
327
views
Typical eigenspectrum of a random projection of a large matrix
Suppose I have a real symmetric $m \times m$ matrix $\Lambda$. This matrix is large ($m \gg 1$) and, for simplicity, we'll assume it's diagonal. I then construct a random $n \times n$ projection
$$ A =...
6
votes
0
answers
140
views
Algorithm to check a conjectural value for the rank of a large matrix
Feel free to suggest a different title, I'm not sure how to phrase this. I'm in the following somewhat specific situation:
I'm checking a conjecture which at the end of the day boils down to the ...
6
votes
0
answers
254
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 ...
6
votes
0
answers
93
views
Finding the maximal component of a vector in sublinear time
Given a vector $u \in \Bbb R^n$, finding the value of the largest component of $u$ needs linear time in $n$. However, what if we additionally know that $u$ lies in some linear subspace $U \subset \Bbb ...
6
votes
0
answers
190
views
A curious $q$-identity
Let $[x]_{q}=\frac{1-q^x}{1-q}$ and $\binom{x}{n}_{q}$ denote a $q$-binomial coefficient.
Let $A_n(x,q)$ be the $n\times n $ matrix with entries $$q^\binom{i-j}{2}\binom{i+j+x}{i-j+1}_{q},$$ $0 \le i,...
6
votes
0
answers
333
views
Legendre's three-square theorem and squared norm of integer matrices
Let $\mathbb{N}$ be the set of non-negative integers. Let $E_n$ be the set of integers which are the sum of $n$ squares. Let $F_n$ be the set of integers of the form $\Vert A \Vert^2$ with $A \in M_n(...
6
votes
0
answers
92
views
Tiling with Horn's polytopes
Let $n\ge2$ be an integer. Consider the hyperplane $H_n$ of ${\mathbb R}^n$ defined by the equation $x_1+\cdots+x_n=0$ and then the sector $P_n\subset H_n$ defined by the inequalities $x_1\le\cdots\le ...
6
votes
0
answers
212
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 ...
6
votes
0
answers
99
views
What is this matrix decomposition called and does it exist always? - II
Given a rank $2r$ matrix $M\in\Bbb Q_{\geq0}^{n\times n}$ can we find two matrices $M_+\in\Bbb Q_{\geq0}^{n\times n}$ and $M_-\in\Bbb Q_{\geq0}^{n\times n}$ each of rank at most $r$ such that $M=M_+-...
6
votes
0
answers
432
views
Solve this nonlinear matrix equation?
For $M$ and $N$ two invertible square matrices of the same size $n$, consider the equation
$$
\forall i,j, \quad M_{ij}(M^{-1})_{ji} = N_{ij}(N^{-1})_{ji}\ .
$$
Assuming we know $M$, we want to find ...
6
votes
0
answers
137
views
A question on deformation theory of triples of matrices
Let $(x,y,z)$ be a triple of $n \times n$ traceless complex matrices which are simultaneously diagonalizable. We call such a triple regular if $C_x \cap C_y \cap C_z$ is a Cartan subalgebra of $\...
6
votes
0
answers
362
views
Monomial base change and the Vandermonde
Denote the falling factorials by $(x)_k=x(x-1)\cdots(x-k+1)$.
The Vandermonde determinant is given by $\det\left[x_i^{j-1}\right]_1^n=\prod_{i<j}(x_j-x_i)$.
It is well-known that in as much as ...
6
votes
0
answers
219
views
Lower bound for order of matrix modulo $n$
For a positive integer $n$ and a square matrix $A$ with integral entries, let $\text{ord}(A, n)$ be the smallest positive integer $k$ such that $A^k \equiv \mathbf{1} \bmod n$, if such integer $k$ ...
6
votes
0
answers
445
views
Can this nonlinear vector equation be solved analytically?
I have the following vector equation:
$$
{\bf Ax} + {\bf b} + {\bf Cx}^{ \circ - 1} = {\bf 0}_n
$$
Where ${\bf x}$ is a vector of unknown variables. ${\bf b},{\bf x}, {\bf x}^{\circ - 1}, {\bf 0}_n ...
6
votes
0
answers
563
views
Lower bound on the sum of singular values for a sum of Hermitian matrices
Denote the eigenvalues of an $n\times n$ matrix $\mathbf{X}$ by $\lambda_i(\mathbf{X})$ and its singular values by $\sigma_i(\mathbf{X})$, $i=1,\ldots,n$. When $\mathbf{X}$ is Hermitian, we know that $...
6
votes
0
answers
704
views
Sum of the entries of the inverse covariance matrix
Let $T \in\left(0,1\right)$, $n\in\mathbb{N}$ and $e_n = [1,\ldots,1]\in\mathbb{R}^n$. Consider the covariance matrix $\mathfrak{A}_n = \left[sinc\left(\frac{T\left(r-s\right)}{n}\right)\right]^n_{r,s=...
6
votes
0
answers
475
views
Symmetric matrices with $\rho(A)\gg\|A\|_\infty$
For a symmetric real matrix $A$, denote by $\rho(A)$ the spectral radius of $A$, and by $\sigma(A)$ the largest absolute row sum of $A$; that is, $\sigma(A)=\max_i \sum_j |a_{ij}|$, where $a_{ij}$ are ...