BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Mathieu Lewin

Mathieu Lewin contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math-phmath.MPmath.APmath.SPcond-mat.stat-mechcond-mat.mtrl-scicond-mat.othercond-mat.str-elmath.NAmath.PRquant-ph

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
20works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

20 published item(s)

preprint2022arXiv

Coulomb and Riesz gases: The known and the unknown

We review what is known, unknown and expected about the mathematical properties of Coulomb and Riesz gases. Those describe infinite configurations of points in $\mathbb{R}^d$ interacting with the Riesz potential $\pm |x|^{-s}$ (resp. $-\log|x|$ for $s=0$). Our presentation follows the standard point of view of statistical mechanics, but we also mention how these systems arise in other important situations (e.g. in random matrix theory). The main question addressed in the article is how to properly define the associated infinite point process and characterize it using some (renormalized) equilibrium equation. This is largely open in the long range case $s<d$. For the convenience of the reader we give the detail of what is known in the short range case $s>d$. In the last part we discuss phase transitions and mention what is expected on physical grounds.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The double-power nonlinear Schrödinger equation and its generalizations: uniqueness, non-degeneracy and applications

In this paper we first prove a general result about the uniqueness and non-degeneracy of positive radial solutions to equations of the form $Δu+g(u)=0$. Our result applies in particular to the double power non-linearity where $g(u)=u^q-u^p-μu$ for $p>q>1$ and $μ>0$, which we discuss with more details. In this case, the non-degeneracy of the unique solution $u_μ$ allows us to derive its behavior in the two limits $μ\to0$ and $μ\toμ_*$ where $μ_*$ is the threshold of existence. This gives the uniqueness of energy minimizers at fixed mass in certain regimes. We also make a conjecture about the variations of the $L^2$ mass of $u_μ$ in terms of $μ$, which we illustrate with numerical simulations. If valid, this conjecture would imply the uniqueness of energy minimizers in all cases and also give some important information about the orbital stability of $u_μ$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Remarks on the quantum de Finetti theorem for bosonic systems

The quantum de Finetti theorem asserts that the k-body density matrices of a N-body bosonic state approach a convex combination of Hartree states (pure tensor powers) when N is large and k fixed. In this note we review a construction due to Christandl, Mitchison, König and Renner valid for finite dimensional Hilbert spaces, which gives a quantitative version of the theorem. We first propose a variant of their proof that leads to a slightly improved estimate. Next we provide an alternative proof of an explicit formula due to Chiribella, which gives the density matrices of the constructed state as a function of those of the original state.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Derivation of Hartree&#39;s theory for generic mean-field Bose systems

In this paper we provide a novel strategy to prove the validity of Hartree&#39;s theory for the ground state energy of bosonic quantum systems in the mean-field regime. For the well-known case of trapped Bose gases, this can be shown using the strong quantum de Finetti theorem, which gives the structure of infinite hierarchies of k-particles density matrices. Here we deal with the case where some particles are allowed to escape to infinity, leading to a lack of compactness. Our approach is based on two ingredients: (1) a weak version of the quantum de Finetti theorem, and (2) geometric techniques for many-body systems. Our strategy does not rely on any special property of the interaction between the particles. In particular, our results cover those of Benguria-Lieb and Lieb-Yau for, respectively, bosonic atoms and boson stars.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A Numerical Perspective on Hartree-Fock-Bogoliubov Theory

The method of choice for describing attractive quantum systems is Hartree-Fock-Bogoliubov (HFB) theory. This is a nonlinear model which allows for the description of pairing effects, the main explanation for the superconductivity of certain materials at very low temperature. This paper is the first study of Hartree-Fock-Bogoliubov theory from the point of view of numerical analysis. We start by discussing its proper discretization and then analyze the convergence of the simple fixed point (Roothaan) algorithm. Following works by Cancès, Le Bris and Levitt for electrons in atoms and molecules, we show that this algorithm either converges to a solution of the equation, or oscillates between two states, none of them being a solution to the HFB equations. We also adapt the Optimal Damping Algorithm of Cancès and Le Bris to the HFB setting and we analyze it. The last part of the paper is devoted to numerical experiments. We consider a purely gravitational system and numerically discover that pairing always occurs. We then examine a simplified model for nucleons, with an effective interaction similar to what is often used in nuclear physics. In both cases we discuss the importance of using a damping algorithm.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Construction of the Pauli-Villars-regulated Dirac vacuum in electromagnetic fields

Using the Pauli-Villars regularization and arguments from convex analysis, we construct solutions to the classical time-independent Maxwell equations in Dirac&#39;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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On the binding of polarons in a mean-field quantum crystal

We consider a multi-polaron model obtained by coupling the many-body Schrödinger equation for N interacting electrons with the energy functional of a mean-field crystal with a localized defect, obtaining a highly non linear many-body problem. The physical picture is that the electrons constitute a charge defect in an otherwise perfect periodic crystal. A remarkable feature of such a system is the possibility to form a bound state of electrons via their interaction with the polarizable background. We prove first that a single polaron always binds, i.e. the energy functional has a minimizer for N=1. Then we discuss the case of multi-polarons containing two electrons or more. We show that their existence is guaranteed when certain quantized binding inequalities of HVZ type are satisfied.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Comment on `Solutions to quasi-relativistic multi-configurative Hartree-Fock equations in quantum chemistry&#39;, by C. Argaez & M. Melgaard

In a recent paper published in Nonlinear Analysis: Theory, Methods & Applications, C. Argaez and M. Melgaard studied excited states for pseudo-relativistic multi-configuration methods. Their paper follows a previous work of mine in the non-relativistic case (Arch. Rat. Mech. Anal., 171, 2004). The main results of the paper of C. Argaez and M. Melgaard are correct, but the proofs are both wrong and incomplete.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Derivation of Pekar&#39;s Polarons from a Microscopic Model of Quantum Crystals

A polaron is an electron interacting with a polar crystal, which is able to form a bound state by using the distortions of the crystal induced by its own density of charge. In this paper we derive Pekar&#39;s famous continuous model for polarons (in which the crystal is replaced by a simple effective Coulomb self-attraction) by studying the macroscopic limit of the reduced Hartree-Fock theory of the crystal. The macroscopic density of the polaron converges to that of Pekar&#39;s nonlinear model, with a possibly anisotropic dielectric matrix. The polaron also exhibits fast microscopic oscillations which contribute to the energy at the same order, but whose characteristic length is small compared to the scale of the polaron. These oscillations are described by a simple periodic eigenvalue equation. Our approach also covers multi-polarons composed of several electrons, repelling each other by Coulomb forces.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Generalised Weyl theorems and spectral pollution in the Galerkin method

We consider a general framework for investigating spectral pollution in the Galerkin method. We show how this phenomenon is characterised via the existence of particular Weyl sequences which are singular in a suitable sense. For a semi-bounded selfadjoint operator A we identify relative compactness conditions on a selfadjoint perturbation B ensuring that the limiting set of spectral pollution of A and B coincide. Our results show that, under perturbation, this limiting set behaves in a similar fashion as the essential spectrum.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On Singularity formation for the L^2-critical Boson star equation

We prove a general, non-perturbative result about finite-time blowup solutions for the $L^2$-critical boson star equation $i\partial_t u = \sqrt{-Δ+m^2} \, u - (|x|^{-1} \ast |u|^2) u$ in 3 space dimensions. Under the sole assumption that the solution blows up in $H^{1/2}$ at finite time, we show that $u(t)$ has a unique weak limit in $L^2$ and that $|u(t)|^2$ has a unique weak limit in the sense of measures. Moreover, we prove that the limiting measure exhibits minimal mass concentration. A central ingredient used in the proof is a &#34;finite speed of propagation&#34; property, which puts a strong rigidity on the blowup behavior of $u$. As the second main result, we prove that any radial finite-time blowup solution $u$ converges strongly in $L^2$ away from the origin. For radial solutions, this result establishes a large data blowup conjecture for the $L^2$-critical boson star equation, similar to a conjecture which was originally formulated by F. Merle and P. Raphael for the $L^2$-critical nonlinear Schrödinger equation in [CMP 253 (2005), 675-704]. We also discuss some extensions of our results to other $L^2$-critical theories of gravitational collapse, in particular to critical Hartree-type equations.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Geometric methods for nonlinear many-body quantum systems

Geometric techniques have played an important role in the seventies, for the study of the spectrum of many-body Schrödinger operators. In this paper we provide a formalism which also allows to study nonlinear systems. We start by defining a weak topology on many-body states, which appropriately describes the physical behavior of the system in the case of lack of compactness, that is when some particles are lost at infinity. We provide several important properties of this topology and use them to provide a simple proof of the famous HVZ theorem in the repulsive case. In a second step we recall the method of geometric localization in Fock space as proposed by Dereziński and Gérard, and we relate this tool to our weak topology. We then provide several applications. We start by studying the so-called finite-rank approximation which consists in imposing that the many-body wavefunction can be expanded using finitely many one-body functions. We thereby emphasize geometric properties of Hartree-Fock states and prove nonlinear versions of the HVZ theorem, in the spirit of works of Friesecke. In the last section we study translation-invariant many-body systems comprising a nonlinear term, which effectively describes the interactions with a second system. As an example, we prove the existence of the multi-polaron in the Pekar-Tomasevich approximation, for certain values of the coupling constant.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Renormalization and asymptotic expansion of Dirac&#39;s polarized vacuum

We perform rigorously the charge renormalization of the so-called reduced Bogoliubov-Dirac-Fock (rBDF) model. This nonlinear theory, based on the Dirac operator, describes atoms and molecules while taking into account vacuum polarization effects. We consider the total physical density including both the external density of a nucleus and the self-consistent polarization of the Dirac sea, but no `real&#39; electron. We show that it admits an asymptotic expansion to any order in powers of the physical coupling constant $\alphaph$, provided that the ultraviolet cut-off behaves as $Λ\sim e^{3π(1-Z_3)/2\alphaph}\gg1$. The renormalization parameter $0

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Microscopic Origin of the Macroscopic Dielectric Permittivity of Crystals: A Mathematical Viewpoint

The purpose of this paper is to provide a mathematical analysis of the Adler-Wiser formula relating the macroscopic relative permittivity tensor to the microscopic structure of the crystal at the atomic level. The technical level of the presentation is kept at its minimum to emphasize the mathematical structure of the results. We also briefly review some models describing the electronic structure of finite systems, focusing on density operator based formulations, as well as the Hartree model for perfect crystals or crystals with a defect.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

On Blowup for time-dependent generalized Hartree-Fock equations

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.

0 citations0 reviewsNo code linkedOpen access