Sharp Typical Distance and Exponential Small-Ball Bounds in One-Step-Cliff Nielsen Geometry
Let $D=2^n$ and equip $\operatorname{PU}(D)$ with the one-step-cliff Nielsen metric, with quadratic metric coefficients one in Pauli directions of weights one and two and $D^2$ in all higher weights. We prove that the distance from the identity of a Haar-random element, normalized by $D$, converges to $\pi/\sqrt3$ in p...