-
Spherical caps do not always maximize Neumann eigenvalues on the sphere
Authors:
Dorin Bucur,
Richard S. Laugesen,
Eloi Martinet,
Mickaël Nahon
Abstract:
We prove the existence of an open set $Ω\subset\mathbb{S}^2$ for which the first positive eigenvalue of the Laplacian with Neumann boundary condition exceeds that of the geodesic disk having the same area. This example holds for large areas and contrasts with results by Bandle and later authors proving maximality of the disk under additional topological or geometric conditions, thereby revealing s…
▽ More
We prove the existence of an open set $Ω\subset\mathbb{S}^2$ for which the first positive eigenvalue of the Laplacian with Neumann boundary condition exceeds that of the geodesic disk having the same area. This example holds for large areas and contrasts with results by Bandle and later authors proving maximality of the disk under additional topological or geometric conditions, thereby revealing such conditions to be necessary.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Computation of harmonic functions on higher genus surfaces
Authors:
Mickaël Nahon,
Édouard Oudet
Abstract:
We introduce a method to compute efficiently and with arbitrary precision a basis of harmonic functions with prescribed singularities on a general compact surface of genus two and more. This basis is obtained as a composition of theta functions and the Abel-Jacobi map, which is approximated at spectral speed by complex polynomials. We then implement this method to compute harmonic extensions on ge…
▽ More
We introduce a method to compute efficiently and with arbitrary precision a basis of harmonic functions with prescribed singularities on a general compact surface of genus two and more. This basis is obtained as a composition of theta functions and the Abel-Jacobi map, which is approximated at spectral speed by complex polynomials. We then implement this method to compute harmonic extensions on genus $2$ surfaces with boundary, that are described by their Fenchel-Nielsen coordinates and a smooth parametrization of the boundary. Finally, we prove the spectral convergence of the method for the harmonic extension.
△ Less
Submitted 9 October, 2024;
originally announced October 2024.
-
Strong and weak alignment of large language models with human values
Authors:
Mehdi Khamassi,
Marceau Nahon,
Raja Chatila
Abstract:
Minimizing negative impacts of Artificial Intelligent (AI) systems on human societies without human supervision requires them to be able to align with human values. However, most current work only addresses this issue from a technical point of view, e.g., improving current methods relying on reinforcement learning from human feedback, neglecting what it means and is required for alignment to occur…
▽ More
Minimizing negative impacts of Artificial Intelligent (AI) systems on human societies without human supervision requires them to be able to align with human values. However, most current work only addresses this issue from a technical point of view, e.g., improving current methods relying on reinforcement learning from human feedback, neglecting what it means and is required for alignment to occur. Here, we propose to distinguish strong and weak value alignment. Strong alignment requires cognitive abilities (either human-like or different from humans) such as understanding and reasoning about agents' intentions and their ability to causally produce desired effects. We argue that this is required for AI systems like large language models (LLMs) to be able to recognize situations presenting a risk that human values may be flouted. To illustrate this distinction, we present a series of prompts showing ChatGPT's, Gemini's and Copilot's failures to recognize some of these situations. We moreover analyze word embeddings to show that the nearest neighbors of some human values in LLMs differ from humans' semantic representations. We then propose a new thought experiment that we call "the Chinese room with a word transition dictionary", in extension of John Searle's famous proposal. We finally mention current promising research directions towards a weak alignment, which could produce statistically satisfying answers in a number of common situations, however so far without ensuring any truth value.
△ Less
Submitted 12 August, 2024; v1 submitted 5 August, 2024;
originally announced August 2024.
-
Minimality of vortex solutions to Ginzburg--Landau type systems for gradient fields in the unit ball in dimension $N\geq 4$
Authors:
Radu Ignat,
Mickael Nahon,
Luc Nguyen
Abstract:
We prove that the degree-one vortex solution is the unique minimizer for the Ginzburg--Landau functional for gradient fields (that is, the Aviles--Giga model) in the unit ball $B^N$ in dimension $N \geq 4$ and with respect to its boundary value. A similar result is also proved for $\mathbb{S}^N$-valued maps in the theory of micromagnetics. Two methods are presented. The first method is an extensio…
▽ More
We prove that the degree-one vortex solution is the unique minimizer for the Ginzburg--Landau functional for gradient fields (that is, the Aviles--Giga model) in the unit ball $B^N$ in dimension $N \geq 4$ and with respect to its boundary value. A similar result is also proved for $\mathbb{S}^N$-valued maps in the theory of micromagnetics. Two methods are presented. The first method is an extension of the analogous technique previously used to treat the unconstrained Ginzburg--Landau functional in dimension $N \geq 7$. The second method uses a symmetrization procedure for gradient fields such that the $L^2$-norm is invariant while the $L^p$-norm, $2 < p < \infty$, and the $H^1$-norm are lowered.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Sharp Quantitative Stability of the Dirichlet spectrum near the ball
Authors:
Dorin Bucur,
Jimmy Lamboley,
Mickaël Nahon,
Raphaël Prunier
Abstract:
Let $Ω\subset\mathbb{R}^n$ be an open set with same volume as the unit ball $B$ and let $λ_k(Ω)$ be the $k$-th eigenvalue of the Laplace operator of $Ω$ with Dirichlet boundary conditions in $\partialΩ$. In this work, we answer the following question: if $λ_1(Ω)-λ_1(B)$ is small, how large can $|λ_k(Ω)-λ_k(B)|$ be ?
We establish quantitative bounds of the form…
▽ More
Let $Ω\subset\mathbb{R}^n$ be an open set with same volume as the unit ball $B$ and let $λ_k(Ω)$ be the $k$-th eigenvalue of the Laplace operator of $Ω$ with Dirichlet boundary conditions in $\partialΩ$. In this work, we answer the following question: if $λ_1(Ω)-λ_1(B)$ is small, how large can $|λ_k(Ω)-λ_k(B)|$ be ?
We establish quantitative bounds of the form $|λ_k(Ω)-λ_k(B)|\le C (λ_1(Ω)-λ_1(B))^α$ with sharp exponents $α$ depending on the multiplicity of $λ_k(B)$. We first show that such an inequality is valid with $α=1/2$ for any $k$, improving previous known results and providing the sharpest possible exponent. Then, through the study of a vectorial free boundary problem, we show that one can achieve the better exponent $α=1$ if $λ_{k}(B)$ is simple. We also obtain a similar result for the whole cluster of eigenvalues when $λ_{k}(B)$ is multiple, thus providing a complete answer to the question above. As a consequence of these results, we obtain the persistence of the ball as minimizer for a large class of spectral functionals which are small perturbations of the fundamental eigenvalue on the one hand, and a full reverse Kohler-Jobin inequality on the other hand, solving an open problem formulated by M. Van Den Berg, G. Buttazzo and A. Pratelli.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
A free discontinuity approach to optimal profiles in Stokes flows
Authors:
Dorin Bucur,
Antonin Chambolle,
Alessandro Giacomini,
Mickaël Nahon
Abstract:
In this paper we study obstacles immerged in a Stokes flow with Navier boundary conditions. We prove the existence and regularity of an obstacle with minimal drag, among all shapes of prescribed volume and controlled surface area, taking into account that these shapes may naturally develop geometric features of codimension 1. The existence is carried out in the framework of free discontinuity prob…
▽ More
In this paper we study obstacles immerged in a Stokes flow with Navier boundary conditions. We prove the existence and regularity of an obstacle with minimal drag, among all shapes of prescribed volume and controlled surface area, taking into account that these shapes may naturally develop geometric features of codimension 1. The existence is carried out in the framework of free discontinuity problems and leads to a relaxed solution in the space of special functions of bounded deformation (SBD). In dimension 2, we prove that the solution is classical.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Sharp inequalities for Neumann eigenvalues on the sphere
Authors:
Dorin Bucur,
Eloi Martinet,
Mickaël Nahon
Abstract:
We prove that the second nontrivial Neumann eigenvalue of the Laplace-Beltrami operator on the unit sphere $\mathbb{S}^n \subseteq \mathbb{R}^{n+1}$ is maximized by the union of two disjoint, equal, geodesic balls among all subsets of $\mathbb{S}^n$ of prescribed volume. In fact, the result holds in a stronger version, involving the harmonic mean of the eigenvalues of order $2$ to $n$, and extends…
▽ More
We prove that the second nontrivial Neumann eigenvalue of the Laplace-Beltrami operator on the unit sphere $\mathbb{S}^n \subseteq \mathbb{R}^{n+1}$ is maximized by the union of two disjoint, equal, geodesic balls among all subsets of $\mathbb{S}^n$ of prescribed volume. In fact, the result holds in a stronger version, involving the harmonic mean of the eigenvalues of order $2$ to $n$, and extends to densities. A (surprising) consequence occurs on the maximality of a geodesic ball for the first nontrivial eigenvalue under the volume constraint: the hemisphere inclusion condition of the Ashbaugh-Benguria result can be relaxed to a weaker one, namely empty intersection with a geodesic ball of the prescribed volume. Although we do not prove that this last inclusion result is sharp, for a mass less than the half of the sphere, we numerically identify a density with higher first eigenvalue than the corresponding geodesic ball and with support equal to the full sphere $\mathbb{S}^2$.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Boundary behavior of Robin problems in non-smooth domains
Authors:
Dorin Bucur,
Alessandro Giacomini,
Mickaël Nahon
Abstract:
We analyze strict positivity at the boundary for nonnegative solutions of Robin problems in general (non-smooth) domains, e.g. open sets with rectifiable topological boundaries having finite Hausdorff measure. This question was raised by Bass, Burdzy and Chen in 2008 for harmonic functions, in a probabilistic context. We give geometric conditions such that the solutions of Robin problems associate…
▽ More
We analyze strict positivity at the boundary for nonnegative solutions of Robin problems in general (non-smooth) domains, e.g. open sets with rectifiable topological boundaries having finite Hausdorff measure. This question was raised by Bass, Burdzy and Chen in 2008 for harmonic functions, in a probabilistic context. We give geometric conditions such that the solutions of Robin problems associated to general elliptic operators of $p$-Laplacian type, with a positive right hand side, are globally or locally bounded away from zero at the boundary. Our method, of variational type, relies on the analysis of an isoperimetric profile of the set and provides quantitative estimates as well.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Shape optimization of a thermal insulation problem
Authors:
Dorin Bucur,
Mickaël Nahon,
Carlo Nitsch,
Cristina Trombetti
Abstract:
We study a shape optimization problem involving a solid $K\subset\mathbb{R}^n$ that is maintained at constant temperature and is enveloped by a layer of insulating material $Ω$ which obeys a generalized boundary heat transfer law. We minimize the energy of such configurations among all $(K,Ω)$ with prescribed measure for $K$ and $Ω$, and no topological or geometrical constraints. In the convection…
▽ More
We study a shape optimization problem involving a solid $K\subset\mathbb{R}^n$ that is maintained at constant temperature and is enveloped by a layer of insulating material $Ω$ which obeys a generalized boundary heat transfer law. We minimize the energy of such configurations among all $(K,Ω)$ with prescribed measure for $K$ and $Ω$, and no topological or geometrical constraints. In the convection case (corresponding to Robin boundary conditions on $\partialΩ$) we obtain a full description of minimizers, while for general heat transfer conditions, we prove the existence and regularity of solutions and give a partial description of minimizers.
△ Less
Submitted 20 June, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
Stability of isoperimetric inequalities for Laplace eigenvalues on surfaces
Authors:
Mikhail Karpukhin,
Mickaël Nahon,
Iosif Polterovich,
Daniel Stern
Abstract:
We prove stability estimates for the isoperimetric inequalities for the first and the second nonzero Laplace eigenvalues on surfaces, both globally and in a fixed conformal class. We employ the notion of eigenvalues of measures and show that if a normalized eigenvalue is close to its maximal value, the corresponding measure must be close in the Sobolev space $W^{-1,2}$ to the set of maximizing mea…
▽ More
We prove stability estimates for the isoperimetric inequalities for the first and the second nonzero Laplace eigenvalues on surfaces, both globally and in a fixed conformal class. We employ the notion of eigenvalues of measures and show that if a normalized eigenvalue is close to its maximal value, the corresponding measure must be close in the Sobolev space $W^{-1,2}$ to the set of maximizing measures. In particular, this implies a qualitative stability result: metrics almost maximizing the normalized eigenvalue must be $W^{-1,2}$-close to a maximal metric. Following this approach, we prove sharp quantitative stability of the celebrated Hersch's inequality for the first eigenvalue on the sphere, as well as of its counterpart for the second eigenvalue. Similar results are also obtained for the precise isoperimetric eigenvalue inequalities on the projective plane, torus, and Klein bottle. The square of the $W^{-1,2}$ distance to a maximizing measure in these stability estimates is controlled by the difference between the normalized eigenvalue and its maximal value, indicating that the maxima are in a sense nondegenerate. We construct examples showing that the power of the distance can not be improved, and that the choice of the Sobolev space $W^{-1,2}$ is optimal.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Existence and regularity of optimal shapes for spectral functionals with Robin boundary conditions
Authors:
Mickaël Nahon
Abstract:
We establish the existence and find some qualitative properties of open sets that minimize functionals of the form $ F(λ_1(Ω;β),\dots,λ_k(Ω;β))$ under measure constraint on $Ω$, where $λ_i(Ω;β)$ designates the $i$-th eigenvalue of the Laplace operator on $Ω$ with Robin boundary conditions of parameter $β>0$. Moreover, we show that minimizers of $λ_k(Ω;β)$ for $k\geq 2$ verify the conjecture…
▽ More
We establish the existence and find some qualitative properties of open sets that minimize functionals of the form $ F(λ_1(Ω;β),\dots,λ_k(Ω;β))$ under measure constraint on $Ω$, where $λ_i(Ω;β)$ designates the $i$-th eigenvalue of the Laplace operator on $Ω$ with Robin boundary conditions of parameter $β>0$. Moreover, we show that minimizers of $λ_k(Ω;β)$ for $k\geq 2$ verify the conjecture $λ_k(Ω;β)=λ_{k-1}(Ω;β)$ in dimension three and more.
△ Less
Submitted 20 June, 2022; v1 submitted 15 February, 2021;
originally announced February 2021.
-
Degenerate free discontinuity problems and spectral inequalities in quantitative form
Authors:
Dorin Bucur,
Alessandro Giacomini,
Mickaël Nahon
Abstract:
We introduce a new geometric-analytic functional that we analyse in the context of free discontinuity problems. Its main feature is that the geometric term (the length of the jump set) appears with negative sign. This is motivated by searching quantitative inequalities for best constants of Sobolev-Poincaré inequalities with trace terms in $\mathbb{R}^n$ which correspond to fundamental eigenvalues…
▽ More
We introduce a new geometric-analytic functional that we analyse in the context of free discontinuity problems. Its main feature is that the geometric term (the length of the jump set) appears with negative sign. This is motivated by searching quantitative inequalities for best constants of Sobolev-Poincaré inequalities with trace terms in $\mathbb{R}^n$ which correspond to fundamental eigenvalues associated to semilinear problems for the Laplace operator with Robin boundary conditions. Our method is based on the study of this new, degenerate, functional which involves an obstacle problem in interaction with the jump set. Ultimately, this becomes a mixed free discontinuity/free boundary problem occuring above/at the level of the obstacle, respectively.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
Stability and instability issues of the Weinstock inequality
Authors:
Dorin Bucur,
Mickaël Nahon
Abstract:
Given two planar, conformal, smooth open sets $Ω$ and $ω$, we prove the existence of a sequence of smooth sets $Ω_n$ which geometrically converges to $Ω$ and such that the (perimeter normalized) Steklov eigenvalues of $Ω_n$ converge to the ones of $ω$. As a consequence, we answer a question raised by Girouard and Polterovich on the stability of the Weinstock inequality and prove that the inequalit…
▽ More
Given two planar, conformal, smooth open sets $Ω$ and $ω$, we prove the existence of a sequence of smooth sets $Ω_n$ which geometrically converges to $Ω$ and such that the (perimeter normalized) Steklov eigenvalues of $Ω_n$ converge to the ones of $ω$. As a consequence, we answer a question raised by Girouard and Polterovich on the stability of the Weinstock inequality and prove that the inequality is genuinely unstable. However, under some a priori knowledge of the geometry related to the oscillations of the boundaries, stability may occur.
△ Less
Submitted 3 June, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
A new continuum theory for incompressible swelling materials
Authors:
Pierre Degond,
Marina A. Ferreira,
Sara Merino-Aceituno,
Mickaël Nahon
Abstract:
Swelling media (e.g. gels, tumors) are usually described by mechanical constitutive laws (e.g. Hooke or Darcy laws). However, constitutive relations of real swelling media are not well known. Here, we take an opposite route and consider a simple packing heuristics, i.e. the particles can't overlap. We deduce a formula for the equilibrium density under a confining potential. We then consider its ev…
▽ More
Swelling media (e.g. gels, tumors) are usually described by mechanical constitutive laws (e.g. Hooke or Darcy laws). However, constitutive relations of real swelling media are not well known. Here, we take an opposite route and consider a simple packing heuristics, i.e. the particles can't overlap. We deduce a formula for the equilibrium density under a confining potential. We then consider its evolution when the average particle volume and confining potential depend on time under two additional heuristics: (i) any two particles can't swap their position; (ii) motion should obey some energy minimization principle. These heuristics determine the medium velocity consistently with the continuity equation. In the direction normal to the potential level sets the velocity is related with that of the level sets while in the parallel direction, it is determined by a Laplace-Beltrami operator on these sets. This complex geometrical feature cannot be recovered using a simple Darcy law.
△ Less
Submitted 13 September, 2017; v1 submitted 7 July, 2017;
originally announced July 2017.
