Solution
= Solution
For finite-dimensional <matrices> $A_1,\ldots,A_m$, the <Lie-Trotter product formula> states
$$
\boxed{e^{t\sum_{j=1}^m A_j}
=\lim_{k\to\infty}\left(e^{tA_1/k}\cdots e^{tA_m/k}\right)^k,}
$$
where convergence is in <operator norm>. In particular, for <Hermitian matrices> $H_j$, set $A_j=-iH_j$ to obtain a product of <unitary operators> approximating $e^{-it\sum_jH_j}$.