All Questions
Tagged with matrix-theory linear-algebra
234 questions
8
votes
1
answer
490
views
Determinants (and traces) of linear maps of matrices
Let $k$ be a field or a commutative ring with unit and let $F:M_n(k)\to M_n(k)$ be a $k$-linear map. Suppose that $F$ is given in the form $F(X) = A_1XB_1 + \cdots + A_m X B_m$ for some $A_i,B_i\in ...
2
votes
2
answers
117
views
Powers of small square matrices over the Laurent polynomial ring with integer coefficients
I'm trying to calculate the powers of a 2 by 2 matrix with entries in $\mathbb{Z} \left[ t,t^{-1} \right]$.
The matrix is \begin{bmatrix}
0 & 1 \\
1 & t
\end{bmatrix}
I tought of writing my ...
1
vote
1
answer
622
views
Can I modify the singular values of a matrix in order to get a negative eigenvalue?
Let $A \in \mathbb{R}^{n \times n}$ be a real nonsymmetric matrix with eigenvalues $\left\{\lambda_i : i=1..n\right\}$ with positive real part $\Re(\lambda_i) > 0$ $\forall i=1..n$
Let $A=U\Sigma ...
1
vote
0
answers
76
views
When is $F(X)BF(X)$ operator monotone, if $F(X)$ is operator monotone?
Let $\Omega_{n}$ denote the cone of $n\times n$ real symmetric positive definite matrices, and consider $F:\Omega_{n} \mapsto \Omega_{n}$. For $X,Y \in \Omega_{n}$, the matrix valued function $F(\cdot)...
1
vote
0
answers
119
views
An analogue of Hermitian matrix - does it exist?
Let $k$ be any field and $R\subseteq M_s(k)$ be a subring of $s\times s$ matrices over $k$. Identify $k$ with the scalar matrices, so that $k\subseteq R$. Let $A\in M_n(R)$ be an $n\times n$ matrix.
...
4
votes
2
answers
311
views
Solving $\text{trace}\left[\left(I + pY\right)^{-1} \left(I - p^{2}Y\right)\right] = 0$ for scalar $p$
For given $n\times n$ real symmetric positive definite matrices $X_{1}, X_{2}$, let $Y := X_{1}^{-1}X_{2}$, and let $I$ be the identity matrix.
I would like to solve the following equation for the ...
5
votes
1
answer
2k
views
Diagonalization of real symmetric matrices with symplectic matrices
Consider the following real symmetric matrix
$M=\left[\begin{array}{ccc} A & B\\ B^T & D \end{array}\right]$
Both A and D are real symmetric $n\times n$ matrices. B is a real $n\times n$...
5
votes
2
answers
2k
views
Decomposing a matrix into a product of sparse matrices
How to study the decomposition of a square matrix into a product of sparse matrices?
There are no restrictions on the number of matrices in the product, but the fewer the better.
1
vote
0
answers
127
views
Low-rank approximation of sub-sampled matrix
Considering a large data matrix $X$ with zero-centered columns that is assumed to be approximately low-rank, it is common to do PCA and project the data onto the top few principal components, and use ...
2
votes
1
answer
303
views
Submatrix with small sum of elements
Let $A$ be an $n \times n$ matrix, for which I know the size of the sum of all its entries. Now I want to select an $m \times m$-submatrix, whose sum of entries is as small as possible. Is there any ...
3
votes
0
answers
70
views
Condition number after some "non standard" transform
Given a positive definite matrix $A$, and a diagonal matrix $B$ with positive diagonal entries, is the following inequality generally true?
$$\kappa((A + B)(I + B)^{-1}) \leq \kappa(A)$$
$I$ is an ...
3
votes
1
answer
240
views
Unique upper triangular basis matrix of sublattice $\Lambda \subseteq \mathbb{Z}^n$
Let $\Lambda \subseteq \mathbb{Z}^n$ be a full rank sublattice. We find an upper triangular basis matrix $B \in \mathfrak{ut}(\mathbb{Z},n)$ of $\Lambda$. Is $B$ unique up to the right action of $\...
4
votes
1
answer
545
views
No arbitrary product of matrices has eigenvalue 1?
Consider the matrix $D$, adjacency matrix of an undirected graph $G$ on $n$ vertices, with the notation that $d_{i,i}=0,\forall i$.
The matrices $A_i$ are constructed from Identity matrices, $I_{n*n}$...
0
votes
1
answer
460
views
A question on orthogonal matrix [closed]
Let $P\in R^{n\times n}$ be an orthogonal matrix. I want to ask whether or not there exists some vector $x\in R^n$ containing no zero entries such that $Px$ also contains no zero entries.
0
votes
1
answer
572
views
Recurrence Equation and Matrix Convergence
To begin with, let us give the conceptual background needed to expose the problem. First of all, we shall consider the set $\mathbb{L}^{n} = \mathbb{R}^{n}_{\geq0} = \{\overrightarrow{x}\in\mathbb{R}^{...
0
votes
1
answer
170
views
Non-strict column diagonally dominant matrix inner product
Let $A \in \mathbb{R}^{n \times n}$ be a normalized non-strict column diagonally dominant matrix, that is:
$$a_{j,j} = \sum_{i \ne j} \left|a_{i,j}\right|$$
where $0 \le a_{j,j} \le 1$ and $-1 \le ...
3
votes
0
answers
65
views
Why does the objectivity rule out the convexity?
In the famous work "Ball J M. Convexity conditions and existence theorems in nonlinear elasticity[J]. Archive for rational mechanics and Analysis, 1976, 63(4): 337-403", it was mentioned that the ...
1
vote
0
answers
947
views
max min of ratio of quadratic forms
Consider the optimization over two vectors $x$ and $y$
$$\max_{x,y} \min\left(\frac{x^TAx}{y^TAy},\frac{y^TBy}{x^TBx}\right)$$
for two positive definite matrices $A$ and $B$.
This problem can be ...
6
votes
2
answers
825
views
Explicit solution to a Rayleigh quotient equation
For 5 months! I have been struggling to solve the following equations analytically without numeric method (ie, Newton method):
Main equation:
$$
\biggl(M^2-\cfrac{\mathbf{x^{\text{T}}}M^2\...
2
votes
4
answers
293
views
Find a square, stochastic matrix of odd size, not a permutation matrix, with an eigenvalue other than 1 on the unit circle
...or prove that none exists.
Note that such a matrix $M$ couldn't be primitive, so there would be at least one entry equal to zero in every power $M^k$ (Perron-Frobenius theory).
Preferably the ...
1
vote
1
answer
607
views
The state-transition-matrix of a physical system,
Here's a simple but potential research problem that I am learning about.
Let's say I am studying a physical system that is governed by N objects. At each time, each object is either "active" and ...
0
votes
1
answer
246
views
$P(Z)$ is matrix polynomials. Why is $s_n$ smooth in a neighbourhood of $Z$?
Let $A_j \in \mathbb{C}^{n \times n}$, ($j = 0,1,2,\ldots,m$) and
$P(Z) = A_m Z^m + \cdots + A_1 Z + A_0$ is a matrix polynomial, and $Z $ is a complex variable.
$Z$ is eigenvalue of $P(Z )$ if $\...
3
votes
2
answers
2k
views
A question on determinant of a matrix polynomial
Let
${A_j} \in {\mathbb{C}^{n \times n}},0<{w_j}\in \mathbb{R} (j = 0,1,2....m)$ and $\lambda $ is a complex variable such that $\lambda=x+iy$ and $x,y\in \mathbb{R}$.
${\rm{P(}}\lambda {\rm{) = }...
1
vote
1
answer
352
views
Fixed point of quantum operations
A quantum operation is defined as
\begin{equation}
\varepsilon(\rho)=\sum_{k}M_k\rho M_k^{\dagger}
\end{equation}
where $\varepsilon(\rho)$ takes an initial state $\rho$ to some final state $\rho'$ ...
9
votes
3
answers
390
views
Is there a standard name for the following type of linear operator?
Is there a standard name for a linear operator $T$ on a finite dimensional vector space satisfying $T^n=T^{n+1}$ for some $n\geq 1$ or, equivalently, $T$ is a similar to a direct sum of a nilpotent ...
1
vote
0
answers
137
views
Boundary of pseudospectra
Suppose:
$B_i \in \mathbb{C}^{n \times n}$, $0<w_i\in \mathbb{R}$ $(i = 0,1,2,\ldots,m)$
${\rm P}(x) ={\rm{B}_m} x ^m + \cdots + B_1 x + B_0$ is a matrix polynomial, and $x $ is a complex ...
1
vote
1
answer
940
views
Uniqueness and invariance of the LDLT decomposition
A real symmetric positive semi-definite matrix $A$ can be decomposed in the form
$A = P^TLDL^TP$,
where $P$ is a permutation matrix, $L$ is a lower unit triangular matrix and $D$ is a diagonal ...
8
votes
2
answers
12k
views
Relation between eigenvalues of $A$ and $A^TA$?
For an $n\times n$ diagonizable matrix $A$, is there a relation between the eigenvalues of $A$ and the eigenvalues of $A^TA$?
I ask this because I am looking into the relation between $A$ and $A+cI$, ...
1
vote
1
answer
2k
views
Determinant of discrete Laplacian
It can easy be shown by induction that the determinant of the $(N-1)\times (N-1)$ matrix
$$\begin{pmatrix}
2 & -1 & & \\
-1 & 2 & \ddots & \\
& \...
7
votes
1
answer
250
views
approximate stationary distributions of a doubly stochastic matrix and its supports
Given a doubly stochastic matrix $M$ and a distribution $v$,let $M=\sum_{\sigma\in S_n}p_{\sigma}M_{\sigma}$ be any Birkhoff decomposition of $M$, where $M_{\sigma}$ is the permutation matrix induced ...
2
votes
1
answer
257
views
How to characterize singular matrix $X$ that solves det$(X−A)=0$, where $A$ is symmetric positive definite?
Consider real square matrices $X$ and $A$ of same size, where $A$ is known to be symmetric positive definite. I came across the matrix equation $XX^{\top} = AX^{\top}$, which solved for $X$ gives ...
13
votes
2
answers
6k
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 = ...
1
vote
0
answers
164
views
Eigenvalues of a partitioned self-adjoint matrix
This is a repost of the same question on MSE (with no reply/comment):
https://math.stackexchange.com/questions/1454314/eigenvalues-of-a-partitioned-self-adjoint-matrix
I would be grateful just for a ...
2
votes
0
answers
452
views
Largest eigenvalues distribution of tridiagonal symmetric random matrix
I would like to find the largest eigenvalue distribution of the following tridiagonal symmetric random matrix in an analytic way.
All the ${\lambda}_i$ are distributed the same way with chi-square (...
3
votes
1
answer
212
views
Possible lower bound in quantum many body system with non-local terms
I am asking a question related to Lieb-Robinson bound and nonlocality.
As we know from Lieb-Robinson theorem (see e.g. http://arxiv.org/abs/1008.5137): Suppose a Hamiltonian system is local, i.e. $H=\...
8
votes
2
answers
426
views
Existence and characterization of transitive matrices?
We call a matrix $M \in \mathbb{R}^{d \times d}$ transitive if it satisfies the following:
For any three vectors $u, v, w$ in $\mathbb{R}^d$. If $u^T M v > 0$ and $v^T M w > 0$ then $u^TMw &...
3
votes
2
answers
213
views
generalization of result on K_1 of $SL(n,R)$
Let R be a "nice" ring with 1 (e.g. Euclidean domain). Then the subgroup E(n,R) generated by the elements $I+te_{i,j}$ is equal to $SL(n,R)$.
My question is as follows: Instead of $SL(n,R)$ I look ...
1
vote
1
answer
76
views
rank minimization over vector subsets
Let $S$ be a set of $n$ vectors from $\mathbb{Q}^d$. For every $k=1,2,\dots,n$, define
$$r_k = \min_{T\subset S, |T|=k} \mathrm{rank}(T),$$
where $\mathrm{rank}(T)$ is the rank of a matrix formed by ...
19
votes
1
answer
825
views
Number of matrices with given Smith normal form
Denote with $\mathcal{M}$ the set of $(m \times n)$-matrices with integer coefficients bounded by some $K$. Given a matrix $B \in \mathcal{M}$ that is in Smith normal form, is anything known about the ...
1
vote
0
answers
113
views
Is my particular finite dimension Toeplitz matrix always strictly positive?
Let $H(\omega), \; -\pi \leq \omega \leq \pi$ be a real-valued function with a continuous band of zeros, that is (for simplicity) $H(\omega)=0, \; |\omega|\geq \beta \pi$.
Define a sequence of banded ...
9
votes
1
answer
657
views
Samuel Karlin's problem: Probability of positive solution to system of random linear equations
I came to know this problem from Dr. W. Bryc's slides (at University of Cincinnati), and I have been continually working on this problem for almost 5 days using different techniques. But I am only ...
1
vote
0
answers
631
views
Bounding the largest Singular value
D is a $n \times n$ diagonal matrix whose diagonal entries lies in $(0,1]$.
B is any $n \times n$ n.n.d. matrix.
What will be the sharpest upper bound on the largest eigenvalue of:
$(D+B)^{-1}D^2(...
1
vote
0
answers
127
views
Unitary transformation of a Hermitian indefinite pencil to a real non-symmetric pencil
Given a Hermitian indefinite pencil $(A-\lambda B)$ where both $A=A^H$ and $B=B^H \in \mathbb{C}^{n\times n}$ are possibly indefinite, it is straightforward to show that the eigenvalues are either ...
3
votes
0
answers
611
views
Can anyone help me deduce a matrix inequality?
The following lemma is taken from references firstly.
Lemma 1 [1-2] Given matrices $Q=Q^{T} , F, M$ and $N$ of appropriate dimensions, then $$Q+MFN+N^{T}F^{T}M^{T}<0$$
for all $F$ satisfying $F^{...
-3
votes
1
answer
232
views
A problem that involves matrix and Lorentz Transformation [closed]
To be clear I address the question in two parts as below. All matrixes involved are real four-dimensional matrixes.
$1.$Let $G$ be the matrix $diag(1,-1,-1,-1)$. $A$ is a matrix satisfying $A G A^T=A^...
7
votes
2
answers
507
views
What are the upper bound and stability conditions for the following simple linear system?
Consider the following linear system
$$\dot{x}=\sum\limits_{i=1}^{m}{{{\alpha }_{i}}}\left( t \right)\cdot {{A}_{i}}\cdot x \quad (1)
$$
where, $x\in {{\mathbb{R}}^{n}}$ represents the state vector, $...
3
votes
0
answers
237
views
Multi-dimensional permanent of structured tensor
I am facing the multidimensional permanent
\begin{equation} \text{perm}(W) = \sum_{\sigma, \rho \in S_n} \prod_{j=1}^n W_{j, \sigma_j, \rho_j } \end{equation}
of a 3-tensor $W_{j,k,l}$ of ...
0
votes
1
answer
546
views
Solution of infinite dimension linear system
Suppose that ${a_n}$ and $b_n$ is decreasing sequence such that $a_0=A$, $lim_{n->\infty}a_n=0$ and $b_0=B$, $lim_{n->\infty}b_n=0$.
For fix n,
we can construct n dimension linear equation ...
2
votes
0
answers
1k
views
Cholesky decomposition of a large covariance matrix
I have a tricky problem concerning a covariance matrix cholesky decomposition.
What I need is to obtain the cholesky decomposition of the estimated variance matrix of the set of samples stored in a ...
11
votes
1
answer
453
views
A variant of Cholesky decomposition involving binary matrices
Studying a problem that is not directly related to linear algebra I came across the following problem.
Let $B$ be $n \times n$ symmetric matrix whose entries are non-negative integers. I would like ...