Quantitative propagation of smallness and spectral estimates for the Schrödinger operator | Synapse