Resolvent characteristics and quadratic mixing of Kac's walk on $SO(n)$

Source abstract

We study the coordinate-plane Kac walk on $\mathrm{SO}(n)$ with independent uniform rotation angles. For the unnormalized Hilbert-Schmidt Riemannian distance, we prove that the Wasserstein-$2$ Lipschitz coefficient of a block of $2\binom n2$ steps is at most $2n^{-1/200}$ for sufficiently large $n$. This gives a fixed-accuracy $O(n^2)$ Wasserstein mixing bound and inverse-polynomial accuracy in a constant number of blocks. We also obtain an $O(n^2)$ total-variation upper bound. The coupling averages each component of a regularized-inverse angle correction over its own angle, so its exact flow preserves the joint angle law. A deterministic decreasing regularization parameter cancels the main scalar and matrix-valued resolvent drifts. Its stability factor is polynomial in the inverse regularization, and the matrix estimates close on two partial traces. The same scalar estimate bounds the fraction of deficient covariance directions; independent cores and a cutoff integration-by-parts argument give the total-variation transfer. We provide the parameter estimates, conditioning arguments, and finite-time singular-mass treatment explicitly. The results imply total-variation pre-cutoff on the quadratic scale, but do not establish either the presence or the absence of cutoff.