Trace of a particular matrix product

Click For Summary

Homework Help Overview

The discussion revolves around the trace of a matrix product involving a specific matrix structure. The original poster presents a claim regarding the trace of the product of an arbitrary matrix \(A\) and a matrix \(D\) defined with particular entries. The problem is situated within the context of linear algebra, specifically matrix operations and properties of traces.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to understand the implications of the matrix product and the trace definition, expressing confusion over sum notation and the conditions under which certain terms contribute to the trace. Other participants suggest identifying surviving terms in the sum and reconsidering the notation for clarity, while some question the necessity of formal proof versus intuitive understanding.

Discussion Status

Participants are actively engaging with the problem, exploring different notations and reasoning about the contributions to the trace. There is a recognition that only specific terms in the sum will survive, but no consensus on the best approach to formalize this understanding has been reached yet.

Contextual Notes

There is an indication of difficulty with the notation and the structure of the sums involved, which may be affecting the clarity of the discussion. The original poster is also navigating the balance between intuitive reasoning and formal proof requirements.

Bashyboy
Messages
1,419
Reaction score
5

Homework Statement


Claim: If ##A \in \mathcal{M}_n (\mathbb{C})## is arbitrary, and ##D## is a matrix with ##\beta## in its ##(i-j)##-th entry, and ##\overline{\beta}## in its ##(j-i)##-th, where ##i \ne j##, and with zeros elsewhere, then ##Tr(AD) = a_{ij} \beta + a_{ji} \overline{\beta}##

Homework Equations

The Attempt at a Solution



I am having difficulty with sum notation. By definition, the ##(l-m)##-th entry of the matrix product ##AD## is

##\displaystyle (AD)_{lm} = \sum_{k=1}^n a_{lk} D_{km}##

And so the trace should be

##\displaystyle Tr(AD) = \sum_{q = 1}^n ((AD)_{lm})_q = \sum_{q=1}^n \sum_{k=1}^n a_{lk} D_{km}##

Given the description of the matrix ##D##, it would seem that ##(D)_{lm} = 0## whenever ##l \ne i##, ##l \ne j##, ##m \ne i##, or ##m \ne j##. However, I am unsure about this and am having difficulty properly splitting up the sum. Could someone guide me along?
 
Physics news on Phys.org
There are only two elements of that sum which survive. The ##a_{ij}D_{ij}## term and the ##a_{ji}D_{ji}## term. Every other term will be zero.

You and I both know who those survivors are ;).
 
Intuitively it is obvious. But shouldn't we use the definition to formally show it is valid?
 
Okay so we know:

$$Tr(AD) = \sum_{i=1} \sum_{j=1} A_{ij} D_{ji}$$

Maybe this notation will be more convenient for this problem.
 
Perhaps, although I am having double the difficulty with two sums involved.
 
It might be easier to think about it in more steps. What would the matrix product ##AD## produce on its own? Take the trace of the resulting matrix, which happens to be the sum of the two diagonal entries.

How can this help you argue only two terms survive?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 5 ·
Replies
5
Views
14K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
8K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K