On matrix elements for the quantized cat map modulo prime powers (Q1002372): Difference between revisions

Let \(A\in \text{SL}(2,\mathbb{Z}):\text{CAT}\) map with \(|\text{Tr\,}A|> 2\) acting on the torus \(T^2= \mathbb{R}^2/\mathbb{Z}^2\), and \(H_N= L^2(\mathbb{Z}/N\mathbb{Z})\): the Hilbert space of states. Hermitian operator \[ 0p_N(f)= \sum_{n\in\mathbb{Z}^2}\widehat f(n) T_N(n): H_N\to H_N, \] and unitary operator \(U_N(A)\) on \(H_N\), related to quantisation, are given. Conjecture. As \(N\to\infty\) through primes, the limiting distribution of \[ F^{(N)}_j= N^{1/2}\Biggl(\langle 0p_N(f)\psi_j,\, \psi_j\rangle- \int_{T^2} f\,dx\Biggr), \] \(\psi_j\): Hecke eigenfunctions, is that of the random variable \(X_f= \sum_{\nu\neq 0} f^\#(\nu)\text{Tr}(U_\nu)\). Here \[ f^\#(\nu)= \sum_{Q(n)= \nu}(-1)^{n_1n_2}\widehat f(n), \] \(Q(n)= \omega(nA,n)\) with \(\omega(n,m)= n_1m_2- n_2 m_1\), and \(U_\nu\) are independently chosen random matrices in \(\text{SU}(2)\) endowed with Haar probability measure. The author gives an explicit formula for the matrix elements in \(F^{(N)}_j\), \(N= p^k\) (\(p\): prime), for \(f_n(x)= _en(x)\equiv(2\pi in\cdot x)\) with \(Q(n)\neq 0\pmod p\). \[ C(p^k)= \{B\in \text{SL}(2,\mathbb{Z}/p^k\mathbb{Z}); AB= BA\,(\text{mod\,}p^k)\}, \] \[ E_N(\nu,\chi)= \sum_{x\in X(N)} e_N(\nu x)\cdot\chi(\beta(x)), \] \[ \langle 0p_{pk}(f_n)\psi,\psi\rangle= \pm((-1)^{n_1 n_2}/\# C(p^k)) E_{pk}(Q(n)2,\chi\chi_0). \] Hecke eigenfunctions are defined by \(U_N(\iota(\beta))\psi= \chi(\beta)\psi\). Theorem 1. There exist \(f\in C^\infty(T^2)\) and sequences \(\{\psi_j\}\) of Hecke eigenfunctions such that \(|F^{(N)}_j|\gg N^{1/6}\); \(N= p^k\), \(k> 1\), \(p\): prime. Theorem 2. For any \(k> 1\), as \(p\to\infty\) through primes, the limiting distribution of \(F^{(N)}_j\), \(N= p^k\), is that of the random variable \[ Y_f= 2\sum_{\nu\neq 0} f^\#(\nu)\cos(\theta_\nu), \] \(f\): trigonometric polynomial, where \(\theta_\nu\) are independently chosen from \([0,\pi)\) with respect to \(\mu\): measure on \([0,\pi)\) defined by \[ \mu(f)= f(\pi/2)/2+ \int_{[0,\pi]} f(\theta)\,d\theta/2\pi. \]