REVIEW 2 major objections 4 minor 53 references
Sampling and equidistribution theorems for elliptic second order operators, lifting of eigenvalues, and applications
T0 review · 2 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves scale-free sampling and equidistribution bounds for eigenfunctions of elliptic second-order operators with Lipschitz coefficients, with no smallness condition on the Lipschitz constant.
desk verdict A honest repair of a flawed proof: no new theorems, but the corrected chaining argument is a genuine contribution; referee it, with the imported NRT19 Carleman estimate as the point to check. 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 load-bearing object is a quantitative Carleman estimate, a weighted a-priori bound on solutions of the elliptic equation with explicit control of the weight's size in terms of the ellipticity and Lipschitz constants, imported from the paper's reference [NRT19]. From it the proof derives a three-annuli inequality, then an interpolation inequality, then a chaining argument that repeats the estimate across periodicity cells and replaces the covering bound that fails for large Lipschitz constants. For finite cubes, a reflection extension under the condition that off-diagonal coefficients vanish on the sides preserves ellipticity and Lipschitz bounds and supplies a buffer cube around $\Lambda_L$. The Cacciopoli inequality from [BTV17] and the explicit constants in the Carleman estimate are what make the final exponent $N$ depend only on dimension, ellipticity, and Lipschitz bounds rather than on the cube size.
What would settle it
A concrete check would be to take $d=2$, $A(x)=(2+\cos(Nx_1))I$, $b=c=0$, choose a known eigenfunction on a large cube, and test the sampling inequality for a $(1,\delta)$-equidistributed set with $\delta$ just below the stated $\delta_0$; because $\delta_0$ shrinks as the Lipschitz constant grows, a failure for a finite $N$ would disprove the scale-free claim.
Extended reading notes
Core claim
The central claim is the sampling inequality $\|\psi\|^2_{S_{\delta,Z}} + \delta^2\|\zeta\|^2 \ge \delta^N(1+\|V\|_\infty^{2/3}+\|b\|_\infty^2+\|c\|_\infty^{2/3})\|\psi\|^2$, valid for every $\psi$ in the operator domain and every $\zeta$ satisfying $|H\psi| \le |V\psi|+|\zeta|$ almost everywhere, for all $(1,\delta)$-equidistributed sequences $Z$ and all small $\delta$. On a cube $\Lambda_L$ the same estimate holds with a constant independent of $L$, under the auxiliary condition that off-diagonal coefficients vanish on the sides of the cube. The paper states that the statements of the earlier publication's main theorems are unchanged; what is repaired are the proofs in the three-annuli and chaining sections. From these estimates follow concrete bounds on how far eigenvalues and the bottom of the essential spectrum move under potentials concentrated on the sampling set, and the advertised Wegner and uncertainty relations.
Load-bearing premise
The argument stands on the imported quantitative Carleman estimate with explicit constants; for the cube results, the off-diagonal coefficients must also vanish on the sides of the cube so the reflection extension preserves ellipticity and Lipschitz bounds.
Editorial extensions
If this is right
- For every elliptic operator with Lipschitz leading coefficients, the $L^2$ norm of an eigenfunction is controlled by its norm on any sufficiently fine $(1,\delta)$-equidistributed set, with the same power-law constant on every scale.
- Adding a nonnegative potential supported on such a sampling set lifts each eigenvalue below the essential spectrum by an amount proportional to the potential strength, and the same applies to the infimum of the essential spectrum.
- For short energy intervals, the spectral projector inequality $\chi_I(H_L) W \chi_I(H_L) \ge \frac{3\kappa}{4}\chi_I(H_L)$ holds with $\kappa = \delta^N(1+|E_0|^{2/3}+\|c_L\|_\infty^{2/3}+\|b_L\|_\infty^2)$, and at low energies a coefficient-independent version holds without the Dirichlet side condition.
- For random potentials of generalized alloy or breather type, a Wegner estimate with Hölder exponent $\kappa$ and volume dependence $L^{2d}$ follows; at low energies the volume dependence can be reduced to $L^d$ via the spectral-projector uncertainty relation.
Reading between the lines
- The authors leave open whether the Dirichlet side condition can be dropped for cubes; a boundary Carleman estimate would plausibly give the same sampling bound for general elliptic operators on cubes without reflection.
- Because the low-energy spectral inequality in Theorem 3.8 is independent of the Lipschitz constant, a natural testable extension is to pass to bounded measurable coefficients by approximation, as the paper hints, and check whether homogenized limits retain the same uncertainty relation.
- If the short-interval spectral inequality could be extended to arbitrary intervals $(-\infty,E]$, the same constants would give explicit null-controllability bounds for the heat equation associated with these elliptic operators, which the authors state as a research goal.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript corrects an error in the previously published paper [TV20] and proves quantitative sampling and equidistribution theorems for elliptic second order operators with Lipschitz continuous leading coefficients. The two central results are Theorem 2.3 (sampling theorem on R^d) and Theorem 2.6 (equidistribution theorem on finite cubes under Assumption (Dir)), both with scale-free constants. The proof proceeds through a three-annuli inequality derived from a quantitative Carleman estimate of [NRT19], an interpolation inequality, and a chaining argument. Sections 3 and 5 present applications to eigenvalue lifting, spectral inequalities, Wegner estimates, and an auxiliary short proof in the Laplacian case. The paper explicitly states which sections were changed relative to [TV20] and acknowledges the prior error.
Significance. If the central theorems are correct, this is a substantial contribution: it removes the small-Lipschitz restriction of [BTV17] and establishes scale-free unique continuation estimates for general elliptic second order operators, with consequences for control theory, spectral theory, and random operators. The paper is careful with explicit constants and discloses the correction history, which is commendable. However, the main proof is long and depends in an essential way on the quantitative Carleman estimate of [NRT19]; the explicit dependence of the final constants on that estimate is load-bearing. Thus the significance is high but conditional on the imported Carleman estimate being exactly as quoted.
major comments (2)
- [Section 4, Theorem 4.4 and Remark 4.5] The quantitative Carleman estimate from [NRT19] is the only externally imported load-bearing ingredient. The text itself states that a non-quantitative Carleman estimate would be insufficient, and the explicit upper bounds on C and alpha0 recalled in Remark 4.5 feed directly into Lemma 4.2, then into Assumption (25) in Lemma 6.2, and ultimately into the delta^N exponent in Theorem 2.3. Since this manuscript is a correction of a previously flawed proof, the correctness of the main theorems is contingent on the exact statement of Theorem 4.4. I recommend that the authors either include a complete proof of Theorem 4.4 in an appendix or reproduce the full statement from [NRT19] with all constants, and explicitly verify that the quoted forms of C and alpha0 satisfy every hypothesis used in Lemma 6.2.
- [Section 6, proof of Theorem 2.6] The proof applies Theorem 6.3 with Omega_- = Lambda_L and J = Z^d intersect Lambda_L. The covering condition Omega_- subset of union_{j in J} Lambda_1(j) is only true up to the half-integer boundary hyperplanes, which have measure zero; this is acceptable for L^2-norm inequalities, but it should be stated explicitly. In addition, the inequality (45) uses that Lambda_1(j) subset Lambda_L for every j in Z^d intersect Lambda_L, which holds because L is an integer; this point should be justified in the text. These are local clarifications, but they are needed to make the finite-cube proof fully rigorous as written.
minor comments (4)
- [Equation (14)] The definition of mu_1 appears to have two identical branches: both read as exp(mu sqrt(vartheta_E)) or e^{mu sqrt(vartheta_E)}. The calculation in Lemma 6.2 uses mu_1 = e mu sqrt(vartheta_E), so the displayed definition should be corrected to match the intended formula.
- [Section 5, Ineq. (23)] The first covering inequality in (23) is not valid as stated for arbitrary (1,delta)-equidistributed sequences: the annuli B(R_2,z_j) \ B(r_2,z_j) with r_2 = 1 leave holes of radius 1 around each center, and centers in adjacent unit cubes may be arbitrarily close, so the union of these annuli need not cover R^d. This section is auxiliary and not used in the proofs of Theorems 2.3 and 2.6, but the proof of Theorem 5.1 should be repaired or the statement qualified.
- [Abstract and Introduction] There are several typos and grammatical issues: 'Several application including random operators are discussed' should be 'Several applications including random operators are discussed', and in the introduction 'they reflects the state of the art' should be 'they reflect the state of the art'.
- [Throughout] The note that references and discussion have not been updated since 2019 is useful, but the reader should be told which of the cited preprints have since appeared in final form, if any.
Circularity Check
No circularity found: the main theorems are derived from prior published Carleman and Cacciopoli estimates that are independent of the target sampling and equidistribution results.
full rationale
I walked the derivation chain. Section 4 proves the three-annuli inequality (Theorem 4.1) by quoting two external ingredients: the Cacciopoli inequality of [BTV17] (Lemma 4.3) and the quantitative Carleman estimate of [NRT19] (Theorem 4.4, with explicit constant bounds in Remark 4.5). Section 6 then proves the interpolation inequality (Theorem 6.1) from Theorem 4.1, verifies the needed radius condition (25) in Lemma 6.2, proves the chaining/covering theorem (Theorem 6.3), and finally derives the sampling theorem (Theorem 2.3). The finite-cube theorem (Theorem 2.6) uses the reflection extension of Appendix A together with the same Theorem 6.1 and Theorem 6.3. None of the imported results assumes or contains the target sampling or equidistribution conclusion: the NRT19 Carleman estimate is a parameter-free theorem with stated assumptions on d, ϑE, ϑL, ρ, μ, and the coefficient norms, and the BTV17 Cacciopoli inequality is likewise an independent a priori estimate. The heavy self-citation by the authors is real evidence rather than circularity: the cited results are published, have explicit constants, and do not include the present theorems among their hypotheses. There are no fitted parameters renamed as predictions, no uniqueness theorem invoked to force the authors' choice, no ansatz smuggled in only via citation, and no known result merely relabeled. The only potentially vulnerable link is the correctness of the imported NRT19 constants, which is a correctness risk external to the circularity question; it is explicitly acknowledged by the authors as 'crucial'. Since I found no equation or proof step that reduces to its own input by construction, the appropriate score is 0.
Assumptions & free parameters
free parameters (2)
- δ0 (sampling/equidistribution threshold) =
(330 d e^2 ϑE^{11/2} (ϑE+1)^{5/2} (ϑL+1))^{-1}
- Proof radii and ε =
ε=1; r1=δ/2; R1=δ; r2=R2/5; r3=R3/(ϑE+1); R2=R3/(2e(ϑE+1)^{5/2}); R3=(33ed ϑE^{11/2}(ϑL+1))^{-1}
assumptions (5)
- standard math Quantitative Carleman estimate of [NRT19] with explicit constants (Theorem 4.4)
- standard math Cacciopoli inequality from [BTV17] (Lemma 4.3)
- standard math Friedrichs extension and first representation theorem (Kato [Kat80])
- domain assumption Assumption (Dir): off-diagonal coefficients vanish on the sides of the cube
- standard math Operator core property of C∞_c (Rd) for H
Cite this review
Pith. "Pith review of Sampling and equidistribution theorems for elliptic second order operators, lifting of eigenvalues, and applications." pith.science (2026). https://pith.science/paper/UUD2NLIX
@misc{pith2026250516655,
author = {Pith},
title = {Pith review of: Sampling and equidistribution theorems for elliptic second order operators, lifting of eigenvalues, and applications},
year = {2026},
howpublished = {\url{https://pith.science/paper/UUD2NLIX}},
note = {Machine review of arXiv:2505.16655}
}
read the original abstract
We consider elliptic second order partial differential operators with Lipschitz continuous leading order coefficients on finite cubes and the whole Euclidean space. We prove quantitative sampling and equidistribution theorems for eigenfunctions. The estimates are scale-free, in the sense that for a sequence of growing cubes we obtain uniform estimates. These results are applied to prove lifting of eigenvalues as well as the infimum of the essential spectrum, and an uncertainty relation (aka spectral inequality) for short energy interval spectral projectors. Several application including random operators are discussed. In the proof we have to overcome several challenges posed by the variable coefficients of the leading term.
Figures
Reference graph
Works this paper leans on
- [1]
-
[2]
H. W. Alt. Lineare F unktionalanalysis . Springer, Berlin, 2006
work page 2006
-
[3]
L. Bakri. Carleman estimates for the S chr\"odinger operator. A pplications to quantitative uniqueness. Comm. Partial Differential Equations , 38(1):69--91, 2013
work page 2013
-
[4]
Bourgain and C
J. Bourgain and C. E. Kenig. On localization in the continuous A nderson- B ernoulli model in higher dimension. Invent. Math. , 161(2):389--426, 2005
2005
-
[5]
A. Boutet de Monvel , D. Lenz, and P. Stollmann. An uncertainty principle, W egner estimates and localization near fluctuation boundaries. Math. Z. , 269(1):663--670, 2011
work page 2011
-
[6]
K. Beauchard and K. Pravda-Starov. Null-controllability of hypoelliptic quadratic differential equations. J. \'Ec. polytech. Math. , 5:1--43, 2018
work page 2018
-
[7]
D. I. Borisov, M. Tautenhahn, and I. Veseli\'c. Scale-free quantitative unique continuation and equidistribution estimates for solutions of elliptic differential equations. J. Math. Phys. , 58(12):121502 (19 pages), 2017
work page 2017
- [8]
Show all 53 references
-
[9]
Combes, P
J.-M. Combes, P. D. Hislop, F. Klopp, and G. D. Raikov. Global continuity of the integrated density of states for random L andau H amiltonians. Comm. Partial Differential Equations , 29(7--8):1187--1213, 2004
2004
-
[10]
J.-M. Coron. Control and nonlinearity , volume 136 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, 2007
2007
-
[11]
Donnelly and C
H. Donnelly and C. Fefferman. Nodal sets of eigenfunctions on R iemannian manifolds. Invent. Math. , 93(1):161--183, 1988
1988
-
[12]
Dicke and I
A. Dicke and I. Veseli\'c. Unique continuation for the gradient of eigenfunctions and W egner estimates for random divergence-type operators. arXiv:2003.09849 [math.FA]
2003 arXiv
-
[13]
A. Eberle. Uniqueness and Non-Uniqueness of Semigroups Generated by Singular Diffusion Operators , volume 1718 of Lecture Notes in Mathematics . Springer, Berlin, 1999
1999
-
[14]
A. Enblom. Hardy- C arleman type inequalities for D irac operators. J. Math. Phys. , 56(10):103503 (13 pages), 2015
2015
-
[15]
Egidi, I
M. Egidi, I. Naki \'c , A. Seelmann, M. T \"a ufer, M. Tautenhahn, and I. Veseli \'c . Null controllability and control cost estimates for the heat equation on unbounded and large bounded domains. Accepted for publication in Operator Theory: Advances and Applications: Linear O...
-
[16]
Egidi and I
M. Egidi and I. Veseli\'c. Scale-free unique continuation estimates and L ogvi\-nenko- S ereda T heorems on the torus. arXiv:1609.07020 [math.CA]
-
[17]
Escauriaza and S
L. Escauriaza and S. Vessella. Optimal three cylinder inequalities for solutions to parabolic equations with L ipschitz leading coefficients. In G. Alessandrini and G. Uhlmann, editors, Inverse Problems: Theory and Applications , volume 333 of Contemp. Math. , pages 79--87. Am...
2003
-
[18]
Egidi and I
M. Egidi and I. Veseli\'c. Sharp geometric condition for null-controllability of the heat equation on R ^d and consistent estimates on the control cost. Arch. Math. , 111(1):85--99, 2018
2018
-
[19]
A. V. Fursikov and O. Y. Imanuvilov. Controllability of Evolution Equations , volume 34 of Suhak kang u irok . Seoul National University, Seoul, 1996
1996
-
[20]
Figotin and A
A. Figotin and A. Klein. Localization of classical waves II . E lectromagnetic waves. Comm. Math. Phys. , 184(2):411--441, 1997
1997
-
[21]
Germinet, A
F. Germinet, A. Klein, and J. H. Schenker. Dynamical delocalization in random L andau H amiltonians. Ann. of Math. , 166(1):215--244, 2007
2007
-
[22]
Hundertmark, R
D. Hundertmark, R. Killip, S. Nakamura, P. Stollmann, and I. Veseli\'c. Bounds on the spectral shift function and the density of states. Comm. Math. Phys. , 262(2):489--503, 2006
2006
-
[23]
A. D. Ionescu and D. Jerison. On the absence of positive eigenvalues of S chr\"odinger operators with rough potentials. Geom. Funct. Anal. , 13(5):1029--1081, 2003
2003
-
[24]
M. E. H. Ismail and R. Zhang. On the Hellmann-Feynman theorem and the variation of zeros of certain special functions. Adv. Appl. Math. , 9(4):439--446, 1988
1988
-
[25]
Jerison and C
D. Jerison and C. E. Kenig. Unique continuation and absence of positive eigenvalues for S chr\"odinger operators. Ann. of Math. , 121(3):463--494, 1985
1985
-
[26]
T. Kato. Perturbation Theory for Linear Operators . Springer, Berlin, 1980
1980
-
[27]
o dinger operators and optimal W egner estimates for non-ergodic random S chr \
A. Klein. Unique continuation principle for spectral projections of S chr \"o dinger operators and optimal W egner estimates for non-ergodic random S chr \"o dinger operators. Comm. Math. Phys. , 323(3):1229--1246, 2013
2013
-
[28]
Koch and D
H. Koch and D. Tataru. Carleman estimates and absence of embedded eigenvalues. Comm. Math. Phys. , 267(2):419--449, 2006
2006
-
[29]
Le Rousseau and G
J. Le Rousseau and G. Lebeau. On C arleman estimates for elliptic and parabolic operators. A pplications to unique continuation and control of parabolic equations. ESAIM Control Optim. Calc. Var. , 18(3):712--747, 2012
2012
-
[30]
Lebeau and I
G. Lebeau and I. Moyano. Spectral inequalities for the S chr \"o dinger operator. arXiv: 1901.03513 [math.AP]
1901 arXiv
-
[31]
Lebeau and L
G. Lebeau and L. Robbiano. Contr\^ o le exact de l' \'e quation de la chaleur. Comm. Partial Differential Equations , 20(1--2):335--356, 1995
1995
-
[32]
Naki\'c, C
I. Naki\'c, C. Rose, and M. Tautenhahn. A quantitative C arleman estimate for second order elliptic operators. Proc. Roy. Soc. Edinburgh Sect. A , 149(4):915--938, 2019
2019
-
[33]
Naki \'c , M
I. Naki \'c , M. T \"a ufer, M. Tautenhahn, and I. Veselic. Sharp estimates and homogenization of the control cost of the heat equation on large domains. Accepted for publication in ESAIM Control Optim. Calc. Var. , arXiv:1810.10975 [math.AP]
-
[34]
aufer, M. Tautenhahn, and I. Veseli\'c. Unique continuation and lifting of spectral band edges of S chr\
I. Naki\'c, M. T\"aufer, M. Tautenhahn, and I. Veseli\'c. Unique continuation and lifting of spectral band edges of S chr\"odinger operators on unbounded domains. Accepted for publication in J. Spectr. Theory , with an appendix by Albrecht Seelmann, arXiv:1804.07816[math.SP]
-
[35]
aufer, M. Tautenhahn, and I. Veseli\'c. Scale-free unique continuation principle, eigenvalue lifting and W egner estimates for random S chr\
I. Naki\'c, M. T\"aufer, M. Tautenhahn, and I. Veseli\'c. Scale-free unique continuation principle, eigenvalue lifting and W egner estimates for random S chr\"odinger operators. Anal. PDE , 11(4):1049--1081, 2018
2018
-
[36]
Rojas-Molina
C. Rojas-Molina . Characterization of the A nderson metal-insulator transition for non ergodic operators and application. Ann. Henri Poincar\'e , 13(7):1575--1611, 2012
2012
-
[37]
Rojas-Molina and I
C. Rojas-Molina and I. Veseli \'c . Scale-free unique continuation estimates and applications to random S chr \"o dinger operators. Comm. Math. Phys. , 320(1):245--274, 2013
2013
-
[38]
G. D. Raikov and S. Warzel. Quasi-classical versus non-classical spectral asymptotics for magnetic S chr\"odinger operators with decreasing electric potentials. Rev. Math. Phys. , 14(10):1051--1072, 2002
2002
-
[39]
Schm \"u dgen
K. Schm \"u dgen. Unbounded Self-adjoint Operators on Hilbert space . Springer, Dordrecht, 2012
2012
-
[40]
Stollmann and G
P. Stollmann and G. Stolz. Lower bounds for D irichlet L aplacians and uncertainty principles. arXiv:1808.04202 [math-ph]
-
[41]
Stollmann
P. Stollmann. Localization for random perturbations of anisotropic periodic media. Israel J. Math. , 107(1):125--139, 1998
1998
-
[42]
a ufer. Quantitative unique continuation and applications . PhD thesis, Technische Universit\
M. T \"a ufer. Quantitative unique continuation and applications . PhD thesis, Technische Universit\"at Dortmund, 2018. Eldorado, DOI: 10.17877/DE290R-19307
2018 doi
-
[43]
Tenenbaum and M
G. Tenenbaum and M. Tucsnak. On the null-controllability of diffusion equations. ESAIM Control Optim. Calc. Var. , 17(4):1088--1100, 2011
2011
-
[44]
aufer and M. Tautenhahn. Scale-free and quantitative unique continuation for infinite dimensional spectral subspaces of S chr \
M. T\"aufer and M. Tautenhahn. Scale-free and quantitative unique continuation for infinite dimensional spectral subspaces of S chr \"o dinger operators. Commun. Pure Appl. Anal. , 16(5):1719--1730, 2017
2017
-
[45]
T \"a ufer and M
M. T \"a ufer and M. Tautenhahn. Wegner estimate and disorder dependence for alloy-type H amiltonians with bounded magnetic potential. Ann. Henri Poincar \'e , 19(4):1151--1165, 2018
2018
-
[46]
T \"a ufer and I
M. T \"a ufer and I. Veseli\'c. W egner estimate for L andau-breather H amiltonians. J. Math. Phys. , 57(7):072102 (8 pages), 2016
2016
-
[47]
Tautenhahn and I
M. Tautenhahn and I. Veseli\'c. Sampling inequality for L^2 -norms of eigenfunctions, spectral projectors, and W eyl sequences of S chr\"odinger operators. J. Stat. Phys. , 164(3):616--620, 2016
2016
-
[48]
Tautenhahn and I
M. Tautenhahn and I. Veseli\'c. Sampling and equidistribution theorems for elliptic second order operators, lifting of eigenvalues, and applications. J. Differential Equations , 268(12):7669--7714, 2020
2020
-
[49]
a user Advanced Texts: Basler Lehrb\
M. Tucsnak and G. Weiss. Observation and control for operator semigroups . Birkh\" a user Advanced Texts: Basler Lehrb\" u cher. Birkh\" a user, Basel, 2009
2009
-
[50]
Veseli \'c
I. Veseli \'c . Existence and Regularity Properties of the Integrated Density of States of Random S chr \"o dinger Operators , volume 1917 of Lecture Notes in Mathematics . Springer, 2008
1917
-
[51]
Veseli \'c
K. Veseli \'c . Spectral perturbation bounds for selfadjoint operators. I . Oper. Matrices , 2(3):307--339, 2008
2008
-
[52]
G. Wang, M. Wang, C. Zhang, and Y. Zhang. Observable set, observability, interpolation inequality and spectral inequality for the heat equation in R ^n . J. Math. Pures Appl. , 126:144--194, 2019
2019
-
[53]
Zubeldia
M. Zubeldia. Limiting absorption principle for the electromagnetic H elmholtz equation with singular potentials. P. Roy. Soc. Edinb. A , 144(4):857--890, 2014
2014
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.