- Cheeger inequalities bound the spectral gap $\gamma$ of a space by isoperimetric properties of that space and vice versa. In this paper, I derive Cheeger-type inequalities for nonpositive matrices (aka stoquastic Hamiltonians), real matrices, and Hermitian matrices. For matrices written $H = L+W$, where $L$ is either a combinatorial or normalized graph Laplacian, each bound holds independently of any information about $W$ other than its class and the weighted Cheeger constant induced by its ground-state. I show that independently of $\lVert W \rVert$: (1) when $W$ is diagonal and $L$ has maximum degree $d_{\max}$, $2h \geq \gamma \geq \sqrt{h^2 + d_{\max}^2}-d_\max$; (2) when $W$ is real, we can route negative weighted edges along positive weighted edges such that the Cheeger constant of the resulting graph obeys an inequality similar to that above; and (3) when $W$ is Hermitian, the weighted Cheeger constant obeys $2h \geq \gamma$. The weighted Cheeger constant reduces bounds on $\gamma$ to information contained in the underlying graph and the Hamiltonian's ground-state. If efficiently computable, the constant opens up a very clear path towards adaptive quantum adiabatic algorithms, those that adjust the adiabatic path based on spectral structure. I sketch a bashful adiabatic algorithm that aborts the adiabatic process early, uses the resulting state to approximate the weighted Cheeger constant, and restarts the process using the updated information. Should this approach work, it would provide more rigorous foundations for adiabatic quantum computing without a priori knowledge of the spectral gap.
- We study the spectrum of the Dirichlet Laplacian on an unbounded twisted tube with twisting velocity exploding to infinity. If the tube cross section does not intersect the axis of rotation, then its spectrum is purely discrete under some additional conditions on the twisting velocity (D.Krejcirik, 2015). In the current work we prove a Berezin type upper bound for the eigenvalue moments.
- Apr 20 2018 math.SP arXiv:1804.07164v1We consider a Sturm-Liouville operator on a finite interval as well as a scattering problem on the real line both with transfer conditions at the origin. On a finite interval we show that the the Titchmarsh-Weyl $m$-function can be uniquely determined from two spectra for the same equation but with varied boundary conditions at one end of the interval. In addition, we prove that the $m$-function can also be uniquely reconstructed from one spectrum and the corresponding norming constants. For the scattering problem on the real line we assume that the potential has compact essential support. For a given symmetric finite intervals containing the essential-support of the potential and a pair of separated boundary conditions imposed at the ends of the interval, the spectrum and corresponding norming constants can be uniquely recoverable from the scattering data on $\R$. Consequently the potential and transfer matrix can be determined.
- Apr 20 2018 math.SP arXiv:1804.07149v1We consider a Sturm-Liouville equation $\ell y:=-y'' + qy = \lambda y$ on the intervals $(-a,0)$ and $(0,b)$ with $a,b>0$ and $q \in L^2(-a,b)$. We impose boundary conditions $y(-a)\cos\alpha = y'(-a)\sin\alpha$, $y(b)\cos\beta = y'(b)\sin\beta$, where $\alpha \in [0,\pi)$ and $\beta \in (0,\pi]$, together with transmission conditions rationally-dependent on the eigenparameter via \beginalign* -y(0^+)\left(\lambda \eta -\xi-∑\limits_i=1^N \fracb_i^2\lambda -c_i\right) &= y'(0^+) - y'(0^-),\{y'(0^-)\left(\lambda \kappa +\zeta-∑\limits_j=1^M\fraca_j^2\lambda -d_j\right) &= y(0^+) - y(0^-), \endalign* with $b_i, a_j>0$ for $i=1,\dots,N,$ and $j=1,\dots,M$. Here we take $\eta, \kappa \ge 0$ and $N,M\in \N_0$. The geometric multiplicity of the eigenvalues is considered and the cases in which the multiplicity can be $2$ are characterized. An example is given to illustrate the cases. A Hilbert space formulation of the above eigenvalue problem as a self-adjoint operator eigenvalue problem in $L^2(-a,b)\bigoplus \C^{N^*} \bigoplus \C^{M^*}$, for suitable $N^*,M^*$, is given. The Green's function and the resolvent of the related Hilbert space operator are expressed explicitly.
- Apr 20 2018 math.SP arXiv:1804.06887v1After recalling a fundamental identity relating traces and modified Fredholm determinants, we apply it to a class of half-line Schrödinger operators $(- d^2/dx^2) + q$ on $(0,\infty)$ with purely discrete spectra. Roughly speaking, the class considered is generated by potentials $q$ that, for some fixed $C_0 > 0$, $\varepsilon > 0$, $x_0 \in (0, \infty)$, diverge at infinity in the manner that $q(x) \geq C_0 x^{(2/3) + \varepsilon_0}$ for all $x \geq x_0$. We treat all self-adjoint boundary conditions at the left endpoint $0$.