Indexed metadata

From Ehrenfest to Heisenberg scales: a hierarchy of mixing times for a phase-randomized quantum baker walk

Amir Sepehri

Source record

Source: arXiv

Published: Sep 25, 2026

arXiv: 2609.32067

Open original source ↗

Source abstract

The quantum baker map is a standard model of quantum chaos, but rigorous analysis of how it spreads random perturbations remains difficult. Following the repeated ``baker plus refreshed diagonal perturbation'' architecture of Schack and Caves, we study a tractable strong-noise model based on the Balazs--Voros quantization: at each time step, its unitary propagator is followed by a diagonal unitary whose entries are independent and uniform on the unit circle. The resulting random propagator is a structured random walk on $\U(N)$, N=2kN=2^k. We quantify how quickly the baker dynamics spreads this basis-local randomness at three levels: ensemble means, two-copy statistics, and the full law of the accumulated propagator. The walk becomes an exact unitary 11-design at time k+1k+1, while its fixed-accuracy 22-design mixing time is Θ(log⁡N)Θ(\log N). Thus the induced state ensembles reproduce Haar means and two-copy statistics on the Ehrenfest scale. The full law mixes much more slowly. A phase-adapted path coupling gives normalized Wasserstein mixing in Oε(N)O_\varepsilon(N) steps, whereas metric-entropy and Haar small-ball estimates give an Ωε(N/log⁡N)Ω_\varepsilon(N/\log N) lower bound and asymptotically maximal distance at every t=o(N/log⁡N)t=o(N/\log N). The law remains singular with respect to Haar measure for every t<Nt<N. The moment results and the Wasserstein upper bound are driven by the unistochastic Markov kernel associated with BNB_N, an affine dyadic chain whose nonconstant Fourier modes vanish exactly after kk steps. The resulting hierarchy separates Ehrenfest-scale randomization of state ensembles from near-Heisenberg-scale exploration of the full unitary group.

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.