pith. sign in

arxiv: 2604.15442 · v1 · submitted 2026-04-16 · 🧮 math.CA · math.AP· math.SP

Uncertainty principles and singular potentials

A. Iosevich , C. Park This is my paper

Pith reviewed 2026-05-10 09:05 UTC · model grok-4.3

classification 🧮 math.CA math.APmath.SP
keywords uncertainty principlesRiemannian manifoldsLaplace-Beltrami operatorssingular potentialsspectral conditionsWeyl lawseigenfunction restrictions
0
0 comments X

The pith

A quantitative spectral condition stabilizes uncertainty inequalities on compact Riemannian manifolds with singular potentials.

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

The paper establishes uncertainty principles for the Laplace-Beltrami operator on compact manifolds without boundary, extending to cases with real-valued singular potentials. By replacing the classical homogeneity assumption with a quantitative spectral condition, it derives stability versions of the uncertainty inequalities. The key result is an inequality that includes terms for spectral deviation and is proven sharp. In one dimension, the condition holds automatically, providing a link between spectral complexity and spatial support. Higher-dimensional cases use pointwise Weyl laws and eigenfunction restriction estimates.

Core claim

We prove that (1-ε-ε')^2 ≤ |E|/|M| · #X_S · sup_{x∈E} A_S(x) / (#X_S / |M|), which recovers the classical bound in the homogeneous case, quantifies its deterioration in the presence of spectral inhomogeneity, and is shown to be sharp in general. In dimension one the homogeneity condition holds automatically with additional Fourier-ratio complexity bounds, while higher dimensions rely on pointwise Weyl laws and eigenfunction restriction estimates.

What carries the argument

The quantitative spectral condition on the spectrum of the Laplace-Beltrami operator, which replaces homogeneity and enables the stability estimate through pointwise Weyl laws and eigenfunction restriction estimates.

If this is right

  • The classical uncertainty bound is recovered exactly when the spectral condition holds with ε = ε' = 0.
  • The bound deteriorates in a controlled way as spectral inhomogeneity increases, as measured by ε and ε'.
  • The inequality is sharp in general, so the constants cannot be improved without stronger assumptions.
  • In dimension one, automatic homogeneity yields a quantitative relation between spectral complexity and spatial support via Fourier-ratio bounds.
  • In higher dimensions, the results apply through pointwise Weyl laws and eigenfunction restriction estimates on submanifolds.

Where Pith is reading between the lines

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

  • The approach could be tested numerically on standard manifolds such as the sphere to check sharpness for concrete sets.
  • Similar quantitative conditions might stabilize uncertainty principles for other elliptic operators on manifolds.
  • The sharpness result indicates that spectral inhomogeneity fundamentally limits how tight the bounds can be.

Load-bearing premise

The quantitative spectral condition holds with sufficiently small error parameters ε and ε' for the given manifold and sets.

What would settle it

An explicit compact Riemannian manifold, a positive-measure set E, and spectral set X_S where the left side of the main inequality exceeds the right side for the ε and ε' determined by the spectral condition.

read the original abstract

We establish uncertainty principles on compact Riemannian manifolds without boundary in the setting of Laplace-Beltrami operators, including the case of real-valued singular potentials. We replace the classical homogeneity assumption by a quantitative spectral condition and obtain corresponding stability versions of uncertainty inequalities. In particular, we prove that \[ (1-\epsilon-\epsilon')^2 \leq \frac{|E|}{|M|}\cdot \# X_S \cdot \sup_{x\in E} \frac{A_S(x)}{\frac{\# X_S}{|M|}}, \] which recovers the classical bound in the homogeneous case, quantifies its deterioration in the presence of spectral inhomogeneity, and is shown to be sharp in general. In {\it dimension one}, we show that the homogeneity condition holds automatically, and we complement this rigidity by incorporating Fourier-ratio complexity bounds, yielding a quantitative relationship between spectral complexity and spatial support. In higher dimensions, we derive analogous results using pointwise Weyl laws and the eigenfunction restriction estimates on submanifolds.

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.

Referee Report

1 major / 2 minor

Summary. The paper establishes uncertainty principles for Laplace-Beltrami operators on compact Riemannian manifolds without boundary, including with real-valued singular potentials. It replaces the classical homogeneity assumption by a quantitative spectral condition and derives the stability inequality (1−ε−ε′)² ≤ |E|/|M| ⋅ #X_S ⋅ sup_{x∈E} A_S(x) / (#X_S / |M|), which recovers the homogeneous case, quantifies deterioration due to spectral inhomogeneity, and is claimed to be sharp. In dimension one the homogeneity condition holds automatically and is complemented by Fourier-ratio complexity bounds relating spectral complexity to spatial support; in higher dimensions the results follow from pointwise Weyl laws and eigenfunction restriction estimates on submanifolds.

Significance. If the central derivations hold, the work supplies a useful quantitative stability version of uncertainty principles that accounts for spectral inhomogeneity and singular potentials. The explicit form of the inequality, the sharpness statement, the automatic validity in 1D, and the use of standard asymptotic tools in higher dimensions constitute clear strengths. The result could inform further work in spectral geometry and harmonic analysis on manifolds.

major comments (1)
  1. [higher dimensions paragraph of abstract] Abstract and higher-dimensional derivation: the quantitative spectral condition that controls ε and ε' is obtained from pointwise Weyl laws and eigenfunction restriction estimates. The manuscript must supply explicit remainder bounds for these estimates that are uniform with respect to real-valued singular potentials (and independent of the sets E and M). Without such uniform control the parameters ε, ε' may depend on the potential, which would undermine both the claimed stability of the inequality and the sharpness statement in general.
minor comments (2)
  1. The symbols A_S(x), X_S, M and E appearing in the central inequality are not defined in the abstract; a short notation paragraph or reference to their definitions in the main text would improve readability.
  2. [dimension one paragraph of abstract] In the dimension-one section, the Fourier-ratio complexity bounds should be stated with explicit dependence on the constants appearing in the estimates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comment below.

read point-by-point responses

  1. Referee: Abstract and higher-dimensional derivation: the quantitative spectral condition that controls ε and ε' is obtained from pointwise Weyl laws and eigenfunction restriction estimates. The manuscript must supply explicit remainder bounds for these estimates that are uniform with respect to real-valued singular potentials (and independent of the sets E and M). Without such uniform control the parameters ε, ε' may depend on the potential, which would undermine both the claimed stability of the inequality and the sharpness statement in general.

    Authors: We agree that explicit remainder bounds uniform in the potential are required to fully substantiate the claims. The pointwise Weyl laws and eigenfunction restriction estimates we invoke are standard results from the spectral geometry literature (with references provided in the manuscript). These hold with remainders that depend only on the geometry of the manifold and the regularity class of the potential, and are independent of the specific sets E and M. For real-valued singular potentials in the class considered, the perturbation does not affect the leading asymptotics or the uniformity of the error terms. To address the referee's request explicitly, we will revise the higher-dimensional section by recalling the precise statements of these estimates, including their remainder bounds, and verifying the uniformity with respect to V. This will ensure that ε and ε' are controlled independently of the potential, preserving the stability and sharpness statements. revision: yes

Circularity Check

0 steps flagged

No circularity: central inequality derived from external spectral estimates under explicit quantitative condition

full rationale

The paper replaces the classical homogeneity assumption with a quantitative spectral condition (controlling ε, ε') and proves the stated inequality directly from it, recovering the homogeneous case when ε=ε'=0. In dimension one the condition is shown to hold automatically via an internal argument, while higher-dimensional cases invoke pointwise Weyl laws and eigenfunction restriction estimates as standard external tools rather than self-derived or fitted quantities. No step reduces the claimed result to a tautology, renamed input, or self-citation chain; the derivation remains self-contained against known spectral geometry benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The results rest on standard spectral properties of the Laplace-Beltrami operator and advanced analytic estimates rather than new free parameters or postulated entities.

axioms (2)
  • standard math The Laplace-Beltrami operator on a compact Riemannian manifold without boundary is self-adjoint and possesses a discrete spectrum of eigenfunctions
    Fundamental for the eigenfunction expansion and spectral decomposition used throughout.
  • domain assumption Pointwise Weyl laws and eigenfunction restriction estimates hold on the manifold and its submanifolds
    Invoked explicitly for the higher-dimensional results as stated in the abstract.

pith-pipeline@v0.9.0 · 5465 in / 1436 out tokens · 72223 ms · 2026-05-10T09:05:16.017990+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Avakumovi´ c,¨ uber die Eigenfunktionen auf geschlossenen Riemannschen Mannigfaltigkeiten, Math

    Vojislav G. Avakumovi´ c,¨ uber die Eigenfunktionen auf geschlossenen Riemannschen Mannigfaltigkeiten, Math. Z.65 (1956), 327–344. MR 80862 5, 9

    work page 1956

  2. [2]

    Blair, Xiaoqi Huang, Yannick Sire, and Christopher D

    Matthew D. Blair, Xiaoqi Huang, Yannick Sire, and Christopher D. Sogge,Uniform Sobolev estimates on compact manifolds involving singular potentials, Rev. Mat. Iberoam.38(2022), no. 4, 1239–1286. MR 4445914 5

    work page 2022

  3. [3]

    Blair and Chamsol Park,L q estimates on the restriction of Schr¨ odinger eigenfunctions with singular potentials, Comm

    Matthew D. Blair and Chamsol Park,L q estimates on the restriction of Schr¨ odinger eigenfunctions with singular potentials, Comm. Partial Differential Equations50(2025), no. 10-12, 1234–1290. MR 5000983 7

    work page 2025

  4. [4]

    Blair, Yannick Sire, and Christopher D

    Matthew D. Blair, Yannick Sire, and Christopher D. Sogge,Quasimode, eigenfunction and spectral projection bounds for Schr¨ odinger operators on manifolds with critically singular potentials, J. Geom. Anal.31(2021), no. 7, 6624–6661. MR 4289239 5

    work page 2021

  5. [5]

    Jean Bourgain and Ze´ ev Rudnick,Restriction of toral eigenfunctions to hypersurfaces and nodal sets, Geom. Funct. Anal. 22(2012), no. 4, 878–937. MR 2984120 14, 15

    work page 2012

  6. [6]

    N. Burq, P. G´ erard, and N. Tzvetkov,Restrictions of the Laplace-Beltrami eigenfunctions to submanifolds, Duke Math. J. 138(2007), no. 3, 445–486. MR 2322684 7, 13, 15

    work page 2007

  7. [7]

    Burstein, A

    W. Burstein, A. Iosevich, and H. Nathan,The Fourier ratio: A unifying measure of complexity for recovery, localization, and learning, 2026, preprint. 2

    work page 2026

  8. [8]

    Math.232(2023), no

    Yaiza Canzani and Jeffrey Galkowski,Weyl remainders: an application of geodesic beams, Invent. Math.232(2023), no. 3, 1195–1272. MR 4588565 5 16 A. IOSEVICH AND C. PARK

    work page 2023

  9. [10]

    Frank and Julien Sabin,Sharp Weyl laws with singular potentials, Pure Appl

    Rupert L. Frank and Julien Sabin,Sharp Weyl laws with singular potentials, Pure Appl. Anal.5(2023), no. 1, 85–144. MR 4578533 5

    work page 2023

  10. [11]

    Batu G¨ uneysu,On generalized Schr¨ odinger semigroups, J. Funct. Anal.262(2012), no. 11, 4639–4674. MR 2913682 5

    work page 2012

  11. [12]

    MR 609014 5

    Lars H¨ ormander,The spectral function of an elliptic operator, Acta Math.121(1968), 193–218. MR 609014 5

    work page 1968

  12. [13]

    6, 1021–1052

    Rui Hu,L p norm estimates of eigenfunctions restricted to submanifolds, Forum Math.21(2009), no. 6, 1021–1052. MR 2574146 7, 13

    work page 2009

  13. [14]

    Sogge,Weyl formulae for Schr¨ odinger operators with critically singular potentials, Comm

    Xiaoqi Huang and Christopher D. Sogge,Weyl formulae for Schr¨ odinger operators with critically singular potentials, Comm. Partial Differential Equations46(2021), no. 11, 2088–2133. MR 4313448 5

    work page 2021

  14. [15]

    Xiaoqi Huang, Xing Wang, and Cheng Zhang,Weyl laws for Schr¨ odinger operators on compact manifolds with boundary, https://arxiv.org/abs/2409.05252, 2024, Preprint. 5

    work page arXiv 2024

  15. [16]

    Xiaoqi Huang, Xing Wang, and Cheng Zhang,Restriction of Schr¨ odinger Eigenfunctions to Submanifolds, Comm. Math. Phys.407(2026), no. 4, Paper No. 67. MR 5041854 7

    work page 2026

  16. [17]

    Math.410 (2022), Paper No

    Xiaoqi Huang and Cheng Zhang,Pointwise Weyl laws for Schr¨ odinger operators with singular potentials, Adv. Math.410 (2022), Paper No. 108688, 34. MR 4491246 5, 9, 10

    work page 2022

  17. [18]

    ,Sharp pointwise Weyl laws for Schr¨ odinger operators with singular potentials on flat tori, Comm. Math. Phys. 401(2023), no. 2, 1063–1125. MR 4610271 5

    work page 2023

  18. [19]

    Iosevich, Z

    A. Iosevich, Z. Li, E. Palsson, and A. Yavicoli,The Fourier ratio: Uncertainty, Restriction, and Approximation for Compactly Supported Measures,https://arxiv.org/abs/2512.16751, 2026, preprint. 2, 4, 5

    work page arXiv 2026

  19. [20]

    Iosevich and E

    A. Iosevich and E. Wyman,Weyl law improvement for products of spheres, Anal. Math.47(2021), no. 3, 593–612. MR 4305422 5

    work page 2021

  20. [21]

    1, 2, 3, 5, 7, 9, 10, 11, 12

    Alex Iosevich, Azita Mayeli, and Emmett Wyman,Fourier Uncertainty Principles on Riemannian manifolds,https: //arxiv.org/abs/2411.09057, 2024. 1, 2, 3, 5, 7, 9, 10, 11, 12

    work page arXiv 2024

  21. [22]

    ,Spectral synthesis on Riemannian manifolds,https://arxiv.org/abs/2603.21451, 2026, preprint. 2

    work page arXiv 2026

  22. [23]

    Lee,Introduction to smooth manifolds, second ed., Graduate Texts in Mathematics, vol

    John M. Lee,Introduction to smooth manifolds, second ed., Graduate Texts in Mathematics, vol. 218, Springer, New York,

    work page

  23. [24]

    176, Springer, Cham, 2018, Second edition of [ MR1468735]

    ,Introduction to Riemannian manifolds, Graduate Texts in Mathematics, vol. 176, Springer, Cham, 2018, Second edition of [ MR1468735]. MR 3887684 8

    work page 2018

  24. [25]

    B. M. Levitan,On the asymptotic behavior of the spectral function of a self-adjoint differential equation of the second order, Izv. Akad. Nauk SSSR Ser. Mat.16(1952), 325–352. MR 58067 5

    work page 1952

  25. [26]

    ,On the asymptotic behavior of a spectral function and on expansion in eigenfunctions of a self-adjoint differential equation of second order. II, Izv. Akad. Nauk SSSR Ser. Mat.19(1955), 33–58. MR 69369 5

    work page 1955

  26. [27]

    3-4, 153–201

    Peter Li and Shing-Tung Yau,On the parabolic kernel of the Schr¨ odinger operator, Acta Math.156(1986), no. 3-4, 153–201. MR 834612 5

    work page 1986

  27. [28]

    Seeley,A sharp asymptotic remainder estimate for the eigenvalues of the Laplacian in a domain ofR 3, Adv

    R. Seeley,A sharp asymptotic remainder estimate for the eigenvalues of the Laplacian in a domain ofR 3, Adv. in Math. 29(1978), no. 2, 244–269. MR 506893 5

    work page 1978

  28. [29]

    ,An estimate near the boundary for the spectral function of the Laplace operator, Amer. J. Math.102(1980), no. 5, 869–902. MR 590638 5

    work page 1980

  29. [30]

    Barry Simon,Schr¨ odinger semigroups, Bull. Amer. Math. Soc. (N.S.)7(1982), no. 3, 447–526. MR 670130 5

    work page 1982

  30. [31]

    Sogge,Concerning theL p norm of spectral clusters for second-order elliptic operators on compact manifolds, J

    Christopher D. Sogge,Concerning theL p norm of spectral clusters for second-order elliptic operators on compact manifolds, J. Funct. Anal.77(1988), no. 1, 123–138. 2

    work page 1988

  31. [32]

    Karl-Theodor Sturm,Schr¨ odinger semigroups on manifolds, J. Funct. Anal.118(1993), no. 2, 309–350. MR 1250266 5

    work page 1993

  32. [33]

    Melissa Tacy,A note on constructing families of sharp examples forL p growth of eigenfunctions and quasimodes, Proc. Amer. Math. Soc.146(2018), no. 7, 2909–2924. MR 3787353 6

    work page 2018

  33. [34]

    Wyman, and Yakun Xi,Surfaces in which every point sounds the same, Proc

    Feng Wang, Emmett L. Wyman, and Yakun Xi,Surfaces in which every point sounds the same, Proc. Amer. Math. Soc. 153(2025), no. 2, 879–888. MR 4852806 1, 9 Department of Mathematics, University of Rochester, Rochester, NY 14627, USA Email address:alex.iosevich@rochester.edu Department of Mathematics, University of Rochester, Rochester, NY 14627, USA Email a...

    work page 2025