Lyapunov exponents for products of truncated orthogonal matrices

This article gives a non-asymptotic analysis of the largest Lyapunov exponent of truncated orthogonal matrix products. We prove that as long as N, the number of terms in product, is sufficiently large, the largest Lyapunov exponent is asympototically Gaussian. Futhermore, the sum of finite Lyapunov exponent is asympototically Gaussian, where we use Weingarten Calculus.