Community

Art of Problem Solving's olympiad training program WOOT starts on Septebmer 8. Train with the top high school students in the the world! Click here to enroll today!
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Fri Aug 29, 2008 7:06 pm
All times are UTC - 7 (DST in action)
AoPSWiki WoWSimon's Favorite Factoring Trick, Game Theory books
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
20 Posts • Page 1 of 1
Author Message
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2048
Location: Paris/London
FranceUnited Kingdom
 
#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 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 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 such that (or , respectively) for any nonzero vector .
_________________
Please, could you rephrase your question in the form of the answer?

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

Offline
Joined: 19 Jul 2003
Posts: 1711
Location: near Ghent, Flanders (Belgium)
Belgium
 
#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 6:23 am  Back to top 
  ProfilePM
Peter Scholze
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 03 Jun 2004
Posts: 674
Germany
 
#3
? he just claimed it's positive definite, not symmetric...

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

Offline
Joined: 12 Nov 2003
Posts: 5371
Location: Paris
RomaniaFrance
 
#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 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 7:24 am  Back to top 
  ProfilePM
fredbel6
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 19 Jul 2003
Posts: 1711
Location: near Ghent, Flanders (Belgium)
Belgium
 
#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 7:29 am  Back to top 
  ProfilePM
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2048
Location: Paris/London
FranceUnited Kingdom
 
#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 . Thanx Smile
_________________
Please, could you rephrase your question in the form of the answer?

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

Offline
Joined: 05 Aug 2003
Posts: 2048
Location: Paris/London
FranceUnited Kingdom
 
#7
OK, now it's clear. Very nice Mr. Green
_________________
Please, could you rephrase your question in the form of the answer?

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

Offline
Joined: 17 Jul 2003
Posts: 1632
Location: Foochow, Fukien
China
 
#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 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 5:47 pm  Back to top 
  ProfilePMMSN
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2048
Location: Paris/London
FranceUnited Kingdom
 
#9
I think here that to prove the statement of Harazi you just have to diagonalize the matrices in an orthogonal basis.
Conclusion follows.
_________________
Please, could you rephrase your question in the form of the answer?

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

Offline
Joined: 17 Jul 2003
Posts: 1632
Location: Foochow, Fukien
China
 
#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 3:40 am  Back to top 
  ProfilePMMSN
harazi
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer

Offline
Joined: 12 Nov 2003
Posts: 5371
Location: Paris
RomaniaFrance
 
#11
Well, it suffices to write that with D diagonal and to identify the coefficients in the equality.

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

Offline
Joined: 17 Jul 2003
Posts: 1632
Location: Foochow, Fukien
China
 
#12
Can you give a detailed solution...
I still don't understand.

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

Offline
Joined: 12 Nov 2003
Posts: 5371
Location: Paris
RomaniaFrance
 
#13
I will post a complete solution tomorow. Now I have a discussion... guess with whom.

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

Offline
Joined: 12 Nov 2003
Posts: 5371
Location: Paris
RomaniaFrance
 
#14
So, any positive semidefinite matrix A of rank k can be written in the form with ortogonal vectors. Indeed, write by spectral theorem with U ortogonal and D diagonal with entries and take the vector where is the column i vector in the matrix U.

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

Offline
Joined: 01 Jul 2005
Posts: 1
 
#15
Misunderstood

harazi wrote:
So, any positive semidefinite matrix A of rank k can be written in the form with ortogonal vectors. Indeed, write by spectral theorem with U ortogonal and D diagonal with entries and take the vector where 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 10:12 pm  Back to top 
  ProfilePM
nguyenkims
New Member
New Member

Offline
Joined: 23 Jan 2005
Posts: 13
 
#16
I don't think it's true.
The positive defination is symmetric?

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

Offline
Joined: 08 Jul 2005
Posts: 145
Location: meknes
Morocco
 
#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 4:40 pm  Back to top 
  ProfilePM
darij grinberg
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 10 Feb 2004
Posts: 4226
Location: Karlsruhe / Munich
 
#18
Re: positive definite matrices + kronecker product
my teacher

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

The matrix is a principal minor of the Kronecker product of the matrices and (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 is the principal minor of this Kronecker product obtained by taking only the rows and the columns ). Now, the Kronecker product of the matrices and 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
_________________
lift this prayer to heaven's heights, feed my mind with the most glorious thoughts,
sacrificing all my dreams...
for this i will serve and honour to death... or do i just fear the tyrant's wrath?

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

Offline
Joined: 28 Mar 2004
Posts: 3380
Canada
 
#19
the proper phrase is 'hadamard product', i believe.

PostPosted: Sat Feb 16, 2008 12:25 am  Back to top 
  ProfilePM
alekk
Navier-Stokes Equations
Navier-Stokes Equations

Offline
Joined: 05 Aug 2003
Posts: 2048
Location: Paris/London
FranceUnited Kingdom
 
#20
as Darij says, it is not hard to see that if are positive, then so is their Kronecker product. For the simple case, : the Kronecker product of can be seen as the matrix of the application defined by . One has to show that for every matrix , the following holds: . Write where is diagonal with positive elements to see that Tr(M^t AMB) = Tr(D (OM) B (OM)^t). The conclusion then follows since (because is positive).
_________________
Please, could you rephrase your question in the form of the answer?

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