Table of Contents
Fetching ...

Spherical harmonics and point configurations on the sphere

Xiaolong Han

TL;DR

The paper develops a framework to construct high-degree spherical harmonics on $\\mathbb{S}^2$ by superposing Gaussian beams whose poles form well-chosen point configurations. By enforcing pole geometry through separation, equidistribution, and no-clustering around great circles, the authors prove that the resulting harmonics are quantum ergodic under suitable growth of $m$ relative to $N$, and they obtain explicit $L^\infty$ bounds when clustering is controlled. The key technical tools are semiclassical analysis, microlocal estimates of Gaussian-beam matrix elements, and the identification of the cosphere bundle with the space of oriented great circles, which together yield convergence to the Liouville measure in phase space and precise sup-norm behavior. The work also provides concrete constructions (e.g., spherical designs and Hecke-orbit configurations) and probabilistic perturbations that achieve near-optimal no-clustering bounds, demonstrating the coexistence of quantum ergodicity and uniform boundedness in a broad setting. These results offer explicit, scalable methods for engineering eigenfunctions with prescribed phase-space distribution and sup-norm control on the sphere, with potential implications for quantum chaos, spectral geometry, and numerical spherical harmonic constructions.

Abstract

We develop a systematic framework for constructing spherical harmonics on the two-dimensional unit sphere as superpositions of Gaussian beams whose poles form well-separated point configurations. The distributional and analytic properties of the resulting spherical harmonics are determined by the geometry of these poles: when the configuration is equidistributed, the sequence of harmonics exhibits quantum ergodicity, while their $L^\infty$ norms are quantitatively controlled by the maximal clustering of poles within small neighborhoods of great circles.

Spherical harmonics and point configurations on the sphere

TL;DR

The paper develops a framework to construct high-degree spherical harmonics on by superposing Gaussian beams whose poles form well-chosen point configurations. By enforcing pole geometry through separation, equidistribution, and no-clustering around great circles, the authors prove that the resulting harmonics are quantum ergodic under suitable growth of relative to , and they obtain explicit bounds when clustering is controlled. The key technical tools are semiclassical analysis, microlocal estimates of Gaussian-beam matrix elements, and the identification of the cosphere bundle with the space of oriented great circles, which together yield convergence to the Liouville measure in phase space and precise sup-norm behavior. The work also provides concrete constructions (e.g., spherical designs and Hecke-orbit configurations) and probabilistic perturbations that achieve near-optimal no-clustering bounds, demonstrating the coexistence of quantum ergodicity and uniform boundedness in a broad setting. These results offer explicit, scalable methods for engineering eigenfunctions with prescribed phase-space distribution and sup-norm control on the sphere, with potential implications for quantum chaos, spectral geometry, and numerical spherical harmonic constructions.

Abstract

We develop a systematic framework for constructing spherical harmonics on the two-dimensional unit sphere as superpositions of Gaussian beams whose poles form well-separated point configurations. The distributional and analytic properties of the resulting spherical harmonics are determined by the geometry of these poles: when the configuration is equidistributed, the sequence of harmonics exhibits quantum ergodicity, while their norms are quantitatively controlled by the maximal clustering of poles within small neighborhoods of great circles.
Paper Structure (14 sections, 6 theorems, 87 equations, 5 figures)

This paper contains 14 sections, 6 theorems, 87 equations, 5 figures.

Key Result

Theorem 1.1

Suppose that $m=O(N^{\rho_0})$ for some $0<\rho_0<1$. If (S) and (E) hold, then the spherical harmonics $u_N$ in eq:uN are quantum ergodic as $N\to\infty$.

Figures (5)

  • Figure 1: Condition (G) no-clustering around great circles
  • Figure 2: The semiclassical measure of the Gaussian beam $Q_0$ is the normalized uniform measure supported on $G_0\times\{\xi_0\}\subset S^*\mathbb{S}$.
  • Figure 3: Intersection of $\mathcal{N}_{h^{\frac{\rho_0}{2}}}(G_k)$ and $\mathcal{N}_{h^{\frac{\rho_0}{2}}}(G_0)$.
  • Figure 4: Intersection of a latitudinal strip $S_l$ and the $m^{-1}$-neighborhood of a great circle $G$ forming an angle of $(l+1)m^{-1}$ with the equator.
  • Figure 5: Intersections of $\mathcal{N}_{2m^{-1}}(G)$ with $B(q_j,r)$

Theorems & Definitions (24)

  • Example : Gaussian beams
  • Remark
  • Theorem 1.1: Quantum ergodic spherical harmonics
  • Theorem 1.2: Spherical harmonics with controlled $L^\infty$ bounds
  • Remark
  • Example : Spherical designs
  • Example : Point configurations from Hecke operators
  • Example : Toral eigenfunctions
  • Remark : Quantum Unique Ergodicity
  • Remark : Hecke spherical harmonics
  • ...and 14 more