REVIEW 1 minor 1 cited by
Quantitative uniqueness properties for functions on compact quasi-analytic manifolds
T0 review · 0 major / 1 minor · reviewed 2026-06-28 · grok-4.3
Pith's one-line read Quantitative uniqueness holds for functions on quasi-analytic compact manifolds from relatively dense sets.
desk verdict The paper extends Logvinenko-Sereda uniqueness and Kukavica-Li observability to infinite sums with decay on quasi-analytic manifolds, but only the abstract is visible so the claims stay unverified. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The class of functions defined by iterates of a positive elliptic linear differential operator on the quasi-analytic compact manifold, paired with relatively dense observable sets.
What would settle it
A counterexample function in the class that violates the quantitative uniqueness bound on a relatively dense observable set would falsify the main result.
Extended reading notes
Core claim
Quantitative uniqueness results hold for the class of functions on the quasi-analytic compact manifold X without boundary that are characterized by iterates of a positive elliptic linear differential operator; relatively dense observable sets yield Logvinenko-Sereda-type estimates, and the doubling property implies observability from any positive-measure set, extending the propagation of smallness to infinite eigenfunction sums with suitable energy-parameter decay.
Load-bearing premise
The manifold must be quasi-analytic and the functions must belong to the class generated by iterates of the positive elliptic operator.
Editorial extensions
If this is right
- Observability inequalities extend to infinite sums of eigenfunctions under energy decay on these manifolds.
- Doubling functions in the class become observable from any positive-measure set.
- The results apply to all finite-spectrum functions on the manifold.
- Propagation of smallness holds beyond finite eigenfunction sums in the quasi-analytic setting.
Reading between the lines
- Similar quantitative bounds might be testable on standard quasi-analytic manifolds such as the circle or sphere by explicit eigenfunction constructions.
- The framework could connect to control problems for PDEs on manifolds where the operator generates the function class.
- Relaxing the doubling condition might still permit observability from sets with additional geometric structure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to establish quantitative uniqueness results for a class of functions on compact quasi-analytic manifolds X without boundary. The function class is defined via iterates of a positive elliptic linear differential operator on X and includes all finite-spectrum functions. Using a relatively dense observable set, the work extends classical Logvinenko-Sereda-type results to the quasi-analytic setting. It further shows that, under an additional doubling property, observability holds from any measurable set of positive measure. The results generalize propagation of smallness from finite sums of eigenfunctions to infinite sums with suitable energy-parameter decay, extending recent work of Kukavica-Li to the quasi-analytic case.
Significance. If the claimed extensions hold, the results would provide a non-trivial generalization of Logvinenko-Sereda uniqueness and observability estimates to the quasi-analytic manifold setting, with potential applications to spectral theory and control problems on manifolds. The generalization from finite to infinite sums under energy decay is a natural but non-obvious step beyond the Kukavica-Li framework.
minor comments (1)
- The abstract refers to 'relatively dense observable set' and 'doubling property' without defining these notions; the full manuscript should supply precise definitions and verify that they reduce to standard notions when the manifold is analytic.
Simulated Author's Rebuttal
We thank the referee for their summary of the manuscript. No specific major comments were listed in the report, so there are no individual points to address.
Circularity Check
No circularity: derivation relies on external extensions and standard assumptions
full rationale
The paper defines its function class explicitly via iterates of a fixed elliptic operator on a quasi-analytic manifold and invokes a relatively dense observable set plus an explicit doubling property. These are independent inputs, not fitted or self-defined. The generalization from Kukavica-Li is presented as an extension to a new setting without load-bearing self-citations or reductions of predictions to inputs by construction. No steps match the enumerated circularity patterns.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Quantitative uniqueness properties for functions on compact quasi-analytic manifolds." pith.science (2026). https://pith.science/paper/RFXZWGOH
@misc{pith2026260604530,
author = {Pith},
title = {Pith review of: Quantitative uniqueness properties for functions on compact quasi-analytic manifolds},
year = {2026},
howpublished = {\url{https://pith.science/paper/RFXZWGOH}},
note = {Machine review of arXiv:2606.04530}
}
abstract
In this article, we establish quantitative uniqueness results for a class of functions defined on a quasi-analytic compact manifold $X$ without boundary. This function class is characterized by the iterates of a positive elliptic linear differential operator on $X$ and, notably, encompasses all functions with a finite spectrum. By employing a relatively dense observable set, we extend classical Logvinenko-Sereda-type results to this quasi-analytic framework. Furthermore, we demonstrate that if these functions satisfy a doubling property, observability holds from any measurable set of positive measure. Our results generalise the propagation of smallness from finite sums of eigenfunctions to infinite sums with an appropriate energy-parameter decay, thereby extending recent findings by Kukavica-Li (Proc. Lond. Math. Soc., 2025) to the quasi-analytic setting.
Forward citations
Cited by 1 Pith paper
-
A Local-to-Global Propagation Principle for Dirichlet-to-Neumann Maps
Proves local-to-global propagation for DN maps via unique continuation, spectral theory, and quasi-analytic conditions on warped product metrics.
Reference graph
Works this paper leans on
-
[1]
Apraiz, J.; Escauriaza, L.; Null-control and measurable sets, ESAIM Control Optim. Calc. Var. 19 (2013), no. 1, 239-254J
2013
-
[2]
and Zhang, C.; Observability inequalities and measurable sets, J
Apraiz, J.; Escauriaza, L.; Wang, G. and Zhang, C.; Observability inequalities and measurable sets, J. Eur. Math. Soc. (JEMS) 16 (2014), no. 11, 2433–2475
2014
-
[3]
140, Elsevier/Academic Press, Amsterdam, 2003
Adams, R.A.; Fournier, J.J.F.; Sobolev Spaces, second edition, Pure and Applied Mathematics (Amsterdam), vol. 140, Elsevier/Academic Press, Amsterdam, 2003
2003
-
[4]
Albanese, A.; Jornet, D.; Oliaro, A.; Quasianalytic wave front sets for solutions of linear partial differential operators. Integr. Equ. Oper. Theory 66(2), 153–181 (2010)
2010
-
[5]
Dyatlov, S.; Spectral gaps without the pressure condition, Ann
Bourgain, J. ; Dyatlov, S.; Spectral gaps without the pressure condition, Ann. of Math. (2) 187 (2018), no. 3, 825-867
2018
-
[6]
Bonami, A.; Demange, B.; Jaming, P.; Hermite functions and uncertainty principles for the Fourier and the windowed Fourier transforms, Rev. Mat. Iberoamericana 19 (2003), no. 1, 23-55
2003
-
[7]
Burq, N.; Moyano, I.; Propagation of smallness and control for heat equations, J. Eur. Math. Soc. (JEMS) 25 (2023), no. 4, 1349-1377
2023
-
[8]
Bhowmik, M.; Pradhan, S.; Uniqueness results for quasi-analytic functions on compact Lie groups and homogeneous spaces, preprint
Show all 47 references
-
[9]
K.; Theorems of Ingham and Chernoff on Riemannian symmetric spaces of noncompact type, J
Bhowmik, M.; Pusti, S.; Ray, S. K.; Theorems of Ingham and Chernoff on Riemannian symmetric spaces of noncompact type, J. Funct. Anal. 279 (2020), no. 11, 108760
2020
-
[10]
K.; A theorem of Chernoff on quasi-analytic functions for Riemannian symmetric spaces, Int
Bhowmik, M.; Pusti, S.; Ray, S. K.; A theorem of Chernoff on quasi-analytic functions for Riemannian symmetric spaces, Int. Math. Res. Not. IMRN (2023), no. 13, 10942-10963
2023
-
[11]
Ciatti, P.; Cowling, M.G.; Ricci, F.; Hardy and uncertainty inequalities on stratified Lie groups , Adv. Math. 277 (2015) 365-387
2015
-
[12]
Chernoff, Paul R.; Quasi-analytic vectors and quasi-analytic functions, Bull. Amer. Math. Soc. 81 (1975), 637-646
1975
-
[13]
Donnelly, H.; Fefferman, C.; Nodal sets of eigenfunctions on Riemannian manifolds, Invent. Math. 93 (1988), no. 1, 161-183
1988
-
[14]
Donnelly, H.; Nodal sets for sums of eigenfunctions on Riemannian manifolds, Proc. Amer. Math. Soc. 121 (1994), no. 3, 967-973
1994
-
[15]
Dasgupta, A.; Ruzhansky, M.; Gevrey functions and ultradistributions on compact Lie groups and homogeneous spaces, Bull. Sci. Math. 138 (2014), no. 6, 756-782
2014
-
[16]
AMS, 368, No
Dasgupta, A.; Ruzhansky, M.; Eigenfunction expansions of untradifferentiable functions and ultradistributions, Trans. AMS, 368, No. 12, December 2016, Pages 8481-8498
2016
-
[17]
Dicke, A.; Veseli\'c, I.; Spherical Logvinenko-Sereda-Kovrijkine type inequality and null-controllability of the heat equation on the sphere, Arch. Math. 123 (2024), no. 5, 543-556
2024
-
[18]
Henri Poincar\'e 21 (2020), no
Egidi, M.; Veseli\'c, I.; Scale-free unique continuation estimates and Logvinenko-Sereda theorems on the torus , Ann. Henri Poincar\'e 21 (2020), no. 12, 3757-3790
2020
-
[19]
B.; Sitaram, A.; The uncertainty principle: a mathematical survey
Folland, G. B.; Sitaram, A.; The uncertainty principle: a mathematical survey. J. Fourier Anal. Appl. 3 (1997), no. 3, 207-238
1997
-
[20]
F\"urd\"os, S.; Geometric microlocal analysis in Denjoy-Carleman classes. Pac. J. Math. 307(2), 303–351 (2020)
2020
-
[21]
Ganguly, P.; Thangavelu, S.; Theorems of Chernoff and Ingham for certain eigenfunction expansions, Adv. Math. 386 (2021), Paper No. 107815, 31 pp
2021
-
[22]
Havin, V.; J\"oricke, B.; The Uncertainty Principle in Harmonic Analysis, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 28. Springer, Berlin (1994)
1994
-
[23]
H\"ormander, L.; Linear partial differential operators, Third Revised Printing, vol 116, Springer, New York (1969)
1969
-
[24]
Huang, S.; Wang, G.; Wang, M.; Observable sets, potentials and Schr\"odinger equations, Comm. Math. Phys., 395(3):1297-1343, 2022
2022
-
[25]
Chicago Press, Chicago, IL:, 1999, pp
Jerison, D.; Lebeau, G.; Nodal sets of sums of eigenfunctions, Chicago Lectures in Math., Univ. Chicago Press, Chicago, IL:, 1999, pp. 223-239
1999
-
[26]
Jaye, B.; Mitkovski, M.; Quantitative uniqueness properties for L^2 functions with fast decaying, or sparsely supported, Fourier transform, Int. Math. Res. Not. IMRN 2022, no.16, 12148-12179
2022
-
[27]
Kukavica, I.; Li, L.; Observability from a measurable set for functions in a Gevrey class, Proc. Lond. Math. Soc. (3) 130 (2025), no. 5, Paper No. e70052, 13 pp
2025
-
[28]
S.; Regularity theorems for fractional powers of a linear elliptic operator, Bull
Kotake, T.; Narasimhan, M. S.; Regularity theorems for fractional powers of a linear elliptic operator, Bull. Soc. Math. Fr. 90 (1962), 449-471
1962
-
[29]
Komatsu, H.; Ultradistributions. I. Structure theorems and a characterization , J. Fac. Sci. Univ. Tokyo Sect. IA Math. 20 (1973), 25-105
1973
-
[30]
Komatsu, H.; The implicit function theorem for ultradifferentiable mappings. Proc. Japan Acad. Ser. A Math. Sci. 55(3), 69–72 (1979)
1979
-
[31]
Kovrijkine, O.; Some results related to the Logvinenko-Sereda theorem, Proc. Amer. Math. Soc. 129 (2001), no. 10, 3037-3047
2001
-
[32]
Kriegl, A.; Michor, P.; Rainer, A.; The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings. J. Funct. Anal. 256(11), 3510–3544 (2009)
2009
-
[33]
Logunov, A.; Malinnikova, E.; Quantitative propagation of smallness for solutions of elliptic equations, Proceedings of the International Congress of Mathematicians- Rio de Janeiro 2018. Vol. III. Invited lectures, 2391-2411, World Sci. Publ., Hackensack, NJ
2018
-
[34]
Preprint, (arXiv:1901.03513), 2019
Lebeau G.; Moyano I.; Spectral inequalities for the schr\"odinger operator. Preprint, (arXiv:1901.03513), 2019
1901 arXiv
-
[35]
N.; Sereda, J
Logvinenko, V. N.; Sereda, J. F.; Equivalent norms in spaces of entire functions of exponential type, Teor. Funkcii Funkcional. Anal. i Prilozen. 20 (1974): 102-11
1974
-
[36]
Martin, J.; Uncertainty principles in Gelfand-Shilov spaces and null-controllability, J. Funct. Anal. 283 (2022), no.8, Paper No. 109619, 48 pp
2022
-
[37]
Nazarov, F., Sodin, M., Volberg, A.; Lower bounds for quasianalytic functions. I. How to control smooth functions., Math. Scand. 95 (2004), no. 1, 59-79
2004
-
[38]
25 (2013), no
Ortega-Cerd\'a, J.; Pridhnani, B.; Carleson measures and Logvinenko-Sereda sets on compact manifolds, Forum Math. 25 (2013), no. 1, 151-172
2013
-
[39]
Paneah, B.; Certain inequalities for functions of exponential type and a priori estimates for general differential operators, Russian Math. Surveys. 21, no. 3 (1966): 75-114
1966
-
[40]
Rouveyrol, M.; Spectral estimate for the Laplace-Beltrami operator on the hyperbolic half-plane, J. Funct. Anal. 289 (2025), no 8 , Paper No. 111059, 22pp
2025
-
[41]
Ruzhansky, M.; Turunen, V.; Pseudo-differential operators and symmetries, Birkh\"auser Verlag, Basel, 2010
2010
-
[42]
McGraw-Hill Book Co., New York, 1987
Rudin, W.; Real and complex analysis Third edition. McGraw-Hill Book Co., New York, 1987
1987
-
[43]
Rojas-Molina, C.; Veseli\'c, I.; Scale free unique continuation estimates and applications to random Schr\"odinger operators, Comm. Math. Phys. 320(1), 245–274 (2013)
2013
-
[44]
P.; Quasianalyticity of L^p -functions on Riemannian symmetric spaces of noncompact type, Ann
Sarkar, R. P.; Quasianalyticity of L^p -functions on Riemannian symmetric spaces of noncompact type, Ann. Mat. Pura Appl. (4) 204 (2025), no 1, 21-38
2025
-
[45]
T.; Integro-differential operators on vector bundles , Trans
Seeley, R. T.; Integro-differential operators on vector bundles , Trans. Amer. Math. Soc. 117 (1965), 167-204
1965
-
[46]
T.; Eigenfunction expansions of analytic functions , Proc
Seeley, R. T.; Eigenfunction expansions of analytic functions , Proc. Amer. Math. Soc. 21 (1969), 734-738
1969
-
[47]
Hardy's theorem on Lie groups, Progress in Mathematics, 217
Thangavelu, S,; An introduction to the uncertainty principle. Hardy's theorem on Lie groups, Progress in Mathematics, 217. Birkh\"auser Boston, Inc., Boston, MA, 2004
2004
Reviewed June 28, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.