We study the coordinate-plane Kac walk on with independent uniform rotation angles. For the unnormalized Hilbert-Schmidt Riemannian distance, we prove that the Wasserstein- Lipschitz coefficient of a block of steps is at most for sufficiently large . This gives a fixed-accuracy Wasserstein mixing bound and inverse-polynomial accuracy in a constant number of blocks. We also obtain an 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本