Pith. sign in

REVIEW 1 major objections 3 minor 52 references

Hausdorff type Time-Trace Observability for Airy Equations on the Line and Point Observability on the Torus

T0 review · 1 major / 3 minor · reviewed 2026-07-31 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Hausdorff-thick sets of zero measure fully determine Airy initial data from L² time traces for every T>0; on the torus, finite point observability is a Kalman rank condition.

desk verdict A dense, serious preprint that completes the Hausdorff-observability program for Airy on the line and point observability on the torus; the new machinery is original and the proofs largely hold, with one load-bearing imported estimate (Zhu's uniform propagation) that deserves explicit referee scrutiny. read the letter →

arxiv 2607.24076 v1 pith:5LBQUP7V submitted 2026-07-27 math.AP

Ze Li This is my paper
classification math.AP MSC 35Q5393B0793C20
keywords AiryequationHausdorff-thicksetstime-traceobservabilitypropagationofsmallnessGevreyfiltersKalmancriterionlinearKdVpoint
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

This paper answers two long-standing observability questions for the Airy equation. On the real line, it proves that if a zero-measure set E has Hausdorff content at least m in every block [3jR,3jR+R], then the block-supremum of L² time traces over E controls the full L² norm of the initial data, for every observation horizon T>0—despite the equation being unitary and having no pointwise smoothing of L² data. On the torus, it proves that finite-point observability for the Airy equation with a bounded real potential is equivalent to a Kalman rank condition on an explicitly constructed finite-dimensional invariant subspace; from this, one point observes the free periodic Airy wave, while the periodic linear KdV wave requires exactly three distinct points. The proofs replace the parabolic decay used in heat-type results with two new devices: Gevrey time-frequency filters whose subexponential tails beat the exponential cost of Hilbert-valued Hausdorff–Remez propagation, and a unitary Hautus/resolvent criterion for high frequencies.

What carries the argument

The load-bearing objects are two. (1) On the line, the block-supremum time-trace functional O_{E,T}(u₀)=Σ_j sup_{x∈E_j}‖Tr_x S(·)u₀‖²_{L²(0,T)}: the natural L²-admissible replacement for pointwise-in-space observations, since L² data have no point values but do have time traces at each spatial point. The proof splits frequencies: low frequencies are handled by a Hilbert-valued Hausdorff–Remez propagation-of-smallness estimate with cost e^{C(1+N)}, and high frequencies by a unitary Hautus criterion for regular sampling sequences. (2) The bridge between the two regimes is a Gevrey time filter of order 1<σ<3: because the dispersion relation τ=ξ³ identifies spatial and temporal frequencies, the

What would settle it

Test the uniformity of the propagation-of-smallness exponent: search numerically or analytically for a family of sets G_k ⊂ B(0,1) with H^s_C(G_k) ≥ h and holomorphic functions F_k with ‖F_k‖_{L∞(B(0,4))} ≤ e^B ‖F_k‖_{L∞(B(0,1))} yet ‖F_k‖_{L∞(B(0,1))} ≥ e^{c_k B} ‖F_k‖_{L∞(G_k)} with c_k→∞; if such examples exist, the constant C* in Lemma 3.1 cannot be chosen uniformly, and the paper's absorption step (coefficient 1/16 in Lemma 6.1) would not close. A cheaper check: verify the Hadamard three-circle step in Lemma 3.1 for an explicit function like g(z)=exp(Bz) with A a Cantor-type set of prescr

Watch

Extended reading notes

Core claim

The central discovery is that zero-measure sets can determine the whole solution of the Airy equation. Theorem 1.2 states: if E⊂R is Hausdorff-thick in the sense H^s_∞(E∩[3jR,3jR+R]) ≥ m for every j, then for every T>0 there are C,C′>0 such that ‖u₀‖²_{L²(R)} ≤ C Σ_j sup_{x∈E_j} ‖Tr_x S(·)u₀‖²_{L²(0,T)} ≤ C′‖u₀‖²_{L²(R)}. This is the first observability inequality for the Airy equation from a zero-measure set, and it achieves any positive observation time. The second discovery, Theorem 1.10, is a necessary and sufficient condition on the torus: for p∈L^∞(T;R), finite point observability of ∂³_x+p holds if and only if the finite-dimensional system (C_F, A=L_p|_{X_0}) on the natural invariant

Load-bearing premise

Everything rests on an imported uniformity statement: a cited planar propagation-of-smallness result (stated as (3.2)) is assumed to hold with an exponent bounded away from zero uniformly for all sets whose s-dimensional Hausdorff content is at least h; the paper invokes it without re-proof, and Lemma 3.1, Lemma 3.3, and therefore the low-frequency estimate (and the absorption that closes Theorem 1.2) would fail if that uniformity were false.

Editorial extensions

If this is right

  • Every Hausdorff-thick zero-measure set yields an observability inequality for the Airy equation on ℝ with any observation time T>0, with an explicit constant of the form B exp(BT^{−1}) for small T.
  • Periodic Borel measure observations—including single spatial point sequences—give two-sided trace estimates, and the same holds for the linear KdV equation along moving traces x+t.
  • Fixed-time periodic point observations fail for the linear KdV on ℝ, so the transport term w_x destroys time-trace observability for stationary trace points.
  • On the torus, finite-point observability for Airy with potential p is time-independent and decidable by a finite rank test (Kalman on X_0); in particular free Airy is observable from any single point, while linear KdV needs exactly three distinct points.
  • Any observation set with an accumulation point observes the toroidal Airy equation with potential of sufficiently high (finite) regularity, for every T>0.

Reading between the lines

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

  • The same geometric trick—comparing the exponential cost of a low-frequency propagation estimate with the subexponential tail of a Gevrey filter—should transfer to other dispersive equations whose phase is τ=ξ^a, giving observability from Hausdorff-thick sets whenever a Gevrey order σ<a is available; the cubic case a=3 is the first instance.
  • The torus result suggests a general principle: for self-adjoint operators with polynomial spectral gaps, adding a bounded perturbation confines all obstructions to point observability to a finite-dimensional invariant subspace, so finite-point observability is always a finite-rank linear algebra condition.
  • One could test whether the block-supremum trace functional can be replaced by a single supremum over all of E (rather than blockwise) or by weighted variants; the paper's admissibility constants suggest the blockwise structure is essential for L² data, so this would be a genuine open problem.
  • The sharp 3-vs-2 point threshold for linear KdV is explained by the three-dimensional stationary mode n∈{-1,0,1}; analogous thresholds for other 'transport + dispersion' equations on the torus should equal the dimension of the stationary eigenspace of the leading dispersion polynomial.
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

1 major / 3 minor

Summary. This paper studies observability inequalities for the Airy equation. On the real line, Theorem 1.2 establishes, for every T>0, an observability inequality from Hausdorff-thick sets E in a time-trace sense, using the block-supremum functional O_{E,T}(u_0)=Σ_j sup_{x∈E_j} ||Tr_x S(·)u_0||^2_{L^2(0,T)}. Proposition 1.3 treats periodic Borel-measure observations, and Proposition 1.7 gives analogous results for the linear KdV equation, including a negative result for fixed lattice observations. On the torus, Theorem 1.10 gives a necessary and sufficient Kalman-rank condition for finite point observability for ∂_t+∂_x^3+p(x) with bounded real potential, Proposition 1.11 proves the sharp 3-vs-2 point result for periodic linear KdV, and Corollary 1.14 yields observability from sets with an accumulation point under finite regularity assumptions on p. The proof strategy combines a Hilbert-valued Hausdorff–Remez estimate, Gevrey time filters with subexponential tails e^{-cN^{3/σ}}, a unitary Hautus high-frequency estimate, and a finite-dimensional spectral reduction.

Significance. If the results are correct, the paper is a substantial contribution. The Airy flow is unitary and lacks the parabolic decay that powers previous Hausdorff-type observability results, so the block-supremum time-trace norm and the Gevrey-filter method are genuinely new tools. The torus results, including the treatment of non-normal operators with bounded potentials and the finite-dimensional Kalman criterion, are clean and sharp, with explicit counterexamples showing optimality of the number of points for linear KdV. The paper is also commendably self-contained in most parts: full proofs are given for the trace admissibility, the Gevrey cutoff construction, the high-frequency separation, and the spectral decomposition. The main caveat is that one load-bearing estimate, the uniform planar propagation-of-smallness bound (3.2), is imported from Zhu [52] and not re-proved in the manuscript.

major comments (1)
  1. [§3, Eq. (3.2)] The proof of the central low-frequency estimate rests on the uniform planar propagation-of-smallness estimate imported from Zhu [52, Prop. 2.3]. The paper states that “[52]’s proposition, together with its proof, implies” the uniform form (3.2), with α_Z depending only on (s,h), but it does not reproduce the proposition or prove this uniformity. The point is load-bearing: Lemma 3.1 uses (3.2) to define C*, Lemma 3.3 uses C* to obtain the e^{C(1+N)} factor in (3.16), and Lemma 6.1 then needs e^{C(1+N)} to be absorbed by the Gevrey tail e^{-c_T N^{3/σ}} with σ<3. If α_Z(s,h) in (3.2) depended on the covering data of G or on the scale in a way not controlled by H^s_C(G)≥h, the low-frequency separation and the absorption in §7 would fail. Please either state the precise theorem from [52] and give a full derivation of (3.2), including the exact dependence on H^s_C(G), or provide a self-contai
minor comments (3)
  1. [§10, after (10.9)] The adjoint spectral projection P_n^* is associated with the conjugate spectral value \bar{λ_n} (equivalently, with the reflected contour \overline{D_n}), not with λ_n. The subsequent formulas are correct, but the wording “associated with λ_n” is confusing.
  2. [Remark 1.4(iv)] The constant B is said to depend only on E, m, R; since Definition 1.1 also involves s, the dependence on s should be stated.
  3. [§3, Lemma 3.1] The notation H^s_C(E) is introduced inside the proof of Lemma 3.1. It would be clearer to define it near the statement or in the notation section, since it is not the same as the H^s_∞ used in Definition 1.1.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the proofs derive the observability inequalities from stated hypotheses and external prior results; none of the claimed theorems reduces by construction to its inputs.

full rationale

The paper's central results are proved from stated hypotheses rather than fitted. Theorem 1.2 proceeds by combining a low-frequency propagation estimate (Lemma 3.3/3.5) with high-frequency sampling/Hautus estimates (Lemma 5.2, Corollary 5.3) and Gevrey time filters (Section 4, Appendix B). The low-frequency result imports Zhu's uniform propagation-of-smallness estimate (3.2) from [52] as an external prior theorem; the paper states the uniformity condition explicitly and derives its constants from it, but this is an external dependency, not a self-citation or a reduction of the target inequality to its own input. The Gevrey cutoff is constructed in the paper, and the constants e^{C(1+N)} versus e^{-cN^{3/σ}} are compared in Lemma 6.1; there is no fitted parameter renamed as a prediction. Theorem 1.10 reduces finite point observability to the finite-dimensional Kalman rank condition via the spectral decomposition of Section 10; this decomposition is proved in the paper using Kato perturbation and Bari-Markus theory, not assumed as the conclusion. The author's self-citations to Li-Wang [34,35] are used only as background on necessity of thickness for classical L2_t,x observability and are not load-bearing in the proofs. The potential weakness that the proof depends on the uniformity of Zhu's exponent alpha_Z(s,h) is a correctness/external-foundations concern, not circularity, because the paper does not define its target result in terms of that exponent.

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

The ledger is clean: a pure theorem-proof paper with no data-fitting and no invented physical entities. The only hand-chosen parameter is the auxiliary Gevrey order σ∈(1,3), which has no effect on the statements. External theorems (Zhu's propagation of smallness, Miller's criterion, Haraux–Ingham, Bari–Markus, Gevrey Paley–Wiener) are standard published results by other authors, each explicitly located. The central claims depend on these only as routine black boxes.

free parameters (1)
  • Gevrey order σ = arbitrary in (1,3)
    Hand-chosen for the compactly supported cutoff in Appendix B. Any σ∈(1,3) makes the Gevrey time-filter tail e^{−cN^{3/σ}} beat the Remez cost e^{C(1+N)} in Lemma 6.1. The final theorems are independent of σ, so this is a proof device, not a fitted value.
assumptions (6)
  • standard math Zhu [52, Prop. 2.3]: planar Hausdorff-content propagation of smallness (3.2), with exponent uniform under H^s_C(G) ≥ h
    Imported into Lemma 3.1 as the engine of the Hausdorff–Remez cost e^{C*B}; the paper proves the rest of Lemma 3.1 itself.
  • standard math Miller's resolvent criterion for unitary groups (Prop. 2.7, quoted from [44])
    Gives admissibility and observability from resolvent/Hautus estimates (2.1)–(2.2); used in Prop. 2.8 and Cor. 5.3 for the high-frequency part.
  • standard math Haraux–Ingham theorem (Prop. 8.1, from [20, 25])
    Underpins the uniform cubic Ingham estimate (Lemma 8.2), Proposition 8.3 (periodic lattice observations) and Lemma 9.7.
  • standard math Bari–Markus theorem on Riesz bases of projections (Prop. 10.1, from [4, 43])
    Converts the perturbation estimates ||P_n − P_n^0|| ≤ Cn^{−2} into the Riesz decomposition L²(T) = X₀ ∔ H_∞ and the coefficient inequalities (10.3).
  • standard math Ultradifferentiable Paley–Wiener theorem: Fourier transforms of Gevrey-σ functions decay like e^{−c|t|^{1/σ}}
    Used in §4 for the Gevrey cutoff; the paper independently proves existence of the cutoff and its Gevrey bounds in Lemma 14.1–14.2.
  • domain assumption The L²-admissible time-trace framework (Problems 1–2) is the correct notion of observation for Airy-type equations
    The paper motivates this frame and proves the needed admissibility (Lemma 2.1, Prop. 2.8, Lemma 2.11), so the assumption is well-posed rather than imported.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Hausdorff type Time-Trace Observability for Airy Equations on the Line and Point Observability on the Torus." pith.science (2026). https://pith.science/paper/5LBQUP7V

@misc{pith2026260724076,
  author       = {Pith},
  title        = {Pith review of: Hausdorff type Time-Trace Observability for Airy Equations on the Line and Point Observability on the Torus},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5LBQUP7V}},
  note         = {Machine review of arXiv:2607.24076}
}
abstract

The main results of this paper are threefold. First, we prove an observability inequality for the Airy equation on the real line from Hausdorff-thick sets in a time-trace sense for every observation time $T>0$. The observation functional is a block supremum of $L^2(0,T)$ time traces over the Hausdorff-thick set. Second, we prove observability inequalities for the Airy equation on the real line with observations on some periodic sets, which in particular yields observability on a class of spatial point sequences. Third, we give a necessary and sufficient condition for finite point observability for the Airy equation on the torus with a bounded real-valued potential. Indeed, for a finite observation set $F$, a Kalman rank condition on a finite-dimensional invariant subspace is found. As a corollary, we obtain sharp point observability results for the Airy and linear KdV equations on the torus. Moreover, for potentials with finite order regularity assumptions we prove that every observation set with an accumulation point, in particular any set of positive Hausdorff dimension, gives an observability inequality for each observation time $T>0$. Since the Airy equation has neither high frequency exponential decay nor pointwise smoothing effects, which are essential in recent works on Hausdorff type observation results on heat equations, we introduce several new ideas adapted to the Airy case.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

52 extracted references · 1 canonical work pages

  1. [52]

    Y. Zhu. Propagation of smallness for solutions of elliptic equations in the plane,Mathe- matics in Engineering7(2025), no. 1, 1–12. Ze Li School of Mathematics and Statistics, Ningbo University Ningbo, 315211, Zhejiang, P.R. China Email address:rikudosennin@163.com

    2025

  2. [1]

    Anantharaman and F

    N. Anantharaman and F. Maci` a, Semiclassical measures for the Schr¨ odinger equation on the torus,J. Eur. Math. Soc.16(2014), no. 6, 1253–1288

    2014

  3. [2]

    Apraiz, L

    J. Apraiz, L. Escauriaza, G. Wang and C. Zhang, Observability inequalities and measurable sets,J. Eur. Math. Soc.16(2014), no. 11, 2433–2475

    2014

  4. [3]

    Apraiz and L

    J. Apraiz and L. Escauriaza, Null-control and measurable sets,ESAIM Control Optim. Calc. Var.19(2013), no. 1, 239–254

    2013

  5. [4]

    N. K. Bari, Biorthogonal systems and bases in Hilbert space,Uchenye Zapiski Moskovskogo Gosudarstvennogo Universiteta,148, Matematika4(1951), 69–107

    1951

  6. [5]

    Bourgain, N

    J. Bourgain, N. Burq and M. Zworski, Control for Schr¨ odinger operators on 2-tori: rough potentials,J. Eur. Math. Soc.15(2013), no. 5, 1597–1628

    2013

  7. [6]

    Burq and I

    N. Burq and I. Moyano, Propagation of smallness and spectral estimates,J. Anal. Math. (2025), https://doi.org/10.1007/s11854-025-0374-3

    work page doi:10.1007/s11854-025-0374-3 2025

  8. [7]

    Burq and I

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

    2023

Show all 52 references
  1. [8]

    Capistrano-Filho, V

    R.D.A. Capistrano-Filho, V. Komornik, A.F. Pazoto, Pointwise control of the linearized Gear-Grimshaw system. Evolution Equations and Control Theory, 9.3 (2020), 693-719

    2020

  2. [9]

    Cohen, Fractal uncertainty in higher dimensions,Ann

    A. Cohen, Fractal uncertainty in higher dimensions,Ann. of Math.202(2025), no. 1, 265–307

    2025

  3. [10]

    Dolecki, Observability for the one-dimensional heat equation,Studia Math.48(1973), 291–305

    S. Dolecki, Observability for the one-dimensional heat equation,Studia Math.48(1973), 291–305

    1973

  4. [11]

    Dyatlov, An introduction to fractal uncertainty principle,J

    S. Dyatlov, An introduction to fractal uncertainty principle,J. Math. Phys.60(2019), no. 8, 081505, 31

    2019

  5. [12]

    Dyatlov and L

    S. Dyatlov and L. Jin, Semiclassical measures on hyperbolic surfaces have full support, Acta Math.220(2018), no. 2, 297–339

    2018

  6. [13]

    Dyatlov, L

    S. Dyatlov, L. Jin and S. Nonnenmacher, Control of eigenfunctions on surfaces of variable curvature,J. Am. Math. Soc.35(2022), no. 2, 361–465

    2022

  7. [14]

    Egidi and I

    M. Egidi and I. Veseli´ c, Sharp geometric condition for null-controllability of the heat equation on Rd and consistent estimates on the control cost,Arch. Math.111(2018), 85–99

    2018

  8. [15]

    Friedland and Y

    O. Friedland and Y. Yomdin, ( s, p)-valent functions, in B. Klartag and E. Milman (eds.), Geometric Aspects of Functional Analysis, Lecture Notes in Mathematics, vol. 2169, Springer, Cham, 2017, pp. 123–136

    2017

  9. [16]

    A. V. Fursikov and O. Y. Imanuvilov,Controllability of Evolution Equations, Lecture Notes Series, Seoul National University, 1996. 66 Z. LI

    1996

  10. [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(2025), no. 3, 639–660

    2025

  11. [18]

    B.H. Haak, P. Jaming, M. Wang, Y. Wang, Curved Ingham inequalities and observability of the toroidal Schr¨ odinger equation, preprint, 2026

    2026

  12. [19]

    Hardt and L

    R. Hardt and L. Simon, Nodal sets for solutions of elliptic equations,J. Differential Geom. 30(1989), no. 2, 505–522

    1989

  13. [20]

    Haraux, S´ eries lacunaires et contrˆ ole semi-interne des vibrations d’une plaque rectangu- laire,J

    A. Haraux, S´ eries lacunaires et contrˆ ole semi-interne des vibrations d’une plaque rectangu- laire,J. Math. Pures Appl.68(1989), 457–465

    1989

  14. [21]

    Higgins,Sampling theory in Fourier and signal analysis, Clarendon Press, Cambridge, 1996

    J.R. Higgins,Sampling theory in Fourier and signal analysis, Clarendon Press, Cambridge, 1996

    1996

  15. [22]

    Huang, G

    S. Huang, G. Wang and M. Wang, Observable sets, potentials and Schr¨ odinger equations, Comm. Math. Phys.395(2022), no. 3, 1297–1343

    2022

  16. [23]

    Huang, G

    S. Huang, G. Wang and M. Wang, Observability inequality, log-type Hausdorff content and heat equations,Comm. Math. Phys.407(2026), Article 33

    2026

  17. [24]

    Huang, G

    S. Huang, G. Wang and M. Wang, Quantitative observability for the Schr¨ odinger equation with an anharmonic oscillator. Sci. China Math.69(2026), 1397-1428

    2026

  18. [25]

    A. E. Ingham, Some trigonometrical inequalities with applications to the theory of series, Math. Z.41(1936), 367–379

    1936

  19. [26]

    Jaffard, Contrˆ ole interne exact des vibrations d’une plaque rectangulaire,Portugal

    S. Jaffard, Contrˆ ole interne exact des vibrations d’une plaque rectangulaire,Portugal. Math.47(1990), no. 4, 423–429

    1990

  20. [27]

    Jaye and M

    B. Jaye and M. Mitkovski, A sufficient condition for mobile sampling in terms of surface density,Appl. Comput. Harmon. Anal.61(2022), 57–74

    2022

  21. [28]

    Kato,Perturbation Theory for Linear Operators, Springer, 1995

    T. Kato,Perturbation Theory for Linear Operators, Springer, 1995

    1995

  22. [29]

    Kenig, G

    C. Kenig, G. Ponce, L. Vega, Well-posedness and scattering results for the generalized Korteweg-de Vries equation via the contraction principle,Comm. Pure Appl. Math.46 (1993), no. 4, 527-620

    1993

  23. [30]

    Rodino, Linear Partial Differential Operators in Gevrey Spaces, World Scientific, Singapore, 1992

    L. Rodino, Linear Partial Differential Operators in Gevrey Spaces, World Scientific, Singapore, 1992

    1992

  24. [31]

    Kovrijkine, Some results related to the Logvinenko-Sereda theorem,Proc

    O. Kovrijkine, Some results related to the Logvinenko-Sereda theorem,Proc. Amer. Math. Soc.129(2001), no. 10, 3037–3047

    2001

  25. [32]

    Le Balc’h and J

    K. Le Balc’h and J. Martin, Quantitative propagation of smallness and spectral estimates for the Schr¨ odinger operator,J. Spectr. Theory15(2025), no. 1, 245–278

    2025

  26. [33]

    Lebeau and L

    G. Lebeau and L. Robbiano, Contrˆ ole exact de l’´ equation de la chaleur,Comm. Partial Differential Equations20(1995), no. 1–2, 335–356

    1995

  27. [34]

    Li and M

    Z. Li and M. Wang, Observability inequality at two time points for KdV equations,SIAM J. Math. Anal.53(2021), no. 2, 1944–1957

    2021

  28. [35]

    Li and M

    Z. Li and M. Wang, Observability inequalities at two time points from half-lines for linear KdV equations,SIAM J. Math. Anal.57(2025), no. 4, 4097–4136

    2025

  29. [36]

    Lin, Nodal sets of solutions of elliptic and parabolic equations,Comm

    F.-H. Lin, Nodal sets of solutions of elliptic and parabolic equations,Comm. Pure Appl. Math.44(1991), no. 3, 287–308

    1991

  30. [37]

    Logunov, Nodal sets of Laplace eigenfunctions: polynomial upper estimates of the Hausdorff measure,Ann

    A. Logunov, Nodal sets of Laplace eigenfunctions: polynomial upper estimates of the Hausdorff measure,Ann. of Math.187(2018), no. 1, 221–239

    2018

  31. [38]

    Logunov, Nodal sets of Laplace eigenfunctions: proof of Nadirashvili’s conjecture and of the lower bound in Yau’s conjecture,Ann

    A. Logunov, Nodal sets of Laplace eigenfunctions: proof of Nadirashvili’s conjecture and of the lower bound in Yau’s conjecture,Ann. of Math.187(2018), no. 1, 241–262

    2018

  32. [39]

    Logunov and E

    A. Logunov and E. Malinnikova, Quantitative propagation of smallness for solutions of elliptic equations, inProceedings of the International Congress of Mathematicians, 2018; arXiv:1711.10076. HAUSDORFF TYPE TIME-TRACE OBSER V ABILITY FOR AIRY TYPE EQUATIONS 67

    2018 arXiv

  33. [40]

    Logunov, E

    A. Logunov, E. Malinnikova, N. Nadirashvili and F. Nazarov, The sharp upper bound for the area of the nodal sets of Dirichlet Laplace eigenfunctions,Geom. Funct. Anal.31 (2021), no. 5, 1219–1244

    2021

  34. [41]

    Malinnikova, Quantitative transfer of smallness for solutions of elliptic equations with analytic coefficients and their gradients, inMore Progresses in Analysis, pp

    E. Malinnikova, Quantitative transfer of smallness for solutions of elliptic equations with analytic coefficients and their gradients, inMore Progresses in Analysis, pp. 1185–1193, World Scientific, 2009

    2009

  35. [42]

    Malinnikova, J

    E. Malinnikova, J. Zhu, Spectral inequalities for Schr¨ odinger equations and quantitative propagation of smallness in the plane. arXiv preprint arXiv:2505.03996, 2025

    2025 arXiv

  36. [43]

    A. S. Markus, Expansion in root vectors of a slightly perturbed self-adjoint operator,Dok- lady Akademii Nauk SSSR,142(1962), 538–541. English translation:Soviet Mathematics Doklady,3(1962), 104–108

    1962

  37. [44]

    Miller, Resolvent conditions for the control of unitary groups and their approximations, J

    L. Miller, Resolvent conditions for the control of unitary groups and their approximations, J. Spectr. Theory2(2012), no. 1, 1–55

    2012

  38. [45]

    Nazarov, M

    F. Nazarov, M. Sodin and A. Volberg, Lower bounds for quasi-analytic functions. I. How to control smooth functions,Math. Scand.95(2004), no. 1, 59–79

    2004

  39. [46]

    J. Niu, M. Wang and X. Xiang, The periodic KdV with control on space-time measurable sets, arXiv:2507.13740, 2025

    2025 arXiv

  40. [47]

    Phung and G

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

    2013

  41. [48]

    Pommerenke,Boundary Behaviour of Conformal Maps, Grundlehren der mathematis- chen Wissenschaften, Vol

    C. Pommerenke,Boundary Behaviour of Conformal Maps, Grundlehren der mathematis- chen Wissenschaften, Vol. 299, Springer-Verlag, Berlin, 1992

    1992

  42. [49]

    Samb, Internal null-controllability of the n-dimensional heat equation in cylindrical domains,C

    E.H. Samb, Internal null-controllability of the n-dimensional heat equation in cylindrical domains,C. R. Math. Acad. Sci. Paris353(2015), no. 10, 925–930

    2015

  43. [50]

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

    2019

  44. [51]

    Wang and M

    Y. Wang and M. Wang, Observability of dispersive equations from line segments on the torus,Evol. Equ. Control Theory(2024)

    2024

Pith tools

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