Community

Looking for a challenging algebra text? Preparing for MATHCOUNTS or the AMC exams?
Check out Art of Problem Solving's Introduction to Algebra by Richard Rusczyk.
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Sun Nov 22, 2009 8:44 pm
All times are UTC - 8
View posts since last visit
View unanswered posts
positive definite matrices + kronecker product
Moderators: College Playground Moderators
Post new topic   Reply to topic View previous topicView next topic
22 Posts • Page 1 of 2 • 1, 2 Next
Author Message
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2384
FranceUnited Kingdom

To rate posts you must be logged in
#1
positive definite matrices + kronecker product
my teacher

Let A = \left(a_{i,j}\right)_{1\leq i\leq n,\ 1\leq j\leq n} and B = \left(b_{i,j}\right)_{1\leq i\leq n,\ 1\leq j\leq n} be two n\times n positive definite matrices. Show that the matrix C = \left(c_{i,j}\right)_{1\leq i\leq n,\ 1\leq j\leq n} defined by c_{i,j} = a_{i,j}b_{i,j} is also positive definite.

Remark (inserted by moderator). Under a positive definite matrix, we understand a symmetric (or Hermitean, if we work over the complex numbers) matrix U such that x^TUx > 0 (or x^*Ux > 0, respectively) for any nonzero vector x.
_________________
They misunderestimated me!

PostPosted: Fri Jan 14, 2005 4:49 am  Back to top 
  ProfilePMYM
fredbel6
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 19 Jul 2003
Posts: 1710
Location: near Ghent, Flanders (Belgium)
Belgium

To rate posts you must be logged in
#2
is that correct?
the product of two positive definite matrices isn't even always a symmetric (or hermitian if you work complex)

take A = [ 1 1/2
1/2 1

B = 3 1
1 2

the product is not symmetric!

PostPosted: Fri Jan 14, 2005 5:23 am  Back to top 
  ProfilePM
Peter Scholze
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 03 Jun 2004
Posts: 674
Germany

To rate posts you must be logged in
#3
? he just claimed it's positive definite, not symmetric...

PostPosted: Fri Jan 14, 2005 5:33 am  Back to top 
  ProfilePMICQ
harazi
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 12 Nov 2003
Posts: 5494
Location: Paris
RomaniaFrance

To rate posts you must be logged in
#4
Use Schur decomposition theorem to prove that any positive semidefinite matrix can be written as the sum of k matrices of rank 1 of the form x\cdot x^{*} where k is the rank of A and the vectors x are ortogonal. Then use the fact that the sum of positive semidefinite matrices is semidefinite.

PostPosted: Fri Jan 14, 2005 6:24 am  Back to top 
  ProfilePM
fredbel6
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 19 Jul 2003
Posts: 1710
Location: near Ghent, Flanders (Belgium)
Belgium

To rate posts you must be logged in
#5
Confused whenever i think i know something i make a fool of myself
indead, i am so used at working with symmetric positive definite that i thought other positive definite matrices
weren't considered
sorry!

PostPosted: Fri Jan 14, 2005 6:29 am  Back to top 
  ProfilePM
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2384
FranceUnited Kingdom

To rate posts you must be logged in
#6
harazi wrote:
Then use the fact that the sum of positive semidefinite matrices is semidefinite.

Hi Harazi, could you explain little more your proof. I don't understand how you conclude with the sum of x\cdot x^{*}. Thanx Smile
_________________
They misunderestimated me!

PostPosted: Fri Jan 14, 2005 12:06 pm  Back to top 
  ProfilePMYM
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2384
FranceUnited Kingdom

To rate posts you must be logged in
#7
OK, now it's clear. Very nice Mr. Green
_________________
They misunderestimated me!

PostPosted: Fri Jan 14, 2005 3:10 pm  Back to top 
  ProfilePMYM
liyi
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 17 Jul 2003
Posts: 1630
Location: Foochow, Fukien
China

To rate posts you must be logged in
#8
harazi wrote:
Use Schur decomposition theorem to prove that any positive semidefinite matrix can be written as the sum of k matrices of rank 1 of the form x\cdot x^{*} where k is the rank of A and the vectors x are ortogonal. Then use the fact that the sum of positive semidefinite matrices is semidefinite.

What is Schur decomposition theorem?

PostPosted: Sun Jan 16, 2005 4:47 pm  Back to top 
  ProfilePMMSN
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2384
FranceUnited Kingdom

To rate posts you must be logged in
#9
I think here that to prove the statement of Harazi you just have to diagonalize the matrices in an orthogonal basis.
Conclusion follows.
_________________
They misunderestimated me!

PostPosted: Mon Jan 17, 2005 6:07 am  Back to top 
  ProfilePMYM
liyi
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 17 Jul 2003
Posts: 1630
Location: Foochow, Fukien
China

To rate posts you must be logged in
#10
I still don't understand this...
What is the next step after obtaining the spectrum decomposition of the positive definite matrices?

PostPosted: Mon Apr 04, 2005 2:40 am  Back to top 
  ProfilePMMSN
harazi
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 12 Nov 2003
Posts: 5494
Location: Paris
RomaniaFrance

To rate posts you must be logged in
#11
Well, it suffices to write that A=U^{*}DU with D diagonal and to identify the coefficients in the equality.

PostPosted: Mon Apr 04, 2005 5:02 am  Back to top 
  ProfilePM
liyi
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 17 Jul 2003
Posts: 1630
Location: Foochow, Fukien
China

To rate posts you must be logged in
#12
Can you give a detailed solution...
I still don't understand.

PostPosted: Mon Apr 04, 2005 5:27 am  Back to top 
  ProfilePMMSN
harazi
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 12 Nov 2003
Posts: 5494
Location: Paris
RomaniaFrance

To rate posts you must be logged in
#13
I will post a complete solution tomorow. Now I have a discussion... guess with whom.

PostPosted: Mon Apr 04, 2005 5:32 am  Back to top 
  ProfilePM
harazi
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 12 Nov 2003
Posts: 5494
Location: Paris
RomaniaFrance

To rate posts you must be logged in
#14
So, any positive semidefinite matrix A of rank k can be written in the form v_1 v_1^{*}+...+v_k v_k^{*} with v_i ortogonal vectors. Indeed, write by spectral theorem A=UDU^{*} with U ortogonal and D diagonal with entries d_i\geq 0 and take v_i the vector \sqrt{d_i}\cdot M_i where M_i is the column i vector in the matrix U.

PostPosted: Wed Apr 06, 2005 5:58 am  Back to top 
  ProfilePM
rucarden
New Member
New Member

Offline
Joined: 01 Jul 2005
Posts: 1

To rate posts you must be logged in
#15
Misunderstood

harazi wrote:
So, any positive semidefinite matrix A of rank k can be written in the form v_1 v_1^{*}+...+v_k v_k^{*} with v_i ortogonal vectors. Indeed, write by spectral theorem A=UDU^{*} with U ortogonal and D diagonal with entries d_i\geq 0 and take v_i the vector \sqrt{d_i}\cdot M_i where M_i is the column i vector in the matrix U.

I don't you think understood the question as stated. For the case of 2x2 the following is a positive definite matrix.
A= [1 -6 ; 7 2]. Taking the specified product above of A with itself.
cij = aij^2 which is equals C = [1 36 ; 49 4] which is not positive definite. Thus the above conjecture that "the kronecker product of two positive definite matrices is positive definite" is not true.

PostPosted: Sat Jul 02, 2005 9:12 pm  Back to top 
  ProfilePM
nguyenkims
New Member
New Member

Offline
Joined: 22 Jan 2005
Posts: 13

To rate posts you must be logged in
#16
I don't think it's true.
The positive defination is symmetric?

PostPosted: Tue Jul 12, 2005 9:18 am  Back to top 
  ProfilePMYM
yassinus
Poincare Conjecture
Poincare Conjecture

Offline
Joined: 08 Jul 2005
Posts: 176
Location: meknes
Morocco

To rate posts you must be logged in
#17
hi ,wath are you talking about , a matrix witch is defined positivly isn't necesserly symetric ,take for exemple (1 -1) ( of course in IR-space )
(0 1)

PostPosted: Sun Aug 07, 2005 3:40 pm  Back to top 
  ProfilePM
darij grinberg
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 10 Feb 2004
Posts: 5763
Location: Karlsruhe / Munich

To rate posts you must be logged in
#18
Re: positive definite matrices + kronecker product
my teacher

Do you know what I find neat about this topic? The matrix C defined above is not the Kronecker product of the matrices A and B, but throwing in the words "Kronecker product" points to another (in my opinion, better) solution of the problem:

The matrix C is a principal minor of the Kronecker product of the matrices A and B (in fact, we can think of the rows of the Kronecker product indexed by pairs of numbers \left(i,j\right)\in\left\{1,2,...,n\right\}^2, and of the columns indexed the same way; now, the matrix C is the principal minor of this Kronecker product obtained by taking only the rows \left(i,i\right) and the columns \left(k,k\right)). Now, the Kronecker product of the matrices A and B is positive definite (says the Wikipedia, and I guess this is not hard to prove), and a principal minor of a positive definite matrix is positive definite again (trivial by the definition). Thus we are done.

By the way, for me, a positive definite matrix is supposed to be symmetric by the definition of "positive definite". The Wikipedia agrees with me...

darij
_________________
Now the die is cast, the first step taken, a glimmer of hope lights up our lives
Visions of the past, dreams forsaken forming right under our eyes
We are alive...

PostPosted: Fri Feb 15, 2008 6:34 pm  Back to top 
  ProfilePMWWW
blahblahblah
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 28 Mar 2004
Posts: 3757
Canada

To rate posts you must be logged in
#19
the proper phrase is 'hadamard product', i believe.

PostPosted: Fri Feb 15, 2008 11:25 pm  Back to top 
  ProfilePM
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2384
FranceUnited Kingdom

To rate posts you must be logged in
#20
as Darij says, it is not hard to see that if A,B are positive, then so is their Kronecker product. For the simple case, dim (A) = dim(B) : the Kronecker product of A,B can be seen as the matrix of the application \phi_{A,B}: M_n \to M_n defined by \phi_{A,B}(M) = AMB. One has to show that for every matrix M, the following holds: Tr(M^tAMB) = Tr(AMBM^t) \geq 0. Write A = O^t D O where D is diagonal with positive elements to see that Tr(M^t AMB) = Tr(D (OM) B (OM)^t). The conclusion then follows since [(OM) B (OM)^t]_{i,i} \geq 0 (because B is positive).
_________________
They misunderestimated me!

PostPosted: Sat Feb 16, 2008 6:14 am  Back to top 
  ProfilePMYM
Display posts from previous:   Sort by:   
22 Posts • Page 1 of 2 • 1, 2 Next
Post new topic   Reply to topic View previous topicView next topic
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum
You cannot post calendar events in this forum


© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us