• ### Averaging of nonlinear Schr\"odinger equations with strong magnetic confinement(1611.01574)

Dec. 15, 2018 math.AP, math-ph, math.MP
We consider the dynamics of nonlinear Schr\"odinger equations with strong constant magnetic fields. In an asymptotic scaling limit the system exhibits a purely magnetic confinement, based on the spectral properties of the Landau Hamiltonian. Using an averaging technique we derive an associated effective description via an averaged model of nonlinear Schr\"odinger type. In a special case this also yields a derivation of the LLL equation.
• ### Extremizers for the Airy-Strichartz inequality(1712.04156)

May 2, 2018 math.AP, math.CA
We identify the compactness threshold for optimizing sequences of the Airy-- Strichartz inequality as an explicit multiple of the sharp constant in the Strichartz inequality. In particular, if the sharp constant in the Airy--Strichartz inequality is strictly smaller than this multiple of the sharp constant in the Strichartz inequality, then there is an optimizer for the former inequality. Our result is valid for the full range of Airy--Strichartz inequalities (except the endpoints) both in the diagonal and off-diagonal cases.
• ### Minimizers for the fractional Sobolev inequality on domains(1707.00131)

July 1, 2017 math.AP, math.FA
We consider a version of the fractional Sobolev inequality in domains and study whether the best constant in this inequality is attained. For the half-space and a large class of bounded domains we show that a minimizer exists, which is in contrast to the classical Sobolev inequalities in domains.
• ### Norms of quantum Gaussian multi-mode channels(1704.08720)

June 19, 2017 quant-ph, math-ph, math.MP
We compute the $\mathcal S^p \to \mathcal S^p$ norm of a general Gaussian gauge-covariant multi-mode channel for any $1\leq p<\infty$, where $\mathcal S^p$ is a Schatten space. As a consequence, we verify the Gaussian optimizer conjecture and the multiplicativity conjecture in these cases.
• ### A liquid-solid' phase transition in a simple model for swarming, based on the no flat-spots' theorem for subharmonic functions(1607.07971)

June 19, 2017 math.AP, math-ph, math.MP
We consider a non-local shape optimization problem, which is motivated by a simple model for swarming and other self-assembly/aggregation models, and prove the existence of different phases. A technical key ingredient, which we establish, is that a strictly subharmonic function cannot be constant on a set of positive measure.
• ### The BCS critical temperature in a weak homogeneous magnetic field(1706.05686)

We show that, within a linear approximation of BCS theory, a weak homogeneous magnetic field lowers the critical temperature by an explicit constant times the field strength, up to higher order terms. This provides a rigorous derivation and generalization of results obtained in the physics literature from WHH theory of the upper critical magnetic field. A new ingredient in our proof is a rigorous phase approximation to control the effects of the magnetic field.
• ### The ionization conjecture in Thomas-Fermi-Dirac-von Weizs\"acker theory(1606.07355)

March 27, 2017 math.AP, math-ph, math.MP
We prove that in Thomas-Fermi-Dirac-von Weizs\"acker theory, a nucleus of charge $Z>0$ can bind at most $Z+C$ electrons, where $C$ is a universal constant. This result is obtained through a comparison with Thomas-Fermi theory which, as a by-product, gives bounds on the screened nuclear potential and the radius of the minimizer. A key ingredient of the proof is a novel technique to control the particles in the exterior region, which also applies to the liquid drop model with a nuclear background potential.
• ### Endpoint resolvent estimates for compact Riemannian manifolds(1611.00462)

Nov. 2, 2016 math.AP, math.CA, math.SP
We prove $L^p\to L^{p'}$ bounds for the resolvent of the Laplace-Beltrami operator on a compact Riemannian manifold of dimension $n$ in the endpoint case $p=2(n+1)/(n+3)$. It has the same behavior with respect to the spectral parameter $z$ as its Euclidean analogue, due to Kenig-Ruiz-Sogge, provided a parabolic neighborhood of the positive half-line is removed. This is region is optimal, for instance, in the case of a sphere.
• ### 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.
• ### The Stein-Tomas inequality in trace ideals(1609.08388)

Sept. 27, 2016 math.AP, math.CA, math.FA
The goal of this review is to explain some recent results regarding generalizations of the Stein-Tomas (and Strichartz) inequalities to the context of trace ideals (Schatten spaces).
• ### Spectral cluster bounds for orthonormal systems and oscillatory integral operators in Schatten spaces(1608.08299)

Aug. 30, 2016 math.AP, math.CA, math.SP
We generalize the $L^p$ spectral cluster bounds of Sogge for the Laplace-Beltrami operator on compact Riemannian manifolds to systems of orthonormal functions. The optimality of these new bounds is also discussed. These spectral cluster bounds follow from Schatten-type bounds on oscillatory integral operators.
• ### The maximal excess charge in M\"uller density-matrix-functional theory(1608.05625)

Aug. 19, 2016 math.AP, math-ph, math.MP
We consider an atom described by M\"uller theory, which is similar to Hartree-Fock theory, but with a modified exchange term. We prove that a nucleus of charge Z can bind at most Z+C electrons, where C is a universal constant. Our proof proceeds by comparison with Thomas-Fermi theory and a key ingredient is a novel bound on the number of electrons far from the nucleus.
• ### Condensation of fermion pairs in a domain(1608.01088)

We consider a gas of fermions at zero temperature and low density, interacting via a microscopic two body potential which admits a bound state. The particles are confined to a domain with Dirichlet (i.e. zero) boundary conditions. Starting from the microscopic BCS theory, we derive an effective macroscopic Gross-Pitaevskii (GP) theory describing the condensate of fermion pairs. The GP theory also has Dirichlet boundary conditions. Along the way, we prove that the GP energy, defined with Dirichlet boundary conditions on a bounded Lipschitz domain, is continuous under interior and exterior approximations of that domain.
• ### Incompatibility of time-dependent Bogoliubov--de-Gennes and Ginzburg--Landau equations(1504.05885)

We study the time-dependent Bogoliubov--de-Gennes equations for generic translation-invariant fermionic many-body systems. For initial states that are close to thermal equilibrium states at temperatures near the critical temperature, we show that the magnitude of the order parameter stays approximately constant in time and, in particular, does not follow a time-dependent Ginzburg--Landau equation, which is often employed as a phenomenological description and predicts a decay of the order parameter in time. The full non-linear structure of the equations is necessary to understand this behavior.
• ### Nonexistence of large nuclei in the liquid drop model(1604.03231)

April 14, 2016 math.AP, math-ph, math.MP
We give a simplified proof of the nonexistence of large nuclei in the liquid drop model and provide an explicit bound. Our bound is within a factor of 2.3 of the conjectured value and seems to be the first quantitative result.
• ### Eigenvalue bounds for the fractional Laplacian: A review(1603.09736)

March 31, 2016 math.AP, math-ph, math.MP, math.SP
We review some recent results on eigenvalues of fractional Laplacians and fractional Schr\"odinger operators. We discuss, in particular, Lieb-Thirring inequalities and their generalizations, as well as semi-classical asymptotics.
• ### Maximizers for the Stein-Tomas inequality(1603.07658)

March 23, 2016 math.AP, math.CA, math.FA
We give a necessary and sufficient condition for the precompactness of all optimizing sequences for the Stein-Tomas inequality. In particular, if a well-known conjecture about the optimal constant in the Strichartz inequality is true, we obtain the existence of an optimizer in the Stein-Tomas inequality. Our result is valid in any dimension.
• ### Multi-component Ginzburg-Landau theory: microscopic derivation and examples(1504.07306)

This paper consists of three parts. In part I, we microscopically derive Ginzburg--Landau (GL) theory from BCS theory for translation-invariant systems in which multiple types of superconductivity may coexist. Our motivation are unconventional superconductors. We allow the ground state of the effective gap operator $K_{T_c}+V$ to be $n$-fold degenerate and the resulting GL theory then couples $n$ order parameters. In part II, we study examples of multi-component GL theories which arise from an isotropic BCS theory. We study the cases of (a) pure $d$-wave order parameters and (b) mixed $(s+d)$-wave order parameters, in two and three dimensions. In part III, we present explicit choices of spherically symmetric interactions $V$ which produce the examples in part II. In fact, we find interactions $V$ which produce ground state sectors of $K_{T_c}+V$ of arbitrary angular momentum, for open sets of of parameter values. This is in stark contrast with Schr\"odinger operators $-\nabla^2+V$, for which the ground state is always non-degenerate. Along the way, we prove the following fact about Bessel functions: At its first maximum, a half-integer Bessel function is strictly larger than all other half-integer Bessel functions.
• ### On the number of eigenvalues of Schr\"odinger operators with complex potentials(1601.03122)

Jan. 13, 2016 math-ph, math.MP, math.SP
We study the eigenvalues of Schr\"odinger operators with complex potentials in odd space dimensions. We obtain bounds on the total number of eigenvalues in the case where $V$ decays exponentially at infinity.
• ### Eigenvalues of Schr\"odinger operators with complex surface potentials(1512.09067)

Dec. 30, 2015 math-ph, math.MP, math.SP
We consider Schr\"odinger operators in $\mathbb R^d$ with complex potentials supported on a hyperplane and show that all eigenvalues lie in a disk in the complex plane with radius bounded in terms of the $L^p$ norm of the potential with $d-1<p\leq d$. We also prove bounds on sums of powers of eigenvalues.
• ### Eigenvalue bounds for Schr\"odinger operators with complex potentials. III(1510.03411)

Oct. 12, 2015 math-ph, math.MP, math.SP
We discuss the eigenvalues $E_j$ of Schr\"odinger operators $-\Delta+V$ in $L^2(\mathbb R^d)$ with complex potentials $V\in L^p$, $p<\infty$. We show that (A) $\mathrm{Re} E_j\to\infty$ implies $\mathrm{Im} E_j\to 0$, and (B) $\mathrm{Re} E_j\to E\in [0,\infty)$ implies $(\mathrm{Im} E_j)\in\ell^q$ for some $q$ depending on $p$. We prove quantitative versions of (A) and (B) in terms of the $L^p$-norm of $V$.
• ### Microscopic Derivation of the Ginzburg-Landau Model(1209.1080)

We present a summary of our recent rigorous derivation of the celebrated Ginzburg-Landau (GL) theory, starting from the microscopic Bardeen-Cooper-Schrieffer (BCS) model. Close to the critical temperature, GL arises as an effective theory on the macroscopic scale. The relevant scaling limit is semiclassical in nature, and semiclassical analysis, with minimal regularity assumptions, plays an important part in our proof.
• ### Some Operator and Trace Function Convexity Theorems(1409.0564)

July 14, 2015 quant-ph, math-ph, math.MP
We consider convex trace functions $\Phi_{p,q,s} = Trace[ (A^{q/2}B^p A^{q/2})^s]$ where $A$ and $B$ are positive $n\times n$ matrices and ask when these functions are convex or concave. We also consider operator convexity/concavity of $A^{q/2}B^p A^{q/2}$ and convexity/concavity of the closely related trace functional $Trace[ A^{q/2}B^p A^{q/2} C^r]$. For concavity, these questions are completely settled, thereby settling cases left open by Hiai, while the convexity questions are settled in many cases. As a consequence, the Audenaert-Datta R\'enyi entropy conjectures are proved for some cases.
• ### Eigenvalue bounds for Schr\"odinger operators with complex potentials. II(1504.01144)

June 17, 2015 math-ph, math.MP, math.SP
Laptev and Safronov conjectured that any non-positive eigenvalue of a Schr\"odinger operator $-\Delta+V$ in $L^2(\mathbb R^\nu)$ with complex potential has absolute value at most a constant times $\|V\|_{\gamma+\nu/2}^{(\gamma+\nu/2)/\gamma}$ for $0<\gamma\leq\nu/2$ in dimension $\nu\geq 2$. We prove this conjecture for radial potentials if $0<\gamma<\nu/2$ and we `almost disprove' it for general potentials if $1/2<\gamma<\nu/2$. In addition, we prove various bounds that hold, in particular, for positive eigenvalues.
• ### Derivation of an effective evolution equation for a strongly coupled polaron(1505.03059)

May 12, 2015 math.AP, math-ph, math.MP
Fr\"{o}hlich's polaron Hamiltonian describes an electron coupled to the quantized phonon field of an ionic crystal. We show that in the strong coupling limit the dynamics of the polaron is approximated by an effective non-linear partial differential equation due to Landau and Pekar, in which the phonon field is treated as a classical field.