Related papers: On the First Trace Formula for Schr\"odinger Opera…
We propose trace logic, an instance of many-sorted first-order logic, to automate the partial correctness verification of programs containing loops. Trace logic generalizes semantics of program locations and captures loop semantics by…
The inverse scattering problem for the Schr$\mathrm{\ddot{o}}$dinger operators on the line is considered when the potential is real valued and integrable and has a finite first moment. It is shown that the potential on the line is uniquely…
We study Schr\"odinger operators given by positive quadratic forms on infinite graphs. From there, we develop a criticality theory for Schr\"odinger operators on general weighted graphs.
We study integral operators on the space of square-integrable functions from a compact set, $X$, to a separable Hilbert space, $H$. The kernel of such an operator takes values in the ideal of Hilbert-Schmidt operators on $H$. We establish…
Let $g(z,x)$ denote the diagonal Green's matrix of a self-adjoint $m\times m$ matrix-valued Schr\"odinger operator $H= -\f{d^2}{dx^2}I_m +Q(x)$ in $L^2 (\bbR)^{m}$, $m\in\bbN$. One of the principal results proven in this paper states that…
We discuss Schr\"odinger operators on a half-line with decaying oscillatory potentials, such as products of an almost periodic function and a decaying function. We provide sufficient conditions for preservation of absolutely continuous…
We study Schroedinger operators with a random potential of alloy type. The single site potentials are allowed to change sign. For a certain class of them we prove a Wegner estimate. This is a key ingredient in an existence proof of pure…
We prove a unique continuation principle for spectral projections of Schr\" odinger operators. We consider a Schr\" odinger operator $H= -\Delta + V$ on $\mathrm{L}^2(\mathbb{R}^d)$, and let $H_{\Lambda}$ denote its restriction to a finite…
We prove the formula for the traces of certain class of operators in bosonic and fermionic Fock spaces. Vertex operators belong to this class. Traces of vertex operators can be used for calculation of correlation functions and formfactors…
Specification languages are essential in deductive program verification, but they are usually based on first-order logic, hence less expressive than the programs they specify. Recently, trace specification logics with fixed points that are…
As an extension to the paper by Breuer, Grinshpon, and White \cite{B}, we study the linear statistics for the eigenvalues of the Schr\"odinger operator with random decaying potential with order ${\cal O}(x^{-\alpha})$ ($\alpha>0$) at…
In this paper, we prove the existence of the scattering operator for the fractional magnetic Schrodinger operators. For this, we construct the fractional distorted Fourier transforms with magnetic potentials. Applying the properties of the…
An explicit construction is provided for embedding n positive eigenvalues in the spectrum of a Schroedinger operator on the half-line with a Dirichlet boundary condition at the origin. The resulting potential is of von Neumann-Wigner type,…
We prove that there exists a pair of "non-isospectral" 1D semiclassical Schr\"odinger operators whose spectra agree modulo h^\infty. In particular, all their semiclassical trace invariants are the same. Our proof is based on an idea of…
The aim of this paper is to show that various known characterizations of traces on classical pseudodifferentials operators (PsiDOs) can actually be obtained by very elementary considerations on PsiDOs, using only basic properties of these…
We study the one-dimensional Schr\"odinger operators $$ S(q)u:=-u"+q(x)u,\quad u\in \mathrm{Dom}\left(S(q)\right), $$ with $1$-periodic real-valued singular potentials $q(x)\in H_{\operatorname{per}}^{-1}(\mathbb{R},\mathbb{R})$ on the…
The aim of this paper is to provide uniform estimates for the eigenvalue spacings of one-dimensional semiclassical Schr\"odinger operators with singular potentials on the half-line. We introduce a new development of semiclassical measures…
We study the spectral properties of a Schr\"odinger operator, in presence of a confining potential given by the distance squared from a fixed compact potential well. We prove continuity estimates on both the eigenvalues and the eigenstates,…
Positivity, essential self-adjointness, and spectral properties of a class of Schroedinger operators with multipolar inverse-square potentials are discussed. In particular a necessary and sufficient condition on the masses of singularities…
We provide a countable set of conditions based on elementary symmetric polynomials that are necessary and sufficient for a trace class integral operator to be positive semidefinite, which is an important cornerstone for quantum theory in…