Pith. sign in

REVIEW 2 major objections 5 minor 43 references

Fractal Remez inequality on the sphere and observability of the heat equation

T0 review · 2 major / 5 minor · reviewed 2026-07-30 · grok-4.5

Pith's one-line read Spherical polynomials of any degree are controlled by their values on fractal sets of every positive codimension less than one, yielding heat observability from those sets.

desk verdict Solid fractal Remez on the sphere for every δ∈(0,1), cleanly upgrading Burq–Moyano and giving a first lower-dimensional observability result for super-quadratic potentials; main load is an external concurrent Turán lemma, not an internal gap. read the letter →

arxiv 2607.26904 v1 pith:3CK65YRG submitted 2026-07-29 math.AP

classification math.AP MSC 35P9935Q9335K05
keywords RemezinequalitysphericalpolynomialsHausdorffcontentobservabilityheatequationspectralfractalsetssuper-quadraticpotentials
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves a Remez inequality on the sphere: the maximum of any spherical polynomial of degree at most N is bounded by a constant times its maximum on a closed fractal set M whose (n-2+δ)-Hausdorff content is positive, for every δ between 0 and 1. The constant grows like a power of N raised to 2N, with explicit dependence on the Hausdorff content of M. That bound is then fed into the Lebeau–Robbiano iteration to obtain observability inequalities for the heat equation on the sphere from the same fractal sets, improving earlier results that required δ close to 1. The same spherical estimate also yields a lower-dimensional observability inequality for the heat equation with super-quadratic confining potentials on Euclidean space, observing only on a conical shell whose angular cross-section has positive fractal content.

What carries the argument

Fractal Remez inequality on the sphere (Theorem 1.1): after slicing M down to a spherical arc that meets an auxiliary set W where |p| is already comparable to its global maximum, the problem reduces to a one-dimensional fractal Turán inequality for the pulled-back trigonometric polynomial.

What would settle it

Exhibit a sequence of spherical polynomials of degree N whose ratio of global maximum to maximum on a fixed set of positive (n-2+δ)-Hausdorff content grows faster than any constant times (C N^{4/δ-1})^{2N}, or show that the heat solution starting from an eigenfunction vanishing on such a set remains invisible in L^2 after time T.

Watch

Extended reading notes

Core claim

For every δ∈(0,1) and every closed M⊂S^{n-1} with positive (n-2+δ)-Hausdorff content, every spherical polynomial p of degree ≤N satisfies sup|p| ≤ C_1 ((C_2/C_H^{n-2+δ}(M))^{2/δ} N^{4/δ-1})^{2N} sup_M |p|. This spectral inequality implies sharp heat observability from M on the sphere for all such δ, and a corresponding lower-dimensional observability result for -Δ+|x|^{2m} on R^n.

Load-bearing premise

The one-dimensional fractal Turán bound on intervals of positive fractional Hausdorff content must hold with the precise power of the degree that is inserted into the spherical estimate.

Editorial extensions

If this is right

  • Heat null-controllability on the sphere holds with controls supported on any closed set of positive (n-2+δ)-Hausdorff content for every δ∈(0,1).
  • The same fractal sets are observable for the heat equation with any super-quadratic radial potential |x|^{2m}, m≥2.
  • The spectral inequality supplies an explicit Logvinenko–Sereda constant that tracks the precise dependence on the spectral parameter.
  • The dimensional threshold n-2 is sharp: zero sets of spherical harmonics have positive (n-2)-content yet fail observability.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The slicing-plus-Turán strategy should extend verbatim to other compact rank-one symmetric spaces whose geodesics are circles.
  • If the underlying one-dimensional fractal Turán inequality can be sharpened, the Remez exponent 4/δ-1 would improve automatically.
  • The same angular Remez bound may give lower-dimensional observability for other radial magnetic or electric potentials whose eigenfunctions separate in spherical harmonics.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proves a fractal Remez inequality on S^{n-1}: for every closed M with positive (n-2+δ)-Hausdorff content (any δ∈(0,1)) and every spherical polynomial p of degree ≤N, the L^∞ norm of p on the sphere is controlled by its L^∞ norm on M, with an explicit constant of the form C_1((C_2/C_H^{n-2+δ}(M))^{2/δ} N^{4/δ-1})^{2N}. The proof reduces via an auxiliary density set W, Riesz-capacity comparison, Grassmannian slicing to a spherical arc meeting W, and pull-back to a trigonometric polynomial, to which a fractal Turán–Nazarov inequality is applied. This yields spectral inequalities and, via Lebeau–Robbiano iteration, heat observability from such fractal sets on the sphere (improving Burq–Moyano by removing the restriction that δ be close to 1). A further application gives lower-dimensional observability for the heat equation with radial super-quadratic potentials |x|^{2m} (m≥2) on R^n, observing on a conical annular set whose angular part has positive (n-2+δ)-content.

Significance. The main advance is a Remez inequality on the sphere valid for arbitrary δ∈(0,1) and the resulting sharp observability statements. Removing the “δ near 1” limitation of Burq–Moyano in the spherical setting is a clear improvement; the optimality remark via nodal sets of spherical harmonics is correctly noted. The super-quadratic application appears to be the first lower-dimensional observability result of this type for confining potentials beyond the harmonic case. The reduction is written with explicit constants and standard GMT tools (Mattila slicing, capacity–content comparisons). The dependence on the concurrent fractal Turán preprint is a genuine external dependency rather than an internal circularity; once that inequality is granted, the spherical and radial arguments are routine and carefully tracked.

major comments (2)
  1. [§2.3, Lemma 2.11, (2.37)] Lemma 2.11, Step 3, display (2.37): the load-bearing one-dimensional fractal Turán–Nazarov inequality is taken from the authors’ concurrent preprint arXiv:2607.17505 [43]. The Remez constant in Theorem 1.1 and both observability theorems collapse if (2.37) fails for the frequency range |m_q-m_1|=2N or the Hausdorff content C_H^{δ/2}(A) used here. For journal publication the paper should either (i) include a self-contained proof of the needed special case of (2.37), or (ii) make the dependence fully explicit in the statements of Theorems 1.1–1.3 and ensure [43] is available (accepted or at least stably posted) before final acceptance.
  2. [Appendix A, (3.6) and (A.14)–(A.17)] Appendix A / Lemma 3.2, asymptotic (3.6): the eigenvalue asymptotic for the radial ODE is proved for even n>4 by adapting Titchmarsh/Langer expansions. The error-term bookkeeping (δ_k→0, the h(a)/√μ_k contribution, and the passage from (A.17) to (A.2)) is sketched rather than fully expanded. A short verification that the O(μ_k^{-1})+O(z^{-1}) remainders are absorbed uniformly in the angular momentum range ℓ≤C μ^{1+1/m} would make the bound on ℓ_max (and thus the Remez degree N) fully rigorous for all n.
minor comments (5)
  1. [Title page] Title and running heads: “OBSERV ABILITY” appears with a spurious space in the manuscript header; correct to “OBSERVABILITY”.
  2. [Remark 1.4(ii)] Remark 1.4(ii): the claim that C_H^{n-2+δ}(M)>0 is optimal is correct via nodal sets, but a one-line reference to the standard bound dim_H{p=0}≤n-2 for nontrivial spherical polynomials would help non-specialist readers.
  3. [§2.2, Remark 2.7] Lemma 2.6 / (2.19): the auxiliary radius r_0 is chosen relative to diam(M)/diam(S^{n-1}); a brief sentence clarifying that the final C_2 absorbs this geometric factor would improve readability.
  4. [§3.1, Corollary 3.1] Corollary 3.1: the null-controllability statement is standard once observability is known; it could be shortened or moved to a remark to keep the focus on the new inequalities.
  5. [References] References: several arXiv numbers in the 2607 range appear (including the concurrent [43]); ensure final bibliographic data are updated upon acceptance.

Circularity Check

1 steps flagged · score 2.0 of 10

No definitional circularity; only a load-bearing tool dependency on the authors' concurrent 1D fractal Turán preprint.

  1. self citation load bearing [Lemma 2.11 Step 3 / eq. (2.37); Remark 1.5(i); Ref. [43]]
    "To proceed, we need the following Turán type inequality on fractal sets, which was recently established in [43]: Let α∈(0,1) be given. For any E⊂[0,1] with C_H^α(E)>0, and for every trigonometric polynomial p̄(t)=∑_{k=1}^q c_k e^{2π i m_k t} ... sup_{t∈[0,1]}|p̄(t)| ≤ ( (C_0(q−1)/C_H^α(E))^{1/α} (m_q−m_1)^{1/α−1} )^{q−1} sup_{t∈E}|p̄(t)|. ... Now we apply (2.37) with p̄=p∘κ ..."

    The quantitative constant in the spherical Remez inequality (1.5) is obtained by feeding the pulled-back trigonometric polynomial into (2.37), which is cited only from the authors' concurrent preprint [43] (Yu–Huang). Without that bound the Remez constant and both observability theorems collapse. This is a load-bearing self-citation of a tool, not a definitional loop: (2.37) is a distinct 1D statement whose hypotheses do not include the spherical conclusion, so the reduction remains a real derivation rather than X≡X by construction.

full rationale

The derivation of Theorem 1.1 is a genuine reduction: density-point set W (Lemma 2.6), Hausdorff–capacity comparison (Lemma 2.8), Grassmannian slicing to a spherical arc intersecting W (Lemma 2.10), pull-back of the spherical polynomial to a trigonometric polynomial of degree 2N, then application of the external 1D fractal Turán–Nazarov bound (2.37). Theorems 1.2–1.3 then feed the resulting spectral inequality into a standard Lebeau–Robbiano iteration; the radial asymptotic (3.6) is proved in the appendix from classical ODE/WKB arguments. Nothing is fitted to data, and no uniqueness theorem is imported to forbid alternatives. The sole self-citation of note is [43] (Yu–Huang, arXiv:2607.17505, overlapping author), which supplies the 1D tool (2.37). That is a concurrent-tool dependency, not a loop: the spherical Remez statement is not assumed or renamed from [43]. Score 2 reflects that minor load-bearing self-citation without elevating it to circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

The paper is pure analysis: no fitted constants. Load-bearing inputs are standard GMT/capacity facts, classical spectral theory of the sphere and radial Schrödinger operators, the Lebeau–Robbiano scheme, and one substantial external analytic inequality (fractal Turán from the authors’ concurrent preprint). No new physical entities are postulated.

assumptions (6)
  • domain assumption Fractal Turán–Nazarov inequality on subsets of [0,1] with positive α-Hausdorff content (quoted as (2.37) from arXiv:2607.17505)
    Applied verbatim in Lemma 2.11 Step 3 to bound the trigonometric polynomial p∘κ; without it the Remez constant is unavailable.
  • standard math Mattila slicing lemmas for Riesz capacity (Lemmas 2.4–2.5, cited from Mattila Ch. 10)
    Used to reduce positive (n−2+δ/2)-capacity of W to a 2-plane whose intersection with the sphere is a spherical arc of positive δ/2-capacity.
  • standard math Comparison between Hausdorff content and Riesz capacity (Lemma 2.8, cited from Carleson/Kametani/Huang–Wang–Ming)
    Converts the hypothesis C_H^{n−2+δ}(M)>0 into positive capacity so slicing applies, and converts arc capacity back to Hausdorff content for Turán.
  • standard math Zero sets of nontrivial spherical polynomials have Hausdorff dimension ≤ n−2 (used at (2.16))
    Ensures that the non-vanishing point m∈M exists and that the auxiliary set W carries positive content.
  • domain assumption Eigenfunction expansion of radial Schrödinger operators −Δ+|x|^{2m} in spherical harmonics and the eigenvalue asymptotic (3.6)/(A.2)
    Needed to bound the angular degree ℓ_max by a power of the spectral parameter so Remez applies in the proof of Lemma 3.2; asymptotic is proved in Appendix A under stated smoothness/monotonicity assumptions on q.
  • domain assumption Adapted Lebeau–Robbiano iteration from spectral inequality to observability (cited via Burq–Moyano and Duyckaerts–Miller)
    Once the spectral inequality is obtained from Remez, observability (1.7) and (1.10) follow by this standard scheme; the paper sketches the recurrence for Theorem 1.3 and omits details for Theorem 1.2.
invented entities (1)
  • Auxiliary set W = M ∩ K(m,r̃)
    purpose: Localizes M near a density point where |p| is comparable to its global max, so the sliced arc is forced to meet a region of non-vanishing
    Construction internal to the proof (Lemma 2.6); not a new mathematical object beyond a convenient subset

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fractal Remez inequality on the sphere and observability of the heat equation." pith.science (2026). https://pith.science/paper/3CK65YRG

@misc{pith2026260726904,
  author       = {Pith},
  title        = {Pith review of: Fractal Remez inequality on the sphere and observability of the heat equation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3CK65YRG}},
  note         = {Machine review of arXiv:2607.26904}
}
abstract

This paper is concerned with Remez-type inequalities and their applications in observability inequality. Our aim is twofold. First, we establish the following fractal Remez's inequality on the unit sphere $\mathbb{S}^{n-1}$ \begin{align*} \sup_{\mathbb{S}^{n-1}} |p|\le C(M,N,n,\delta)\sup_{M} |p|, \end{align*} where $M \subset \mathbb{S}^{n-1}$ ($n \ge 2$) is a fractal set of positive $(n-2+\delta)$-Hausdorff content for arbitrary $\delta \in (0,1)$, and $p$ is a spherical polynomial of degree at most $N\in \mathbb{Z}^+$. Second, building upon this fractal framework, we establish sharp observability inequalities for the heat equation on the sphere, again valid for all $\delta\in (0, 1)$, which improve the result of Burq and Moyano [J. Eur. Math. Soc. (JEMS), 25 (4) (2023)] in the spherical setting. Furthermore, as an additional application, we prove a lower-dimensional observability inequality for the heat equation with super-quadratic potentials $V(x) = |x|^{2m}$ ($m \in \mathbb{Z}^+, m\ge 2$) on the whole space $\mathbb{R}^n$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 2 linked inside Pith

  1. [43]

    J. Yu, S. Huang. Fractal Turan-Nazarov inequality and observability for Schr ¨odinger equations. Preprint, arXiv:2607.17505. 5, 13 XinyiChen, School ofMathematics(Zhuhai), SunYat-senUniversity, Zhuhai519082, Guang- dong, China Email address:chenxy2288@mail2.sysu.edu.cn ShanlinHuang(corresponding author), School ofMathematics(Zhuhai), SunYat-senUni- versit...

  2. [1]

    Alphonse, A

    P. Alphonse, A. Seelmann. Quantitative spectral inequalities for the anisotropic Shu- bin operators and applications to null-controllability.C. R. Math. Acad. Sci. Paris, 362 (2024), 1635–1659. 5

  3. [2]

    Beauchard, P

    K. Beauchard, P. Jaming, K. Pravda-Starov. Spectral estimates for finite combinations of Hermite functions and null-controllability of hypoelliptic quadratic equations.Studia Math., 260 (1) (2021), 1-43. 5

  4. [3]

    F. A. Berezin, M. A. Shubin. The Schr¨odinger equation. Mathematics and its Applications (Soviet Series), 66, Kluwer Acad. Publ., Dordrecht, 1991. 15

  5. [4]

    Boggiatto, E

    P. Boggiatto, E. Buzano, L. Rodino. Global hypoellipticity and spectral theory, Mathe- matical Research, vol. 92, Akademie Verlag, 1996. 19

  6. [5]

    P. B. Borwein, T. Erd ´elyi. Polynomials and polynomial inequalities. Graduate Texts in Mathematics, 161, Springer, New York, 1995. 2

  7. [6]

    P. B. Borwein, T. Erd ´elyi. M¨untz spaces and Remez inequalities.Bull. Amer. Math. Soc. (N.S.), 32 (1) (1995), 38–42. 2

  8. [7]

    Brudnyi, M

    Y . Brudnyi, M. I. Ganzburg. A certain extremal problem for polynomials innvariables. Izv. Akad. Nauk SSSR Ser. Mat., 37 (1973), 344–355. 2 25

Show all 43 references
  1. [8]

    N. Burq, I. Moyano. Propagation of smallness and control for heat equations.J. Eur. Math. Soc. (JEMS), 25 (4) (2023), 1349–1377. 3, 4, 5, 15

  2. [9]

    L. A. E. Carleson. Selected problems on exceptional sets. Van Nostrand Mathematical Studies, No. 13, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1967. 9

  3. [10]

    Dicke, A

    A. Dicke, A. Seelmann, I. Veseli ´c. Uncertainty principle for Hermite functions and null- controllability with sensor sets of decaying density.J. Fourier Anal. Appl., 29 (1) (2023) 11–19. 5

  4. [11]

    Dicke, I

    A. Dicke, I. Veseli ´c. Spherical Logvinenko-Sereda-Kovrijkine type inequality and null- controllability of the heat equation on the sphere.Arch. Math. (Basel), 123 (5) (2024), 543-556. 2

  5. [12]

    Duyckaerts, L

    T. Duyckaerts, L. Miller. Resolvent conditions for the control of parabolic equations.J. Funct. Anal., 263 (11) (2012), 3641–3673. 5, 15, 16

  6. [13]

    Egidi, I

    M. Egidi, I. Veseli ´c. Sharp geometric condition for null-controllability of the heat equa- tion onR d and consistent estimates on the control cost.Arch. Math. (Basel), 111 (1) (2018), 85–99. 2

  7. [14]

    K. J. Falconer. Fractal geometry, third edition, Wiley, Chichester, 2014. 5

  8. [15]

    Friedland, Y

    O. Friedland, Y . Yomdin. (s,p)-valent functions. InGeometric aspects of functional anal- ysis, volume 2169 ofLecture Notes in Math., pages 123–136. Springer, Cham, 2017. 2

  9. [16]

    X. Fu, Q. L ¨u, X. Zhang. Carleman estimates for second order partial differential operators and applications. Springer, A unified approach. SpringerBriefs Math. Cham (2019). 2

  10. [17]

    A. V . Fursikov, O. Yu. Imanuvilov. Controllability of evolution equations, volume 34 of Lect. Notes Ser., Seoul. Seoul: Seoul National Univ., (1996). 2

  11. [18]

    M. I. Ganzburg. Polynomial inequalities on measurable sets and their applications.Con- str. Approx., 17 (2) (2001), 275–306. 2

  12. [19]

    A. W. Green, K. Le Balc’h, J. Martin, M.-A. Orsoni. On the dimension of observable sets for the heat equation.Pure Appl. Anal., 7 (3) (2025), 639–660. 3

  13. [20]

    Huang, G

    S. Huang, G. Wang, M. Ming. Observability inequality, log-type Hausdorffcontent and heat equations.Comm. Math. Phys., 407 (2) (2026), Paper No. 33, 60 pp. 2, 3, 5, 9, 17

  14. [21]

    Kametani

    S. Kametani. On Hausdorff’s measures and generalized capacities with some of their applications to the theory of functions.Jpn. J. Math., 19 (1945), 217–257. 9

  15. [22]

    Kro ´o, D

    A. Kro ´o, D. Schmidt. Some extremal problems for multivariate polynomials on convex bodies.J. Approx. Theory, 90 (3) (1997), 415–434. 2

  16. [23]

    Lebeau, L

    G. Lebeau, L. Robbiano. Contr ˆole exact de l’ ´equation de la chaleur.Commun. Partial Differ. Equ., 20 (1–2) (1995), 335–356. 2, 4

  17. [24]

    Logunov, E

    A. Logunov, E. Malinnikova. Quantitative propagation of smallness for solutions of el- liptic equations, pp. 2391–2411 in Proceedings of the International Congress of Mathe- maticians (Rio de Janeiro, 2018), edited by B. Sirakov et al., World Sci., 2018. 5

  18. [25]

    Malinnikova

    E. Malinnikova. Propagation of smallness for solutions of generalized Cauchy-Riemann systems.Proc. Edinb. Math. Soc., 47 (2) (2004), 191–204. 5

  19. [26]

    J. Martin. Spectral inequalities for anisotropic Shubin operators. arxiv:2205.11868. 2022. 5, 16

  20. [27]

    Martin, K

    J. Martin, K. Pravda-Starov. Spectral inequalities for combinations of Hermite functions and null-controllability for evolution equations enjoying Gelfand– Shilov smoothing ef- fects.J. Inst. Math. Jussieu, 22 (6) (2023), 2533–2582. 5

  21. [28]

    P. Mattila. Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, 44, Cambridge Univ. Press, Cambridge. 5, 7, 8, 13

  22. [29]

    L. Miller. Unique continuation estimates for sums of semiclassical eigenfunctions and null-controllability from cones. Preprint (2008) http://hal.archives-ouvertes.fr/hal- 00411840. 5 26 XINYI CHEN, SHANLIN HUANG

  23. [30]

    Marzo, J

    J. Marzo, J. Ortega-Cerd `a. Equivalent norms for polynomials on the sphere.Int. Math. Res. Not. IMRN, 2008(5) Art. ID rnm 154, 18 pp. 4

  24. [31]

    F. L. Nazarov. Local estimates for exponential polynomials and their applications to in- equalities of the uncertainty principle type.Algebra i Analiz, 5 (4) (1993), 3–66; transla- tion inSt. Petersburg Math. J., 5 (4) (1994), 663–717

  25. [32]

    F. W. J. Olver. Asymptotics and special functions. reprint of the 1974 original [Academic Press, New York], AKP Classics, A K Peters, Wellesley, MA, 1997. 21, 22

  26. [33]

    Ortega-Cerd `a, B

    J. Ortega-Cerd `a, B. Pridhnani. Carleson measures and Logvinenko–Sereda sets on com- pact manifolds.Forum Math.25 (2013), 151 – 172. 4

  27. [34]

    Phung, G

    K.D. Phung, G. Wang. An observability estimate for parabolic equations from a measur- able set in time and its applications.J. Eur. Math. Soc. (JEMS), 15 (2) (2013), 681–703. 2

  28. [35]

    M. C. Reed, B. Simon. Methods of modern mathematical physics. IV . Analysis of opera- tors. Academic Press, New York-London, 1978. 15, 19

  29. [36]

    E. J. Remez. Sur une propri ´et´e des polyn ˆomes de Tchebyscheff.Comm. Inst. Sci. Kharkow, 13 (1936), 93–95. 2

  30. [37]

    E. C. Titchmarsh. On the eigenvalues in problems with spherical symmetry.Proc. Roy. Soc. London Ser. A, 245 (1958), 147–155. 16, 20, 24

  31. [38]

    E. C. Titchmarsh. On the eigenvalues in problems with spherical symmetry, III.Proc. Roy. Soc. London Ser. A, 252 (1959), 436–444. 19

  32. [39]

    E. C. Titchmarsh. Eigenfunction expansions associated with second-order differential equations. Part I, second Edition, Clarendon Press, Oxford, 1962. 20, 24

  33. [40]

    E. C. Titchmarsh. On the asymptotic distribution of eigenvalues.Quart. J. Math. Oxford Ser., 2 (5) (1954), 228–240. 21

  34. [41]

    G. Wang, M. Wang, C. Zhang, Y . Zhang. Observable set, observability, interpolation inequality and spectral inequality for the heat equation inR n.J. Math. Pures Appl., 126 (9) (2019), 144–194. 2

  35. [42]

    G. Wang. Geometric characteristics of observable regions, pp. 249–266 in Proceedings of the International Congress of Mathematicians (Philadelphia, 2026), edited by S. Fried- lander and Y . Tschinkel, 2026. 2

Pith tools

Reviewed July 30, 2026 · model on record in the stance chip above.