• ### Persistence of translational symmetry in the BCS model with radial pair interaction(1612.03303)

We consider the two-dimensional BCS functional with a radial pair interaction. We show that the translational symmetry is not broken in a certain temperature interval below the critical temperature. In the case of vanishing angular momentum our results carry over to the three-dimensional case.
• ### 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.
• ### Note on a Family of Monotone Quantum Relative Entropies(1502.07205)

Dec. 18, 2016 math-ph, math.MP, math.FA
Given a convex function $\varphi$ and two hermitian matrices $A$ and $B$, Lewin and Sabin study in [M. Lewin, J. Sabin, {\it A Family of Monotone Quantum Relative Entropies}, Lett. Math. Phys. \textbf{104} (2014), 691-705.] the relative entropy defined by $\mathcal{H}(A,B)=\text{Tr} [ \varphi(A) - \varphi(B) - \varphi'(B)(A-B) ]$. Amongst other things, they prove that the so-defined quantity is monotone if and only if $\varphi'$ is operator monotone. The monotonicity is then used to properly define $\mathcal{H}(A,B)$ for self-adjoint bounded operators acting on an infinite-dimensional Hilbert space by a limiting procedure. More precisely, for an increasing sequence of finite-dimensional projections $\lbrace P_n \rbrace_{n=1}^{\infty}$ with $P_n \to 1$ strongly, the limit $\lim_{n \to \infty} \mathcal{H}(P_n A P_n, P_n B P_n)$ is shown to exist and to be independent of the sequence of projections $\lbrace P_n \rbrace_{n=1}^{\infty}$. The question whether this sequence converges to its "obvious" limit, namely $\text{Tr} [ \varphi(A)- \varphi(B) - \varphi'(B)(A-B) ]$, has been left open. We answer this question in principle affirmatively and show that $\lim_{n \to \infty} \mathcal{H}(P_n A P_n, P_n B P_n) = \text{Tr}[ \varphi(A) - \varphi(B) - \frac{\text{d}}{\text{d} \alpha} \varphi( \alpha A + (1-\alpha)B )|_{\alpha = 0} ]$. If the operators $A$ and $B$ are regular enough, that is $(A-B)$, $\varphi(A)-\varphi(B)$ and $\varphi'(B)(A-B)$ are trace-class, the identity $\text{Tr}[ \varphi(A) - \varphi(B) - \frac{\text{d}}{\text{d} \alpha} \varphi( \alpha A + (1-\alpha)B )|_{\alpha = 0} ] = \text{Tr} [ \varphi(A)- \varphi(B) - \varphi'(B)(A-B) ]$ holds.
• ### Comparing the full time-dependent Bogoliubov--de-Gennes equations to their linear approximation: A numerical investigation(1504.05881)

In this paper we report on the results of a numerical study of the nonlinear time-dependent Bardeen--Cooper--Schrieffer (BCS) equations, often also denoted as Bogoliubov--de--Gennes (BdG) equations, for a one-dimensional system of fermions with contact interaction. We show that, even above the critical temperature, the full equations and their linear approximation give rise to completely different evolutions. In contrast to its linearization, the full nonlinear equation does not show any diffusive behavior in the order parameter. This means that the order parameter does not follow a Ginzburg--Landau-type of equation, in accordance with a recent theoretical results. We include a full description on the numerical implementation of the partial differential BCS\ BdG equations.
• ### 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.
• ### Bogolubov-Hartree-Fock theory for strongly interacting fermions in the low density limit(1511.08047)

We consider the Bogolubov-Hartree-Fock functional for a fermionic many-body system with two-body interactions. For suitable interaction potentials that have a strong enough attractive tail in order to allow for two-body bound states, but are otherwise sufficiently repulsive to guarantee stability of the system, we show that in the low-density limit the ground state of this model consists of a Bose-Einstein condensate of fermion pairs. The latter can be described by means of the Gross-Pitaevskii energy functional.
• ### The BCS functional of superconductivity and its mathematical properties(1511.01995)

We review recent results concerning the mathematical properties of the Bardeen-Cooper-Schrieffer (BCS) functional of superconductivity, which were obtained in a series of papers partly in collaboration with R. Frank, E. Hamza, S. Naboko, and J.P. Solovej. Our discussion includes, in particular, an investigation of the critical temperature for a general class of interaction potentials, as well as a study of its dependence on external fields. We shall explain how the Ginzburg-Landau model can be derived from the BCS theory in a suitable parameter regime.
• ### 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.
• ### The external field dependence of the BCS critical temperature(1410.2352)

We consider the Bardeen-Cooper-Schrieffer free energy functional for particles interacting via a two-body potential on a microscopic scale and in the presence of weak external fields varying on a macroscopic scale. We study the influence of the external fields on the critical temperature. We show that in the limit where the ratio between the microscopic and macroscopic scale tends to zero, the next to leading order of the critical temperature is determined by the lowest eigenvalue of the linearization of the Ginzburg-Landau equation.
• ### A Spatially Homogeneous and Isotropic Einstein-Dirac Cosmology(1101.1872)

April 22, 2014 math-ph, math.MP
We consider a spatially homogeneous and isotropic cosmological model where Dirac spinors are coupled to classical gravity. For the Dirac spinors we choose a Hartree-Fock ansatz where all one-particle wave functions are coherent and have the same momentum. If the scale function is large, the universe behaves like the classical Friedmann dust solution. If however the scale function is small, quantum effects lead to oscillations of the energy-momentum tensor. It is shown numerically and proven analytically that these quantum oscillations can prevent the formation of a big bang or big crunch singularity. The energy conditions are analyzed. We prove the existence of time-periodic solutions which go through an infinite number of expansion and contraction cycles.
• ### On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti(1311.2136)

March 27, 2014 math.AP, math-ph, math.MP
We prove the existence of scattering states for the defocusing cubic Gross-Pitaevskii (GP) hierarchy in ${\mathbb R}^3$. Moreover, we show that an energy growth condition commonly used in the well-posedness theory of the GP hierarchy is, in a specific sense, necessary. In fact, we prove that without the latter, there exist initial data for the focusing cubic GP hierarchy for which instantaneous blowup occurs.
• ### On the BCS gap equation for superfluid fermionic gases(1403.2563)

We present a rigorous derivation of the BCS gap equation for superfluid fermionic gases with point interactions. Our starting point is the BCS energy functional, whose minimizer we investigate in the limit when the range of the interaction potential goes to zero.
• ### Unconditional uniqueness for the cubic Gross-Pitaevskii hierarchy via quantum de Finetti(1307.3168)

Feb. 21, 2014 math.AP, math-ph, math.MP
We present a new, simpler proof of the unconditional uniqueness of solutions to the cubic Gross-Pitaevskii hierarchy in $\R^3$. One of the main tools in our analysis is the quantum de Finetti theorem. Our uniqueness result is equivalent to the one established in the celebrated works of Erd\"os, Schlein and Yau, \cite{esy1,esy2,esy3,esy4}.
• ### Translation-invariant quasi-free states for fermionic systems and the BCS approximation(1305.5135)

We study translation-invariant quasi-free states for a system of fermions with two-particle interactions. The associated energy functional is similar to the BCS functional but includes also direct and exchange energies. We show that for suitable short-range interactions, these latter terms only lead to a renormalization of the chemical potential, with the usual properties of the BCS functional left unchanged. Our analysis thus represents a rigorous justification of part of the BCS approximation. We give bounds on the critical temperature below which the system displays superfluidity.
• ### On contact interactions as limits of short-range potentials(1305.3805)

May 16, 2013 math-ph, math.MP, math.FA, math.SP
We reconsider the norm resolvent limit of $-\Delta + V_\ell$ with $V_\ell$ tending to a point interaction in three dimensions. We are mainly interested in potentials $V_\ell$ modelling short range interactions of cold atomic gases. In order to ensure stability the interaction $V_\ell$ is required to have a strong repulsive core, such that $\lim_{\ell \to 0} \int V_\ell >0$. This situation is not covered in the previous literature.
• ### Construction of the Pauli-Villars-regulated Dirac vacuum in electromagnetic fields(1204.2893)

Dec. 11, 2012 math-ph, math.MP
Using the Pauli-Villars regularization and arguments from convex analysis, we construct solutions to the classical time-independent Maxwell equations in Dirac's vacuum, in the presence of small external electromagnetic sources. The vacuum is not an empty space, but rather a quantum fluctuating medium which behaves as a nonlinear polarizable material. Its behavior is described by a Dirac equation involving infinitely many particles. The quantum corrections to the usual Maxwell equations are nonlinear and nonlocal. Even if photons are described by a purely classical electromagnetic field, the resulting vacuum polarization coincides to first order with that of full Quantum Electrodynamics.
• ### Two Hartree-Fock models for the vacuum polarization(1209.6338)

Sept. 27, 2012 math-ph, math.MP
We review recent results about the derivation and the analysis of two Hartree-Fock-type models for the polarization of vacuum. We pay particular attention to the variational construction of a self-consistent polarized vacuum, and to the physical agreement between our non-perturbative construction and the perturbative description provided by Quantum Electrodynamics.
• ### Ground state properties of graphene in Hartree-Fock theory(1203.5016)

We study the Hartree-Fock approximation of graphene in infinite volume, with instantaneous Coulomb interactions. First we construct its translation-invariant ground state and we recover the well-known fact that, due to the exchange term, the effective Fermi velocity is logarithmically divergent at zero momentum. In a second step we prove the existence of a ground state in the presence of local defects and we discuss some properties of the linear response to an external electric field. All our results are non perturbative.
• ### Dynamics of Bose-Einstein condensates of fermion pairs in the low density limit of BCS theory(1203.2811)

March 13, 2012 math.AP, math-ph, math.MP
We show that the time-evolution of the wave function describing the macroscopic variations of the pair density in BCS theory can be approximated, in the dilute limit, by a time-dependent Gross-Pitaevskii equation.
• ### The BCS gap equation for spin-polarized fermions(1107.0405)

We study the BCS gap equation for a Fermi gas with unequal population of spin-up and spin-down states. For $\cosh(\delta_\mu/T) \leq 2$, with $T$ the temperature and $\delta_\mu$ the chemical potential difference, the question of existence of non-trivial solutions can be reduced to spectral properties of a linear operator, similar to the unpolarized case studied previously in \cite{FHNS,HHSS,HS}. For $\cosh(\delta_\mu/T) > 2$ the phase diagram is more complicated, however. We derive upper and lower bounds for the critical temperature, and study their behavior in the small coupling limit.
• ### Low Density Limit of BCS Theory and Bose-Einstein Condensation of Fermion Pairs(1105.1100)

We consider the low density limit of a Fermi gas in the BCS approximation. We show that if the interaction potential allows for a two-particle bound state, the system at zero temperature is well approximated by the Gross-Pitaevskii functional, describing a Bose-Einstein condensate of fermion pairs.
• ### Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction(1103.1866)

In a recent paper we give the first rigorous derivation of the celebrated Ginzburg-Landau (GL) theory, starting from the microscopic Bardeen-Cooper-Schrieffer (BCS) model. Here we present our results in the simplified case of a one-dimensional system of particles interacting via a delta-potential.
• ### Microscopic Derivation of Ginzburg-Landau Theory(1102.4001)

We give the first 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.
• ### Quantum Oscillations Can Prevent the Big Bang Singularity in an Einstein-Dirac Cosmology(0809.1693)

Jan. 10, 2011 math-ph, math.MP, gr-qc
We consider a spatially homogeneous and isotropic system of Dirac particles coupled to classical gravity. The dust and radiation dominated closed Friedmann-Robertson-Walker space-times are recovered as limiting cases. We find a mechanism where quantum oscillations of the Dirac wave functions can prevent the formation of the big bang or big crunch singularity. Thus before the big crunch, the collapse of the universe is stopped by quantum effects and reversed to an expansion, so that the universe opens up entering a new era of classical behavior. Numerical examples of such space-times are given, and the dependence on various parameters is discussed. Generically, one has a collapse after a finite number of cycles. By fine-tuning the parameters we construct an example of a space-time which is time-periodic, thus running through an infinite number of contraction and expansion cycles.
• ### On Blowup for time-dependent generalized Hartree-Fock equations(0909.3043)

Sept. 16, 2009 math.AP, math-ph, math.MP
We prove finite-time blowup for spherically symmetric and negative energy solutions of Hartree-Fock and Hartree-Fock-Bogoliubov type equations, which describe the evolution of attractive fermionic systems (e. g. white dwarfs). Our main results are twofold: First, we extend the recent blowup result of [Hainzl and Schlein, Comm. Math. Phys. \textbf{287} (2009), 705--714] to Hartree-Fock equations with infinite rank solutions and a general class of Newtonian type interactions. Second, we show the existence of finite-time blowup for spherically symmetric solutions of a Hartree-Fock-Bogoliubov model, where an angular momentum cutoff is introduced. We also explain the key difficulties encountered in the full Hartree-Fock-Bogoliubov theory.