Suppose we want to express an N-qubit operator as
$$U=\sum_i \lambda_i \bigotimes_{k=1}^N W_{i,k}$$
where $W_{i,k}$ are each a two-by-two matrix. How can one find a minimal decomposition, that is one that has as few terms in the sum as possible?
I appreciate this may be difficult in general, so a partial solution or solution to a variant of the above statement could also be interesting if it is easier to tackle. The two-qubit case is addressed in an answer to this question (which inspired me to ask this question) using the Cartan decomposition, but it's not obvious how to generalize it to more than two qubits, nor that the machinery of the Cartan decomposition is even necessary.