• ### Optimization of the lowest eigenvalue for leaky star graphs(1701.06840)

June 27, 2018 quant-ph, math-ph, math.MP, math.SP
We consider the problem of geometric optimization for the lowest eigenvalue of the two-dimensional Schr\"odinger operator with an attractive $\delta$-interaction of a fixed strength, the support of which is a star graph with finitely many edges of an equal length $L \in (0,\infty]$. Under the constraint of fixed number of the edges and fixed length of them, we prove that the lowest eigenvalue is maximized by the fully symmetric star graph. The proof relies on the Birman-Schwinger principle, properties of the Macdonald function, and on a geometric inequality for polygons circumscribed into the unit circle.
• ### Spectral enclosures for non-self-adjoint extensions of symmetric operators(1710.07542)

May 4, 2018 math.SP
The spectral properties of non-self-adjoint extensions $A_{[B]}$ of a symmetric operator in a Hilbert space are studied with the help of ordinary and quasi boundary triples and the corresponding Weyl functions. These extensions are given in terms of abstract boundary conditions involving an (in general non-symmetric) boundary operator $B$. In the abstract part of this paper, sufficient conditions for sectoriality and m-sectoriality as well as sufficient conditions for $A_{[B]}$ to have a non-empty resolvent set are provided in terms of the parameter $B$ and the Weyl function. Special attention is paid to Weyl functions that decay along the negative real line or inside some sector in the complex plane, and spectral enclosures for $A_{[B]}$ are proved in this situation. The abstract results are applied to elliptic differential operators with local and non-local Robin boundary conditions on unbounded domains, to Schr\"odinger operators with $\delta$-potentials of complex strengths supported on unbounded hypersurfaces or infinitely many points on the real line, and to quantum graphs with non-self-adjoint vertex couplings.
• ### The minimally anisotropic metric operator in quasi-Hermitian quantum mechanics(1804.06766)

April 18, 2018 quant-ph, math-ph, math.MP, math.FA, math.SP
We propose a unique way how to choose a new inner product in a Hilbert space with respect to which an originally non-self-adjoint operator similar to a self-adjoint operator becomes self-adjoint. Our construction is based on minimising a 'Hilbert-Schmidt distance' to the original inner product among the entire class of admissible inner products. We prove that either the minimiser exists and is unique, or it does not exist at all. In the former case we derive a system of Euler-Lagrange equations by which the optimal inner product is determined. A sufficient condition for the existence of the unique minimally anisotropic metric is obtained. The abstract results are supplied by examples in which the optimal inner product does not coincide with the most popular choice fixed through a charge-like symmetry.
• ### Spectral isoperimetric inequalities for singular interactions on open arcs(1609.07598)

Jan. 25, 2018 math.AP, math.SP
We consider the problem of geometric optimization for the lowest eigenvalue of the two-dimensional Schr\"odinger operator with an attractive $\delta$-interaction supported on an open arc with two free endpoints. Under a constraint of fixed length of the arc, we prove that the maximizer is a line segment, the respective spectral isoperimetric inequality being strict. We also show that in the optimization problem for the same spectral quantity, but with the constraint of fixed endpoints, the optimizer is the line segment connecting them. As a consequence of the result for $\delta$-interaction, we obtain that a line segment is also the maximizer in the optimization problem for the lowest eigenvalue of the Robin Laplacian on a plane with a slit along an open arc of fixed length.
• ### Asymptotics of the bound state induced by $\delta$-interaction supported on a weakly deformed plane(1703.10854)

Dec. 19, 2017 math.AP, math-ph, math.MP, math.SP
In this paper we consider the three-dimensional Schr\"{o}dinger operator with a $\delta$-interaction of strength $\alpha > 0$ supported on an unbounded surface parametrized by the mapping $\mathbb{R}^2\ni x\mapsto (x,\beta f(x))$, where $\beta \in [0,\infty)$ and $f\colon \mathbb{R}^2\rightarrow\mathbb{R}$, $f\not\equiv 0$, is a $C^2$-smooth, compactly supported function. The surface supporting the interaction can be viewed as a local deformation of the plane. It is known that the essential spectrum of this Schr\"odinger operator coincides with $[-\frac14\alpha^2,+\infty)$. We prove that for all sufficiently small $\beta > 0$ its discrete spectrum is non-empty and consists of a unique simple eigenvalue. Moreover, we obtain an asymptotic expansion of this eigenvalue in the limit $\beta \rightarrow 0+$. In particular, this eigenvalue tends to $-\frac14\alpha^2$ exponentially fast as $\beta\rightarrow 0+$.
• ### Asymptotics of resonances induced by point interactions(1708.03509)

Oct. 13, 2017 quant-ph, math-ph, math.MP
We consider the resonances of the self-adjoint three-dimensional Schr\"odinger operator with point interactions of constant strength supported on the set $X = \{ x_n \}_{n=1}^N$. The size of $X$ is defined by $V_X = \max_{\pi\in\Pi_N} \sum_{n=1}^N |x_n - x_{\pi(n)}|$, where $\Pi_N$ is the family of all the permutations of the set $\{1,2,\dots,N\}$. We prove that the number of resonances counted with multiplicities and lying inside the disc of radius $R$ behaves asymptotically linear $\frac{W_X}{\pi} R + \mathcal{O}(1)$ as $R \to \infty$, where the constant $W_X \in [0,V_X]$ can be seen as the effective size of $X$. Moreover, we show that there exist configurations of any number of points such that $W_X = V_X$. Finally, we construct an example for $N = 4$ with $W_X < V_X$, which can be viewed as an analogue of a quantum graph with non-Weyl asymptotics of resonances.
• ### Optimisation of the lowest Robin eigenvalue in the exterior of a compact set(1608.04896)

Aug. 25, 2017 math.AP, math-ph, math.MP, math.SP, math.OC
We consider the problem of geometric optimisation of the lowest eigenvalue of the Laplacian in the exterior of a compact planar set, subject to attractive Robin boundary conditions. Under either a constraint of fixed perimeter or area, we show that the maximiser within the class of exteriors of convex sets is always the exterior of a disk. We also argue why the results fail without the convexity constraint and in higher dimensions.
• ### Optimisation of the lowest Robin eigenvalue in the exterior of a compact set, II: non-convex domains and higher dimensions(1707.02269)

We consider the problem of geometric optimisation of the lowest eigenvalue of the Laplacian in the exterior of a compact set in any dimension, subject to attractive Robin boundary conditions. As an improvement upon our previous work (arXiv:1608.04896, to appear in J. Convex Anal.), we show that under either a constraint of fixed perimeter or area, the maximiser within the class of exteriors of simply connected planar sets is always the exterior of a disk, without the need of convexity assumption. Moreover, we generalise the result to disconnected compact planar sets. Namely, we prove that under a constraint of fixed average value of the perimeter over all the connected components, the maximiser within the class of disconnected compact planar sets, consisting of finitely many simply connected components, is again a disk. In higher dimensions, we prove a completely new result that the lowest point in the spectrum is maximised by the exterior of a ball among all sets exterior to bounded convex sets satisfying a constraint on the integral of a dimensional power of the mean curvature of their boundaries. Furthermore, it follows that the critical coupling at which the lowest point in the spectrum becomes a discrete eigenvalue emerging from the essential spectrum is minimised under the same constraint by the critical coupling for the exterior of a ball.
• ### Quasi boundary triples and semibounded self-adjoint extensions(1504.03885)

April 26, 2017 math.FA, math.SP
In this note semibounded self-adjoint extensions of symmetric operators are investigated with the help of the abstract notion of quasi boundary triples and their Weyl functions. The main purpose is to provide new sufficient conditions on the parameters in the boundary space to induce self-adjoint realizations, and to relate the decay of the Weyl function to estimates on the lower bound of the spectrum. The abstract results are illustrated with uniformly elliptic second order PDEs on domains with non-compact boundaries.
• ### Spectral analysis of photonic crystals made of thin rods(1701.05107)

Jan. 18, 2017 math.AP, math-ph, math.MP, math.SP
In this paper we address the question how to design photonic crystals that have photonic band gaps around a finite number of given frequencies. In such materials electromagnetic waves with these frequencies can not propagate; this makes them interesting for a large number of applications. We focus on crystals made of periodically ordered thin rods with high contrast dielectric properties. We show that the material parameters can be chosen in such a way that transverse magnetic modes with given frequencies can not propagate in the crystal. At the same time, for any frequency belonging to a predefined range there exists a transverse electric mode that can propagate in the medium. These results are related to the spectral properties of a weighted Laplacian and of an elliptic operator of divergence type both acting in $L^2(\mathbb{R}^2)$. The proofs rely on perturbation theory of linear operators, Floquet-Bloch analysis, and properties of Schroedinger operators with point interactions.
• ### A spectral isoperimetric inequality for cones(1512.01970)

Nov. 1, 2016 math.AP, math-ph, math.MP, math.SP
In this note we investigate three-dimensional Schr\"odinger operators with $\delta$-interactions supported on $C^2$-smooth cones, both finite and infinite. Our main results concern a Faber-Krahn-type inequality for the principal eigenvalue of these operators. The proofs rely on the Birman-Schwinger principle and on the fact that circles are unique minimizers for a class of energy functionals. The main novel idea consists in the way of constructing test functions for the Birman-Schwinger principle.
• ### Spectral and resonance properties of Smilansky Hamiltonian(1610.02868)

Oct. 10, 2016 quant-ph, math-ph, math.MP, math.SP
We analyze the Hamiltonian proposed by Smilansky to describe irreversible dynamics in quantum graphs and studied further by Solomyak and others. We derive a weak-coupling asymptotics of the ground state and add new insights by finding the discrete spectrum numerically. Furthermore, we show that the model has a rich resonance structure.
• ### On resonances and bound states of Smilansky Hamiltonian(1607.00540)

Oct. 10, 2016 math-ph, math.MP, math.SP
We consider the self-adjoint Smilansky Hamiltonian $\mathsf{H}_\varepsilon$ in $L^2(\mathbb{R}^2)$ associated with the formal differential expression $-\partial_x^2 - \frac12\big(\partial_y^2 + y^2) - \sqrt{2}\varepsilon y \delta(x)$ in the sub-critical regime, $\varepsilon \in (0,1)$. We demonstrate the existence of resonances for $\mathsf{H}_\varepsilon$ on a countable subfamily of sheets of the underlying Riemann surface whose distance from the physical sheet is finite. On such sheets, we find resonance free regions and characterise resonances for small $\varepsilon > 0$. In addition, we refine the previously known results on the bound states of $\mathsf{H}_\varepsilon$ in the weak coupling regime ($\varepsilon\rightarrow 0+$). In the proofs we use Birman-Schwinger principle for $\mathsf{H}_\varepsilon$, elements of spectral theory for Jacobi matrices, and the analytic implicit function theorem.
• ### Spectral theory for Schr\"odinger operators with $\delta$-interactions supported on curves in $\mathbb R^3$(1601.06433)

Sept. 29, 2016 math-ph, math.MP, math.SP
The main objective of this paper is to systematically develop a spectral and scattering theory for selfadjoint Schr\"odinger operators with $\delta$-interactions supported on closed curves in $\mathbb R^3$. We provide bounds for the number of negative eigenvalues depending on the geometry of the curve, prove an isoperimetric inequality for the principal eigenvalue, derive Schatten--von Neumann properties for the resolvent difference with the free Laplacian, and establish an explicit representation for the scattering matrix.
• ### Eigenvalue inequalities for the Laplacian with mixed boundary conditions(1609.02890)

Sept. 9, 2016 math.AP, math-ph, math.MP, math.SP
Inequalities for the eigenvalues of the (negative) Laplacian subject to mixed boundary conditions on polyhedral and more general bounded domains are established. The eigenvalues subject to a Dirichlet boundary condition on a part of the boundary and a Neumann boundary condition on the remainder of the boundary are estimated in terms of either Dirichlet or Neumann eigenvalues. The results complement several classical inequalities between Dirichlet and Neumann eigenvalues due to P\'{o}lya, Payne, Levine and Weinberger, Friedlander, and others.
• ### On the spectral properties of Dirac operators with electrostatic $\delta$-shell interactions(1609.00608)

Sept. 2, 2016 math.AP, math.SP
In this paper the spectral properties of Dirac operators $A_\eta$ with electrostatic $\delta$-shell interactions of constant strength $\eta$ supported on compact smooth surfaces in $\mathbb{R}^3$ are studied. Making use of boundary triple techniques a Krein type resolvent formula and a Birman-Schwinger principle are obtained. With the help of these tools some spectral, scattering, and asymptotic properties of $A_\eta$ are investigated. In particular, it turns out that the discrete spectrum of $A_\eta$ inside the gap of the essential spectrum is finite, the difference of the third powers of the resolvents of $A_\eta$ and the free Dirac operator $A_0$ is trace class, and in the nonrelativistic limit $A_\eta$ converges in the norm resolvent sense to a Schr\"odinger operator with an electric $\delta$-potential of strength $\eta$.
• ### Spectral transitions for Aharonov-Bohm Laplacians on conical layers(1607.02454)

We consider the Laplace operator in a tubular neighbourhood of a conical surface of revolution, subject to an Aharonov-Bohm magnetic field supported on the axis of symmetry and Dirichlet boundary conditions on the boundary of the domain. We show that there exists a critical total magnetic flux depending on the aperture of the conical surface for which the system undergoes an abrupt spectral transition from infinitely many eigenvalues below the essential spectrum to an empty discrete spectrum. For the critical flux we establish a Hardy-type inequality. In the regime with infinite discrete spectrum we obtain sharp spectral asymptotics with refined estimate of the remainder and investigate the dependence of the eigenvalues on the aperture of the surface and the flux of the magnetic field.
• ### On absence of bound states for weakly attractive $\delta^\prime$-interactions supported on non-closed curves in $\mathbb{R}^2$(1508.04577)

March 11, 2016 math-ph, math.MP, math.SP
Let $\Lambda\subset\mathbb{R}^2$ be a non-closed piecewise-$C^1$ curve, which is either bounded with two free endpoints or unbounded with one free endpoint. Let $u_\pm|_\Lambda \in L^2(\Lambda)$ be the traces of a function $u$ in the Sobolev space $H^1({\mathbb R}^2\setminus \Lambda)$ onto two faces of $\Lambda$. We prove that for a wide class of shapes of $\Lambda$ the Schr\"odinger operator $\mathsf{H}_\omega^\Lambda$ with $\delta^\prime$-interaction supported on $\Lambda$ of strength $\omega \in L^\infty(\Lambda;\mathbb{R})$ associated with the quadratic form $H^1(\mathbb{R}^2\setminus\Lambda)\ni u \mapsto \int_{\mathbb{R}^2}\big|\nabla u \big|^2 \mathsf{d} x - \int_\Lambda \omega \big| u_+|_\Lambda - u_-|_\Lambda \big|^2 \mathsf{d} s$ has no negative spectrum provided that $\omega$ is pointwise majorized by a strictly positive function explicitly expressed in terms of $\Lambda$. If, additionally, the domain $\mathbb{R}^2\setminus\Lambda$ is quasi-conical, we show that $\sigma(\mathsf{H}_\omega^\Lambda) = [0,+\infty)$. For a bounded curve $\Lambda$ in our class and non-varying interaction strength $\omega\in\mathbb{R}$ we derive existence of a constant $\omega_* > 0$ such that $\sigma(\mathsf{H}_\omega^\Lambda) = [0,+\infty)$ for all $\omega \in (-\infty, \omega_*]$; informally speaking, bound states are absent in the weak coupling regime.
• ### Spectra of definite type in waveguide models(1602.08883)

Feb. 29, 2016 math-ph, math.MP, math.FA, math.SP
We develop an abstract method to identify spectral points of definite type in the spectrum of the operator $T_1\otimes I_2 + I_1\otimes T_2$. The method is applicable in particular for non-self-adjoint waveguide type operators with symmetries. Using the remarkable properties of the spectral points of definite type, we obtain new results on realness of weakly coupled bound states and of low lying essential spectrum in the $\mathcal{P}\mathcal{T}$-symmetric waveguide. Moreover, we show that the pseudospectrum has a normal tame behavior near the low lying essential spectrum and exclude the accumulation of non-real eigenvalues to this part of the essential spectrum. The advantage of our approach is particularly visible when the resolvent of the unperturbed operator cannot be explicitly expressed and most of the mentioned spectral conclusions are extremely hard to prove using direct methods.
• ### Approximation of Schr\"odinger operators with $\delta$-interactions supported on hypersurfaces(1512.08658)

Dec. 29, 2015 math.AP, math-ph, math.MP, math.SP
We show that a Schr\"odinger operator $A_{\delta, \alpha}$ with a $\delta$-interaction of strength $\alpha$ supported on a bounded or unbounded $C^2$-hypersurface $\Sigma \subset \mathbb{R}^d$, $d\ge 2$, can be approximated in the norm resolvent sense by a family of Hamiltonians with suitably scaled regular potentials. The differential operator $A_{\delta, \alpha}$ with a singular interaction is regarded as a self-adjoint realization of the formal differential expression $-\Delta - \alpha \langle \delta_{\Sigma}, \cdot \rangle \delta_{\Sigma}$, where $\alpha\colon\Sigma\rightarrow \mathbb{R}$ is an arbitrary bounded measurable function. We discuss also some spectral consequences of this approximation result.
• ### Trace formulae for Schr\"odinger operators with singular interactions(1512.06551)

Dec. 21, 2015 math.AP, math-ph, math.MP, math.SP
Let $\Sigma\subset\mathbb{R}^d$ be a $C^\infty$-smooth closed compact hypersurface, which splits the Euclidean space $\mathbb{R}^d$ into two domains $\Omega_\pm$. In this note self-adjoint Schr\"odinger operators with $\delta$ and $\delta'$-interactions supported on $\Sigma$ are studied. For large enough $m\in\mathbb{N}$ the difference of $m$th powers of resolvents of such a Schr\"odinger operator and the free Laplacian is known to belong to the trace class. We prove trace formulae, in which the trace of the resolvent power difference in $L^2(\mathbb{R}^d)$ is written in terms of Neumann-to-Dirichlet maps on the boundary space $L^2(\Sigma)$.
• ### On the Bound States of Schr\"odinger Operators with $\delta$-interactions on Conical Surfaces(1510.05623)

Oct. 19, 2015 math.SP
In dimension greater than or equal to three, we investigate the spectrum of a Schr{\"o}dinger operator with a $\delta$-interaction supported on a cone whose cross section is the sphere of co-dimension two. After decomposing into fibers, we prove that there is discrete spectrum only in dimension three and that it is generated by the axisymmetric fiber. We get that these eigenvalues are non-decreasing functions of the aperture of the cone and we exhibit the precise logarithmic accumulation of the discrete spectrum below the threshold of the essential spectrum.
• ### Spectral asymptotics for resolvent differences of elliptic operators with $\delta$ and $\delta^\prime$-interactions on hypersurfaces(1404.2791)

April 22, 2015 math.AP, math-ph, math.MP, math.SP
We consider self-adjoint realizations of a second-order elliptic differential expression on ${\mathbb R}^n$ with singular interactions of $\delta$ and $\delta^\prime$-type supported on a compact closed smooth hypersurface in ${\mathbb R}^n$. In our main results we prove spectral asymptotics formulae with refined remainder estimates for the singular values of the resolvent difference between the standard self-adjoint realizations and the operators with a $\delta$ and $\delta^\prime$-interaction, respectively. Our technique makes use of general pseudodifferential methods, classical results on spectral asymptotics of $\psi$do's on closed manifolds and Krein-type resolvent formulae.
• ### An eigenvalue inequality for Schr\"odinger operators with $\delta$ and $\delta'$-interactions supported on hypersurfaces(1407.5539)

July 21, 2014 math.AP, math-ph, math.MP, math.SP
We consider self-adjoint Schr\"odinger operators in $L^2 (\mathbb{R}^d)$ with a $\delta$-interaction of strength $\alpha$ and a $\delta'$-interaction of strength $\beta$, respectively, supported on a hypersurface, where $\alpha$ and $\beta^{-1}$ are bounded, real-valued functions. It is known that the inequality $0 < \beta \leq 4/\alpha$ implies inequality of the eigenvalues of these two operators below the bottoms of the essential spectra. We show that this eigenvalue inequality is strict whenever $\beta < 4 / \alpha$ on a nonempty, open subset of the hypersurface. Moreover, we point out special geometries of the interaction support, such as broken lines or infinite cones, for which strict inequality of the eigenvalues even holds in the borderline case $\beta = 4 / \alpha$.
• ### Spectral analysis of the half-line Kronig-Penney model with Wigner-von Neumann perturbations(1112.4717)

June 20, 2014 math-ph, math.MP, math.SP
The spectrum of the self-adjoint Schr\"odinger operator associated with the Kronig-Penney model on the half-line has a band-gap structure: its absolutely continuous spectrum consists of intervals (bands) separated by gaps. We show that if one changes strengths of interactions or locations of interaction centers by adding an oscillating and slowly decaying sequence which resembles the classical Wigner-von Neumann potential, then this structure of the absolutely continuous spectrum is preserved. At the same time in each spectral band precisely two critical points appear. At these points "instable" embedded eigenvalues may exist. We obtain locations of the critical points and discuss for each of them the possibility of an embedded eigenvalue to appear. We also show that the spectrum in gaps remains discrete.