{"id":"arxiv/2608.29403","url":"https://arxiv.org/abs/2608.29403","tags":["math.PR"],"score":0,"title":"Kac's Walk on Rotation Matrices Mixes in $\\boldsymbol{Θ(n^2)}$ Steps: A Proof Discovered with AI","domain":"math.PR","source":"arxiv","authors":["Tianle Liu"],"reviews":0,"subject":"math.PR","summary":"Let $N=\\binom n2=\\dim\\mathrm{SO}(n)$. We prove that the coordinate-plane Kac walk on $\\mathrm{SO}(n)$ has total-variation mixing time of order $N$: for every fixed $0<\\varepsilon<1$, \\[ t_{\\mathrm{mix}}^{(n)}(\\varepsilon)=Θ_\\varepsilon(n^2). \\] The lower bound is the dimensional singularity obstruction before $N$ steps. The upper bound removes the final logarithm from the previously known $O(n^2\\log n)$ estimate. The proof combines the discrete Malliavin coupling and low-degree pseudo-mixing inputs with a new log-free analysis of the derivative shells. Its static core is a circuit-anchored,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-29","reactions":{}}