Multiplicative superadditivity and dimension-free Mourre bands for the Molchanov–Vainberg Laplacian
PDFLet D=∏ᵢ₌₁ᵈΔᵢ be the Molchanov–Vainberg Laplacian on ℓ²(ℤᵈ), Δᵢ=(Sᵢ+Sᵢ^(*))/2. For the conjugate operators A=Σⱼρ_(jκ)A_(jκ) used by Golénia and Mandich, a strict Mourre estimate at an energy E is equivalent to strict positivity of an explicit Chebyshev poly…
Evidence summary
211 Lean theorems · 21 stated results · 5 source-labelled candidates. Lean build reported passed by the source. Inspect claims