
We consider the twodimensional 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 threedimensional case.

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.

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), 691705.] the
relative entropy defined by $\mathcal{H}(A,B)=\text{Tr} [ \varphi(A) 
\varphi(B)  \varphi'(B)(AB) ]$. Amongst other things, they prove that the
sodefined quantity is monotone if and only if $\varphi'$ is operator monotone.
The monotonicity is then used to properly define $\mathcal{H}(A,B)$ for
selfadjoint bounded operators acting on an infinitedimensional Hilbert space
by a limiting procedure. More precisely, for an increasing sequence of
finitedimensional 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)(AB) ]$, 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 $(AB)$, $\varphi(A)\varphi(B)$ and
$\varphi'(B)(AB)$ are traceclass, 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)(AB) ]$
holds.

In this paper we report on the results of a numerical study of the nonlinear
timedependent BardeenCooperSchrieffer (BCS) equations, often also denoted
as BogoliubovdeGennes (BdG) equations, for a onedimensional 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 GinzburgLandautype 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.

We study the timedependent BogoliubovdeGennes equations for generic
translationinvariant fermionic manybody 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
timedependent GinzburgLandau equation, which is often employed as a
phenomenological description and predicts a decay of the order parameter in
time. The full nonlinear structure of the equations is necessary to understand
this behavior.

We consider the BogolubovHartreeFock functional for a fermionic manybody
system with twobody interactions. For suitable interaction potentials that
have a strong enough attractive tail in order to allow for twobody bound
states, but are otherwise sufficiently repulsive to guarantee stability of the
system, we show that in the lowdensity limit the ground state of this model
consists of a BoseEinstein condensate of fermion pairs. The latter can be
described by means of the GrossPitaevskii energy functional.

We review recent results concerning the mathematical properties of the
BardeenCooperSchrieffer (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 GinzburgLandau model can be derived from the BCS theory in a
suitable parameter regime.

We present a summary of our recent rigorous derivation of the celebrated
GinzburgLandau (GL) theory, starting from the microscopic
BardeenCooperSchrieffer (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.

We consider the BardeenCooperSchrieffer free energy functional for
particles interacting via a twobody 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 GinzburgLandau
equation.

We consider a spatially homogeneous and isotropic cosmological model where
Dirac spinors are coupled to classical gravity. For the Dirac spinors we choose
a HartreeFock ansatz where all oneparticle 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 energymomentum 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 timeperiodic solutions
which go through an infinite number of expansion and contraction cycles.

We prove the existence of scattering states for the defocusing cubic
GrossPitaevskii (GP) hierarchy in ${\mathbb R}^3$. Moreover, we show that an
energy growth condition commonly used in the wellposedness 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.

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.

We present a new, simpler proof of the unconditional uniqueness of solutions
to the cubic GrossPitaevskii 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}.

We study translationinvariant quasifree states for a system of fermions
with twoparticle interactions. The associated energy functional is similar to
the BCS functional but includes also direct and exchange energies. We show that
for suitable shortrange 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.

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.

Using the PauliVillars regularization and arguments from convex analysis, we
construct solutions to the classical timeindependent 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.

We review recent results about the derivation and the analysis of two
HartreeFocktype models for the polarization of vacuum. We pay particular
attention to the variational construction of a selfconsistent polarized
vacuum, and to the physical agreement between our nonperturbative construction
and the perturbative description provided by Quantum Electrodynamics.

We study the HartreeFock approximation of graphene in infinite volume, with
instantaneous Coulomb interactions. First we construct its
translationinvariant ground state and we recover the wellknown 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.

We show that the timeevolution of the wave function describing the
macroscopic variations of the pair density in BCS theory can be approximated,
in the dilute limit, by a timedependent GrossPitaevskii equation.

We study the BCS gap equation for a Fermi gas with unequal population of
spinup and spindown states. For $\cosh(\delta_\mu/T) \leq 2$, with $T$ the
temperature and $\delta_\mu$ the chemical potential difference, the question of
existence of nontrivial 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.

We consider the low density limit of a Fermi gas in the BCS approximation. We
show that if the interaction potential allows for a twoparticle bound state,
the system at zero temperature is well approximated by the GrossPitaevskii
functional, describing a BoseEinstein condensate of fermion pairs.

In a recent paper we give the first rigorous derivation of the celebrated
GinzburgLandau (GL) theory, starting from the microscopic
BardeenCooperSchrieffer (BCS) model. Here we present our results in the
simplified case of a onedimensional system of particles interacting via a
deltapotential.

We give the first rigorous derivation of the celebrated GinzburgLandau (GL)
theory, starting from the microscopic BardeenCooperSchrieffer (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.

We consider a spatially homogeneous and isotropic system of Dirac particles
coupled to classical gravity. The dust and radiation dominated closed
FriedmannRobertsonWalker spacetimes 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 spacetimes are given, and the dependence on
various parameters is discussed. Generically, one has a collapse after a finite
number of cycles. By finetuning the parameters we construct an example of a
spacetime which is timeperiodic, thus running through an infinite number of
contraction and expansion cycles.

We prove finitetime blowup for spherically symmetric and negative energy
solutions of HartreeFock and HartreeFockBogoliubov 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), 705714] to
HartreeFock equations with infinite rank solutions and a general class of
Newtonian type interactions. Second, we show the existence of finitetime
blowup for spherically symmetric solutions of a HartreeFockBogoliubov model,
where an angular momentum cutoff is introduced. We also explain the key
difficulties encountered in the full HartreeFockBogoliubov theory.