arxiv: 2605.06569 · v1 · submitted 2026-05-07 · 🧮 math.AP · math-ph· math.DS· math.MP· math.NT· math.SP

Recognition: unknown

Equidistribution of Eigenfunctions of Quantum Cat Maps

Robert Koirala

Pith reviewed 2026-05-08 06:40 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.DSmath.MPmath.NTmath.SP

keywords quantum cat mapseigenfunctionsequidistributionsemiclassical measuresL infinity normtwo-toruscoordinate localization

0 comments

The pith

Short-period eigenfunctions of quantum cat maps equidistribute on the torus while concentrating their norms on few coordinates.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the short-period eigenfunctions of quantum cat maps, as constructed in prior work, equidistribute with respect to semiclassical measures on the two-torus. It further demonstrates that the logarithmically large infinity-norm of these functions arises from concentration on only a bounded number of coordinate points. This coexistence of position localization and phase-space equidistribution holds for this explicit family and aligns with previous numerical observations while differing from scarring behaviors seen in other studies of quantum cat maps.

Core claim

The short-period eigenfunctions of quantum cat maps constructed by Kim and the author equidistribute on the torus in the sense of semiclassical measures. Their logarithmically large ell-infinity norm is asymptotically concentrated on a bounded number of coordinates, allowing strong coordinate localization to coexist with semiclassical equidistribution.

What carries the argument

The explicit construction of short-period eigenfunctions for quantum cat maps, analyzed through semiclassical measures and estimates on the concentration of their supremum norms.

If this is right

This family provides an example where equidistribution occurs despite logarithmic growth in the L^infty norm.
The results confirm numerical evidence from earlier work by Kim and the author.
These eigenfunctions avoid the scarring phenomena observed in other short-period eigenfunctions of quantum cat maps.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar constructions in other quantum chaotic systems might allow equidistribution with partial localization.
Investigating whether the number of concentrated coordinates stays bounded independently of the period length could test the robustness of the result.

Load-bearing premise

The specific construction of these short-period eigenfunctions is valid and permits the direct application of semiclassical measure analysis and norm concentration estimates.

What would settle it

Computing the semiclassical measure for these eigenfunctions and finding it does not approach the Lebesgue measure on the torus, or observing that the positions of large norm values become unbounded in number for large periods.

Figures

Figures reproduced from arXiv: 2605.06569 by Robert Koirala.

**Figure 1.** Figure 1: Iterates of the cat map A = 2 3 1 2 applied to an image of a cat. From left to right: the original photograph and its images after 1, 3, and 5 iterations. Original photo courtesy of Laurie Ellsworth. Date: May 8, 2026. 1 arXiv:2605.06569v1 [math.AP] 7 May 2026 view at source ↗

**Figure 2.** Figure 2: [17, view at source ↗

**Figure 3.** Figure 3: Coordinate profile of an ℓ 2 -normalized eigenfunction of MN,0 with large ℓ∞-norm, for A = 2 3 1 2 and N = 989. even analogue of Theorem 1.1 must assume vk 6= 0 along the chosen subsequence. On the other hand, Proposition 6.3 shows that the vanishing condition is rare as k → ∞. The coordinate profile is also slightly different: instead of a unique coordinate spike, the mass is concentrated on at most fo… view at source ↗

**Figure 4.** Figure 4: The plots of a maximal ℓ∞-norm, ℓ 2 -normalized eigenfunction of MN,0, where MN,0 corresponds to A = 2 3 1 2 . Top: N = 1560. Bottom: N = 5822. Using kvkk 2 = 1 4k 2 X k−1 r,s=0 ω −(r−s) hMr−s gk, gki and analyzing the diagonal r = s and off-diagonal r 6= s as in the proof of Theorem 1.1, we obtain the desired equidistribution result. The result on support and mass follow from an argument similar to tha… view at source ↗

read the original abstract

We prove that the short-period eigenfunctions of quantum cat maps constructed by Kim and the author equidistribute on $\mathbb{T}^2$ in the sense of semiclassical measures. We also show that their logarithmically large $\ell^\infty$-norm is asymptotically concentrated on a bounded number of coordinates. Thus, for this explicit family, strong coordinate localization coexists with semiclassical equidistribution. These results confirm the behavior suggested by earlier numerical evidence of Kim and the author, and contrast with the scarring phenomena for short-period eigenfunctions observed by Faure, Nonnenmacher, and De Bi\`evre.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper turns prior numerics into a proof that short-period eigenfunctions from the Kim-Koirala construction equidistribute semiclassically while their large sup-norms concentrate on few coordinates.

read the letter

The main point is that the authors prove the short-period eigenfunctions from their earlier construction with Kim equidistribute semiclassically on the torus, even as their large infinity norms concentrate on a small number of coordinates. This shows coexistence of coordinate localization and equidistribution in an explicit family, which stands out against scarring results for other short-period cases. The paper does well by providing a proof where only numerics existed before. It verifies that the semiclassical measures are invariant and ergodic under the cat map dynamics. Then it uses explicit coordinate estimates based on the construction's finite support to get the norm concentration. The argument is self-contained and does not seem to require extra assumptions on the parameters. A soft spot is that the whole thing rests on the prior construction being sound and the estimates carrying through in the semiclassical limit. The handling of the limits looks controlled, but a referee should examine the error bounds closely. No major circularity or fitting issues appear. This is for specialists in quantum ergodicity and semiclassical measures on maps. A reader focused on cat maps or arithmetic quantum systems will get a useful example that can help think about broader questions in the field. It has the grounding to deserve a serious referee. I recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper proves that the short-period eigenfunctions of quantum cat maps constructed by Kim and the author equidistribute on T^2 in the sense of semiclassical measures. It also shows that their logarithmically large ℓ^∞-norm is asymptotically concentrated on a bounded number of coordinates. This establishes coexistence of strong coordinate localization with semiclassical equidistribution for this explicit family, confirming prior numerical evidence and contrasting with scarring phenomena observed by Faure, Nonnenmacher, and De Bièvre.

Significance. If the results hold, this contributes to semiclassical analysis and quantum chaos by providing a rigorous, explicit example of equidistributing short-period eigenfunctions for quantized cat maps. The self-contained argument verifies invariance and ergodicity of the associated semiclassical measures under the dynamics, combined with coordinate-wise estimates exploiting the finite support from the construction. This strengthens understanding of when localization and equidistribution can coexist, with potential implications for general questions on semiclassical measures of eigenfunctions of hyperbolic maps.

minor comments (3)

In the introduction, the reference to the prior construction by Kim and the author should include the specific arXiv identifier or full bibliographic details for immediate accessibility.
§4 (or the section on norm estimates): the statement that the concentration is on a 'bounded number' of coordinates would benefit from an explicit bound in terms of the cat map parameter or period length, even if h-independent.
Ensure that the definition of the semiclassical measures (likely around Eq. (2.3) or similar) explicitly lists the class of test functions used, to avoid any ambiguity in the weak-* convergence.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. No specific major comments were raised in the report, so we have no points requiring detailed rebuttal or revision at this stage.

Circularity Check

0 steps flagged

No significant circularity; proof builds independently on cited construction

full rationale

The manuscript establishes equidistribution of semiclassical measures and coordinate concentration for the short-period eigenfunctions via direct verification of invariance/ergodicity under the cat map and explicit coordinate estimates that exploit the finite-support structure of the given construction. This argument does not reduce any claimed result to a fitted parameter, self-definition, or unverified self-citation chain; the reference to the Kim-Koirala construction supplies the objects to which the new estimates apply but is not invoked as a uniqueness theorem or ansatz that forces the conclusions. The numerical evidence mentioned in the abstract is presented only as motivation, not as part of the derivation. The overall chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the prior construction of the eigenfunctions and standard results from semiclassical analysis and ergodic theory on the torus; no free parameters or new entities are introduced in the abstract.

axioms (1)

standard math Standard properties of quantum cat maps, semiclassical measures, and microlocal analysis hold as established in the literature.
The proof invokes equidistribution in the sense of semiclassical measures, which relies on background theorems in quantum dynamics.

pith-pipeline@v0.9.0 · 5398 in / 1302 out tokens · 49523 ms · 2026-05-08T06:40:14.353073+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references

[1]

D. V. Anosov. Geodesic flows on closed Riemannian manifolds of negative curvature. Trudy Mat. Inst. Steklov. , 90:209, 1967

1967
[2]

On quantum ergodicity for higher-dimensional cat maps modulo prime powers

Subham Bhakta and Igor E Shparlinski. On quantum ergodicity for higher-dimensional cat maps modulo prime powers. Bulletin of the London Mathematical Society , 58(3):e70300, 2026

2026
[3]

Exponential mixing and | ln ℏ| time scales in quantized hyperbolic maps on the torus

Francesco Bonechi and Stephan De Bièvre. Exponential mixing and | ln ℏ| time scales in quantized hyperbolic maps on the torus. Comm. Math. Phys. , 211(3):659–686, 2000

2000
[4]

Equipartition of the eigenfunctions of quantized ergodic maps on the torus

Abdelhamid Bouzouina and Stephan De Bièvre. Equipartition of the eigenfunctions of quantized ergodic maps on the torus. Comm. Math. Phys. , 178(1):83–105, 1996

1996
[5]

On the entropy of quantum limits for 2-dimensional cat maps

Shimon Brooks. On the entropy of quantum limits for 2-dimensional cat maps. Comm. Math. Phys. , 293(1):231– 255, 2010

2010
[6]

Colin de Verdière

Y. Colin de Verdière. Ergodicité et fonctions propres du laplacien. Comm. Math. Phys. , 102(3):497–502, 1985

1985
[7]

Classical limit of the quantized hyperbolic toral automor- phisms

Mirko Degli Esposti, Sandro Graﬀi, and Stefano Isola. Classical limit of the quantized hyperbolic toral automor- phisms. Comm. Math. Phys. , 167(3):471–507, 1995

1995
[8]

Macroscopic limits of chaotic eigenfunctions

Semyon Dyatlov. Macroscopic limits of chaotic eigenfunctions. In International Congress of Mathematicians , pages 3704–3723. European Mathematical Society-EMS-Publishing House GmbH, 2023

2023
[9]

Semiclassical measures for higher-dimensional quantum cat maps

Semyon Dyatlov and Malo Jézéquel. Semiclassical measures for higher-dimensional quantum cat maps. Ann. Henri Poincaré, 25(2):1545–1605, 2024

2024
[10]

On the maximal scarring for quantum cat map eigenstates

Frédéric Faure and Stéphane Nonnenmacher. On the maximal scarring for quantum cat map eigenstates. Comm. Math. Phys. , 245(1):201–214, 2004

2004
[11]

Scarred eigenstates for quantum cat maps of minimal periods

Frédéric Faure, Stéphane Nonnenmacher, and Stephan De Bièvre. Scarred eigenstates for quantum cat maps of minimal periods. Comm. Math. Phys. , 239(3):449–492, 2003

2003
[12]

Paul R. Halmos. On automorphisms of compact groups. Bull. Amer. Math. Soc. , 49:619–624, 1943. 16

1943
[13]

J. H. Hannay and M. V. Berry. Quantization of linear maps on a torus-Fresnel diffraction by a periodic grating. Phys. D , 1(3):267–290, 1980

1980
[14]

J. P. Keating. The cat maps: quantum mechanics and classical motion. Nonlinearity, 4(2):309–341, 1991

1991
[15]

Arithmetic quantum unique ergodicity for symplectic linear maps of the multidimensional torus

Dubi Kelmer. Arithmetic quantum unique ergodicity for symplectic linear maps of the multidimensional torus. Ann. of Math. (2) , 171(2):815–879, 2010

2010
[16]

Anderson, and Robert J

Elena Kim, Theresa C. Anderson, and Robert J. Lemke Oliver. Characterizing the support of semiclassical measures for higher-dimensional cat maps. Analysis & PDE , pages 1–66, 2026. to appear

2026
[17]

Bounds on eigenfunctions of quantum cat maps

Elena Kim and Robert Koirala. Bounds on eigenfunctions of quantum cat maps. Physica Scripta, 98(11):115123, 2023

2023
[18]

Shparlinski

Pär Kurlberg, Alina Ostafe, Zeev Rudnick, and Igor E. Shparlinski. On quantum ergodicity for higher dimensional cat maps. Comm. Math. Phys. , 406(8):Paper No. 174, 29, 2025

2025
[19]

On quantum ergodicity for linear maps of the torus

Pär Kurlberg and Zeév Rudnick. On quantum ergodicity for linear maps of the torus. Comm. Math. Phys. , 222(1):201–227, 2001

2001
[20]

Entropy of semiclassical measures for symplectic linear maps of the multidimensional torus

Gabriel Rivière. Entropy of semiclassical measures for symplectic linear maps of the multidimensional torus. International Mathematics Research Notices , 2011(11):2396–2443, 2011

2011
[21]

The behaviour of eigenstates of arithmetic hyperbolic manifolds

Zeév Rudnick and Peter Sarnak. The behaviour of eigenstates of arithmetic hyperbolic manifolds. Comm. Math. Phys., 161(1):195–213, 1994

1994
[22]

A. I. Schnirelman. Ergodic properties of eigenfunctions. Uspehi Mat. Nauk , 29(6(180)):181–182, 1974

1974
[23]

Statistical Properties of Quantized Toral Automorphisms

Nir Schwartz. Statistical Properties of Quantized Toral Automorphisms . PhD thesis, Université Paris-Saclay,
[24]

thesis, NNT 2022UPASM026, HAL tel-04266949

Ph.D. thesis, NNT 2022UPASM026, HAL tel-04266949
[25]

The full delocalization of eigenstates for the quantized cat map

Nir Schwartz. The full delocalization of eigenstates for the quantized cat map. Pure and Applied Analysis , 6(4):1017–1053, 2024

2024
[26]

Uniform distribution of eigenfunctions on compact hyperbolic surfaces

Steven Zelditch. Uniform distribution of eigenfunctions on compact hyperbolic surfaces. Duke Math. J. , 55(4):919–941, 1987. Department of Mathematics, University of California San Diego Email address : rkoirala@ucsd.edu

1987