Sharp Typical Distance and Exponential Small-Ball Bounds in One-Step-Cliff Nielsen Geometry

Source abstract

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 $π/\sqrt3$ in probability and in $L^p$ for every $1\le p π/\sqrt3$, its complement has measure at most $e^{-c_xD^2}$ for some $c_x>0$. As $x\uparrowπ/\sqrt3$, the lower and upper logarithmic rates are both asymptotic to $(π^2/3-x^2)^2/(16ζ(3))$. The small-ball upper bound follows from a comparison of Jacobi determinants, obtained by rescaling the linearized geodesic equations and applying Kato transport. Weyl integration reduces the remaining integral to an Abel-regularized logarithmic-energy estimate on the circle. A centered principal logarithm and concentration of the circular unitary ensemble eigenangle second moment give the distance upper bound.