Graduate How to take a matrix outside the diagonal operator?

Click For Summary
SUMMARY

The discussion centers on the mathematical proof of the equation trace(A*Diag(B*B^T)*A^T) = norm(W,2), where W = vec(sqrt(diag(A^T*A))*B). The participants analyze the transformation of terms inside and outside the diagonal operator in equations 70 and 71 from a referenced document. Key points include the proper interpretation of the square root of a diagonal matrix and the application of the formula ||vec(A)||_2^2 = tr{AA^H} to facilitate the proof. The conversation emphasizes the need for clarity in handling matrix operations and transformations.

PREREQUISITES
  • Understanding of matrix operations, specifically diagonal matrices and their properties.
  • Familiarity with vectorization of matrices and the vec operator.
  • Knowledge of the trace operator and its properties in linear algebra.
  • Experience with norms, particularly the L2 norm in matrix contexts.
NEXT STEPS
  • Study the properties of diagonal matrices and their square roots in linear algebra.
  • Learn about the vectorization of matrices and the implications of the vec operator.
  • Research the trace operator and its applications in matrix calculus.
  • Explore the derivation and applications of the formula ||vec(A)||_2^2 = tr{AA^H} in various contexts.
USEFUL FOR

Mathematicians, data scientists, and engineers working with linear algebra, particularly those involved in matrix transformations and proofs in theoretical contexts.

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.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · 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 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K