Showing 1–35 of 35 results for author: Gontier, D

Topological junctions for one-dimensional systems

Authors: David Gontier, Clément Tauber

Abstract: We study and classify the emergence of protected edge modes at the junction of one-dimensional materials. Using symmetries of Lagrangian planes in boundary symplectic spaces, we present a novel proof of the periodic table of topological insulators in one dimension. We show that edge modes necessarily arise at the junction of two materials having different topological indices. Our approach provides… ▽ More We study and classify the emergence of protected edge modes at the junction of one-dimensional materials. Using symmetries of Lagrangian planes in boundary symplectic spaces, we present a novel proof of the periodic table of topological insulators in one dimension. We show that edge modes necessarily arise at the junction of two materials having different topological indices. Our approach provides a systematic framework for understanding symmetry-protected modes in one-dimension. It does not rely on periodic nor ergodicity and covers a wide range of operators which includes both continuous and discrete models. △ Less

Submitted 20 December, 2024; originally announced December 2024.

MSC Class: 34L40; 34B09; 53D12;

Edge states for tight-binding operators with soft walls

Authors: Camilo Gómez Araya, David Gontier, Hanne Van Den Bosch

Abstract: We study one- and two-dimensional periodic tight-binding models under the presence of a potential that grows to infinity in one direction, hence preventing the particles to escape in this direction (the soft wall). We prove that a spectral flow appears in these corresponding edge models, as the wall is shifted. We identity this flow as a number of Bloch bands, and provide a lower bound for the num… ▽ More We study one- and two-dimensional periodic tight-binding models under the presence of a potential that grows to infinity in one direction, hence preventing the particles to escape in this direction (the soft wall). We prove that a spectral flow appears in these corresponding edge models, as the wall is shifted. We identity this flow as a number of Bloch bands, and provide a lower bound for the number of edge states appearing in such models. △ Less

Submitted 17 May, 2025; v1 submitted 4 March, 2024; originally announced March 2024.

MSC Class: 81Q10; 58J30; 47A13; 35J10

Thermodynamic Limits of Electronic Systems

Authors: David Gontier, Jianfeng Lu, Christoph Ortner

Abstract: We review thermodynamic limits and scaling limits of electronic structure models for condensed matter. We discuss several mathematical ways to implement these limits in three models of increasing chemical complexity and mathematical difficulty: (1) Thomas-Fermi like models; (2) Hartree-Fock like models; and (3) Kohn-Sham density functional theory models. We review thermodynamic limits and scaling limits of electronic structure models for condensed matter. We discuss several mathematical ways to implement these limits in three models of increasing chemical complexity and mathematical difficulty: (1) Thomas-Fermi like models; (2) Hartree-Fock like models; and (3) Kohn-Sham density functional theory models. △ Less

Submitted 10 September, 2023; originally announced September 2023.

Exponential decay of the critical points in a discrete model of polyacetylene

Authors: David Gontier, Adechola E. K. Kouande, Éric Séré

Abstract: In this paper we consider stationary states of the SSH model for infinite polyacetylene chains that are homoclinic or heteroclinic connections between two-periodic dimerized states. We prove that such connections converge exponentially fast to the corresponding asymptotic periodic states. In this paper we consider stationary states of the SSH model for infinite polyacetylene chains that are homoclinic or heteroclinic connections between two-periodic dimerized states. We prove that such connections converge exponentially fast to the corresponding asymptotic periodic states. △ Less

Submitted 19 November, 2024; v1 submitted 31 July, 2023; originally announced August 2023.

MSC Class: 35B38; 70K44n 35Q40; 70K44; 81V74

Journal ref: Nonlinearity 38 (2025), no. 1, 015002

Density functional theory for homogeneous two dimensional materials with magnetic fields

Authors: David Gontier, Salma Lahbabi, Abdallah Maichine

Abstract: This paper studies DFT models for homogeneous 2D materials in 3D space, under a constant perpendicular magnetic field. We show how to reduce the three--dimensional energy functional to a one--dimensional one, similarly as in our previous work. This is done by minimizing over states invariant under magnetic translations and that commute with the Landau operator. In the reduced model, the Pauli prin… ▽ More This paper studies DFT models for homogeneous 2D materials in 3D space, under a constant perpendicular magnetic field. We show how to reduce the three--dimensional energy functional to a one--dimensional one, similarly as in our previous work. This is done by minimizing over states invariant under magnetic translations and that commute with the Landau operator. In the reduced model, the Pauli principle no longer appears. It is replaced by a penalization term in the energy. △ Less

Submitted 16 July, 2023; v1 submitted 1 December, 2022; originally announced December 2022.

Comments: 21 pages, 1 figure

Phase transition in the Peierls model for polyacetylene

Authors: David Gontier, Adéchola Kouande, Eric Séré

Abstract: We consider the Peierls model for closed polyactetylene chains with an even number of carbon atoms as well as infinite chains, in the presence of temperature. We prove the existence of a critical temperature below which the chain is dimerized, and above which it is 1-periodic. The chain behaves like an insulator below the critical temperature and like a metal above it. We characterize the critical… ▽ More We consider the Peierls model for closed polyactetylene chains with an even number of carbon atoms as well as infinite chains, in the presence of temperature. We prove the existence of a critical temperature below which the chain is dimerized, and above which it is 1-periodic. The chain behaves like an insulator below the critical temperature and like a metal above it. We characterize the critical temperature in the thermodynamic limit model, and prove that it is exponentially small in the rigidity of the chain. We study the phase transition around this critical temperature. △ Less

Submitted 20 April, 2023; v1 submitted 17 November, 2022; originally announced November 2022.

Comments: Final version to appear in Ann. Henri Poincar{é}

Journal ref: Annales Henri Poincaré 24 (2023), no. 11, pp. 3945--3966

Keller and Lieb-Thirring estimates of the eigenvalues in the gap of Dirac operators

Authors: Jean Dolbeault, David Gontier, Fabio Pizzichillo, Hanne Van Den Bosch

Abstract: We estimate the lowest eigenvalue in the gap of the essential spectrum of a Dirac operator with mass in terms of a Lebesgue norm of the potential. Such a bound is the counterpart for Dirac operators of the Keller estimates for the Schrödinger operator, which are equivalent to Gagliardo-Nirenberg-Sobolev interpolation inequalities. Domain, self-adjointness, optimality and critical values of the nor… ▽ More We estimate the lowest eigenvalue in the gap of the essential spectrum of a Dirac operator with mass in terms of a Lebesgue norm of the potential. Such a bound is the counterpart for Dirac operators of the Keller estimates for the Schrödinger operator, which are equivalent to Gagliardo-Nirenberg-Sobolev interpolation inequalities. Domain, self-adjointness, optimality and critical values of the norms are addressed, while the optimal potential is given by a Dirac equation with a Kerr nonlinearity. A new critical bound appears, which is the smallest value of the norm of the potential for which eigenvalues may reach the bottom of the gap in the essential spectrum. The Keller estimate is then extended to a Lieb-Thirring inequality for the eigenvalues in the gap. Most of our result are established in the Birman-Schwinger reformulation. △ Less

Submitted 24 July, 2023; v1 submitted 6 October, 2022; originally announced October 2022.

MSC Class: 81Q10; 49R05; 49J35; 47A75; 47B25

A simple derivation of moiré-scale continuous models for twisted bilayer graphene

Authors: Eric Cancès, Louis Garrigue, David Gontier

Abstract: We provide a formal derivation of a reduced model for twisted bilayer graphene (TBG) from Density Functional Theory. Our derivation is based on a variational approximation of the TBG Kohn-Sham Hamiltonian and asymptotic limit techniques. In contrast with other approaches, it does not require the introduction of an intermediate tight-binding model. The so-obtained model is similar to that of the Bi… ▽ More We provide a formal derivation of a reduced model for twisted bilayer graphene (TBG) from Density Functional Theory. Our derivation is based on a variational approximation of the TBG Kohn-Sham Hamiltonian and asymptotic limit techniques. In contrast with other approaches, it does not require the introduction of an intermediate tight-binding model. The so-obtained model is similar to that of the Bistritzer-MacDonald (BM) model but contains additional terms. Its parameters can be easily computed from Kohn-Sham calculations on single-layer graphene and untwisted bilayer graphene with different stackings. It allows one in particular to estimate the parameters $w_{\rm AA}$ and $w_{\rm AB}$ of the BM model from first-principles. The resulting numerical values, namely $w_{\rm AA}= w_{\rm AB} \simeq 126$ meV for the experimental interlayer mean distance are in good agreement with the empirical values $w_{\rm AA}= w_{\rm AB}=110$ meV obtained by fitting to experimental data. We also show that if the BM parameters are set to $w_{\rm AA}= w_{\rm AB} \simeq 126$ meV, the BM model is an accurate approximation of our reduced model. △ Less

Submitted 12 April, 2023; v1 submitted 12 June, 2022; originally announced June 2022.

Journal ref: Phys. Rev. B 107, 155403, published 5 April 2023

Symmetric Fermi projections and Kitaev's table: topological phases of matter in low dimensions

Authors: David Gontier, Domenico Monaco, Solal Perrin-Roussel

Abstract: We review Kitaev's celebrated "periodic table" for topological phases of condensed matter, which identifies ground states (Fermi projections) of gapped periodic quantum systems up to continuous deformations. We study families of projections which depend on a periodic crystal momentum and respect the symmetries that characterize the various classes of topological insulators. Our aim is to classify… ▽ More We review Kitaev's celebrated "periodic table" for topological phases of condensed matter, which identifies ground states (Fermi projections) of gapped periodic quantum systems up to continuous deformations. We study families of projections which depend on a periodic crystal momentum and respect the symmetries that characterize the various classes of topological insulators. Our aim is to classify such families in a systematic, explicit, and constructive way: we identify numerical indices for all symmetry classes and provide algorithms to deform families of projections whose indices agree. Aiming at simplicity, we illustrate the method for 0- and 1-dimensional systems, and recover the (weak and strong) topological invariants proposed by Kitaev and others. △ Less

Submitted 21 April, 2022; v1 submitted 5 January, 2022; originally announced January 2022.

Report number: Roma01.Math.MP

Journal ref: J. Math. Phys. 63, 041902 (2022)

Second-order homogenization of periodic Schrödinger operators with highly oscillating potentials

Authors: Éric Cancès, Louis Garrigue, David Gontier

Abstract: We consider the homogenization at second-order in $\varepsilon$ of $\mathbb{L}$-periodic Schrödinger operators with rapidly oscillating potentials of the form $H^\varepsilon =-Δ+ \varepsilon^{-1} v(x,\varepsilon^{-1}x ) + W(x)$ on $L^2(\mathbb{R}^d)$, where $\mathbb{L}$ is a Bravais lattice of $\mathbb{R}^d$, $v$ is $(\mathbb{L} \times \mathbb{L})$-periodic, $W$ is $\mathbb{L}$-periodic, and… ▽ More We consider the homogenization at second-order in $\varepsilon$ of $\mathbb{L}$-periodic Schrödinger operators with rapidly oscillating potentials of the form $H^\varepsilon =-Δ+ \varepsilon^{-1} v(x,\varepsilon^{-1}x ) + W(x)$ on $L^2(\mathbb{R}^d)$, where $\mathbb{L}$ is a Bravais lattice of $\mathbb{R}^d$, $v$ is $(\mathbb{L} \times \mathbb{L})$-periodic, $W$ is $\mathbb{L}$-periodic, and $\varepsilon \in \mathbb{N}^{-1}$. We treat both the linear equation with fixed right-hand side and the eigenvalue problem, as well as the case of physical observables such as the integrated density of states. We illustrate numerically that these corrections to the homogenized solution can significantly improve the first-order ones, even when $\varepsilon$ is not small. △ Less

Submitted 22 December, 2021; originally announced December 2021.

Optimizers for the finite-rank Lieb-Thirring inequality

Authors: Rupert L. Frank, David Gontier, Mathieu Lewin

Abstract: The finite-rank Lieb-Thirring inequality provides an estimate on a Riesz sum of the $N$ lowest eigenvalues of a Schrödinger operator $-Δ-V(x)$ in terms of an $L^p(\mathbb{R}^d)$ norm of the potential $V$. We prove here the existence of an optimizing potential for each $N$, discuss its qualitative properties and the Euler--Lagrange equation (which is a system of coupled nonlinear Schrödinger equati… ▽ More The finite-rank Lieb-Thirring inequality provides an estimate on a Riesz sum of the $N$ lowest eigenvalues of a Schrödinger operator $-Δ-V(x)$ in terms of an $L^p(\mathbb{R}^d)$ norm of the potential $V$. We prove here the existence of an optimizing potential for each $N$, discuss its qualitative properties and the Euler--Lagrange equation (which is a system of coupled nonlinear Schrödinger equations) and study in detail the behavior of optimizing sequences. In particular, under the condition $γ>\max\{0,2-d/2\}$ on the Riesz exponent in the inequality, we prove the compactness of all the optimizing sequences up to translations. We also show that the optimal Lieb-Thirring constant cannot be stationary in $N$, which sheds a new light on a conjecture of Lieb-Thirring. In dimension $d=1$ at $γ=3/2$, we show that the optimizers with $N$ negative eigenvalues are exactly the Korteweg-de Vries $N$--solitons and that optimizing sequences must approach the corresponding manifold. Our work covers the critical case $γ=0$ in dimension $d\geq3$ (Cwikel-Lieb-Rozenblum inequality) for which we exhibit and use a link with invariants of the Yamabe problem. △ Less

Submitted 11 May, 2023; v1 submitted 13 September, 2021; originally announced September 2021.

Comments: Final version to appear in Amer. J. Math

Spectral properties of periodic systems cut at an angle

Authors: David Gontier

Abstract: We consider a semi-periodic two-dimensional Schrödinger operator which is cut at an angle. When the cut is commensurate with the periodic lattice, the spectrum of the operator has the band-gap Bloch structure. We prove that in the incommensurable case, there are no gaps: the gaps of the bulk operator are filled with edge spectrum. We consider a semi-periodic two-dimensional Schrödinger operator which is cut at an angle. When the cut is commensurate with the periodic lattice, the spectrum of the operator has the band-gap Bloch structure. We prove that in the incommensurable case, there are no gaps: the gaps of the bulk operator are filled with edge spectrum. △ Less

Submitted 27 October, 2021; v1 submitted 1 April, 2021; originally announced April 2021.

MSC Class: 47A10; 35J10; 81Q10

Density Functional Theory for two-dimensional homogeneous materials

Authors: David Gontier, Salma Lahbabi, Abdallah Maichine

Abstract: We study Density Functional Theory models for systems which are translationally invariant in some directions, such as a homogeneous 2-d slab in the 3-d space. We show how the different terms of the energy are modified and we derive reduced equations in the remaining directions. In the Thomas-Fermi model, we prove that there is perfect screening, and provide decay estimates for the electronic densi… ▽ More We study Density Functional Theory models for systems which are translationally invariant in some directions, such as a homogeneous 2-d slab in the 3-d space. We show how the different terms of the energy are modified and we derive reduced equations in the remaining directions. In the Thomas-Fermi model, we prove that there is perfect screening, and provide decay estimates for the electronic density away from the slab. In Kohn-Sham models, we prove that the Pauli principle is replaced by a penalization term in the energy. In the reduced Hartree-Fock model in particular, we prove that the resulting model is well-posed, and provide some properties for the minimizer. △ Less

Submitted 23 December, 2021; v1 submitted 25 February, 2021; originally announced February 2021.

Edge states for second order elliptic operators in a channel

Authors: David Gontier

Abstract: We present a general framework to study edge states for second order elliptic operators in a half channel. We associate an integer valued index to some bulk materials, and we prove that for any junction between two such materials, localised states must appear at the boundary whenever the indices differ. We present a general framework to study edge states for second order elliptic operators in a half channel. We associate an integer valued index to some bulk materials, and we prove that for any junction between two such materials, localised states must appear at the boundary whenever the indices differ. △ Less

Submitted 2 March, 2024; v1 submitted 30 January, 2021; originally announced February 2021.

MSC Class: 35P05; 47F10; 37K25

The periodic Lieb-Thirring inequality

Authors: Rupert L. Frank, David Gontier, Mathieu Lewin

Abstract: We discuss the Lieb-Thirring inequality for periodic systems, which has the same optimal constant as the original inequality for finite systems. This allows us to formulate a new conjecture about the value of its best constant. To demonstrate the importance of periodic states, we prove that the 1D Lieb-Thirring inequality at the special exponent $γ=3/2$ admits a one-parameter family of periodic op… ▽ More We discuss the Lieb-Thirring inequality for periodic systems, which has the same optimal constant as the original inequality for finite systems. This allows us to formulate a new conjecture about the value of its best constant. To demonstrate the importance of periodic states, we prove that the 1D Lieb-Thirring inequality at the special exponent $γ=3/2$ admits a one-parameter family of periodic optimizers, interpolating between the one-bound state and the uniform potential. Finally, we provide numerical simulations in 2D which support our conjecture that optimizers could be periodic. △ Less

Submitted 23 November, 2020; v1 submitted 6 October, 2020; originally announced October 2020.

Comments: To Ari Laptev on the occasion of his 70th birthday. Final version

The nonlinear Schrödinger equation for orthonormal functions: II. Application to Lieb-Thirring inequalities

Authors: Rupert L. Frank, David Gontier, Mathieu Lewin

Abstract: In this paper we disprove part of a conjecture of Lieb and Thirring concerning the best constant in their eponymous inequality. We prove that the best Lieb-Thirring constant when the eigenvalues of a Schrödinger operator $-Δ+V(x)$ are raised to the power $κ$ is never given by the one-bound state case when $κ>\max(0,2-d/2)$ in space dimension $d\geq1$. When in addition $κ\geq1$ we prove that this b… ▽ More In this paper we disprove part of a conjecture of Lieb and Thirring concerning the best constant in their eponymous inequality. We prove that the best Lieb-Thirring constant when the eigenvalues of a Schrödinger operator $-Δ+V(x)$ are raised to the power $κ$ is never given by the one-bound state case when $κ>\max(0,2-d/2)$ in space dimension $d\geq1$. When in addition $κ\geq1$ we prove that this best constant is never attained for a potential having finitely many eigenvalues. The method to obtain the first result is to carefully compute the exponentially small interaction between two Gagliardo-Nirenberg optimisers placed far away. For the second result, we study the dual version of the Lieb-Thirring inequality, in the same spirit as in Part I of this work (D. Gontier, M. Lewin & F.Q. Nazar, arXiv:2002.04963). In a different but related direction, we also show that the cubic nonlinear Schrödinger equation admits no orthonormal ground state in 1D, for more than one function. △ Less

Submitted 4 September, 2020; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: Includes some new properties of the one-bound state (Gagliardo-Nirenberg) constant

The nonlinear Schrödinger equation for orthonormal functions: I. Existence of ground states

Authors: David Gontier, Mathieu Lewin, Faizan Q. Nazar

Abstract: We study the nonlinear Schrödinger equation for systems of $N$ orthonormal functions. We prove the existence of ground states for all $N$ when the exponent $p$ of the non linearity is not too large, and for an infinite sequence $N_j$ tending to infinity in the whole range of possible $p$'s, in dimensions $d\geq1$. This allows us to prove that translational symmetry is broken for a quantum crystal… ▽ More We study the nonlinear Schrödinger equation for systems of $N$ orthonormal functions. We prove the existence of ground states for all $N$ when the exponent $p$ of the non linearity is not too large, and for an infinite sequence $N_j$ tending to infinity in the whole range of possible $p$'s, in dimensions $d\geq1$. This allows us to prove that translational symmetry is broken for a quantum crystal in the Kohn-Sham model with a large Dirac exchange constant. △ Less

Submitted 17 March, 2021; v1 submitted 12 February, 2020; originally announced February 2020.

Comments: Final version, to appear in Arch. Rat. Mech. Anal

Edge states in ordinary differential equations for dislocations

Authors: David Gontier

Abstract: In this article, we study Schrödinger operators on the real line, when the external potential represents a dislocation in a periodic medium. We study how the spectrum varies with the dislocation parameter. We introduce several integer-valued indices, including Chern number for bulk indices, and various spectral flows for edge indices. We prove that all these indices coincide, providing a proof a b… ▽ More In this article, we study Schrödinger operators on the real line, when the external potential represents a dislocation in a periodic medium. We study how the spectrum varies with the dislocation parameter. We introduce several integer-valued indices, including Chern number for bulk indices, and various spectral flows for edge indices. We prove that all these indices coincide, providing a proof a bulk-edge correspondence in this case. The study is also made for dislocations in Dirac models on the real line. We prove that 0 is always an eigenvalue of such operators. △ Less

Submitted 4 August, 2019; originally announced August 2019.

MSC Class: 34L40; 34L40; 53D12

The reduced Hartree-Fock model with self-generated magnetic fields

Authors: David Gontier, Salma Lahbabi

Abstract: We study the well-posedness of the reduced Hartree-Fock model for molecules and perfect crystals when taking into account a self-generated magnetic field. We exhibit a critical value $α_c > 0$ such that, if the fine structure constant $α$ is smaller than $α_c$, then the corresponding system is stable, whereas if $α$ is greater than $α_c$, it is unstable. We give an explicit characterisation of… ▽ More We study the well-posedness of the reduced Hartree-Fock model for molecules and perfect crystals when taking into account a self-generated magnetic field. We exhibit a critical value $α_c > 0$ such that, if the fine structure constant $α$ is smaller than $α_c$, then the corresponding system is stable, whereas if $α$ is greater than $α_c$, it is unstable. We give an explicit characterisation of $α_c$ as a minimisation problem over the set of zero-modes, and we prove that the critical values for the molecular case and the periodic case coincide. Finally, we prove the existence of minimisers when the system is neutral or positively charged. △ Less

Submitted 22 April, 2019; originally announced April 2019.

Spin symmetry breaking in the translation-invariant Hartree-Fock electron gas

Authors: David Gontier, Mathieu Lewin

Abstract: We study the breaking of spin symmetry for the nonlinear Hartree-Fock model describing an infinite translation-invariant interacting quantum gas (fluid phase). At zero temperature and for the Coulomb interaction in three space dimensions, we can prove the existence of a unique first order transition between a pure ferromagnetic phase at low density and a paramagnetic phase at high density. Multipl… ▽ More We study the breaking of spin symmetry for the nonlinear Hartree-Fock model describing an infinite translation-invariant interacting quantum gas (fluid phase). At zero temperature and for the Coulomb interaction in three space dimensions, we can prove the existence of a unique first order transition between a pure ferromagnetic phase at low density and a paramagnetic phase at high density. Multiple first or second order transitions can happen for other interaction potentials, as we illustrate on some examples. At positive temperature $T>0$ we compute numerically the phase diagram in the Coulomb case. We find the paramagnetic phase at high temperature or high density and a region where the system is ferromagnetic. We prove that the equilibrium state is unique and paramagnetic at high temperature or high density. △ Less

Submitted 29 May, 2019; v1 submitted 18 December, 2018; originally announced December 2018.

Comments: Final version, to appear in SIAM J. Math. Anal

MSC Class: 81R40; 45G10

Numerical construction of Wannier functions through homotopy

Authors: David Gontier, Antoine Levitt, Sami Siraj-Dine

Abstract: We provide a mathematically proven, simple and efficient algorithm to build localised Wannier functions, with the only requirement that the system has vanishing Chern numbers. Our algorithm is able to build localised Wannier for topological insulators such as the Kane-Mele model. It is based on an explicit and constructive proof of homotopies for the unitary group. We provide numerical tests valid… ▽ More We provide a mathematically proven, simple and efficient algorithm to build localised Wannier functions, with the only requirement that the system has vanishing Chern numbers. Our algorithm is able to build localised Wannier for topological insulators such as the Kane-Mele model. It is based on an explicit and constructive proof of homotopies for the unitary group. We provide numerical tests validating the methods for several systems, including the Kane-Mele model. △ Less

Submitted 17 December, 2018; originally announced December 2018.

Lower Bound on the Hartree-Fock Energy of the Electron Gas

Authors: David Gontier, Christian Hainzl, Mathieu Lewin

Abstract: The Hartree-Fock ground state of the Homogeneous Electron Gas is never translation invariant, even at high densities. As proved by Overhauser, the (paramagnetic) free Fermi Gas is always unstable under the formation of spin or charge density waves. We give here the first explicit bound on the energy gain due to the breaking of translational symmetry. Our bound is exponentially small at high densit… ▽ More The Hartree-Fock ground state of the Homogeneous Electron Gas is never translation invariant, even at high densities. As proved by Overhauser, the (paramagnetic) free Fermi Gas is always unstable under the formation of spin or charge density waves. We give here the first explicit bound on the energy gain due to the breaking of translational symmetry. Our bound is exponentially small at high density, which justifies posteriori the use of the non-interacting Fermi Gas as a reference state in the large-density expansion of the correlation energy of the Homogeneous Electron Gas. We are also able to discuss the positive temperature phase diagram and prove that the Overhauser instability only occurs at temperatures which are exponentially small at high density. Our work sheds a new light on the Hartree-Fock phase diagram of the Homogeneous Electron Gas. △ Less

Submitted 18 February, 2019; v1 submitted 29 November, 2018; originally announced November 2018.

Comments: Extended version. Includes a new estimate on the critical temperature

Journal ref: Phys. Rev. A 99, 052501 (2019)

Numerical quadrature in the Brillouin zone for periodic Schrodinger operators

Authors: Eric Cances, Virginie Ehrlacher, David Gontier, Antoine Levitt, Damiano Lombardi

Abstract: As a consequence of Bloch's theorem, the numerical computation of the fermionic ground state density matrices and energies of periodic Schrodinger operators involves integrals over the Brillouin zone. These integrals are difficult to compute numerically in metals due to discontinuities in the integrand. We perform an error analysis of several widely-used quadrature rules and smearing methods for B… ▽ More As a consequence of Bloch's theorem, the numerical computation of the fermionic ground state density matrices and energies of periodic Schrodinger operators involves integrals over the Brillouin zone. These integrals are difficult to compute numerically in metals due to discontinuities in the integrand. We perform an error analysis of several widely-used quadrature rules and smearing methods for Brillouin zone integration. We precisely identify the assumptions implicit in these methods and rigorously prove error bounds. Numerical results for two-dimensional periodic systems are also provided. Our results shed light on the properties of these numerical schemes, and provide guidance as to the appropriate choice of numerical parameters. △ Less

Submitted 23 September, 2021; v1 submitted 18 May, 2018; originally announced May 2018.

Localised Wannier functions in metallic systems

Authors: Horia Cornean, David Gontier, Antoine Levitt, Domenico Monaco

Abstract: The existence and construction of exponentially localised Wannier functions for insulators is a well-studied problem. In comparison, the case of metallic systems has been much less explored, even though localised Wannier functions constitute an important and widely used tool for the numerical band interpolation of metallic condensed matter systems. In this paper we prove that, under generic condit… ▽ More The existence and construction of exponentially localised Wannier functions for insulators is a well-studied problem. In comparison, the case of metallic systems has been much less explored, even though localised Wannier functions constitute an important and widely used tool for the numerical band interpolation of metallic condensed matter systems. In this paper we prove that, under generic conditions, $N$ energy bands of a metal can be exactly represented by $N+1$ Wannier functions decaying faster than any polynomial. We also show that, in general, the lack of a spectral gap does not allow for exponential decay. △ Less

Submitted 21 December, 2017; originally announced December 2017.

Comments: 18 pages, 4 figures

MSC Class: 35Q40; 81Q30; 81Q70

Numerical reconstruction of the first band(s) in an inverse Hill's problem

Authors: Athmane Bakhta, Virginie Ehrlacher, David Gontier

Abstract: This paper concerns an inverse band structure problem for one dimensional periodic Schrödinger operators (Hill's operators). Our goal is to find a potential for the Hill's operator in order to reproduce as best as possible some given target bands, which may not be realisable. We recast the problem as an optimisation problem, and prove that this problem is well-posed when considering singular poten… ▽ More This paper concerns an inverse band structure problem for one dimensional periodic Schrödinger operators (Hill's operators). Our goal is to find a potential for the Hill's operator in order to reproduce as best as possible some given target bands, which may not be realisable. We recast the problem as an optimisation problem, and prove that this problem is well-posed when considering singular potentials (Borel measures). We then propose different algorithms to tackle the problem numerically. △ Less

Submitted 20 September, 2017; originally announced September 2017.

Sub-wavelength focusing of acoustic waves in bubbly media

Authors: Habib Ammari, Brian Fitzpatrick, David Gontier, Hyundae Lee, Hai Zhang

Abstract: The purpose of this paper is to investigate acoustic wave scattering by a large number of bubbles in a liquid at frequencies near the Minnaert resonance frequency. This bubbly media has been exploited in practice to obtain super-focusing of acoustic waves. Using layer potential techniques we derive the scattering function for a single spherical bubble excited by an incident wave in the low frequen… ▽ More The purpose of this paper is to investigate acoustic wave scattering by a large number of bubbles in a liquid at frequencies near the Minnaert resonance frequency. This bubbly media has been exploited in practice to obtain super-focusing of acoustic waves. Using layer potential techniques we derive the scattering function for a single spherical bubble excited by an incident wave in the low frequency regime. We then derive the point scatter approximation for multiple scattering by N bubbles. We describe several numerical experiments based on the point scatterer approximation that demonstrate the possibility of achieving super-focusing using bubbly media. △ Less

Submitted 25 June, 2017; originally announced June 2017.

Comments: 17 pages, 8 figures

MSC Class: 35R30; 35C20

A mathematical and numerical framework for bubble meta-screens

Authors: Habib Ammari, Brian Fitzpatrick, David Gontier, Hyundae Lee, Hai Zhang

Abstract: The aim of this paper is to provide a mathematical and numerical framework for the analysis and design of bubble meta-screens. An acoustic meta-screen is a thin sheet with patterned subwavelength structures, which nevertheless has a macroscopic effect on the acoustic wave propagation. In this paper, periodic subwavelength bubbles mounted on a reflective surface (with Dirichlet boundary condition)… ▽ More The aim of this paper is to provide a mathematical and numerical framework for the analysis and design of bubble meta-screens. An acoustic meta-screen is a thin sheet with patterned subwavelength structures, which nevertheless has a macroscopic effect on the acoustic wave propagation. In this paper, periodic subwavelength bubbles mounted on a reflective surface (with Dirichlet boundary condition) is considered. It is shown that the structure behaves as an equivalent surface with Neumann boundary condition at the Minnaert resonant frequency which corresponds to a wavelength much greater than the size of the bubbles. Analytical formula for this resonance is derived. Numerical simulations confirm its accuracy and show how it depends on the ratio between the periodicity of the lattice, the size of the bubble, and the distance from the reflective surface. The results of this paper formally explain the super-absorption behavior observed in [V. Leroy et al., Phys. Rev. B, 2015]. △ Less

Submitted 9 August, 2016; originally announced August 2016.

MSC Class: 35R30; 35C20

Minnaert resonances for acoustic waves in bubbly media

Authors: Habib Ammari, Brian Fitzpatrick, David Gontier, Hyundae Lee, Hai Zhang

Abstract: Through the application of layer potential techniques and Gohberg-Sigal theory we derive an original formula for the Minnaert resonance frequencies of arbitrarily shaped bubbles. We also provide a mathematical justification for the monopole approximation of scattering of acoustic waves by bubbles at their Minnaert resonant frequency. Our results are complemented by several numerical examples which… ▽ More Through the application of layer potential techniques and Gohberg-Sigal theory we derive an original formula for the Minnaert resonance frequencies of arbitrarily shaped bubbles. We also provide a mathematical justification for the monopole approximation of scattering of acoustic waves by bubbles at their Minnaert resonant frequency. Our results are complemented by several numerical examples which serve to validate our formula in two dimensions. △ Less

Submitted 12 March, 2016; originally announced March 2016.

MSC Class: 35R30; 35C20

Supercell calculations in the reduced Hartree-Fock model for crystals with local defects

Authors: David Gontier, Salma Lahbabi

Abstract: In this article, we study the speed of convergence of the supercell reduced Hartree-Fock~(rHF) model towards the whole space rHF model in the case where the crystal contains a local defect. We prove that, when the defect is charged, the defect energy in a supercell model converges to the full rHF defect energy with speed $L^{-1}$, where $L^3$ is the volume of the supercell. The convergence constan… ▽ More In this article, we study the speed of convergence of the supercell reduced Hartree-Fock~(rHF) model towards the whole space rHF model in the case where the crystal contains a local defect. We prove that, when the defect is charged, the defect energy in a supercell model converges to the full rHF defect energy with speed $L^{-1}$, where $L^3$ is the volume of the supercell. The convergence constant is identified as the Makov-Payne correction term when the crystal is isotropic cubic. The result is extended to the non-isotropic case. △ Less

Submitted 3 January, 2017; v1 submitted 29 December, 2015; originally announced December 2015.

Convergence rates of supercell calculations in the reduced Hartree-Fock model

Authors: David Gontier, Salma Lahbabi

Abstract: This article is concerned with the numerical simulations of perfect crystals. We study the rate of convergence of the reduced Hartree-Fock (rHF) model in a supercell towards the periodic rHF model in the whole space. We prove that, whenever the crystal is an insulator or a semi-conductor, the supercell energy per unit cell converges exponentially fast towards the periodic rHF energy per unit cell,… ▽ More This article is concerned with the numerical simulations of perfect crystals. We study the rate of convergence of the reduced Hartree-Fock (rHF) model in a supercell towards the periodic rHF model in the whole space. We prove that, whenever the crystal is an insulator or a semi-conductor, the supercell energy per unit cell converges exponentially fast towards the periodic rHF energy per unit cell, with respect to the size of the supercell. △ Less

Submitted 2 July, 2015; v1 submitted 1 July, 2015; originally announced July 2015.

A mathematical analysis of the GW0 method for computing electronic excited energies of molecules

Authors: Eric Cancès, David Gontier, Gabriel Stoltz

Abstract: This paper analyses the GW method for finite electronic systems. In a first step, we provide a mathematical framework for the usual one-body operators that appear naturally in many-body perturbation theory. We then discuss the GW equations which construct an approximation of the one-body Green's function, and give a rigorous mathematical formulation of these equations. Finally, we study the well-p… ▽ More This paper analyses the GW method for finite electronic systems. In a first step, we provide a mathematical framework for the usual one-body operators that appear naturally in many-body perturbation theory. We then discuss the GW equations which construct an approximation of the one-body Green's function, and give a rigorous mathematical formulation of these equations. Finally, we study the well-posedness of the GW0 equations, proving the existence of a unique solution to these equations in a perturbative regime. △ Less

Submitted 15 July, 2015; v1 submitted 4 June, 2015; originally announced June 2015.

MSC Class: 81Q15; 81Q40; 47N60

Pure-state $N$-representability in current-spin-density-functional theory

Authors: David Gontier

Abstract: This paper is concerned with the pure-state $N$-representability problem for systems under a magnetic field. Necessary and sufficient conditions are given for a spin-density $2 \times 2$ matrix $R$ to be representable by a Slater determinant. We also provide sufficient conditions on the paramagnetic current $\mathbb{j}$ for the pair $(R, \mathbb{j})$ to be Slater-representable in the case where th… ▽ More This paper is concerned with the pure-state $N$-representability problem for systems under a magnetic field. Necessary and sufficient conditions are given for a spin-density $2 \times 2$ matrix $R$ to be representable by a Slater determinant. We also provide sufficient conditions on the paramagnetic current $\mathbb{j}$ for the pair $(R, \mathbb{j})$ to be Slater-representable in the case where the number of electrons $N$ is greater than 12. The case $N < 12$ is left open. △ Less

Submitted 11 January, 2015; originally announced January 2015.

MSC Class: 81Q65

Existence of minimizers for Kohn-Sham within the Local Spin Density Approximation

Authors: David Gontier

Abstract: The purpose of this article is to extend the work by Anantharaman and Cancès [1], and prove the existence of minimizers for the spin-polarized Kohn-Sham model in the presence of a magnetic field within the local spin density approximation. We show that for any magnetic field that vanishes at infinity, the existence of minimizers is ensured for neutral or positively charged systems. The proof relie… ▽ More The purpose of this article is to extend the work by Anantharaman and Cancès [1], and prove the existence of minimizers for the spin-polarized Kohn-Sham model in the presence of a magnetic field within the local spin density approximation. We show that for any magnetic field that vanishes at infinity, the existence of minimizers is ensured for neutral or positively charged systems. The proof relies on classical concentration-compactness techniques. △ Less

Submitted 20 April, 2014; originally announced April 2014.

$N$-representability in non-collinear spin-polarized density functional theory

Authors: David Gontier

Abstract: The $N$-representability problem for non-collinear spin-polarized densities was left open in the pioneering work of von Barth and Hedin setting up the Kohn-Sham density functional theory for magnetic compounds. In this letter, we demonstrate that, contrarily to the non-polarized case, the sets of pure and mixed state $N$-representable densities are different in general. We provide a simple charact… ▽ More The $N$-representability problem for non-collinear spin-polarized densities was left open in the pioneering work of von Barth and Hedin setting up the Kohn-Sham density functional theory for magnetic compounds. In this letter, we demonstrate that, contrarily to the non-polarized case, the sets of pure and mixed state $N$-representable densities are different in general. We provide a simple characterization of the latter by means of easily checkable necessary and sufficient conditions on the components $ρ^{αβ} (\br)$ of the spin-polarized density. △ Less

Submitted 9 December, 2013; v1 submitted 29 June, 2013; originally announced July 2013.

Sampling based on timing: Time encoding machines on shift-invariant subspaces

Authors: David Gontier, Martin Vetterli

Abstract: Sampling information using timing is a new approach in sampling theory. The question is how to map amplitude information into the timing domain. One such encoder, called time encoding machine, was introduced by Lazar and Toth in [23] for the special case of band-limited functions. In this paper, we extend their result to the general framework of shift-invariant subspaces. We prove that time encodi… ▽ More Sampling information using timing is a new approach in sampling theory. The question is how to map amplitude information into the timing domain. One such encoder, called time encoding machine, was introduced by Lazar and Toth in [23] for the special case of band-limited functions. In this paper, we extend their result to the general framework of shift-invariant subspaces. We prove that time encoding machines may be considered as non-uniform sampling devices, where time locations are unknown a priori. Using this fact, we show that perfect representation and reconstruction of a signal with a time encoding machine is possible whenever this device satisfies some density property. We prove that this method is robust under timing quantization, and therefore can lead to the design of simple and energy efficient sampling devices. △ Less

Submitted 7 January, 2013; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: submitted to Applied and Computationnal Harmonic Analysis

MSC Class: 94A20