Questions tagged [matrix-theory]
Matrix theory is the study of matrices as concrete objects, rather than as abstract linear operators between vector spaces (whose study belongs to linear algebra). For instance, this involves matrix factorizations and decompositions, nonnegative matrices and Perron-Frobenius theory, Schur complements, structured and special matrices, matrix functions and equations.
466 questions
1
vote
1
answer
150
views
eigenvalues of matrices (with positive entries)
I am reading an old paper by Kawpien and Pelczynski, Studia Math. 1970. It claims that singular values of a matrix (with positive entries? I am not sure) is given by $t_i=\sqrt{\sum_{j\ge 1}a(i,j)^2}$....
- 617
4
votes
1
answer
266
views
Positive system of algebraic integers
Let $\mathbb{A}$ be the ring of algebraic integers. Consider a sequence $(d_i)_{i \in I}$, with $I$ a finite set and $d_i \in \mathbb{A} \cap \mathbb{R}_{\ge 1}$, such that $$d_i d_j = \sum_{k \in I} ...
1
vote
1
answer
70
views
A question about the sign of quadratic forms on nonnegative vectors
Let $M$ be a real square matrix of order $n\ge 3$.
Assume that for every nonnegative vector $\textbf{z}\in \mathbb R^n$ which has at lease one zero entry we have $\textbf{z}^T M \textbf{z} \ge 0$.
Can ...
- 13
2
votes
0
answers
53
views
Robustness of largest singular vectors with respect to noise
I would like to find a result that shows that the largest right-singular vectors of a data matrix are in some sense robust with respect to low-variance noise perturbations. Specifically, let $X = U D ...
- 61
1
vote
0
answers
163
views
Convex matrix combination
We all know the notion of a convex combination like
$$\lambda x_1 \; + \; (1 - \lambda) x_2$$ for some $\lambda \in (0, 1)$.
However, I am trying to find literature where this concept has been ...
- 61
0
votes
1
answer
360
views
Are there zero entries in the eigenvector corresponding to a simple eigenvalue?
For a real symmetric matrix $M$ and a simple eigenvalue $\lambda$, under which conditions the corresponding eigenvector has no zero entries? Perhaps, this is unconditional and one can provide a proof?
- 1
1
vote
0
answers
111
views
Solving a block tridiagonal system with diagonal perturbations
Say we have a block tridiagonal matrix, $T \in \mathbb{R}^{NL \times NL}$, with constant off diagonals, $\mathbf{B} \in \mathbb{R}^{L\times L}$, given by
$$
T = \begin{bmatrix} \mathbf{A}_1 & \...
- 11
9
votes
1
answer
253
views
Linear subspaces of $\mathrm{GL}_n(\mathbb{R})$ whose inverses are also linear subspaces
$\DeclareMathOperator\GL{GL}$We will call a subset $S \subset \GL_n(\mathbb{R})$ a linear subspace if it is of the form $S = S'\cap \GL_n(\mathbb{R})$ for some $S'\subset M_n(\mathbb{R})$ which is a ...
- 2,178
1
vote
0
answers
216
views
Schatten norm inequality
Let $A,B$ be two $n\times n$ matrices.
Find a lower bound of the $p$-th Schatten norm
$\|(A-B)(A-B)^\ast\|_{S_{p/2}}^{1/2}$ in terms of Schatten norm of $\|(AA^*+BB^*)\|_{S_q}$ for any relation ...
- 97
8
votes
0
answers
411
views
Semigroups of matrices closed under conjugate transposition
An involution semigroup or $\star$-semigroup is a unary semigroup $\langle S,{\cdot}\,,{}^\star\rangle$ that satisfies the equations $$ (x^\star)^\star = x \quad \text{and} \quad (xy)^\star = y^\star ...
- 563
0
votes
0
answers
168
views
Multiplying by Loewner-ordered matrices
Suppose $A$ and $B$ are symmetric positive (semi-)definite, and $A<B$ in Loewner order, meaning $B-A$ is positive (semi-)definite. Is it true that, for a symmetric positive-definite $C$, we have $...
- 93
2
votes
1
answer
317
views
Classification of congruent integer matrices
I am interested in the following question:
Let $A,B\in\text{Mat}(2n\times2n;\mathbb{Z})$ be two integer matrices with the property that $\text{det}(A-A^T)=1=\text{det}(B-B^T)$. Are there known ...
1
vote
1
answer
142
views
The number of invertible 4×4 circulant matrices over the ring Z
Is the number of invertible 4×4 circulant matrices over the ring of integers Z finite?
I am looking for a reference which discusses this case.
- 11
1
vote
0
answers
267
views
Majorization for singular values of the difference of two matrices: $|\sigma(A)-\sigma(B)| \prec_w \sigma(A-B)$?
For two vectors $x$ and $y$ in $\mathbb{R}^n$, recall that $y$ weakly majorizes
$x$, denoted by $x\prec_w y$, if the sum of the $k$ largest entries of $x$ is smaller than or equal to that of $y$ for ...
- 269
1
vote
0
answers
42
views
What is the complexity of the matrix multiplication closure for a given generating system?
Given a generating set of $k$ matrices $X = \{M_1, M_2, \ldots, M_k\}$, with $M_i\in \mathrm{Mat}(\mathbb{C},n)$, what is the worst case complexity for computing the algebraic closure w.r.t. matrix ...
- 21
1
vote
0
answers
146
views
Identities for the determinant of a matrix similar to $\det(A)=\exp\circ\operatorname{tr}\circ\log(A)$ for different matrix functionals
The identity for the determinant of $A$ in the title is well know in matrix analysis and comes from the Jacobi's formula. I am interested in the existence of nontrivial formulas like this one (they do ...
- 573
0
votes
1
answer
232
views
Local differentiability of eigenvalues and eigenvectors of a real symmetric matrix
Let $A(x)\in\mathbb{R}^{n\times n}$ be a real symmetric matrix depending on the point $x\in\mathbb{R}^n$, where the eigenvalues are not necessarily simple. Can we say that for all $x$ there exists an ...
- 39
2
votes
0
answers
102
views
Decomposition of a 4D rotation into a particular sequence of simple rotations
I asked this question in math.stackexchange two days ago, but no one has answered yet. I suspect it is "hard enough" that it is appropriate to post it here as well. I am new to stackexchage, ...
- 21
0
votes
0
answers
92
views
Classification of elements $GL(d, \mathbb{R})$
Any $SL(2, \mathbb{R})$ is either elliptic or hyperbolic, or parabolic up to conjugacy; see here.
Do we have the same classification for $GL(d, \mathbb{R})$? If so, could you please introduce some ...
- 1,043
2
votes
1
answer
141
views
On the eigen vectors of a diagonalizable matrix
Let us consider the space $M_n(\mathbb{C})$. By a unitary matrix $U=(u_{ij})$ we mean that $U^{-1}=(\overline{u_{ji}})$.
Q. Let $U$ be a unitary matrix. I am looking for the pairs of matrices $(D,A)$ ...
- 4,058
4
votes
1
answer
109
views
Total positivity tests: optimal in the number of minors vs. the computational cost
A real matrix is called totally positive if all of its minors are positive. Of course, to check that a given matrix is totally positive it is not necessary to check all the minors: for example, it ...
- 3,186
3
votes
2
answers
354
views
Solving linear matrix equation
Given matrices $A, B, C' \in \Bbb R^{2 \times 6}$, where $'$ denotes matrix transposition, and matrix $L \in \Bbb R^{2 \times 2}$, how can one solve the following linear matrix equation in $X \in \Bbb ...
- 31
7
votes
0
answers
224
views
Reference request: maximal determinant of matrices with pairwise orthogonal rows and entries in $\{1, 0, -1\}$
We know that "Hadamard maximal determinant problem" concerns the largest determinant of a matrix of oder $n$ with entries in $\{-1,1\}$ or $\{0, 1\}$. For $n=4k$, it is the Hadamard ...
- 745
4
votes
1
answer
259
views
Why do these polynomials split almost in the middle?
Start with a palindromic sequence of integers $(a_0, a_1, \ldots, a_{n+1})$, i.e. $a_j=a_{n+1-j}$, and put $a_j:=0$ for $j<0$ and $j>n+1$. You may readily guess that the choice of the binomial ...
- 13.4k
8
votes
1
answer
286
views
Cardinality of the maximum points of the determinant on matrices with entries in [-1, 1]
By multilinearity, the maximum of the determinant on matrices with entries in the interval [-1, 1] is attained at a {-1, 1}-matrix. By the following example, the maximum is attained at infinitely many ...
- 745
1
vote
0
answers
109
views
Relation between the dimension of vector spaces and dimension of the space [closed]
Let $A \in \mathrm{GL}(d, \mathbb{R})$ be an irreducible matrix. Assume that $\{V_{n}\}_{n\in \mathbb{N}}$ is a non-zero proper subspace $\mathbb{R}^d$ with dimension $t<d,$ such that $AV_{n}=V_{n+...
- 133
8
votes
2
answers
414
views
Recovering eigenvalues of a matrix from its $p$th compound matrix
This question was motivated by Find the determinant of a matrix given the determinant of all $p\times p$ sub-matrices?. Let $A$ be an $n\times n$ matrix over a field. Suppose
we are given the $p$th ...
- 50.8k
2
votes
1
answer
151
views
Banach-Mazur distance between Schatten-$p$ classes
Let $M_n$ denote the set of all $n\times n$ complex matrices. Let $1\leq p<\infty.$ For $A\in M_n$ define $\|A\|_p:=(Tr(A^*A)^{p/2})^{1/p}$ where $Tr$ denotes the usual trace of a matrix. Then $\|.\...
- 1,879
2
votes
2
answers
104
views
Inequality for matrix with rows summing to 1
Let $A$ be real matrix with $M > 1$ rows and $K > 2$ columns, and each entry $a_{m,k} \in (0,1)$, with each row summing to $1$. For all $m$
$$
\sum_{k=1}^{K} a_{m,k} = 1
$$
I want to find out if ...
- 23
4
votes
1
answer
720
views
Singular value decomposition of truncated discrete Fourier transform matrix
Let $\mathbf{F}$ be a discrete Fourier transform (DFT) matrix such that
\begin{align}
F_{m,n}=e^{-j2\pi(m-1)(n-1)/N},\quad m,n=1,\ldots,N.
\end{align}
What we can say about the singular value ...
- 287
1
vote
0
answers
106
views
Number of non-singular matrices with entries in $\{1, -1\}$
What is the number of non-singular $n \times n$ matrices with entries in $\{1, -1\}$? Here I assume that two such matrices are equivalent if one can be obtained from the other by permutations of rows ...
- 745
0
votes
1
answer
125
views
Special type of normal form of matrix in principal ideal domain
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\PSL{PSL}$I want to ask the following, Given $X \in n \times n$ matrix that all the elements are integers and $X=X^{T}$ is symmetric.
Can one always ...
- 145
2
votes
0
answers
173
views
Perturbation theory for $UV^*$ in singular value decomposition
There is a fair amount of research into perturbation theory for singular value decompositions (e.g. Liu et al's 'First-Order Perturbation Analysis of Singular Vectors
in Singular Value Decomposition' ...
- 645
2
votes
0
answers
506
views
Finding a basis for the range of a linear function
I realize this question is not high level but I have posted it on Math Stackexchange:
Stackexchange question
and have received some upvotes but no answers or comments, so I am trying here.
I will need ...
- 121
1
vote
0
answers
79
views
There is an observation on the eigenvalues of the sum of a kind of special Hermitian matrices. How to prove it?
Suppose $A$ and $B$ belong to a kind of special hermitian matrices, which have the following properties:
$A$ and $B$ contain only one negative eigenvalue.
the negative eigenvalue and the second-...
2
votes
0
answers
113
views
Product of two involutions in $\mathrm{PSL}_2(D)$
Let $D$ be a division ring and $\mathrm{PSL}_2(D)$. Suppose that $\overline{A}\in\mathrm{PSL}_2(D)$ where $A\in \mathrm{SL}_2(D)$. If $\overline{A}$ is identity, then $\overline{A}$ can express two ...
- 141
1
vote
0
answers
69
views
Does there exist a canonical form for normal matrices which extends the following embedding?
Given an unordered pair of complex numbers $\{w,z\}$, we can associate to it the complex matrix
$$\frac 1 2\left[\begin{matrix}w + z + \frac{\left(w - z\right)^{2} + \left|{w - z}\right|^{2}}{2 \left|{...
- 4,943
7
votes
1
answer
511
views
Is it true that $\lVert A\rVert \leq \lVert A^2\rVert$ for $A\in \operatorname{SL}(2, \mathbb{R})$ when $\operatorname{trace}(A)>2$?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\trace{trace}$Let $A \in \SL(2,\mathbb{R})$ and $\trace(A)>2$. Is it true that $$\lVert A\rVert \leq \lVert A^2\rVert,$$
where $\lVert \rVert$ is the ...
- 1,043
1
vote
1
answer
387
views
Upper bound of rank of a matrix
Given a set $U=\{1,\ldots,c\}$, we have $t$-dimensional vector $v_i=(x_1,x_2,\ldots,x_t)$, where $x_j$ is a subset of $U$. We can check that there are $2^{ct}$ above vectors.
Then we construct the ...
- 91
0
votes
0
answers
150
views
Sequence in matrices converging to Identity
Let $M_{k}(\mathbb{C})$ be the set of $k \times k$ complex matrices. I am trying to find a sequence of polynomials $P_{n}: M_{k}(\mathbb{C}) \to M_{k}(\mathbb{C})$ (or continuous functions $f_{n}$) ...
- 31
2
votes
1
answer
137
views
Existence of matrices with some invertibility properties
Prove that there exists five matrices $B_i \in \mathbb{F}_2^{5\times 10}$, $i\in \{1,2,3,4,5\}$, such that any two $B_i$'s form an invertible matrix in $\mathbb{F}_2^{10\times 10}$.
I am interested ...
user83947
3
votes
1
answer
102
views
Multiplicative identity of determinant of multiplicative action of a polynomial on a quotient ring (companion matrices)
Let $A$ be a commutative ring with $f,g\in A[x]$ monics. Consider the $A$-linear endomorphism $\mu_g^{(f)}\in \mathrm{End}_A\tfrac{A[x]}{\langle f\rangle}$ given by multiplication by $g$.
For monics $...
- 10.5k
0
votes
1
answer
105
views
Can this fixed point theorem generalize to infinite structures?
Suppose that $n$ is a natural number, $X$ is a set, and $S\subseteq X^{2}$ is a subset such that if $x,y\in X$, then there is a unique tuple $(x_{0},\dots,x_{n})$ where $x_{0}=x,x_{n}=y$ and $(x_{i},...
2
votes
1
answer
156
views
Minimal Laplacian spread of a graph
Laplacian spread of a graph is the difference among the largest and the second smallest Laplacian eigenvalue of the graph. Is there any result or conjecture that discusses about the graphs having ...
1
vote
0
answers
84
views
In matrix product, differentiate one element with respect to another element
Background
Consider a system (roughly) along the lines of those shown in Sims, C. A. (2002). Solving linear rational expectations models, where you have
$$ AX_{t+1} = CX_t + M $$
where matrix $M$ is a ...
- 11
3
votes
1
answer
399
views
Maximal common isotropic subspace for a finite family of skewforms
Let $V$ be a vector space of dimension $n$ over a field $F$. An alternating bilinear form $\alpha\colon V \times V \rightarrow F $ will be called a skewform. A subspace $W$ is isotropic for $\alpha$...
- 923
14
votes
1
answer
751
views
Is this "semi-tensor product" something recently invented? Are there other usages of it?
The context: I was reading a paper in which they used the following definition called "Semi-Tensor Product" (STP) or "Cheng" product (In honor to its "inventor" D. Cheng):...
- 344
3
votes
1
answer
2k
views
Eigenvalues of a block matrix with zero diagonal blocks
Suppose $A$ is a $k_1\times k_2$ matrix with real entries, $k_1<k_2$. Let $M$ be the matrix
\begin{equation}
M:=\begin{pmatrix}
0_{k_1} & A\\ A^\top & 0_{k_2}
\end{pmatrix},
\end{equation}
...
- 53
2
votes
2
answers
1k
views
Routh-Hurwitz criterion for matrices
The Routh-Hurwitz criterion explicitly specifies a finite set of inequalities on the coefficients of a polynomial, necessary and sufficient that all zeros lie in the unit circle or in the left half ...
- 3,873
3
votes
1
answer
740
views
Operator norm of difference of matrix decompositions
This question is in part related to a question that I have already posed.
Say I have two symmetric positive definite matrices and their respective Cholesky decompositions $\mathbf{A} = \mathbf{L}_A \...
- 55