Optimal unit triangular factorization of symplectic matrices

Pengzhan Jin, Zhangli Lin, Bo Xiao

We prove that any symplectic matrix can be factored into no more than 5 unit triangular symplectic matrices, moreover, 5 is the optimal number. This result improves the existing tr…