Abstract:Quantum cat maps are toy models in quantum chaos associated to hyperbolic symplectic matrices $A\in \operatorname{Sp}(2n,\mathbb{Z})$. The macroscopic limits of sequences of eigenfunctions of a quantum cat map are characterized by semiclassical measures on the torus $\mathbb{R}^{2n}/\mathbb{Z}^{2n}$. We show that if the characteristic polynomial of every power $A^k$ is irreducible over the rationals, then every semiclassical measure has full support. The proof uses an earlier strategy of Dyatlov-Jézéquel [<a class="link-https" data-arxiv-id="2108.10463" href="https://arxiv.org/abs/2108.10463">arXiv:2108.10463</a>] and the higher-dimensional fractal uncertainty principle of Cohen [<a class="link-https" data-arxiv-id="2305.05022" href="https://arxiv.org/abs/2305.05022">arXiv:2305.05022</a>]. Our irreducibility condition is generically true, in fact we show that asymptotically for $100\%$ of matrices $A$, the Galois group of the characteristic polynomial of $A$ is $S_2 \wr S_n$. When the irreducibility condition does not hold, we show that a semiclassical measure cannot be supported on a finite union of parallel non-coisotropic subtori. On the other hand, we give examples of semiclassical measures supported on the union of two transversal symplectic subtori for $n=2$, inspired by the work of Faure-Nonnenmacher-De Bièvre [<a class="link-https" data-arxiv-id="nlin/0207060" href="https://arxiv.org/abs/nlin/0207060">arXiv:nlin/0207060</a>] in the case $n=1$. This is complementary to the examples by Kelmer [<a class="link-https" data-arxiv-id="math-ph/0510079" href="https://arxiv.org/abs/math-ph/0510079">arXiv:math-ph/0510079</a>] of semiclassical measures supported on a single coisotropic subtorus.

The topological support of the z-measures on the Thoma simplex

Topological Erdős similarity conjecture and Strong Measure zero sets

Dirichlet forms of diffusion processes on Thoma simplex

Characterizing the support of semiclassical measures for higher-dimensional cat maps

Topological Sequence Entropy of the Space of Measures

Dichotomy and measures on limit sets of Anosov groups

Invariant measures of the topological flow and measures at infinity on hyperbolic groups

Analytic and Topological Invariants Associated to Nowhere Zero Vector Fields

Topological Disjointness from Entropy Zero Systems

Maximal Entropy Measures for Non-Accessible Topological Skew Products

A Halmos-von Neumann theorem for actions of general groups

Weak convergence of topological measures

T 0 -spaces and the lower topology

A topological lens for a measure-preserving system

Noncommutative topological boundaries and amenable invariant random intermediate subalgebras

Group topologies on groups of bi-absolutely continuous homeomorphisms

On sequences of finitely supported measures related to the Josefson--Nissenzweig theorem

Measure Complexity and Möbius Disjointness

An embedding theorem for uniform measures on topological groups

Topology and Topological Sequence Entropy