Graduate Trace of the inverse of matrix products

Click For Summary
The discussion revolves around proving that the trace of the inverse of the product of two independent complex-valued zero-mean Gaussian matrices, A and B, is always less than the trace of the inverse of A's Hermitian product. The original poster seeks clarification on whether this result holds for any random matrices A and B with the specified properties. Participants emphasize the need for a rigorous mathematical approach to demonstrate this inequality. The conversation highlights the complexities involved in dealing with random matrices and their statistical properties. Overall, the inquiry seeks a deeper understanding of matrix behavior in the context of Gaussian distributions.
nikozm
Messages
51
Reaction score
0
Hello,

I am puzzled about the following condition. Assume a matrix A with complex-valued zero-mean Gaussian entries and a matrix B with complex-valued zero-mean Gaussian entries too (which are mutually independent of the entries of matrix A).

Then, how can we prove that Trace{[(A*B)^{H}*(A*B)]^{-1}} is always lower that Trace{[(A)^{H}*(A)]^{-1}} ?

The superscripts {H} and {-1} denote the Hermitian transpose and matrix inverse operator, respectively.

Any idea could be helpful.
Thank you very much in advance.
 
Physics news on Phys.org
What is the definition of *always* here? I could pick any matrices A and B, and they would have some probability of being sampled by the gaussians you describe. So is this result intended to just be true for any pair of matrices A and B?
 
Yes. I would like to know if (and how) is this result true for generally random matrices A and B (where their elements are particularly independent complex-valued Gaussian distributed).

Any suggestion could be useful. Thanks in advance.
 
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
5
Views
5K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K