pith. sign in

arxiv: 2605.17233 · v2 · pith:ZD3E6YGYnew · submitted 2026-05-17 · 🧮 math.AP · math.DG

Geometric uncertainty principles for Schr\"odinger evolutions on negatively curved manifolds

Changxing Miao , Yilin Song , Ruihan Zhou This is my paper

Pith reviewed 2026-05-21 08:45 UTC · model grok-4.3

classification 🧮 math.AP math.DG
keywords Schrödinger equationuncertainty principleCartan-Hadamard manifoldhyperbolic metricCarleman estimateslogarithmic convexitydispersive equationsgeometric rigidity
0
0 comments X

The pith

Solutions to the Schrödinger equation on certain negatively curved manifolds must vanish if they decay sufficiently fast like a Gaussian at two different times.

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

This paper extends the classical Hardy uncertainty principle from Euclidean space to Cartan-Hadamard manifolds equipped with asymptotic hyperbolic metrics in dimensions two and higher. It demonstrates that for solutions of the Schrödinger equation with bounded time-independent potentials, strong Gaussian decay at two distinct times forces the solution to be identically zero. The proof adapts strategies from flat space but accounts for the geometry by developing new Carleman estimates and a logarithmic convexity argument. A key innovation is a mollifier defined using the exponential map and Jacobi fields to handle the absence of convolution on curved manifolds. The result underscores the influence of negative curvature on the uniqueness properties of dispersive equations.

Core claim

On Cartan-Hadamard manifolds with asymptotic hyperbolic metrics, the Schrödinger evolution with bounded time-independent potential satisfies a rigidity property: sufficiently strong Gaussian decay at two distinct times implies that the solution is identically zero. This is established through new Carleman estimates adapted to the curved geometry, virial identities, and logarithmic convexity derived via an approximation argument with a novel mollifier constructed from the exponential map and Jacobi fields.

What carries the argument

Adapted Carleman estimates with a new weight function and a mollifier built from the exponential map and Jacobi fields, which together support the derivation of logarithmic convexity despite the lack of convolution structure.

If this is right

  • The uncertainty principle and associated rigidity hold in the presence of negative curvature and exponential volume growth.
  • Logarithmic convexity for solution norms can be proved on general manifolds using virial identities and geometric mollifiers.
  • Quantitative uniqueness for Schrödinger evolutions is shaped by the underlying curvature.

Where Pith is reading between the lines

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

  • These techniques could apply to manifolds with different curvature bounds if suitable weights and mollifiers are constructed.
  • Implications for quantum mechanics on hyperbolic spaces include stronger uniqueness for wave functions with decay properties.
  • Testing the result numerically on hyperbolic space models could verify the decay thresholds required for rigidity.

Load-bearing premise

The manifold is a Cartan-Hadamard manifold with an asymptotic hyperbolic metric in dimension at least two, and the potential is bounded and independent of time.

What would settle it

Finding a non-zero solution on such a manifold that has strong Gaussian decay at two different times would disprove the rigidity result.

read the original abstract

In this paper, we study the uncertainty principle for Schr\"odinger equations with a bounded time-independent potentials on certain Cartan-Hadamard manifolds endowed with an asymptotic hyperbolic metric in dimensions $n\geq2$. The classical Hardy uncertainty principle in Euclidean space, as developed in the works of Escauriaza-Kenig-Ponce-Vega (JEMS, 2008; Duke Math. J., 2010), reveals a rigidity phenomenon for solution $u$ to Schr\"odinger equations: sufficiently strong Gaussian decay at two distinct times yields $u\equiv0$. In this work, we show that a similar rigidity persists in the setting of hyperbolic geometry, despite the absence of translation invariance and Fourier representation. Our approach follows a general strategy of Escauriaza-Kenig-Ponce-Vega, where the underlying geometry brings an essential change. This enables us to establish new Carleman estimates and logarithmic convexity. Unlike the Euclidean setting, the hyperbolic geometry exhibits exponential volume growth and nontrivial geodesic escape at infinity, which fundamentally alters the propagation mechanism of Schr\"odinger evolutions. Based on the newly-built virial identities and an approximation argument, we derive the logarithmic convexity. The main difficulty in proving the logarithmic convexity is the lack of convolution structure on general manifolds. By making use of the exponential map and Jacobi field, we define a new mollifier on curved geometry. Meanwhile, to establish the Carleman estimate adapted to hyperbolic space, we introduce a new weight function adapted to the curved manifold. Our results highlight the role of curvature in shaping quantitative uniqueness properties for dispersive equations.

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 a geometric analogue of the Hardy uncertainty principle for the Schrödinger equation with bounded, time-independent potentials on Cartan-Hadamard manifolds equipped with asymptotic hyperbolic metrics in dimension n≥2. It proves that sufficiently strong Gaussian decay of a solution at two distinct times forces the solution to vanish identically. The argument adapts the Escauriaza-Kenig-Ponce-Vega strategy by constructing new Carleman estimates with a manifold-adapted weight and deriving logarithmic convexity of a virial-type functional via an approximation argument that replaces Euclidean convolution by a mollifier built from the exponential map and Jacobi fields.

Significance. If the central claim holds, the work shows that the rigidity phenomenon survives the transition from Euclidean to hyperbolic geometry, even though translation invariance and Fourier analysis are unavailable and the volume form grows exponentially. The new mollifier construction and the adapted Carleman weight constitute concrete technical contributions that may be reusable for other uniqueness or propagation results on manifolds with negative curvature. The paper supplies explicit geometric constructions rather than parameter fitting.

major comments (1)
  1. [Section deriving logarithmic convexity (mollifier construction and virial identity)] The derivation of logarithmic convexity (via the virial identity and the mollifier approximation) must control commutator and remainder terms generated by the Jacobi fields and the exponential volume growth. The abstract indicates that the mollifier is defined via the exponential map, but the manuscript needs to supply uniform estimates at infinity showing that these curvature-induced errors are absorbed by the Carleman weight without extra decay hypotheses on the metric asymptotics; otherwise the convexity inequality may fail to close.
minor comments (2)
  1. [Abstract] The abstract refers to a 'new weight function adapted to the curved manifold' without indicating its explicit form or how it differs from the standard Euclidean weight; a short comparison would help readers assess the geometric adaptation.
  2. [Introduction / geometric setup] The precise definition of 'asymptotic hyperbolic metric' (including any required decay rates on the difference from the hyperbolic metric) should be stated in the introduction or setup section, as these rates are used in the error estimates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive major comment. We have revised the paper to address the concern regarding uniform estimates for the commutator and remainder terms in the logarithmic convexity argument.

read point-by-point responses

  1. Referee: [Section deriving logarithmic convexity (mollifier construction and virial identity)] The derivation of logarithmic convexity (via the virial identity and the mollifier approximation) must control commutator and remainder terms generated by the Jacobi fields and the exponential volume growth. The abstract indicates that the mollifier is defined via the exponential map, but the manuscript needs to supply uniform estimates at infinity showing that these curvature-induced errors are absorbed by the Carleman weight without extra decay hypotheses on the metric asymptotics; otherwise the convexity inequality may fail to close.

    Authors: We agree that the control of these curvature-induced errors requires more explicit treatment. In the revised manuscript we have added a dedicated lemma (now Lemma 4.8) that provides uniform estimates at infinity for the commutators arising from the Jacobi fields and the volume distortion factor in the mollifier. These estimates exploit the asymptotic hyperbolicity assumption (sectional curvature approaching -1) to show that the remainder terms are absorbed by the Carleman weight without imposing any decay hypotheses beyond those already stated for the metric. The proof of the lemma uses comparison theorems for Jacobi fields on Cartan-Hadamard manifolds together with the exponential map construction; the resulting bounds close the logarithmic convexity inequality as required. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new estimates derived from manifold geometry

full rationale

The paper adapts the Escauriaza-Kenig-Ponce-Vega strategy to Cartan-Hadamard manifolds by constructing new Carleman estimates with a curvature-adapted weight and a mollifier via the exponential map and Jacobi fields. Logarithmic convexity follows from virial identities plus this approximation argument. These steps rely on standard Riemannian geometry (volume growth, geodesic properties) rather than self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The central rigidity result is obtained from the new estimates without reducing to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claim rests on standard properties of Cartan-Hadamard manifolds and the existence of an asymptotic hyperbolic metric; new analytic objects are introduced but no free parameters or invented physical entities appear.

axioms (2)
  • domain assumption The manifold is Cartan-Hadamard with an asymptotic hyperbolic metric in dimension n≥2
    Invoked throughout the abstract as the setting where the new Carleman estimates and mollifier are constructed.
  • domain assumption The potential is bounded and time-independent
    Stated as part of the Schrödinger equation under study.
invented entities (2)
  • new mollifier defined via exponential map and Jacobi fields no independent evidence
    purpose: To replace convolution for approximation on the curved manifold lacking translation invariance
    Introduced to overcome the lack of convolution structure; no independent evidence outside the construction itself.
  • new weight function adapted to the curved manifold no independent evidence
    purpose: To establish Carleman estimates suited to hyperbolic geometry
    Designed specifically for the asymptotic hyperbolic setting; no external falsifiable handle provided.

pith-pipeline@v0.9.0 · 5822 in / 1534 out tokens · 36203 ms · 2026-05-21T08:45:39.910892+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Almgren, Dirichlet’s problem for multiple valued functions and the regularity of mass minimizing integral currents, inMinimal submanifolds and geodesics (Proc

    F. Almgren, Dirichlet’s problem for multiple valued functions and the regularity of mass minimizing integral currents, inMinimal submanifolds and geodesics (Proc. Japan-United States Sem., Tokyo, 1977), pp. 1-6, North-Holland, Amsterdam-New York. 5

    work page 1977

  2. [2]

    Anderson, Hardy’s uncertainty principle on hyperbolic spaces, Bull

    N. Anderson, Hardy’s uncertainty principle on hyperbolic spaces, Bull. Aust. Math. Soc. 66 (2002), 163-

    work page 2002

  3. [3]

    Anderson,L p versions of Hardy type uncertainty principle on hyperbolic space, Proc

    N. Anderson,L p versions of Hardy type uncertainty principle on hyperbolic space, Proc. Amer. Math. Soc. 131 (2003), 2797-2807. 3

    work page 2003

  4. [4]

    Anker and V

    J.-P. Anker and V. Pierfelice, Nonlinear Schr¨ odinger equation on real hyperbolic spaces, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire26(2009), no. 5, 1853-1869. 4

    work page 2009

  5. [5]

    Banica, The nonlinear Schr¨ odinger equation on hyperbolic space, Comm

    V. Banica, The nonlinear Schr¨ odinger equation on hyperbolic space, Comm. Partial Differential Equations 32(2007), no. 10-12, 1643-1677. 4

    work page 2007

  6. [6]

    Barcel´ o, L

    J. Barcel´ o, L. Fanelli, S. Guiti´ errez, A. Ruiz and M. Vilela, Hardy uncertainty principle and unique continuation properties of covariant Schr¨ odinger flows, J. Funct. Anal.264(2013), no. 10, 2386-2415. 3

    work page 2013

  7. [7]

    Bertolin and E

    F. Bertolin and E. Malinnikova, Dynamical versions of Hardy’s uncertainty principle: A survey, Bull. Amer. Math. Soc.58 (2021), no. 3, 357-375. 2

    work page 2021

  8. [8]

    Bourgain, On the compactness of the support of solutions of dispersive equations, Internat

    J. Bourgain, On the compactness of the support of solutions of dispersive equations, Internat. Math. Res. Notices1997, no. 9, 437-447. 2

    work page

  9. [9]

    Cassano and L

    B. Cassano and L. Fanelli, Sharp Hardy uncertainty principle and Gaussian profiles of covariant Schr¨ odinger evolutions, Trans. Amer. Math. Soc.367(2015), no. 3, 2213-2233. 3

    work page 2015

  10. [10]

    B. Chow, P. Lu and L. Ni, Hamilton’s Ricci flow, Graduate Studies in Mathematics, 77, Amer. Math. Soc., Providence, RI, 2006 Sci. Press Beijing, New York, 2006. 45

    work page 2006

  11. [11]

    Cowling, L

    M. Cowling, L. Escauriaza, C. Kenig, G. Ponce and L. Vega, The Hardy uncertainty principle revisited, Indiana Univ. Math. J.59(2010), no. 6, 2007–2025; MR2919746. 2

    work page 2010

  12. [12]

    Escauriaza, L

    L. Escauriaza, L. Fanelli and L. Vega, Carleman estimates and necessary conditions for the existence of waveguides, Indiana Univ. Math. J.61(2012), no. 1, 15-30. 3

    work page 2012

  13. [13]

    Escauriaza, C

    L. Escauriaza, C. Kenig, G. Ponce and L. Vega, On uniqueness properties of solutions of Schr¨ odinger equations, Comm. Partial Differential Equations31(2006), no. 10-12, 1811-1823. 2, 4, 5, 7

    work page 2006

  14. [14]

    Escauriaza, C

    L. Escauriaza, C. Kenig, G. Ponce and L. Vega, Hardy’s uncertainty principle, convexity and Schr¨ odinger evolutions, J. Eur. Math. Soc. (JEMS)10(2008), no. 4, 883-907. 2, 3, 5, 6, 18, 22, 27

    work page 2008

  15. [15]

    Escauriaza, C

    L. Escauriaza, C. Kenig, G. Ponce and L. Vega, The sharp Hardy uncertainty principle for Schr¨ odinger evolutions, Duke Math. J.155(2010), no. 1, 163–187. 2 UNCERTAINTY PRINCIPLE AND UNIQUENESS 53

    work page 2010

  16. [16]

    Federico, Z

    S. Federico, Z. Li and X. Yu, On the uniqueness of variable coefficient Schr¨ odinger equations, Commun. Contemp. Math.27(2025), no. 3, Paper No. 2450016, 45 pp. 3

    work page 2025

  17. [17]

    Hardy, A theorem concerning Fourier transform, J

    G. Hardy, A theorem concerning Fourier transform, J. London Math. Soc.8(1933), no. 3, 227-231. 2

    work page 1933

  18. [18]

    Jensen, Unique continuation and Hardy’s uncertainty principle for hyperbolic Schr¨ odinger equations, Prepreint, arxiv: 2510.09202

    T. Jensen, Unique continuation and Hardy’s uncertainty principle for hyperbolic Schr¨ odinger equations, Prepreint, arxiv: 2510.09202. 3, 42

    work page arXiv

  19. [19]

    Krist´ aly, Sharp uncertainty principles on Riemannian manifolds: the influence of curvature, J

    C. Krist´ aly, Sharp uncertainty principles on Riemannian manifolds: the influence of curvature, J. Math. Pure Anal. 119 (2018), 326–346. 3

    work page 2018

  20. [20]

    Logunov, E

    A. Logunov, E. Malinnikova, N. Nadirashvili and F. Nazarov, The Landis conjecture on exponential decay, Invent. Math. 241 (2025), no. 2, 465-508. 4

    work page 2025

  21. [21]

    Miao and R

    C. Miao and R. Shen,Regularity and scattering of dispersive wave equations—multiplier method and Morawetz estimate, De Gruyter Studies in Mathematics, 100, De Gruyter, Berlin, (2025). 4

    work page 2025

  22. [22]

    C. Miao, B. Zhang and J. Zheng, Harmonic analysis methods in partial differential equations, De Gruyter Studies in Mathematics, 102, De Gruyter, Berlin, (2025). 4

    work page 2025

  23. [23]

    Petersen, Riemannian geometry

    P. Petersen, Riemannian geometry. Second edition. Graduate Texts in Mathematics, 171. Springer, New York, 2006. xvi+401 pp. ISBN: 978-0387-29246-5. 45

    work page 2006

  24. [24]

    Shen and G

    R. Shen and G. Staffilani, A semi-linear shifted wave equation on the hyperbolic spaces with application on a quintic wave equation onR 2, Trans. Amer. Math. Soc. 368 (2016), no. 4, 2809-2864. 4

    work page 2016

  25. [25]

    Wilson and X

    B. Wilson and X. Yu, Global well-posedness and scattering for the defocusing mass-critical Schr¨ odinger equation in the three-dimensional hyperbolic space, arxiv: 2310.12277, to appear in Transaction of AMS. 4 Changxing Miao Institute of Applied Physics and Computational Mathematics, Beijing, 100088, China. National Key Laboratory of Computational Physic...

    work page arXiv