Graduate How to take a matrix outside the diagonal operator?

Click For Summary
The discussion focuses on deriving the equality trace(A*Diag(B*B^T)*A^T) = norm(W,2), where W is defined as vec(sqrt(diag(A^T*A))*B). Participants express confusion about the interpretation of taking the square root of the diagonal matrix D = diag(A^T A) and the properties used to manipulate terms inside and outside the diagonal operator in equations 70 and 71. They emphasize the need for clarity on whether the square root applies to the entire matrix or just its diagonal entries. The conversion from equation 70 to 71 is highlighted, particularly regarding the placement of matrices R and H*V within the diagonal operator. The discussion seeks a proof or explanation for the highlighted terms on page 2068 of the referenced material.
Umesh
Messages
3
Reaction score
0
How to derive (proof) the following

trace(A*Diag(B*B^T)*A^T) = norm(W,2),

where W = vec(sqrt(diag(A^T*A))*B)
&
sqrt(diag(A^T*A)) is the square root of diag(A^T*A),

B & A are matrix.

Please see the equation 70 and 71 on page 2068 of the supporting matrial.
 

Attachments

Physics news on Phys.org
diag(A) can be expressed in suffix notation as \delta_{ijk}A_{jk} where <br /> \delta_{ijk} = \begin{cases} 1 &amp; i = j = k, \\ 0 &amp; \mbox{otherwise}. \end{cases}
 
Umesh said:
where W = vec(sqrt(diag(A^T*A))*B)
&
sqrt(diag(A^T*A)) is the square root of diag(A^T*A),
diag(##A^TA##) is a square matrix. If we let D = diag(##A^T A##), then what you're asking about is ##\sqrt D##. I don't see anywhere in equations 70 and 71 that they are taking the square root of a matrix. The only square roots I see are the square roots of what appear to be some constants.

Although it does make sense to take the square root of a square matrix (##A = \sqrt B \Rightarrow A^2 = B##) it's not clear to me whether this is what you mean or that you're taking the square root of each entry on the diagonal matrix.

Also, it's not clear to me why you are taking the square root of what I'm calling D.
 
Please check only yellow highlighted terms on page number 2068.
Eq. 70 is converted into eq. 71 using formula ||vec(A)||_2^2 = tr{AA^H} (3rd line of appendix).
My question is
In eq 70, the term H*V*V^H*H^H is inside, and R is outside the diagonal operator as
tr{R* diag(H*V*V^H*H^H)*R^H} and
In eq 71, R is inside, and the HV term is outside the diagonal operator and written as
|| vec( ( diag(R^H*R) )^0.5*H*V ||_2^2.
My question is how or what properties is used to take H*V outside and R^H*R inside the diagonal operator. ?
Or How can we proof yellow highlighted terms in eq 70 is equal to yellow highlighted terms in eq 71?
Please see the attached pdf file.
 

Attachments

Umesh said:
Please check only yellow highlighted terms on page number 2068.
Eq. 70 is converted into eq. 71 using formula ||vec(A)||_2^2 = tr{AA^H} (3rd line of appendix).
My question is
In eq 70, the term H*V*V^H*H^H is inside, and R is outside the diagonal operator as
tr{R* diag(H*V*V^H*H^H)*R^H} and
In eq 71, R is inside, and the HV term is outside the diagonal operator and written as
|| vec( ( diag(R^H*R) )^0.5*H*V ||_2^2.

Start from this expression. You are given \|\operatorname{vec}(A)\|_2^2 = \operatorname{tr}(AA^H), so first apply that.
 
pasmith said:
Start from this expression. You are given \|\operatorname{vec}(A)\|_2^2 = \operatorname{tr}(AA^H), so first apply that.
Please try to understand the question and then reply.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
7K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 18 ·
Replies
18
Views
2K
Replies
27
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K