Involution exponential formula

ID: involution-exponential-formula

For a linear operator with , every even power is and every odd power is . Separating the absolutely convergent matrix exponential series into those powers proves the displayed identity without a Hermiticity assumption. If is also a Hermitian operator, the exponential is a unitary operator.

New to topics? Read the docs here!