Pith. sign in

REVIEW 15 references

Semiclassical measure of the spherical harmonics by Bourgain on $\mathbb{S}^3$

T0 review · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Bourgain spherical harmonics formed from Rudin-Shapiro sequences equidistribute on S^3, while their semiclassical measure is a singular measure supported on Clifford tori.

arxiv 2411.08146 v1 pith:S2564AOS submitted 2024-11-12 math.CA math.APmath.SP

Xiaolong Han This is my paper · ORCID
classification math.CAmath.APmath.SP
keywords mathbbharmonicsmeasuresphericalbourgaineigenfunctionsfunctionslaplacian
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Spherical harmonics are wave patterns on a sphere that are eigenfunctions of the surface Laplacian. For a fixed frequency, there are many such patterns, and a natural question is how they spread out. Most random patterns become evenly spread and behave like quantum chaos. Bourgain constructed a special set of spherical harmonics on S^3 using sequences of plus and minus signs, with the unusual property that all patterns are bounded by a constant independent of frequency.

This paper asks where those Bourgain patterns concentrate. The author proves two things. First, on the sphere itself, the patterns become uniformly spread: for any smooth test function, the weighted average approaches the ordinary sphere average. Second, in the full phase space (position plus momentum), the story is different. The semiclassical limit is not the uniform measure. It is a singular measure living on the family of Clifford tori, with a specific momentum direction attached to each torus.

The mechanism is the low autocorrelation of the Rudin-Shapiro sign sequences. When two different building blocks in the basis overlap, the signs cancel almost completely, leaving only the diagonal terms, which produce the uniform projection onto the sphere. Derivatives in the radial direction cancel by a more delicate identity.

Extended reading notes

Core claim

Theorem 3 identifies the semiclassical measure of Bourgain's spherical harmonics PN,k as the singular measure ∫_0^1 ∫_{Tρ} f(q, ξρ) dAreaρ(q) dρ on the family of Clifford tori, where ξρ = (0, ρ, 1-ρ). Theorem 2 follows: for any smooth f on S^3, ∫ f |PN,k|^2 dVol converges to ∫ f dVol, so these eigenfunctions are equidistributed on S^3.

Load-bearing premise

The proof depends on the autocorrelation bound for Rudin-Shapiro sequences, Theorem 4, with exponent c0 < 0.74. In Case 2 (Section 3.2), the off-diagonal angular terms vanish only because c0 < 1; the cited bound is external and is the quantitative engine that forces the Clifford-torus measure. If the true autocorrelation growth were linear, those terms would not vanish and the semiclassical measure could have additional components.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The central result rests on external theorems (Rudin-Shapiro autocorrelation, Bourgain's construction, Zworski's calculus) and one implicit approximation assumption. There are no fitted constants or newly postulated entities.

assumptions (4)
  • standard math Autocorrelation bound for Rudin-Shapiro sequences: |∑_{j=0}^N σ_j σ_{j+β}| ≤ C0 N^{c0} for all β ≠ 0 with c0 < 0.74 (Theorem 4, cited from ACDES).
    Used in Case 2 (Section 3.2) to show off-diagonal angular terms vanish like N^{c0-1}.
  • standard math Bourgain's construction of uniformly bounded spherical harmonics PN,k from Rudin-Shapiro sequences (Theorem 1, cited [B1]).
    The functions under study and their L∞ bound are taken from Bourgain.
  • standard math Semiclassical pseudodifferential calculus on S^3, including boundedness, adjoints, composition, and microlocalization of eigenfunctions (Theorem 5, standard from Zworski).
    Used to reduce the inner product to monomial symbols and to justify O(N^{-1}) errors.
  • domain assumption Any smooth symbol on T*S^3 can be approximated by finite sums of monomials ρ^γ e^{iβ1θ1} e^{iβ2θ2} η^a ξ1^{b1} ξ2^{b2} in the topology required by the calculus.
    The proof says 'it suffices to consider' monomials in Section 3 but does not give the approximation argument; standard Stone-Weierstrass/Fourier approximation is implicit.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Semiclassical measure of the spherical harmonics by Bourgain on $\mathbb{S}^3$." pith.science (2026). https://pith.science/paper/S2564AOS

@misc{pith2026241108146,
  author       = {Pith},
  title        = {Pith review of: Semiclassical measure of the spherical harmonics by Bourgain on $\mathbbS^3$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/S2564AOS}},
  note         = {Machine review of arXiv:2411.08146}
}
abstract

Bourgain used the Rudin-Shapiro sequences to construct a basis of uniformly bounded holomorphic functions on the unit sphere in $\mathbb{C}^2$. They are also spherical harmonics (i.e., Laplacian eigenfunctions) on $\mathbb{S}^3 \subset \mathbb{R}^4$. In this paper, we prove that these functions tend to be equidistributed on $\mathbb{S}^3$, based on an estimate of the auto-correlation of the Rudin-Shapiro sequences. Moreover, we identify the semiclassical measure associated to these spherical harmonics by the singular measure supported on the family of Clifford tori in $\mathbb{S}^3$. In particular, this demonstrates a new localization pattern in the study of Laplacian eigenfunctions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 13 canonical work pages

  1. [1]

    Allouche, S

    J.-P. Allouche, S. Choi, A. Denise, T. Erd\'elyi, and B. Saffari, Bounds on autocorrelation coefficients of Rudin-Shapiro polynomials. Anal. Math. 45 (2019), no. 4, 705--726

    work page 2019

  2. [2]

    Bourgain, Applications of the spaces of homogeneous polynomials to some problems on the ball algebra

    J. Bourgain, Applications of the spaces of homogeneous polynomials to some problems on the ball algebra. Proc. Amer. Math. Soc. 93 (1985), 277--283

    work page 1985

  3. [3]

    Bourgain, On uniformly bounded bases in spaces of holomorphic functions

    J. Bourgain, On uniformly bounded bases in spaces of holomorphic functions. Amer. J. Math. 138 (2016), no. 2, 571--584

    work page 2016

  4. [4]

    Burq and G

    N. Burq and G. Lebeau, Probabilistic Sobolev embeddings, applications to eigenfunctions estimates. Geometric and spectral analysis, 307--318, Contemp. Math., 630, Amer. Math. Soc., Providence, RI, 2014

    work page 2014

  5. [5]

    Demeter and R

    C. Demeter and R. Zhang On the N -set occupancy problem. arXiv:2403.10678 https://arxiv.org/abs/2403.10678

    arXiv

  6. [6]

    Han, Uniformly bounded spherical harmonics and quantum ergodicity on S ^2

    X. Han, Uniformly bounded spherical harmonics and quantum ergodicity on S ^2 . arXiv:2209.03403 https://arxiv.org/abs/2209.03403

    work page arXiv

  7. [7]

    Jakobson and S

    D. Jakobson and S. Zelditch, Classical limits of eigenfunctions for some completely integrable systems. Emerging applications of number theory (Minneapolis, MN, 1996), 329--354, IMA Vol. Math. Appl., 109, Springer, New York, 1999

    work page 1996

  8. [8]

    Marzo and J

    J. Marzo and J. Ortega-Cerd\`a, Uniformly bounded orthonormal polynomials on the sphere. Bull. Lond. Math. Soc. 47 (2015), no. 5, 883--891

    work page 2015

Show all 15 references
  1. [9]

    Rudin, Some theorems on Fourier coefficients

    W. Rudin, Some theorems on Fourier coefficients. Proc. Amer. Math. Soc. 10 (1959) 855--859

    1959

  2. [10]

    Shiffman, Uniformly bounded orthonormal sections of positive line bundles on complex manifolds

    B. Shiffman, Uniformly bounded orthonormal sections of positive line bundles on complex manifolds. Analysis, complex geometry, and mathematical physics: in honor of Duong H. Phong, 227--240, Contemp. Math., 644, Amer. Math. Soc., Providence, RI, 2015

    2015

  3. [11]

    Sogge, Hangzhou lectures on eigenfunctions of the Laplacian

    C. Sogge, Hangzhou lectures on eigenfunctions of the Laplacian. Princeton University Press, Princeton, NJ, 2014

    2014

  4. [12]

    VanderKam, L^ norms and quantum ergodicity on the sphere

    J. VanderKam, L^ norms and quantum ergodicity on the sphere. Internat. Math. Res. Notices 1997, no. 7, 329--347. Correction. 1998, no. 1, 65

    1997

  5. [13]

    Yau, Open problems in geometry

    S.-T. Yau, Open problems in geometry. Problem section. Seminar on Differential Geometry, pp. 669--706. Princeton Univ. Press, Princeton, NJ, 1982

    1982

  6. [14]

    Zelditch, Quantum ergodicity on the sphere

    S. Zelditch, Quantum ergodicity on the sphere. Comm. Math. Phys. 146 (1992), no. 1, 61--71

    1992

  7. [15]

    Zworski, Semiclassical analysis

    M. Zworski, Semiclassical analysis. American Mathematical Society, Providence, RI, 2012

    2012

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.