de Branges space, Schr\"odinger operator, inverse spectral theory