trotter decomposition