 Lie-Trotter splitting commutator error

For bounded matrices,Commutativity removes this splitting error, though first-order substeps such as Backward Euler method retain their own quadratic local errors.