REVIEW 2 major objections 5 minor 1 cited by
Fractal Tur\'{a}n-Nazarov Inequality and Observability for Schr\"{o}dinger Equations
T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read For sets of positive α-Hausdorff content with α<1, the Turán–Nazarov constant must depend on the frequency spread with sharp exponent, and this forces Schrödinger observability and unique continuation to fail on fractal sets.
desk verdict First genuine fractal Turán–Nazarov bound with sharp bandwidth dependence, and the applications to Schrödinger observability are clean; two proof gaps in Lemma 2.1 need referee attention before I'd trust the contraction. 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 mechanism is Lemma 2.1: for an algebraic polynomial P of degree m and H>0, the α-Hausdorff content of the superlevel set {z∈T: |d/dz log P(z)| > H} is bounded by C0 m H^{−α}. This replaces the measure-based level-set estimate used in the classical case and is precisely where the fractal dimension α enters. Around it, the proof runs a descent argument: from a trigonometric polynomial p with n frequencies, form p_{k−1} by differentiating z^{−r_1}p_k (or z^{−r_k}p_k) and normalising, so the degree drops by one while at least half the ℓ1-norm of the coefficients is preserved. The product of the ratios |p_{k−1}/p_k| over the observation set is then controlled by Lemma 2.1 through
What would settle it
Compute the α-Hausdorff content of the superlevel set {e^{it}: |(z^m−1)'/(z^m−1)|>m} for P_m(z)=z^m−1 with H=m. Lemma 2.1 predicts the content is at most C0 m^{1−α}; if a numerical covering estimate shows growth like m^{1−α/2} instead, the lemma is false and Theorem 1.2(ii) collapses. This is a direct test because the corresponding level-set rate in the complex plane is known to be exponent −α/2.
Extended reading notes
Core claim
Theorem 1.2 is the central discovery. It says (i) no inequality of the form sup_{[0,1]} |p| ≤ C sup_E |p| can hold uniformly over all trigonometric polynomials of degree n and all subsets E⊂[0,1] with C_H^α(E)>0; (ii) for every such E and every p(t)=Σ c_k e^{2π i m_k t} with m_1<...<m_n, one has sup_{[0,1]} |p| ≤ [ (C0(n−1)/C_H^α(E))^{1/α} (m_n−m_1)^{1/α−1} ]^{n−1} sup_E |p|, and the exponent 1/α−1 on the bandwidth cannot be improved. The positive estimate is proved via a chain of polynomial differentiations together with a logarithmic-derivative level-set bound on the circle; the negative part uses lacunary frequencies N_j and a Cantor-type set E on which sin(2πN_j t) decays to zero. These
Load-bearing premise
The entire positive half of the paper rests on Lemma 2.1: that for every degree-m polynomial, the α-Hausdorff content of the superlevel set of its logarithmic derivative on the circle is at most C0 m H^{−α}; if the true exponent were only −α/2, the contraction in the proof of (1.7) would break.
Editorial extensions
If this is right
- Taking α→1 in (1.7) recovers the classical Turán–Nazarov inequality up to an absolute constant, so the fractal result is an extension of the classical one rather than a replacement.
- Because the constant in (1.7) must grow like (m_n−m_1)^{(n−1)(1/α−1)}, any control or observability statement for band-limited functions on a fractal set must pay a cost that increases with the frequency bandwidth—something the classical inequality avoids.
- On the torus, Theorem 1.5 rules out sup-type observability (1.11) for all positive α-Hausdorff-content observation sets with α<1, even when the initial data are C∞; only sets of full dimension can be observable in this sense.
- On the real line, Theorem 1.7(ii) constructs α-thick fractal pairs E_1,E_2 for which the two-time unique continuation inequality (1.17) fails, while Theorem 1.7(i) shows the same inequality holds when the complements are ε-thin.
Reading between the lines
- A natural extension the authors do not spell out: the same descent-chain mechanism should transfer to any dispersive equation whose solution map is a Fourier multiplier with polynomial phase, so the failure of observability on fractals is likely generic for Schrödinger-type equations rather than special to the flat torus.
- The sharp bandwidth exponent 1/α−1 suggests a quantitative rule of thumb—to resolve a fractal of dimension α from band-limited data one needs a frequency window of size roughly cost^{α/(1−α)}; this could be tested numerically by computing optimal constants for spectral projectors onto low frequencies on Cantor sets.
- The circle analogue of the level-set estimate has exponent −α, whereas the plane analogue has sharp exponent −α/2; locating a circle-version counterexample family with exponent −α/2 would directly refute Lemma 2.1 and with it Theorem 1.2(ii), so the gap between C and T is the place to stress-test the proof.
- The contrast with heat equations suggests a structural principle: observability from fractal sets depends on whether the evolution regularises initial data (heat, where codimension-one fractals are observable) or merely propagates phase (Schrödinger, where they are not); this would predict similar failures for wave equations with finite speed—a question the paper leaves open.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies fractal analogues of the Turán–Nazarov inequality for trigonometric polynomials p(t)=∑ c_k e^{2π i m_k t}. It proves that on sets E⊂[0,1] with positive α-Hausdorff content, no uniform bound sup_T |p| ≤ C sup_E |p| can hold with C depending only on E and the degree, but that a bound with an additional frequency-bandwidth factor (m_n−m_1)^{1/α−1} is valid and sharp. The proof is based on a Cartan-type lemma for logarithmic derivatives of algebraic polynomials on the unit circle. These estimates are then used to construct explicit counterexamples showing failure of sup-type observability for Schrödinger equations on the torus and failure of a unique-continuation inequality on R for initial data in C^∞, for observation sets of Hausdorff dimension less than 1.
Significance. If the main theorem stands, this is a valuable contribution: it is the first fractal version of the Turán–Nazarov inequality with sharp dependence on the frequency bandwidth, and it gives an explicit, constructive contrast with the heat equation, where observability holds for sets of sufficiently large fractal dimension. The test functions and Cantor-type sets are explicit, and the sharpness argument is concrete. The main risk is not the architecture of the proof but a specific gap in the key contraction argument for the logarithmic-derivative lemma; this gap is local and appears repairable, so the central claims are plausibly correct.
major comments (2)
- [§2.2, Step 1–2, Eqs. (2.34), (2.37)–(2.40)] The proof of the key inequality is internally inconsistent at the point where p_{k-1} is defined. Step 1 chooses the first case q(z)=d/dz(z^{-r_1}p_k(z)) and sets p_{k-1}=q/r(k). But Step 2's equality chain uses z^{-r_k}p_k(z)=g(1/z), which is the identity for the second case q̃, and gives |p_{k-1}/p_k|=|g'(1/z)|/r(k)|g(1/z)|. For the q-case the correct ratio is |h'(z)|/r(k)|h(z)| with h(z)=z^{-r_1}p_k(z). Lemma 2.1 applies to both h and g, so the argument can be repaired, but as written the displayed derivation of (2.40) is not valid for the polynomial actually constructed. Please rewrite Step 1–Step 2 to treat both alternatives explicitly or justify a reduction from one to the other.
- [§2.2, Lemma 2.1, Eq. (2.25)] The proof of Lemma 2.1 relies on the estimate μ({z∈T: |Σ 1/(z-z_j)|>0.8H}) ≤ (10/π)mH^{-1}, quoted from [26, Lemma 1.2]. Remark 2.2 indicates that [26] contains both a unit-circle and a real-line version, but the proof would be much clearer if the exact statement for T were stated and attributed. If [26, Lemma 1.2] is in fact only for R, the transfer to T is not automatic and needs a proof. Since this measure estimate is the only external input in Lemma 2.1, please clarify the precise source and domain of (2.25).
minor comments (5)
- [§2.2, Step 1] The two auxiliary polynomials are both written as q(z); the second should be q̃(z) throughout, including in the sentence introducing them and in (2.37)–(2.40).
- [§2.2, Step 4] The sharpness proof is under-specified: after fixing ε_0, the text imposes conditions on M and ε that depend on α̃ and ε_0, but does not give the order of choices. Since the theorem claims sharpness for every α∈(0,1), please state explicitly how to choose α̃∈(α,1) and c=1/M so that (2.41) holds.
- [§2.2, Remark 2.2] The notation C1/H should presumably be C_H^1, and the phrase 'C_H^α' in the complex-plane display is confusing; use C_H^α consistently and specify the ambient dimension in the Hausdorff content.
- [§3.2, Theorem 1.7(ii)] The assertion that dim_H(E_1∩[x,x+π])=α̃ uniformly in x and that inf_x C_H^α(E_i∩[x,x+L])>0 is plausible from the periodic construction but is stated without proof. A short justification, or a reference to the exact step in the proof of Theorem 1.2 that gives uniformity, should be added.
- [General] There are numerous typographical errors ('whcih', 'uncertatinty', stray asterisk, inconsistent spacing in 'Schr¨odinger'). These should be corrected in revision.
Circularity Check
No significant circularity: the central derivation rests on independent external estimates and explicit constructions; the only self-citation [19] is non-load-bearing background/contrast.
full rationale
The paper's central inequality (1.7) is proved from Lemma 2.1, whose proof invokes Nazarov's measure estimate [26, Lemma 1.2] and the Eiderman--Nazarov--Volberg result [11, Thm 2.4] -- both external and neither by the present authors -- plus standard covering and Besicovitch arguments. No fitted parameter is introduced and no prediction is a renamed input: Lemma 2.1 is a genuinely new unit-circle estimate, and the contraction in (2.40) applies it with an explicit H chosen from the claimed bound, which is a legitimate proof step rather than a re-use of the conclusion. The counterexamples in Theorem 1.2(i), Theorem 1.5, and Theorem 1.7(ii) are explicit lacunary constructions whose decay on the constructed sets is verified directly, so they do not assume their conclusions. The only self-citation [19] appears as background/contrast in the introduction, Definition 1.6, and Remark 1.8, where it is used to recall heat-equation notions; it is not load-bearing for the new Schrödinger negative results. The possible unit-circle transfer gap in Lemma 2.1 and the q̃/q notational WLOG issue are correctness concerns, not circular reductions.
Assumptions & free parameters
assumptions (4)
- standard math Falconer's dimension estimates for generalized Cantor sets ([13, Ex. 4.6/Prop. 4.1])
- standard math Nazarov's Lebesgue-measure bound for logarithmic derivatives on the unit circle ([26, Lemma 1.2])
- domain assumption Kovrizhkin's uncertainty principle for ε-thin sets ([22, Theorem 1.1])
- standard math Standard free-Schrödinger solution formula (3.8)
Cite this review
Pith. "Pith review of Fractal Tur\'{a}n-Nazarov Inequality and Observability for Schr\"{o}dinger Equations." pith.science (2026). https://pith.science/paper/5J4M3PQ2
@misc{pith2026260717505,
author = {Pith},
title = {Pith review of: Fractal Tur\'an-Nazarov Inequality and Observability for Schr\"odinger Equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/5J4M3PQ2}},
note = {Machine review of arXiv:2607.17505}
}
abstract
This paper establishes limitations on observability inequality and unique continuation for Schr\"{o}dinger equations on fractal sets. We prove that, in contrast to the heat equation, such properties can fail in fractal settings. To achieve this, we first extend the classical Tur\'{a}n--Nazarov inequality, which provides lower bounds of trigonometric polynomials of the form $\sum_{k=1}^nc_ke^{2\pi im_kt}$ on sets of positive measure, to the fractal setting. Unlike in the classical case, the constant in the inequality loses uniformity in the degree $n$, and we obtain sharp bounds depending on both $n$ and the frequency difference $m_n-m_1$. These refinements then enable us to construct explicit counterexamples, showing that observability and unique continuation may fail for Schr\"{o}dinger equations when the observation set is fractal.
Forward citations
Cited by 1 Pith paper
-
Fractal Remez inequality on the sphere and observability of the heat equation
Spherical polynomials of degree N are controlled by their values on any closed set of positive (n-2+δ)-Hausdorff content for every δ in (0,1), yielding sharp heat observability on the sphere and lower-dimensional obse...
Reference graph
Works this paper leans on
-
[26]
F. L. Nazarov, Local estimates of exponential polynomials and their applications to inequalities of the uncertainty principle type,St. Petersbg. Math. J.5(4), 663-717 (1994)
1994
-
[1]
J. M. Anderson, V . Ya. Eiderman, Estimates for the Cauchy transform of point masses (the logarithmic derivative of polynomials).Dokl. Ross. Akad. Nauk401:5 583–586; English transl. in Dokl. Math. 71:2, 241–244 (2005)
2005
-
[2]
J. M. Anderson, V . Ya. Eiderman, Cauchy transforms of point masses: the logarithmic derivative of polynomials. Ann. of Math.(2) 163(3) , 1057–1076 (2006)
2006
-
[3]
Apraiz, L
J. Apraiz, L. Escauriaza, G. Wang, and C. Zhang. Observability inequalities and measurable sets.J. Eur. Math. Soc. (JEMS), 16(11), 2433–2475 (2014)
2014
-
[4]
Bourgain, N
J. Bourgain, N. Burq, M. Zworski, Control for Schr ¨odinger operators on 2-tori: rough potentials.J. Eur. Math. Soc. 15, 1597–1628 (2013)
2013
-
[5]
Brudnyi, Bernstein type inequalities for quasipolynomials,J
A. Brudnyi, Bernstein type inequalities for quasipolynomials,J. Approx. Theory112, 28–43 (2001). 20 JIAQI YU SHANLIN HUANG
2001
-
[6]
N. Burq, M. Zworski, Rough controls for Schr ¨odinger operators on 2-tori.Annales H. Lebesgue2, 331–347 (2019)
2019
-
[7]
N. Burq, I. Moyano, Propagation of smallness and control for heat equations.J. Eur. Math. Soc. (JEMS)25(4), 1349–1377 (2023)
2023
Show all 31 references
-
[8]
Dyatlov, L
S. Dyatlov, L. Jin, S. Nonnenmacher, Control of eigenfunctions on surfaces of variable curvature.J. Amer. Math. Soc.35(2), 361–465 (2021)
2021
-
[9]
Egidi, I
M. Egidi, I. Veseli ´c, Sharp geometric condition for null-controllability of the heat equation onR d and consistent estimates on the control cost,Arch. Math.(Basel),111, 85–99 (2018)
2018
-
[10]
V . Ya. Eiderman, Cartan type estimates for potentials with Cauchy kernel and with real-valued kernels.Mat. Sb. 198, 1175–1220 (2007)
2007
-
[11]
Eiderman, F
V . Eiderman, F. Nazarov, A. V olberg, Vector-valued Riesz potentials: Cartan-type estimates and related capacities. Proc. Lond. Math. Soc.101(3), 727–758 (2010)
2010
-
[12]
Escauriaza, C
L. Escauriaza, C. Kenig, G. Ponce and L. Vega, Convexity properties of solutions to the free Schr ¨odinger equation with Gaussian decay.Math. Res. Lett.15, 957–971 (2008)
2008
-
[13]
Falconer, Fractal geometry: Mathematical Foundations and Applications
K. Falconer, Fractal geometry: Mathematical Foundations and Applications. John Wiley & Sons, Ltd., Chichester, 1990
1990
-
[14]
Fontes-Merz, A multidimensional version of Tur ´an’s Lemma,J
N. Fontes-Merz, A multidimensional version of Tur ´an’s Lemma,J. Approx. Theory140, 27–30 (2006)
2006
-
[15]
Friedland, Y
O. Friedland, Y . Yomdin, An observation on the Tur´an–Nazarov inequality.Studia Math.218, 27–39 (2013)
2013
-
[16]
A. V . Fursikov, O. Yu. Imanuvilov, Controllability of evolution equations, volume 34 of Lect. Notes Ser., Seoul. Seoul: Seoul National Univ., 1996
1996
-
[17]
A. W. Green, K. Le Balc’h, J. Martin and M.-A. Orsoni, On the dimension of observable sets for the heat equation. Pure Appl. Anal.7, 639–660 (2025)
2025
-
[18]
Haraux, S ´eries lacunaires et contrˆole semi-interne des vibrations d’une plaque rectangulaire.J
A. Haraux, S ´eries lacunaires et contrˆole semi-interne des vibrations d’une plaque rectangulaire.J. Math. Pures Appl. 68, 457–465 (1989)
1989
-
[19]
Huang, G
S. Huang, G. Wang, M. Wang, Observability inequality, log-type Hausdorffcontent and heat equations. Preprint, arXiv:2411.11573v2 (2024)
2024 arXiv
-
[20]
Jaffard, Contr ˆole interne exact des vibrations d’une plaque rectangulaire
S. Jaffard, Contr ˆole interne exact des vibrations d’une plaque rectangulaire. Portugal. Math.47, 423–429 (1990)
1990
-
[21]
Jin, Control for Schr ¨odinger equation on hyperbolic surfaces.Math
L. Jin, Control for Schr ¨odinger equation on hyperbolic surfaces.Math. Res. Lett.25, 1865–1877 (2018)
2018
-
[22]
Kovrizhkin, The uncertainty principle for certain densities.Int
O. Kovrizhkin, The uncertainty principle for certain densities.Int. Math. Res. Not.17, 933–951 (2003)
2003
-
[23]
Lebeau, Contr ˆole de l’´equation de Schr¨odinger.J
G. Lebeau, Contr ˆole de l’´equation de Schr¨odinger.J. Math. Pures Appl.71, 267–291 (1992)
1992
-
[24]
Lebeau, L
G. Lebeau, L. Robbiano, Contr ˆole exact de l’´equation de la chaleur.Comm. Partial Differential Equations, 20(1-2), 335–356 (1995)
1995
-
[25]
Mattila, Geometry of Sets and Measures in Euclidean Spaces, Cambridge University Press, Cambridge, 1995
P. Mattila, Geometry of Sets and Measures in Euclidean Spaces, Cambridge University Press, Cambridge, 1995
1995
-
[27]
K. D. Phung, Observability and control of Schr ¨odinger equations.SIAM J. Control Optim.40, 211–230 (2001)
2001
-
[28]
Shubin, R
C. Shubin, R. Vakilian, T. Wolff, Some harmonic analysis questions suggested by Anderson-Bernoulli models, Geom. Funct. Anal.8, 932–964 (1998)
1998
-
[29]
Tur ´an, Eine neue Methode in der Analysis und deren Anwendungen, Akad´emiai Kiad´o, Budapest, 1953
P. Tur ´an, Eine neue Methode in der Analysis und deren Anwendungen, Akad´emiai Kiad´o, Budapest, 1953
1953
-
[30]
G. Wang, M. Wang, C. Zhang, and Y . Zhang, Observable set, observability, interpolation inequality and spectral inequality for the heat equation inR n.J. Math. Pures Appl.126, 144–194 (2019)
2019
-
[31]
G. Wang, M. Wang, Y . Zhang, Observability and unique continuation inequalities for the Schr ¨odinger equation,J. Eur. Math. Soc.21 (11) 3513–3572 (2019). JiaqiYu, School ofMathematics andStatistics, HuazhongUniversity ofScience andTechnology, Wuhan, 430074, P.R. China Email a...
2019
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.