Quantum.Synthesis.EulerAngles

This module provides functions for converting between matrices in U(2) and their Euler angle representation.

Documentation

euler_angles :: (Floating a, ArcTan2 a) => Matrix Two Two (Cplx a) -> (a, a, a, a)

Decompose a unitary operator U into Euler angles (α, β, γ, δ). These angles are computed so that

• U = e^iα R_z(β) R_x(γ) R_z(δ).

matrix_of_euler_angles :: Floating a => (a, a, a, a) -> Matrix Two Two (Cplx a)

Compute the operator

• U = e^iα R_z(β) R_x(γ) R_z(δ).

from the given Euler angles.