Questions tagged [positive-definite]

For questions about positive definite real or complex matrices. For questions about positive semi-definite matrices, use the (positive-semidefinite) tag.

Filter by
Sorted by
Tagged with
0 votes
1 answer
49 views

Relating two seemingly different definitions of Riemannian metric.

I've been studying Riemannian geometry from John M. Lee's book on the same. My aim is to understand the geometry of Hermitian positive semidefinite matrices when viewed as a Riemannian manifold. In ...
Afham's user avatar
  • 27
0 votes
1 answer
23 views

Existence of a linear map to the space of SPD matrices

Does there exist a linear map from the set of 24x29 Matrices to the set of Symmetric Positive definite (SPD) 24x24 Matrices? I understand that matrix multiplication is a linear map but from the matrix ...
meatball2000's user avatar
4 votes
1 answer
51 views

Prove that $\text{tr}(B_1^{-1} B_2) \geq \text{tr}((A^\text{T} B_1 A)^{+} A^\text{T} B_2 A)$

Suppose that we have two real and positive definite $n \times n$ matrices $B_1$ and $B_2$ and that $A$ is an arbitrary real $n \times n$ matrix. Running some numerical tests by generating random ...
Andreas's user avatar
  • 43
1 vote
0 answers
28 views

Nature of a certain invariant on smooth field of positive definite matrices

I apologize if this question is too open for this forum. Denote $g$ a positive definite matrix field (defined over, say, $\mathbb R^n$), and $g_{ij}$ its components in some basis (the same for all $g(...
Sardine's user avatar
  • 121
2 votes
3 answers
72 views

Matrix with entries $A_{ij} = u^{|i-j|} - u^{i+j}$ is positive semidefinite when $u \in (0, 1)$?

Consider the square $n \times n$ matrix $A_n$ with entries $u^{|i-j|} - u^{i+j}$ where $u \in (0, 1)$. Is it true that $A$ is positive semidefinite? In the case $n = 1$, we have $A_1 = 1-u^2 \geq 0$. ...
Drew Brady's user avatar
  • 3,102
2 votes
2 answers
69 views

Showing matrix C has spectral radius less than 1

We are given that $A$ is symmetric and positive definite, and $B$ is such that $A-B-B^T$ is also symmetric and positive definite. We are asked to show that $C=-(A-B)^{-1} B$ has spectral radius less ...
AlexS123's user avatar
0 votes
1 answer
39 views

Positive definite matrix and inverse

The book asserts that $\Psi$ is a positive definite matrix and expresses it as $\Psi^{-1} = P'P$, where $P$ is a square non-singular matrix. The implication is that, due to the positive definiteness ...
Maximilian's user avatar
2 votes
1 answer
68 views

Positive/Negative Definite Functions Confusion

I have the Lyapunov function $V(x_1,x_2) = x_1^2+x_2^2$ for the nonlinear system: $$\dot{x_1} = x_2$$ $$\dot{x_2} = -x_1 - x_2-x_2^3$$ Now obviously $V$ is a positive definite function but in order to ...
Ahsan Yousaf's user avatar
0 votes
1 answer
64 views

Is this matrix always semi-definite?

Assume I have a 3D vector $v$ and $\times$ is a dyadic product. Is matrix $$ M = v \times v' $$ always positive semi-definite? Computing $x^T M x$ gives us $(x_1 v_1 + x_2 v_2 + x_3 v_3)^2$, which is ...
user2966501's user avatar
1 vote
0 answers
36 views

Quadratic Form and its Matrix, Associated bilinear form for positive definite quadratic form is nondegenerate.

I have a question regarding the quadratic forms and their associated matrices. For some reason, google keeps telling me that this matrix is symmetric. The definition I am using is that a quadratic ...
Goob's user avatar
  • 391
0 votes
0 answers
49 views

Show that the solution to $Ax = b$ is a critical points of $f(x)$

Given the system of linear equations (the matrix of the system is symmetric and positive definite): $$\left\{\begin{matrix} 10x + 5y = 5\\ 5x + 3y = 4 \end{matrix}\right.$$ The solution to the system ...
Катерина Ковальова's user avatar
0 votes
1 answer
32 views

generalized matrix inequality for complex Hermitian matrices

Assume having a symmetric real matrix $A$ and a skew-symmetric matrix $\Delta = [0 1; -1, 0 ]$, such that the following generalized matrix inequality holds in the PSD sense: $$\pm \frac{i}{2} \Delta\...
hafezmg48's user avatar
0 votes
1 answer
43 views

Calculate the derivative of the Frobenius norm of matrix logarithm

Let $h(X)=\|\log(X)\|_{F}^2$ where $X\in\mathbb{S}_{++}^d$ is a $d$ by $d$ symmetric positive definite matrix, $\log$ is the matrix logarithm and $F$ stands for the common Frobenius norm. In section 6....
Jason Li's user avatar
1 vote
0 answers
15 views

Ordering positive definite matrices with diagonal matrices

Let $A \succ 0$ be a Hermitian positive definite matrix. I'm trying to understand the claim that there exists a (diagonal) positive definite matrix $B \succ 0$ such that $A \prec B$, that is, $B-A$ is ...
twist_lsk's user avatar
0 votes
0 answers
31 views

Finding the closest positive definite matrix

Let $L$ be the symbolic $n \times n$ lower triangular matrix and $S$ a real symmetric $n \times n$ positive semidefinite matrix. Fix a real symmetric $n \times n$ positive definite matrix $A$ with the ...
12345's user avatar
  • 187
0 votes
1 answer
129 views

If $A^2\succeq B^2$ then $A\succeq B$ [duplicate]

Let $A$ and $B$ be $n×n$ symmetric matrices such that $A,B\succeq0$ ($A$ and $B$ are positive semidefinite) and $A^2\succeq B^2$. Is the following inequality true? $$A\succeq B$$ In this answer, it's ...
S.H.W's user avatar
  • 4,569
0 votes
0 answers
27 views

Necessary and sufficient condition for Lyapunov stability

Suppose $J $ is a real square matrix and matrix $V = V^\textsf{T}$ is positive-definite. Define $ A = V J $. Can we show that $J ^\textsf{T} + J$ is negative-definite if, and only if, $A^\textsf{T} P +...
PerturbedBiologist's user avatar
1 vote
0 answers
30 views

Is $\lambda_{\min}(A) \geq \lambda_{\min}(B)$ when $A > B$ where $A$ and $B$ are positive semidefinite matrices?

Is $\lambda_{\min}(A) \geq \lambda_{\min}(B)$ when $A > B$ where $A$ and $B$ are positive semidefinite matrices? Here $A > B$ means $A-B$ is positive definite matrix.
melatonin15's user avatar
1 vote
1 answer
50 views

If $A=M^{-1}A^tM$ for some $M>0$, then there exists an invertible matrix $P$ such that $P^{t}MP=I$ and $P^{-1}AP$ is diagonal.

Problem Let $V=\mathbb R^n$ be the space of column vectors, and $M$ a positive definite symmetric $n\times n$ real matrix. Suppose the matrix $A\in M_n(\mathbb R)$ satisfies $MAM^{-1}=A^t$. Show that ...
SuperSupao's user avatar
2 votes
0 answers
49 views

Does $0\preceq A \preceq B$ imply $f(A) \preceq f(B)$ for concave(?) functions?

It seems to be a fairly common exercise to show that $$ 0\preceq A \preceq B \implies \sqrt A \preceq \sqrt B $$ for positive semi-definite matrices. On the other hand, in general, $$ 0\preceq A \...
Milten's user avatar
  • 6,964
0 votes
0 answers
34 views

Prime numbers and a positive definite matrix?

Probably this has nothing to do with prime numbers, I just experimented a little bit with it and wanted to share it, in case someone has an idea. Let $$p_n := n\text{-th prime number , }[a,b]:= \frac{...
mathoverflowUser's user avatar
0 votes
1 answer
28 views

Proving that a matrix of Gaussian distances is positive definite

I have a square matrix with elements $B_{ij} = e^{-c(i-j)^2}$ for some $c > 0$, i.e. a sort of matrix of Gaussian distances. How would I go about proving that this matrix is positive definite? I ...
655321's user avatar
  • 485
0 votes
0 answers
4 views

SVD of "normalized" SPD matrix: $P=\sigma \rho \sigma^T$. Relate SVD of $rho$ to the SVD of $P$?

$P\in\mathbb{R}^{n \times n}$ is a symmetric positive definite (SPD) covariance matrix, and can be factorized into standard deviations and correlations as $P=\sigma \rho \sigma^T=\sigma \rho \sigma$. ...
kampfkoloss's user avatar
0 votes
0 answers
10 views

SVD or Cholesky on sum of SPD matrices

Let $A$ and $B$ be symmetric positive definite (SPD) matrices and $C=A+B$. I know the SVD or Cholesky decomposition of A and B, $A=U_A\Sigma_AU_A^T=L_AL_A^T$ and $B=U_B\Sigma_BU_B^T=L_BL_B^T$. Can I ...
kampfkoloss's user avatar
0 votes
0 answers
22 views

Gradient of quadratic form with positive definite matrix in terms of Jacobian

I have recently encountered the following in a paper: Given $(\boldsymbol{z}-\boldsymbol{y(x)})^TU(\boldsymbol{z}-\boldsymbol{y(x)})$ where $U$ is a positive definite matrix independent of $x$ and $\...
darzan's user avatar
  • 75
1 vote
0 answers
104 views

Lower bound for matrix vector product

Let $\bf{A}$ be a semi-positive matrix, $\bf{I}$ is the identity matrix, and $\alpha \geq 0$. Let $\bf{x}$ and $\bf{y}$ be two vectors. I'm looking for a lower bound for the following quantity: $${\bf ...
Ki Chao's user avatar
  • 33
1 vote
0 answers
30 views

Conditions that lead empirical set of covariance matrices to follow optimal transport path?

I have a statistics/learning problem where I compute the covariance matrix of a random variable $Y \in \mathbb{R}^n$ conditional on different values of a second variable $X \in \mathbb{R}$. We refer ...
dherrera's user avatar
  • 202
0 votes
1 answer
52 views

Is the following Hankel matrix positive definite?

The matrix whose positive definiteness I am investigating is the following one $$ H_k(p)=\begin{bmatrix}1 & \frac{1}{p+1} & \frac{1}{p+2} & \frac{1}{p+3} & ... & \frac{1}{p+k-1} \...
Ann's user avatar
  • 9
0 votes
1 answer
16 views

When is the product of a skew-symmetric matrix $\mathbf{J}$ and a symmetric postive definite matrix $\mathbf{A}$ symmetric positive definite?

Let $\mathbf{J}$ be a skew-symmetric matrix and $\mathbf{A}$ be a symmetric positive definite matrix. How can we construct $\mathbf{J}$ and $\mathbf{A}$ such that $\mathbf{J}\mathbf{A}$ is symmetric ...
cisprague's user avatar
  • 129
4 votes
1 answer
40 views

Can $\operatorname{Tr}[A^{-1} BAB^\top]$ be shown to be always positive if $A$ is real and positive definite? [closed]

Let $A$ be a real symmetric positive definite matrix and $B$ is a real matrix with all eigenvalues zero. Can we prove or disprove that $\operatorname{Tr}[A^{-1} BAB^\top]$ is a positive number?
Mike's user avatar
  • 261
3 votes
0 answers
82 views

Equivalence of Matrix Determinant Maximization Problems?

I am interested in an optimization problem involving parameters $\boldsymbol{\mu}$ and $\boldsymbol{\pi}$, both strictly positive stochastic vectors, and variable $n \times n$ matrix $W$: \begin{...
brentertainer's user avatar
0 votes
1 answer
33 views

Positivity of an $n \times n$ matrix in $M_n(B(\mathcal H))$

Let $\mathcal H$ be a Hilbert space and $B(\mathcal H)$ be the set of all bounded operators on $\mathcal H$. Let $B \subset B(\mathcal H)$ be a $C^*$-subalgebra of $B(\mathcal H)$. Let $\xi \in H$ be ...
DenOfZero's user avatar
  • 113
1 vote
3 answers
40 views

If $A,B\in GL_n(\mathbb{C})$ are positive matrices. Prove that the following holds

If $A,B\in GL_n(\mathbb{C})$ are positive matrices. Prove that, there is $\lambda\in\sigma(A^{-1}B)$ such that the following holds $$\langle Ax,x\rangle\ge\lambda^{-1}\langle Bx,x\rangle\ \forall x\in\...
DeltaEpsilon's user avatar
  • 1,074
6 votes
1 answer
136 views

Diagonal submatrices of the inverse of a $p \times p$ block matrix

Let $X$ be a square, symmetric, positive definite matrix that can be decomposed into $p\times p$ block matrices: $$X = \begin{bmatrix} X_{11} & X_{12} & \ldots & X_{1p}\\ X_{21} & X_{...
Adrian's user avatar
  • 1,946
0 votes
0 answers
47 views

Can we say whether a matrix is positive definite from the matrix propeties [duplicate]

By definition, a symmetric matrix $\mathrm{A} \in \mathbb{R}^{n \times n}$ is positive definite if for all $\mathrm{x} \in \mathbb{R}^n \setminus \{\mathrm{0}\}$, $\mathrm{x}^{\mathrm{T}} \mathrm{A} \...
AEW's user avatar
  • 171
1 vote
0 answers
21 views

Upper bound on the trace of the product of real PSD matrices involving the trace of one of them

I am looking at the negative log-likelihood of a multivariate Gaussian $X \sim \mathcal{N}(\mu, \Sigma)$: $$const + (n/2)\log|\Sigma| + (1/2)Tr(\Sigma^{-1}S),$$ where $S = (1/n)\sum(X_i-\mu)(X_i-\mu)'$...
Giora Simchoni's user avatar
3 votes
0 answers
90 views

Intuitive difference between optimal transport distance and Fisher information distance

Let me start by saying I'm not a mathematician but a biologist with an interest in mathematics. I have a set of covariance matrices and I am interested in studying their geometry in the Symmetric ...
dherrera's user avatar
  • 202
0 votes
0 answers
123 views

How to calculate the eigenvalues of matrix with entries that are continuous functions of matrix?

I met the following problem during my research, could anyone please give me some help? Let $A(x) \in \mathbb{R}^{2 \times 2}, x\in \mathbb{R}$ be a symmetric matrix in the form \begin{align} A(x) = \...
hzhang's user avatar
  • 83
1 vote
1 answer
45 views

Does the product of a PSD matrix and a positive eigenvalue matrix have positive eigenvalues?

It's known that if $A$ is a positive definite (symmetric) matrix and $B$ is positive semi-definite (not necessarily symmetric), then $AB$ has non-negative eigenvalues. It follows from knowing that $A$ ...
Dan1618's user avatar
  • 665
0 votes
0 answers
38 views

Distance between two positive semidefinite matrices

Given two positive semidefinite matrices X, and Y. My question is, can we use von Neumann or the log-Determinant divergences to measure the distance between the two matrices. Most Manifold measure ...
MathLearner's user avatar
1 vote
1 answer
65 views

A inequality satisfied over an ellipsoid

Let $A$ be a positive definite matrix and $v \in \mathbb{R}^n$ be a given vector. Suppose there exists a $y \in \mathbb{R}^n$ such that $0 < y^{\top}Ay \leq 1 $ and the following holds: $$ \langle ...
Saeed's user avatar
  • 113
0 votes
1 answer
43 views

How to prove this inequality containing cofactors of a matrix?

I want to prove that the matrix $A$ of order $n$ with $(a_{ij})=\frac{2^{i+j}-2^{|i-j|}}{3}$ admits a Cholesky factorization. $A$ is trivially symmetric, but when trying to show it is positive ...
Isidro Navarrete Albero's user avatar
0 votes
1 answer
59 views

Prove: If matrix $A\in\mathbb{C}^{m\times n}$ with $m>n$ is full rank and $B\in\mathbb{C}^{n\times n}$ is diagonal, $ABA^H$ is positive semi-definite

If matrix $A\in\mathbb{C}^{m\times n}$ with $m>n$ is full rank and $B\in\mathbb{C}^{n\times n}$ is diagonal with $det(B)\ne0$, and $(B)_{ii}>0$ how can we prove that $ABA^H$ is positive semi-...
Squid49134's user avatar
1 vote
1 answer
75 views

determinant of symmetric block matrix with positive definite diagonal blocks

I have a matrix of the form $B = \left[\begin{array}{cccc} A_1 & C^T\\ C & A_2\\ \end{array} \right]$ Where $A_1,A_2$ and $C$ are all square, and $A_1,A_2$ are symmetric positive definite. ...
Paul's user avatar
  • 597
0 votes
1 answer
44 views

Analog of Sherman–Morrison matrix inversion formula for $(A-bx^T)^T (A-bx^T)$

Let $A$ be a real $n \times d$ matrix, $\vec{b} \in \mathbb{R}^n$, and $\vec{x} \in \mathbb{R}^d$. I'd like to find a simple formula for$$ F(\vec{x}) = \left(\left(A-\vec{b}\vec{x}^T\right)^T \left(A-...
Jim Ferry's user avatar
  • 2,233
0 votes
0 answers
74 views

Difference of inverese matrices

Let $A$, $B$ be symmetric positive definite matrices. We know $$ A^{-1}-B^{-1}=-C $$ for positive semidefinite matrix $C$. I want to show that $A-B$ is positive semidefinite. Here's my take: \begin{...
LuckyLuke's user avatar
0 votes
1 answer
90 views

Proving that a symmetric real matrix with a specific structure is positive definite.

Let $H$ be an $N\times N$ symmetric matrix with the following structure: \begin{equation} [H]_{n,m}\triangleq\begin{cases} {\left|x_{n}\right|}, &\text{if}\ n=m,\\ -\mathsf{Re}{\left(...
Mori_Math's user avatar
1 vote
1 answer
26 views

Any symmetric normed ideal $\mathfrak{a}$ on $\mathcal{H}$ is linearly generated by its positive elements

I have some questions about the proof of this statement in the book "Elements of Noncommutative Geometry" by Garcia-Bondía. A ideal $\mathfrak{a}\subset K(\mathcal{H})$ is called ...
Schrödinger's cat's user avatar
0 votes
0 answers
13 views

Checking whether matrix is PD vs computing PD completion

Let $E$ be a subset of entries of a real symmetric $n \times n$ matrix. We want to find a positive-definite matrix $X$ such that $X_{i,j}=M_{i,j}$ for all $(i,j) \in E$ for a fixed positive ...
12345's user avatar
  • 187
0 votes
0 answers
25 views

Given $A \in \mathbb{R}^{n \times n}$ and $B \in \mathbb{R}^{n \times p}$ with $rank(B)=p$ and $C(B)\subset C(A)$. Prove $B'AB$ is positive definite?

I want to show: Given $A \in \mathbb{R}^{n \times n}$ and $B \in \mathbb{R}^{n \times p}$ with $rank(B)=p$ and $C(B)\subset C(A)$. Prove $B'AB$ is positive definite, where $C(B)$ denotes the column ...
John Stone's user avatar

1
2 3 4 5
34