A Tale of Two Walks: Kipnis, Marchioro and Presutti Meet Kac in a Quantum World
Abstract
We reveal an unexpected connection between the parallel Kac's walk and the Kipnis-Marchioro-Presutti (KMP) process. The twirling channel induced by the parallel Kac's walk on the symmetric subspace is exactly encoded by a classical Markov chain on partitions, which lifts to a parallel KMP process on complete graphs. This correspondence reduces the analysis of the twirling channel to the mixing of the parallel KMP process. We prove that $O(\log d+\log(1/\varepsilon))$ repetitions suffice to appro...
Description / Details
We reveal an unexpected connection between the parallel Kac's walk and the Kipnis-Marchioro-Presutti (KMP) process. The twirling channel induced by the parallel Kac's walk on the symmetric subspace is exactly encoded by a classical Markov chain on partitions, which lifts to a parallel KMP process on complete graphs. This correspondence reduces the analysis of the twirling channel to the mixing of the parallel KMP process. We prove that repetitions suffice to approximate Haar twirling on the symmetric subspace of to error , uniformly in the number of copies . For the standard KMP process on general graphs, we prove a mixing-time analogue of Aldous's conjecture: at fixed accuracy, the mixing time of the -particle process is at most a constant times the single-particle mixing time multiplied by the logarithm of the number of vertices, uniformly in . As an application, we improve the total variation mixing-time bound for coordinate hit-and-run on the -dimensional standard simplex from (Kook and Vempala, 2026) to , while removing the dependence on the initial distribution. Our main technical contribution is conditional product structure for both parallel and standard KMP processes. Conditioned on suitable auxiliary randomness, the labeled particles evolve independently. Combining this structure with an exact coupling yields mixing bounds uniform in the number of particles for both unlabeled KMP models. These bounds are sharp up to logarithmic factors and imply rapid convergence of the parallel Kac twirling channel on the symmetric subspace.
Source: arXiv:2609.38044v1 - http://arxiv.org/abs/2609.38044v1 PDF: https://arxiv.org/pdf/2609.38044v1 Original Link: http://arxiv.org/abs/2609.38044v1
Please sign in to join the discussion.
No comments yet. Be the first to share your thoughts!
Sep 30, 2026
Quantum Computing
Quantum Physics
0