pith. sign in

arxiv: 2303.00112 · v2 · pith:GWEV5AMKnew · submitted 2023-02-28 · 🧮 math-ph · math.MP

Sharp spectral stability for a class of singularly perturbed pseudo-differential operators

Horia D. Cornean , Radu Purice This is my paper

Pith reviewed 2026-05-24 09:04 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords spectral stabilitypseudo-differential operatorsWeyl quantizationHausdorff distancespectral gapssingular perturbationHörmander symbolsessential spectrum
0
0 comments X

The pith

The spectra of Weyl quantizations of symbols perturbed by a scaled smooth shift differ from the unperturbed spectrum by at most sqrt of the perturbation size in Hausdorff distance.

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

The paper proves quantitative stability results for the spectrum of a self-adjoint pseudo-differential operator under a singular perturbation that shifts the position argument by a δ-dependent smooth function. It shows the full spectra remain close in Hausdorff metric at rate sqrt(|δ|), while the boundaries of the spectrum and of any gaps that stay open at δ=0 move at the faster rate |δ| with a constant controlled by gap width. A sympathetic reader cares because these bounds give precise control on how spectral features respond to slow spatial modulations, which appear in models with varying coefficients or external fields. The work also supplies examples demonstrating that the sqrt(|δ|) rate for the Hausdorff distance cannot be improved in general.

Core claim

Let a(x,ξ) belong to the real Hörmander class S_{0,0}^0(R^d × R^d) and let F be smooth with all derivatives globally bounded. Let K_δ denote the self-adjoint Weyl quantization of the symbol a(x + F(δ x), ξ) for |δ| ≤ 1. Then the Hausdorff distance between the spectra of K_δ and K_0 is at most C sqrt(|δ|). In addition, the distance between the spectral edges of K_δ and K_0, and between the edges of any inner spectral gap that remains open when δ=0, is of order |δ|, with the implied constant depending explicitly on the width of the gap.

What carries the argument

The Weyl quantization of the δ-perturbed symbol a(x + F(δ x), ξ), whose spectrum is compared to that of the unperturbed operator via symbol estimates and resolvent bounds.

If this is right

  • Any spectral gap whose width at δ=0 exceeds C sqrt(|δ|) must remain open for small δ, or close at a controlled rate.
  • The bottom and top of the spectrum can move at most linearly in |δ|.
  • Inner gaps that stay open at δ=0 have their edges displaced by an amount proportional to |δ| times a factor that grows as the gap narrows.
  • The sqrt(|δ|) Hausdorff bound is optimal because explicit examples exist in which new gaps of that size appear under the perturbation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same perturbation class could be used to study adiabatic or slow-variation limits in time-dependent problems without losing spectral control.
  • The linear edge motion suggests that effective Hamiltonians obtained by averaging over the fast variable may capture the leading correction.
  • Numerical diagonalization on a torus for periodic symbols would provide a direct check of the gap-opening examples.

Load-bearing premise

The symbol a must be real-valued and belong to the Hörmander class S_{0,0}^0 while F must have all derivatives globally bounded.

What would settle it

Take a concrete symbol such as a(x,ξ) = ξ² + sin(x) in one dimension, compute the spectrum of K_δ numerically for a sequence of small δ, and check whether any gap opens or edge moves faster than the stated rates.

read the original abstract

Let $a(x,\xi)$ be a real H\"ormander symbol of the type $S_{0,0}^0(\mathbb{R}^{d}\times \mathbb{R}^d)$, let $F$ be a smooth function with all its derivatives globally bounded, and let $K_\delta$ be the self-adjoint Weyl quantization of the perturbed symbols $a(x+F(\delta\, x),\xi)$, where $|\delta|\leq 1$. First, we prove that the Hausdorff distance between the spectra of $K_\delta$ and $K_{0}$ is bounded by $\sqrt{|\delta|}$, and we give examples where spectral gaps of this magnitude can open when $\delta\neq 0$. Second, we show that the distance between the spectral edges of $K_\delta$ and $K_0$ (and also the edges of the inner spectral gaps, as long as they remain open at $\delta=0$) are of order $|\delta|$, and give a precise dependence on the width of the spectral gaps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves spectral stability results for Weyl quantizations of symbols a(x + F(δx), ξ) where a is in the Hörmander class S_{0,0}^0 and F is smooth with globally bounded derivatives. It establishes that the Hausdorff distance between the spectra of the perturbed operator K_δ and the unperturbed K_0 is bounded by √|δ|, provides examples showing that spectral gaps of this order can open, and demonstrates that the distance between spectral edges and the edges of inner gaps that remain open is of order |δ|, with explicit dependence on the gap width.

Significance. If the theorems hold, this work provides sharp quantitative estimates on how spectra respond to singular perturbations in a general class of pseudo-differential operators. The distinction between the √|δ| Hausdorff bound and the |δ| bound for edges is a notable feature, as is the provision of examples demonstrating sharpness. Such results are significant for applications in quantum mechanics and microlocal analysis where precise control over spectral gaps is important. The assumptions are minimal, strengthening the applicability.

minor comments (2)
  1. [Abstract] The abstract states the main theorems cleanly but does not indicate the dimension d or whether the results are uniform in d; a brief parenthetical note would help.
  2. The introduction could include a short reminder of the precise definition of the Weyl quantization Op^w(a) used in the paper, to aid readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of the main results, and the recommendation for minor revision. No specific major comments were raised.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on standard properties of the Hörmander symbol class S_{0,0}^0 and the given perturbation a(x + F(δx), ξ) with F smooth and globally bounded. The Hausdorff bound √|δ| and edge bound |δ| are stated as consequences of these hypotheses via functional-calculus or commutator estimates; no equation reduces to a fitted parameter, self-definition, or load-bearing self-citation. The paper is self-contained against the announced assumptions with no internal reduction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests entirely on standard background from pseudo-differential operator theory with no free parameters fitted to data, no ad-hoc axioms invented for this paper, and no new postulated entities.

axioms (2)
  • standard math Weyl quantization of a real symbol in S_{0,0}^0 yields a self-adjoint operator on L^2
    Invoked when defining K_δ and K_0 as self-adjoint operators.
  • standard math The symbol class S_{0,0}^0 is closed under the required compositions and estimates for the perturbation
    Used to control the difference between the perturbed and unperturbed operators.

pith-pipeline@v0.9.0 · 5716 in / 1290 out tokens · 30267 ms · 2026-05-24T09:04:38.299533+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

  1. [1]

    Beckus, S., Bellissard, J., Cornean, H.D.: Hölder Conti nuity of the Spectra for Aperiodic Hamiltonians. Ann. H. Poincaré 20, 3603-3631 (2019)

    work page 2019

  2. [2]

    Bellissard, J.: Lipshitz continuity of gap boundaries f or Hofstadter-like spectra. Commun. Math. Phys. 160, 599–613 (1994)

    work page 1994

  3. [3]

    Calderón, A.-P ., Vaillancourt, R.: On the boundedness o f pseudo-differential operators. J. Math. Soc. Japan 23, 374–378 (1971)

    work page 1971

  4. [4]

    Cornean, H.D.: On the Lipschitz continuity of spectral b ands of Harper-like and magnetic Schrödinger operators. Ann. H. Poincaré 11, 973—990 (2010)

    work page 2010

  5. [5]

    Cornean, H.D., Garde, H., Støttrup, B.B., Sørensen, K.S .: Magnetic pseudodifferential operators represented as generalized Hofstadter-like matrices. J. Pseudodiffer. Oper. Appl. 10(2), 307-336 (2019)

    work page 2019

  6. [6]

    Cornean, H.D., Helffer, B., Purice, R.: A Beals criterion for magnetic pseudo-differential operators proved with magnetic Gabor frames. Comm. P .D.E.43(8), 1196-1204 (2018)

    work page 2018

  7. [7]

    Cornean, H.D., Helffer, B., Purice, R.: Spectral analysi s near a Dirac type crossing in a weak non-constant magnetic field. Trans. Amer. Math. Soc. 374(10), 7041-7104 (2021). 16 H. Cornean and R. Purice

    work page 2021

  8. [8]

    Spectral Analysis of Quantum Hamiltonians

    Cornean, H.D., Purice, R.: On the regularity of the Hausd orff distance between spectra of perturbed magnetic Hamiltonians. Spectral Analysis of Quantum Hamiltonians. Spectral Days 2010, 55-66 (2012). https://doi.org/10.1007/978-3-0348-0414-1

    work page doi:10.1007/978-3-0348-0414-1 2010

  9. [9]

    Cornean, H.D., Purice, R.: Spectral edge regularity of m agnetic Hamiltonians. J. Lond. Math. Soc. 92, 89-104 (2015)

    work page 2015

  10. [10]

    Gröchenig, K: Time-frequency analysis of Sjöstrand’s class. Rev. Mat. Iberoam. 22(2), 703-724 (2006)

    work page 2006

  11. [11]

    Gröchenig, K., Romero, J.L., Speckbacher, M.: Lipschitz Continuity of Spectra of Pseudod- ifferential Operators in a Weighted Sjöstrand Class and Gabor Frame Bounds.https://arxiv.org/abs/2207.08669 (2022)

    work page arXiv 2022

  12. [12]

    Springer Lecture Notes in Phys

    Helffer, B., Sjöstrand, J.: Equation de Schrödinger ave c champ magnétique et équation de Harper. Springer Lecture Notes in Phys. No. 345 , 118-197 (1989)

    work page 1989

  13. [13]

    Helffer, B., Sjöstrand, J.: On diamagnetism and de Haas- van Alphen effect. Ann. Inst. H. Poincaré Phys. Théor. 52, 303–375 (1990)

    work page 1990

  14. [14]

    Simion Stoilow

    L. Hörmander: The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators. Springer-Verlag Berlin Heidelberg, (2007). Horia D. Cornean Department of Mathematical Sciences, Aalborg University, Skjernvej 4A, DK-9220 Aalborg, Denmark; cornean@math.aau.dk Radu Purice “Simion Stoilow” Institute of Mathematics of the Romanian A cademy...

    work page 2007