 Canonical transformation of mode operators

A linear change of creation operators and annihilation operators is canonical when it preserves their defining brackets. For finitely many bosonic modes, the canonical commutation relations require $U{U}^{†}-V{V}^{†}=I$ and $U{V}^T-V{U}^T=0$. For fermions, the canonical anticommutation relations instead require $U{U}^{†}+V{V}^{†}=I$ and $U{V}^T+V{U}^T=0$. A Bogoliubov transformation uses such mixing to diagonalize a quadratic Hamiltonian or relate different vacuum descriptions. Infinite-mode unitary implementation has further conditions, as in bosonic mode mixing implementability.