-
Clearing-out of dipoles for minimisers of 2-dimensional discrete energies with topological singularities
Authors:
Adriana Garroni,
Mircea Petrache,
Emanuele Spadaro
Abstract:
A key question in the analysis of discrete models for material defects, such as vortices in spin systems and superconductors or isolated dislocations in metals, is whether information on boundary energy for a domain can be sufficient for controlling the number of defects in the interior. We present a general combinatorial dipole-removal argument for a large class of discrete models including XY sy…
▽ More
A key question in the analysis of discrete models for material defects, such as vortices in spin systems and superconductors or isolated dislocations in metals, is whether information on boundary energy for a domain can be sufficient for controlling the number of defects in the interior. We present a general combinatorial dipole-removal argument for a large class of discrete models including XY systems and screw dislocation models, allowing to prove sharp conditions under which controlled flux and boundary energy guarantee to have minimizers with zero or one charges in the interior. The argument uses the max-flow min-cut theorem in combination with an ad-hoc duality for planar graphs, and is robust with respect to changes of the function defining the interaction energies.
△ Less
Submitted 4 August, 2024;
originally announced August 2024.
-
Almost sure recovery in quasi-periodic structures
Authors:
Mircea Petrache,
Rodolfo Viera
Abstract:
We study random perturbations of quasi-periodic uniformly discrete sets in the $d$-dimensional euclidean space. By means of Diffraction Theory, we find conditions under which a quasi-periodic set $X$ can be almost surely recovered from its random perturbations. This extends the recent periodic case result of Yakir from "Recovery the lattice from its random perturbations" IMRN 2020 (arXiv:200201508…
▽ More
We study random perturbations of quasi-periodic uniformly discrete sets in the $d$-dimensional euclidean space. By means of Diffraction Theory, we find conditions under which a quasi-periodic set $X$ can be almost surely recovered from its random perturbations. This extends the recent periodic case result of Yakir from "Recovery the lattice from its random perturbations" IMRN 2020 (arXiv:200201508).
△ Less
Submitted 27 December, 2022; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Continuum limits of discrete isoperimetric problems and Wulff shapes in lattices and quasicrystal tilings
Authors:
Giacomo Del Nin,
Mircea Petrache
Abstract:
We prove discrete-to-continuum convergence of interaction energies defined on lattices in the Euclidean space (with interactions beyond nearest neighbours) to a crystalline perimeter, and we discuss the possible Wulff shapes obtainable in this way.
Exploiting the "multigrid construction" of quasiperiodic tilings (which is an extension of De Bruijn's "pentagrid" construction of Penrose tilings) w…
▽ More
We prove discrete-to-continuum convergence of interaction energies defined on lattices in the Euclidean space (with interactions beyond nearest neighbours) to a crystalline perimeter, and we discuss the possible Wulff shapes obtainable in this way.
Exploiting the "multigrid construction" of quasiperiodic tilings (which is an extension of De Bruijn's "pentagrid" construction of Penrose tilings) we adapt the same techniques to also find the macroscopical homogenized perimeter when we microscopically rescale a given quasiperiodic tiling.
△ Less
Submitted 19 July, 2021; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Crystallization for Coulomb and Riesz Interactions as a Consequence of the Cohn-Kumar Conjecture
Authors:
Mircea Petrache,
Sylvia Serfaty
Abstract:
The Cohn-Kumar conjecture states that the triangular lattice in dimension 2, the $E_8$ lattice in dimension 8, and the Leech lattice in dimension 24 are universally minimizing in the sense that they minimize the total pair interaction energy of infinite point configurations for all completely monotone functions of the squared distance. This conjecture was recently proved by Cohn-Kumar-Miller-Radch…
▽ More
The Cohn-Kumar conjecture states that the triangular lattice in dimension 2, the $E_8$ lattice in dimension 8, and the Leech lattice in dimension 24 are universally minimizing in the sense that they minimize the total pair interaction energy of infinite point configurations for all completely monotone functions of the squared distance. This conjecture was recently proved by Cohn-Kumar-Miller-Radchenko-Viazovska in dimensions 8 and 24. We explain in this note how the conjecture implies the minimality of the same lattices for the Coulomb and Riesz renormalized energies as well as jellium and periodic jellium energies, hence settling the question of their minimization in dimensions 8 and 24.
△ Less
Submitted 9 September, 2019; v1 submitted 26 August, 2019;
originally announced August 2019.
-
Crystallization to the square lattice for a two-body potential
Authors:
Laurent Bétermin,
Lucia De Luca,
Mircea Petrache
Abstract:
We consider two-dimensional zero-temperature systems of $N$ particles to which we associate an energy of the form $$ \mathcal{E}[V](X):=\sum_{1\le i<j\le N}V(|X(i)-X(j)|), $$ where $X(j)\in\mathbb R^2$ represents the position of the particle $j$ and $V(r)\in\mathbb R$ is the {pairwise interaction} energy potential of two particles placed at distance $r$. We show that under suitable assumptions on…
▽ More
We consider two-dimensional zero-temperature systems of $N$ particles to which we associate an energy of the form $$ \mathcal{E}[V](X):=\sum_{1\le i<j\le N}V(|X(i)-X(j)|), $$ where $X(j)\in\mathbb R^2$ represents the position of the particle $j$ and $V(r)\in\mathbb R$ is the {pairwise interaction} energy potential of two particles placed at distance $r$. We show that under suitable assumptions on the single-well potential $V$, the ground state energy per particle converges to an explicit constant $\bar{\mathcal E}_{\mathrm{sq}}[V]$ which is the same as the energy per particle in the square lattice infinite configuration. We thus have $$ N{\bar{\mathcal E}_{\mathrm{sq}}[V]}\le \min_{X:\{1,\ldots,N\}\to\mathbb R^2}\mathcal E[V](X)\le N{\bar{\mathcal E}_{\mathrm{sq}}[V]}+O(N^{\frac 1 2}). $$ Moreover $\bar{\mathcal E}_{\mathrm{sq}}[V]$ is also re-expressed as the minimizer of a four point energy.
In particular, this happen{s} if the potential $V$ is such that $V(r)=+\infty$ for $r<1$, $V(r)=-1$ for $r\in [1,\sqrt{2}]$, $V(r)=0$ if $r>\sqrt{2}$, in which case ${\bar{\mathcal E}_{\mathrm{sq}}[V]}=-4$.
To the best of our knowledge, this is the first proof of crystallization to the square lattice for a two-body interaction energy.
△ Less
Submitted 23 October, 2019; v1 submitted 13 July, 2019;
originally announced July 2019.
-
Optimal and non-optimal lattices for non-completely monotone interaction potentials
Authors:
Laurent Bétermin,
Mircea Petrache
Abstract:
We investigate the minimization of the energy per point $E\_f$ among $d$-dimensional Bravais lattices, depending on the choice of pairwise potential equal to a radially symmetric function $f(|x|^2)$. We formulate criteria for minimality and non-minimality of some lattices for $E\_f$ at fixed scale based on the sign of the inverse Laplace transform of $f$ when $f$ is a superposition of exponentials…
▽ More
We investigate the minimization of the energy per point $E\_f$ among $d$-dimensional Bravais lattices, depending on the choice of pairwise potential equal to a radially symmetric function $f(|x|^2)$. We formulate criteria for minimality and non-minimality of some lattices for $E\_f$ at fixed scale based on the sign of the inverse Laplace transform of $f$ when $f$ is a superposition of exponentials, beyond the class of completely monotone functions. We also construct a family of non-completely monotone functions having the triangular lattice as the unique minimizer of $E\_f$ at any scale. For Lennard-Jones type potentials, we reduce the minimization problem among all Bravais lattices to a minimization over the smaller space of unit-density lattices and we establish a link to the maximum kissing problem. New numerical evidence for the optimality of particular lattices for all the exponents are also given. We finally design one-well potentials $f$ such that the square lattice has lower energy $E\_f$ than the triangular one. Many open questions are also presented.
△ Less
Submitted 3 May, 2019; v1 submitted 5 June, 2018;
originally announced June 2018.
-
Equality of the Jellium and Uniform Electron Gas next-order asymptotic terms for Coulomb and Riesz potentials
Authors:
Codina Cotar,
Mircea Petrache
Abstract:
We consider two sharp next-order asymptotics problems, namely the asymptotics for the minimum energy for optimal point configurations and the asymptotics for the many-marginals Optimal Transport, in both cases with Riesz costs with inverse power-law long range interactions. The first problem describes the ground state of a Coulomb or Riesz gas, while the second appears as a semiclassical limit of…
▽ More
We consider two sharp next-order asymptotics problems, namely the asymptotics for the minimum energy for optimal point configurations and the asymptotics for the many-marginals Optimal Transport, in both cases with Riesz costs with inverse power-law long range interactions. The first problem describes the ground state of a Coulomb or Riesz gas, while the second appears as a semiclassical limit of the Density Functional Theory energy modelling a quantum version of the same system. Recently the second-order term in these expansions was precisely described, and corresponds respectively to a Jellium and to a Uniform Electron Gas model.
The present work shows that for inverse-power-law interactions with power $s\in [d-2,d)$ in $d$ dimensions, the two problems have the same minimum value asymptotically. For the Coulomb case in $d=3$, our result verifies the physicists' long-standing conjecture regarding the equality of the second-order terms for these two problems. Furthermore, our work implies that, whereas minimum values are equal, the minimizers may be different. Moreover, provided that the crystallization hypothesis in $d=3$ holds, which is analogous to Abrikosov's conjecture in $d=2$, then our result verifies the physicists' conjectured $\approx 1.4442$ lower bound on the famous Lieb-Oxford constant. Our work also rigorously confirms some of the predictions formulated by physicists, regarding the optimal value of the Uniform Electron Gas second-order asymptotic term.
We also show that on the whole range $s\in(0,d)$, the Uniform Electron Gas second-order constant is continuous in $s$.
△ Less
Submitted 31 March, 2019; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Next-order asymptotic expansion for N-marginal optimal transport with Coulomb and Riesz costs
Authors:
Codina Cotar,
Mircea Petrache
Abstract:
Motivated by a problem arising from Density Functional Theory, we provide the sharp next-order asymptotics for a class of multimarginal optimal transport problems with cost given by singular, long-range pairwise interaction potentials. More precisely, we consider an $N$-marginal optimal transport problem with $N$ equal marginals supported on $\mathbb R^d$ and with cost of the form…
▽ More
Motivated by a problem arising from Density Functional Theory, we provide the sharp next-order asymptotics for a class of multimarginal optimal transport problems with cost given by singular, long-range pairwise interaction potentials. More precisely, we consider an $N$-marginal optimal transport problem with $N$ equal marginals supported on $\mathbb R^d$ and with cost of the form $\sum_{i\neq j}|x_i-x_j|^{-s}$. In this setting we determine the second-order term in the $N\to\infty$ asymptotic expansion of the minimum energy, for the long-range interactions corresponding to all exponents $0<s<d$. We also prove a small oscillations property for this second-order energy term. Our results can be extended to a larger class of models than power-law-type radial costs, such as non-rotationally-invariant costs. The key ingredient and main novelty in our proofs is a robust extension and simplification of the Fefferman-Gregg decomposition (Fefferman 1985, Gregg 1989), extended here to our class of kernels, and which provides a unified method valid across our full range of exponents. Our first result generalizes a recent work of Lewin, Lieb and Seiringer (2017), who dealt with the second-order term for the Coulomb case $s=1,d=3$, by different methods.
△ Less
Submitted 14 December, 2018; v1 submitted 19 June, 2017;
originally announced June 2017.
-
Equidistribution of jellium energy for Coulomb and Riesz Interactions
Authors:
Mircea Petrache,
Simona Rota Nodari
Abstract:
For general dimension $d$ we prove the equidistribution of energy at the micro-scale in $\mathbb R^d$, for the optimal point configurations appearing in Coulomb gases at zero temperature. At the microscopic scale, i.e. after blow-up at the scale corresponding to the interparticle distance, in the case of Coulomb gases we show that the energy concentration is precisely determined by the macroscopic…
▽ More
For general dimension $d$ we prove the equidistribution of energy at the micro-scale in $\mathbb R^d$, for the optimal point configurations appearing in Coulomb gases at zero temperature. At the microscopic scale, i.e. after blow-up at the scale corresponding to the interparticle distance, in the case of Coulomb gases we show that the energy concentration is precisely determined by the macroscopic density of points, independently of the scale. This uses the "jellium energy" which was previously shown to control the next-order term in the large particle number asymptotics of the minimum energy. As a corollary, we obtain sharp error bounds on the discrepancy between the number of points and its expected average of optimal point configurations for Coulomb gases, extending previous results valid only for $2$-dimensional log-gases. For Riesz gases with interaction potentials $g(x)=|x|^{-s}, s\in]\min\{0,d-2\},d[$ and one-dimensional log-gases, we prove the same equidistribution result under an extra hypothesis on the decay of the localized energy, which we conjecture to hold for minimizing configurations. In this case we use the Caffarelli-Silvestre description of the non-local fractional Laplacians in $\mathbb R^d$ to localize the problem.
△ Less
Submitted 22 November, 2016; v1 submitted 13 September, 2016;
originally announced September 2016.
-
Dimension reduction techniques for the minimization of theta functions on lattices
Authors:
Laurent Bétermin,
Mircea Petrache
Abstract:
We consider the minimization of theta functions $θ\_Λ(α)=\sum\_{p\inΛ}e^{-πα|p|^2}$ amongst lattices $Λ\subset \mathbb R^d$, by reducing the dimension of the problem, following as a motivation the case $d=3$, where minimizers are supposed to be either the BCC or the FCC lattices. A first way to reduce dimension is by considering layered lattices, and minimize either among competitors presenting di…
▽ More
We consider the minimization of theta functions $θ\_Λ(α)=\sum\_{p\inΛ}e^{-πα|p|^2}$ amongst lattices $Λ\subset \mathbb R^d$, by reducing the dimension of the problem, following as a motivation the case $d=3$, where minimizers are supposed to be either the BCC or the FCC lattices. A first way to reduce dimension is by considering layered lattices, and minimize either among competitors presenting different sequences of repetitions of the layers, or among competitors presenting different shifts of the layers with respect to each other. The second case presents the problem of minimizing theta functions also on translated lattices, namely minimizing $(L,u)\mapsto θ\_{L+u}(α)$. Another way to reduce dimension is by considering lattices with a product structure or by successively minimizing over concentric layers. The first direction leads to the question of minimization amongst orthorhombic lattices, whereas the second is relevant for asymptotics questions, which we study in detail in two dimensions.
△ Less
Submitted 5 September, 2017; v1 submitted 29 July, 2016;
originally announced July 2016.
-
Decorrelation as an avatar of convexity
Authors:
Mircea Petrache
Abstract:
If $X$ is a Polish space then we show that the product measure on $X^\infty$ is guaranteed to minimize $c$-energy amongst exchangeable measures with fixed marginals if and only if the interaction kernel $c$ defines a convex energy functional on probability measures. A reformulation of this condition close to the theory of positive definite functions is highlighted.
If $X$ is a Polish space then we show that the product measure on $X^\infty$ is guaranteed to minimize $c$-energy amongst exchangeable measures with fixed marginals if and only if the interaction kernel $c$ defines a convex energy functional on probability measures. A reformulation of this condition close to the theory of positive definite functions is highlighted.
△ Less
Submitted 2 July, 2015;
originally announced July 2015.
-
Next Order Asymptotics and Renormalized Energy for Riesz Interactions
Authors:
Mircea Petrache,
Sylvia Serfaty
Abstract:
We study systems of $n$ points in the Euclidean space of dimension $d \ge 1$ interacting via a Riesz kernel $|x|^{-s}$ and confined by an external potential, in the regime where $d-2\le s<d$. We also treat the case of logarithmic interactions in dimensions $1$ and $2$. Our study includes and retrieves all cases previously studied in \cite{ss2d,ss1d,rs}. Our approach is based on the Caffarelli-Silv…
▽ More
We study systems of $n$ points in the Euclidean space of dimension $d \ge 1$ interacting via a Riesz kernel $|x|^{-s}$ and confined by an external potential, in the regime where $d-2\le s<d$. We also treat the case of logarithmic interactions in dimensions $1$ and $2$. Our study includes and retrieves all cases previously studied in \cite{ss2d,ss1d,rs}. Our approach is based on the Caffarelli-Silvestre extension formula which allows to view the Riesz kernel as the kernel of a (inhomogeneous) local operator in the extended space $\mathbb{R}^{d+1}$.
As $n \to \infty$, we exhibit a next to leading order term in $n^{1+s/d}$ in the asymptotic expansion of the total energy of the system, where the constant term in factor of $n^{1+s/d}$ depends on the microscopic arrangement of the points and is expressed in terms of a "renormalized energy." This new object is expected to penalize the disorder of an infinite set of points in whole space, and to be minimized by Bravais lattice (or crystalline) configurations. We give applications to the statistical mechanics in the case where temperature is added to the system, and identify an expected "crystallization regime." We also obtain a result of separation of the points for minimizers of the energy.
△ Less
Submitted 26 September, 2014;
originally announced September 2014.
