Kronecker sum of more than two matrices?

[Earthland]

Homework Statement

The question arises from this quote from wikipedia's article about kronecker product:

Kronecker sums appear naturally in physics when considering ensembles of non-interacting systems. Let Hi be the Hamiltonian of the i-th such system. Then the total Hamiltonian of the ensemble is

I have to write this H_tot as a ordinary sum over kronecker products of unity matrix and Hⁱ-s.

Homework Equations

Kronecker sum for two matrices is defined as

If A is n × n, B is m × m and I_k denotes the k × k identity matrix.

The Attempt at a Solution

Well, as I undesratnd, now instead of A and B we have simply Hⁱ and there should be sum kind of sum over i. But the Kronecker sum is defined only for a pair of matrices and it isn't commutative, so the order is important. I tried something like this, for three H-s:

But it doesn't look very elegant and I have no idea if this could be true. Any advice?

 

[matteo137]

The definition is as follows

$$H_{\text{Tot}} =\left( H_1 \otimes \mathbb{I} \otimes \mathbb{I} \otimes ... \right)+ \left(\mathbb{I} \otimes H_2 \otimes \mathbb{I} \otimes ... \right) + \left(\mathbb{I} \otimes \mathbb{I} \otimes H_3 \otimes ... \right) + ...$$

 

[Earthland]

Are you sure? Thank you!

 

[matteo137]

Proof:
Kronecker sum is associative.

In other words.
The Kronecker sum of two matrices is, as you wrote,
$$X=A\oplus B = A\otimes\mathbb{I}_B + \mathbb{I}_A\otimes{B}$$

Now, since the sum $A\oplus B$ is a matrix, $X$, the Kronecker sum
$$Y= X\oplus C = X\otimes\mathbb{I}_C + \mathbb{I}_X\otimes C = (A\otimes\mathbb{I}_B + \mathbb{I}_A\otimes{B})\otimes\mathbb{I}_C + \mathbb{I}_X\otimes{C}$$
Of course $\mathbb{I}_X=\mathbb{I}_A\otimes\mathbb{I}_B$, which gives
$$Y= A\otimes\mathbb{I}_B\otimes\mathbb{I}_C + \mathbb{I}_A\otimes B\otimes\mathbb{I}_C + \mathbb{I}_A\otimes\mathbb{I}_B\otimes{C}$$

$Z= Y\oplus D =$ Keep going... :)

 

[Earthland]

Thank you very much!