Trace of Matrix Product/General Result

From ProofWiki
Jump to navigation Jump to search


Let $\mathbf A_1, \mathbf A_2, \ldots, \mathbf A_m$ be square matrices of order $n$.

Let $\mathbf A_1 \mathbf A_2 \cdots \mathbf A_m$ be the (conventional) matrix product of $\mathbf A_1, \mathbf A_2, \ldots, \mathbf A_m$.


$(1): \quad \ds \map \tr {\mathbf A_1 \mathbf A_2 \cdots \mathbf A_m} = \map {a_1} {i_1, i_2} \map {a_2} {i_2, i_3} \cdots \map {a_{m - 1} } {i_{m - 1}, i_m} \map {a_m} {i_m, i_1}$


$\map {a_1} {i_1, i_2}$ (for example) denotes the element of $\mathbf A_1$ whose indices are $i_1$ and $i_2$
$\map \tr {\mathbf A_1 \mathbf A_2 \cdots \mathbf A_m}$ denotes the trace of $\mathbf A_1 \mathbf A_2 \cdots \mathbf A_m$.

In $(1)$, the Einstein summation convention is used, with the implicit understanding that a summation is performed over each of the indices $i_1$ to $i_m$.


Let $\mathbf C = \mathbf A_1 \mathbf A_2 \cdots \mathbf A_m$

From Product of Finite Sequence of Matrices, the general element of $\mathbf C$ is given in the Einstein summation convention by:

$\map c {i_1, j} = \map {a_1} {i_1, i_2} \map {a_2} {i_2, i_3} \cdots \map {a_{m - 1} } {i_{m - 1}, i_m} \map {a_m} {i_m, j}$

Thus for the diagonal elements:

$\ds \map c {i_1, i_1} = \map {a_1} {i_1, i_2} \map {a_2} {i_2, i_3} \cdots \map {a_{m - 1} } {i_{m - 1}, i_m} \map {a_m} {i_m, i_1}$

which is the Einstein summation convention for the trace of $\mathbf C$.