Matrix theory is the study of matrices as concrete objects, rather than as abstract linear operators between vector spaces (whose study belongs to [tag:linear-algebra]). For instance, this involves matrix factorizations and decompositions, nonnegative matrices and Perron-Frobenius theory, Schur ...

learn more… | top users | synonyms

0
votes
0answers
36 views

$l_{\infty}$ norms of matrix perturbations

Say $B$ is a real symmetric matrix of dimension $n$ and $A$ is another real symmetric matrix of the same dimension. What needs to be the bounds on (which?) norm of $B$ to ensure that ...
5
votes
1answer
57 views

when does elementwise-log preserve positive-semidefiniteness?

Let $Z$ be a positive semidefinite matrix with nonnegative entries, and define $X=\log(1+Z)$, where the $\log$ is taken entrywise, i.e., $X_{ij}=\log(1+Z_{ij})$. Are there some simple sufficient ...
2
votes
0answers
175 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 ...
9
votes
3answers
457 views

Product of a Finite Number of Matrices Related to Roots of Unity

Does anyone have an idea how to prove the following identity? $$ \mathop{\mathrm{Tr}}\left(\prod_{j=0}^{n-1}\begin{pmatrix} x^{-2j} & -x^{2j+1} \\ 1 & 0 \end{pmatrix}\right)= \begin{cases} ...
0
votes
1answer
58 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. ...
6
votes
2answers
112 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
1answer
93 views

almost diagonal Positive semidefinite Matrix

Consider the set $\mathcal{D}_n$ of $n$-dimensional positive semidefinite matrices. A matrix $M\in \mathcal{D}_n$ is called $\epsilon$ diagonal in trace distance if there is a diagonal matrix $D\in ...
3
votes
2answers
124 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
1answer
39 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 ...
36
votes
4answers
2k views

The sum of squared logarithms conjecture

I am searching for the first proof of (or counterexample to) the following conjecture. (The sum of squared logarithms conjecture) For all natural numbers $n$ and positive numbers $x_1,x_2, \ldots , ...
0
votes
0answers
65 views

prove that a function is approximatively three dimensional

Let $D_n(x)$ be a diagonal matrix of size $N\times N$ where the $k$th element is $\exp(2\pi\jmath x(n+(k-1)/N)$. Let $P_n$ be a random diagonal $N\times N$ matrix where each diagonal element is a ...
8
votes
2answers
400 views

On closest unitary matrix

In this question $\|A\|_p$ is the normalized $p$-th Schatten norm which is defined to be $\left(\mathbb E_{i} \lambda_i^p\right)^{1/p}$, where $\lambda_i$ are singular values of matrix $A$. Suppose ...
5
votes
1answer
236 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
0answers
82 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 ...
8
votes
1answer
304 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 ...
8
votes
0answers
88 views

What is the symmetry group fixing norms of elements of a unitary matrix?

Let $N\geq1$ be an integer and let us say that two matrices $U,V\in U(N)$ are related if $|U_{ij}|=|V_{ij}|$ for all indices $1\leq i,j\leq N$. When exactly are two unitary matrices related in this ...
1
vote
0answers
116 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: ...
2
votes
2answers
212 views

quadratic matrix equation

Find all symmetric matrices $X=X^{T}$ such that \begin{align} XDX^{T}=-D \quad (1) \end{align} where $D\ne 0$ is a real diagonal matrix. For example, $X=iI$ satisfies $(1)$. Can you get a ...
3
votes
0answers
79 views

When is a Hankel matrix invertible?

I would like to have some conditions that render a general Hankel matrix of the form \begin{pmatrix}a_1 & a_2 & a_3 &\cdots & a_n \\ a_2 & a_3 & a_4 & \cdots & a_{n+1} ...
0
votes
0answers
136 views

The right expansion of a square root matrix

I have some issues in finding an asymptotic expansion for a square root matrix and I have already posted a question (Asymptotic expansion square root matrix). Somebody redirected me to a post where ...
1
vote
0answers
36 views

Constructing pointwise-or independent binary matrices

Let $M$ be an $m \times n$ matrix such that every $M_{ij} \in \{0,1\}$. We say that $M$ is `$\lor$-irreducible' if (i) no row is a pointwise-or of other rows, and (ii) no column is a pointwise-or of ...
1
vote
0answers
130 views

Asymptotic expansion square root matrix

I am looking for an asymptotic expansion for $\underline\gamma$ which is the "square root" matrix of a symmetric $p\times p$ matrix $\gamma$. Here $\underline\gamma$ is assumed to be symmetric, e.g. ...
1
vote
0answers
76 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 ...
1
vote
0answers
108 views

Bounds on smallest Eigenvalue of the Sum of a Standard Laplacian and a Diagonal Matrix

I'm trying to find upper boundaries on the smallest Eigenvalue $\lambda_1$ of $L + E$, where $L$ is a standard Laplacian of an unweighted digraph, with $\lambda_1(L) = 0$ and $E \in \{0,1\}^{n \times ...
4
votes
1answer
105 views

Calculating the dimension of the algebra generated by some given matrices

Let $X_1, X_2, \ldots, X_d$ be $n \times n$ matrices over some field $K.$ I want to calculate the dimension of the unital algebra generated by $X_1, X_2, \ldots, X_d$ for some examples in a problem I ...
2
votes
1answer
79 views

Distribution of the $\alpha$-parameter of a $2\times 2$ Haar-distributed, unitary matrix

It is well known that any $2\times 2$ unitary matrix $\mathbf{U}$ can be parametrized as $$\mathbf{U}=\begin{pmatrix} 1 & 0 \\ 0 & \mathrm{e}^{\mathrm{j}\beta_1}\end{pmatrix} \begin{pmatrix} ...
2
votes
0answers
167 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 ...
0
votes
0answers
41 views

Questions about some special tensor transformation

Suppose tensor $U_{i\alpha\beta}$ with dimension $M*N*N$ satisfy following condition: $$U_{i\beta\alpha}=W^1_{\alpha\alpha'}W^2_{\beta\beta'}U_{i\alpha'\beta'}$$ where $W^1$ and $W^2$ are $N*N$ ...
-3
votes
1answer
159 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 ...
6
votes
1answer
324 views

On the positivity of matrices

For given $n$, the following $n\times n$ real matrix $M=M^{T}$ is called positive, if $x^{T}M x\geq 0$ holds for all non-negative real $x_1,x_2,\cdots,x_n$, where $x=(x_1,x_2,\cdots,x_n)^T$. ...
4
votes
1answer
79 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, ...
2
votes
0answers
88 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 ...
5
votes
2answers
249 views

Ergodic theory reference for converging sequences of matrices

I have been told that the following is a well known theorem in ergodic theory & have been given the book by Furstenberg as a reference. However, I cannot find such a statement in it. Would anyone ...
-4
votes
1answer
98 views

How to find matrix representations of a boolean algebra? [closed]

Given a boolean algebra with a finite number of elements {a, b, c, ...}, and the usual operations: $\cup, \cap, \neg$. How to find matrix representations of the elements such that: boolean $\cup$ ...
0
votes
1answer
94 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 ...
0
votes
0answers
244 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 ...
8
votes
1answer
150 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 ...
0
votes
1answer
48 views

Using Marchenko - Pastur type Theorems on Regression Analysis

Sometimes when doing regression analysis, we estimate our function $g(x) = E(Y |X =x )$ using an orthonormal series, and in particular we use an approximate series $g_{p_n}(x) = \sum_{k=1}^{p_n} ...
3
votes
2answers
199 views

Stabilization of the pencil of skew symmetric matrices by the orthogonal group

Good morning everybody. During my researches I've come across the following question. Let $A$ and $B$ be a couple of square $k\times k$ skew symmetric matrices on $\mathbb R$. Let us consider the ...
0
votes
1answer
91 views

Any generic way to move a psd matrix to its neighbors?

Given a two positive matrices $A,B$. For simplicity, let's assume that $Tr A=Tr B=1$. Assume that $\|A-B\|_1\leq\varepsilon$, for some small $\varepsilon>0$, where $\|\cdot\|_1$ is the $l_1$-norm, ...
0
votes
1answer
475 views

How to determine the distance between two matrices under the meaning of a matrix function? [closed]

Suppose a nonlinear infinitely continous differentiable function $f:\mathbb{D}\mapsto \mathbb{R^+}$, where $\mathbb{D}\subset\left\{X|\text{rank}{X}=2,X\in\mathbb{R}^{3\times 3}\right\}$ is a ...
2
votes
1answer
2k views

Cholesky decomposition of a positive semi-definite

We know that a positive definite matrix has a Cholesky decomposition,but I want to know how a Cholesky decomposition can be done for positive semi-definite matrices?The following sentences come from a ...
1
vote
0answers
265 views

how to find all the solutions to $I+A+\cdots+A^n=0.$ [closed]

Let $GL_3(\mathbb{Z}[i])$ be the group of invertible $3\times 3$ matrices whose coefficients are Gaussian integers.I want to find all the pair $(A\in GL_3(\mathbb{Z}[i]),n\in\mathbb{Z})$ satisfying ...
0
votes
1answer
121 views

Kernel of a projection

Given $m<n$. Suppose that $H$ and $K$ be $m \times n$ and $n\times (n-m)$ matrices such that rank$(H)=m$, rank$(K)=n-m$, and $HK=0$. For fixed non singular symmetric matrix $A$ define ...
0
votes
1answer
157 views

Perturbation of Cholesky decomposition for matrix inversion

I am looking for a computationally cheap way to compute $x$ such that $$(L L^T + \mu^2 I)x = y$$ where $L \in \mathbb{R}^{n \times n}$ is a lower triangular definite positive matrix (with some very ...
6
votes
1answer
226 views

A generalization of van der Waerden's conjecture

I am wondering if the following generalization of van der Waerden's conjecture is true. Suppose A is an n x n non-negative matrix with all column sums equal to 1, and the sum of row i equal to $T_i$. ...
7
votes
1answer
790 views

A Problem on Linear Algebra

I'm trying to calculate an integral over the generalized Poincare upper half plane, then I find that I need to show the following identity: Let $X=(X_{i,j})\in\mathrm{GL}(n,\mathbb R)(n\geq 3)$ ...
3
votes
2answers
287 views

On a determinant inequality of positive definite matrices

Assume that $B$ and $A$ are two positive definite matrices. Take $B^*$ a block diagonal matrix with block $B_{11}$ and $B_{22}$ of $B$. This means the following: $$ B=\left[\begin{array}{ll} ...
2
votes
0answers
539 views

eigenvalues of a symmetric tridiagonal matrix with zero diagonals

I was investigating a problem and came up with the following symmetric tridiagonal matrix (with zero diagonal elements): $$ \left(\begin{array}{cccccc} 0 & a & 0 & \ldots & 0 \\ a ...
1
vote
1answer
937 views

Reachability in graphs using adjacent matrix

Assuming a graph $G$ with $N$ nodes distributed in a $\mathcal{L}\times\mathcal{L}$ area randomly. There is an edge between two nodes if and only if the Euler distance between them is equal or less ...