arXiv Science⌕ Search

arXiv subjects

Michael Goldman

Publications and source records attributed to Michael Goldman.

At least 19 recordsLinked to original sources
arXiv2026

Exact Asymptotics for the 2D Euclidean Random Matching Problem

We determine the exact first-order asymptotics of the expected optimal cost in two-dimensional random bipartite matching, for every finite power cost $q \ge 1$, on the flat torus. In the endpoint case $q=1$, this answers a question by Talagrand, in the periodic case. The argument involves the closely related asymptotics of the energy of the solution of the $p$-Poisson equation with a regularized white-noise source. In the limit of vanishing regularization parameter, we identify this energy as the solution of a Variational Martingale Problem on a limiting Gaussian filtration, whose value is characterized by a parabolic Monge-Amp\`ere flow.

math.PR↗
arXiv2026

The Wasserstein cost of Importance Sampling

Importance sampling (IS) consists in biasing samples from a distribution $f$ towards another distribution $g$. Concretely, given samples $X_i$ from $f$, the IS measure is $$\hat{g}_n = \frac{1}{Z_n}\sum_{i=1}^n \frac{g(X_i)}{f(X_i)} δ_{X_i},$$ with $Z_n = \sum_{i=1}^n \frac{g(X_i)}{f(X_i)}$. The random measure $\hat{g}_n$ approximates $g$, and is used in many contexts ranging from Monte Carlo integration to Bayesian inference. We show that, in high dimension ($d \geqslant 3$), the Wasserstein cost $W_p^p(\hat{g}_n, g)$ has order $n^{-p/d}$ in expectation, i.e. $$β^{\mathrm{low}}_{p,d}\int gf^{-p/d}\leqslant \liminf_{n \to \infty} n^{p/d} \mathbb{E}[W_p^p(\hat{g}_n, g)] \leqslant \limsup_{n \to \infty} n^{p/d} \mathbb{E}[W_p^p(\hat{g}_n, g)] \leqslantβ_{p,d} \int g f^{-p/d}$$ where $0<β^{\mathrm{low}}_{p,d}\leqslant β_{p,d}$ are constants depending only on $p$ and $d$, which are equal for $p=2$ and conjectured to be equal for any $p\geqslant 1$. Our results are valid for all $p\geqslant 1$ and $d\geqslant 3$. In the case where $β^{\mathrm{low}}_{p,d} = β_{p,d}$, we show that the asymptotically optimal sampling distribution $f^*$ for importance sampling is not equal to $g$ but to a tempered version of $g$, namely $f^* \propto g^{d/(p+d)}$, which is reminiscent of Zador's theorem in the domain of measure quantization.

math.PR↗
arXiv2026

Sharp upper bound for a branched transport problem coming from Ginzburg-Landau models

We consider a branched transport type problem with weakly imposed boundary conditions, which can be seen as a blown-up version of a reduced model for type-I superconductors in the regime of vanishing external magnetic field. We prove that if the irrigated measure is (locally) Ahlfors regular then it is of dimension at most $8/5$ in agreement with the conjecture by Conti, the third author and Serfaty.

math.AP↗
arXiv2025

Quantitative rigidity of the Wasserstein contraction under convolution

The aim of this paper is to investigate the contraction properties of $p$-Wasserstein distances with respect to convolution in Euclidean spaces both qualitatively and quantitatively. We connect this question to the question of uniform convexity of the Kantorovich functional on which there was substantial recent progress (mostly for $p=2$ and partially for $p>1$). Motivated by this connection we extend these uniform convexity results to the case $p=1$, which is of independent interest.

math.AP↗
arXiv2025

New dimensional bounds for a branched transport problem

We consider a branched transport problem with weakly imposed boundary conditions. This problem arises as a reduced model for pattern formation in type-I superconductors. For this model, it is conjectured that the dimension of the boundary measure is non-integer. We prove this conjecture in a simplified 2D setting, under the (strong) assumption of Ahlfors regularity of the irrigated measure. This work is the first rigorous proof of a singular behaviour for irrigated measures resulting from minimality.

math.AP↗
arXiv2025

Curvature penalization of strongly anisotropic interfaces models and their phase-field approximation

This paper studies the effect of anisotropy on sharp or diffuse interfaces models. When the surface tension is a convex function of the normal to the interface, the anisotropy is said to be weak. This usually ensures the lower semicontinuity of the associated energy. If, however, the surface tension depends on the normal in a nonconvex way, this so-called strong anisotropy may lead to instabilities related to the lack of lower semicontinuity of the functional. We investigate the regularizing effects of adding a higher order term of Willmore type to the energy. We consider two types of problems. The first one is an anisotropic nonconvex generalization of the perimeter, and the second one is an anisotropic nonconvex Mumford-Shah functional. In both cases, lower semicontinuity properties of the energies with respect to a natural mode of convergence are established, as well as $Γ$-convergence type results by means of a phase field approximation. In comparison with related results for curvature dependent energies, one of the original aspects of our work is that, in the context of free discontinuity problems, we are able to consider singular structures such as crack-tips or multiple junctions.

math.AP↗
arXiv2025

Quantitative estimates for bending energies and applications to non-local variational problems

We discuss a variational model, given by a weighted sum of perimeter, bending and Riesz interaction energies, that could be considered as a toy model for charged elastic drops. The different contributions have competing preferences for strongly localized and maximally dispersed structures. We investigate the energy landscape in dependence of the size of the 'charge', i.e. the weight of the Riesz interaction energy. In the two-dimensional case we first prove that for simply connected sets of small elastic energy, the elastic deficit controls the isoperimetric deficit. Building on this result, we show that for small charge the only minimizers of the full variational model are either balls or centered annuli. We complement these statements by a non-existence result for large charge. In three dimensions, we prove area and diameter bounds for configurations with small Willmore energy and show that balls are the unique minimizers of our variational model for sufficiently small charge.

math.AP↗
arXiv2025

A $Γ$-convergence result for 2D type-I superconductors

We consider a 2D non-standard Modica-Mortola type functional. This functional arises from the Ginzburg-Landau theory of type-I superconductors in the case of an infinitely long sample and in the regime of comparable penetration and coherence lengthes. We prove that the functional $Γ$-converges to the perimeter functional. This result is a first step in understanding how to extend the results of Conti, Goldman, Otto, Serfaty (2018) to the regime of non vanishing Ginzburg-Landau parameter $κ$.

math.AP↗
arXiv2025

Dynamics of screened particles towards equi-spaced ground states

This paper deals with the dynamics - driven by the gradient flow of negative fractional seminorms - of empirical measures towards equi-spaced ground states. Specifically, we consider periodic empirical measures $μ$ on the real line that are screened by the Lebesgue measure, i.e., with $μ-d x$ having zero average. To each of these measures $μ$ we associate a {(periodic)} function $u$ satisfying $u'= d x - μ$. For $s\in (0,\frac 12)$ we introduce energy functionals $\mathcal E^s(μ)$ that can be understood as the density of the $s$-Gagliardo seminorm of $u$ per unit length. Since for $s\ge \frac 12$, the $s$-Gagliardo seminorms are infinite on functions with jumps, some regularization procedure is needed: For $s\in[\frac 12,1)$ we define $\mathcal E_\e^s(μ):= \mathcal E^s(μ_\e)$, where $μ_\varepsilon$ is obtained by mollifying $μ$ on scale $\varepsilon$. We prove that the minimizers of $\mathcal E^s$ and $\mathcal E_\varepsilon^s$ are the equi-spaced configurations of particles with lattice spacing equal to one. Then, we prove the exponential convergence of the corresponding gradient flows to the equi-spaced steady states. Finally, although for $s\in[\frac 12 ,1)$ the energy functionals $\mathcal E_\varepsilon^s$ blow up as $\varepsilon\to 0$, their gradients are uniformly bounded (with respect to $\varepsilon$), so that the corresponding trajectories converge, as $\varepsilon\to 0$, to the gradient flow solution of a suitable renormalized energy.

math.FA↗
arXiv2025

Asymptotics for Random Quadratic Transportation Costs

We establish the validity of asymptotic limits for the general transportation problem between random i.i.d. points and their common distribution, with respect to the squared Euclidean distance cost, in any dimension larger than three. Previous results were essentially limited to the two (or one) dimensional case, or to distributions whose absolutely continuous part is uniform. The proof relies upon recent advances in the stability theory of optimal transportation, combined with functional analytic techniques and some ideas from quantitative stochastic homogenization. The key tool we develop is a quantitative upper bound for the usual quadratic optimal transportation problem in terms of its boundary variant, where points can be freely transported along the boundary. The methods we use are applicable to more general random measures, including occupation measure of Brownian paths, and may open the door to further progress on challenging problems at the interface of analysis, probability, and discrete mathematics.

math.PR↗
arXiv2024

Set-decomposition of normal rectifiable G-chains via an abstract decomposition principle

We introduce the notion of set-decomposition of a normal G-flat chain. We show that any normal rectifiable $G$-flat chain admits a decomposition in set-indecomposable sub-chains. This generalizes the decomposition of sets of finite perimeter in their ``measure theoretic'' connected components due to Ambrosio, Caselles, Masnou and Morel. It can also be seen as a variant of the decomposition of integral currents in indecomposable components by Federer.As opposed to previous results, we do not assume that G is boundedly compact. Therefore we cannot rely on the compactness of sequences of chains with uniformly bounded N-norms. We deduce instead the result from a new abstract decomposition principle. As in earlier proofs a central ingredient is the validity of an isoperimetric inequality. We obtain it here using the finiteness of some h-mass to replace integrality.

math.AP↗
arXiv2024

An exterior optimal transport problem

This paper deals with a variant of the optimal transportation problem. Given f $\in$ L 1 (R d , [0, 1]) and a cost function c $\in$ C(R d x R d) of the form c(x, y) = k(y -- x), we minimise $\int$ c d$γ$ among transport plans $γ$ whose first marginal is f and whose second marginal is not prescribed but constrained to be smaller than 1 -- f. Denoting by $Υ$(f) the infimum of this problem, we then consider the maximisation problem sup{$Υ$(f) : $\int$ f = m} where m \> 0 is given. We prove that maximisers exist under general assumptions on k, and that for k radial, increasing and coercive these maximisers are the characteristic functions of the balls of volume m.

math.AP↗
arXiv2024

A charged liquid drop model with Willmore energy

We consider a variational model of electrified liquid drops, involving competition between surface tension and charge repulsion. Since the natural model happens to be ill-posed, we show that by adding to the perimeter a Willmore-type energy, the problem turns back to be well-posed. We also prove that for small charge the droplets is spherical.

math.AP↗
arXiv2024

Uniform $C^{1,α}$-regularity for almost-minimizers of some nonlocal perturbations of the perimeter

In this paper, we establish a $C^{1,α}$-regularity theorem for almost-minimizers of the functional $\mathcal{F}_{\varepsilon,γ}=P-γP_{\varepsilon}$, where $γ\in(0,1)$ and $P_{\varepsilon}$ is a nonlocal energy converging to the perimeter as $\varepsilon$ vanishes. Our theorem provides a criterion for $C^{1,α}$-regularity at a point of the boundary which is uniform as the parameter $\varepsilon$ goes to $0$. Since the two terms in the energy are of the same order when $\varepsilon$ is small, we are considering here much stronger nonlocal interactions than those considered in most related works. As a consequence of our regularity result, we obtain that, for $\varepsilon$ small enough, volume-constrained minimizers of $\mathcal{F}_{\varepsilon,γ}$ are balls. For small $\varepsilon$, this minimization problem corresponds to the large mass regime for a Gamow-type problem where the nonlocal repulsive term is given by an integrable $G$ with sufficiently fast decay at infinity.

math.AP↗
arXiv2024

Subadditivity and optimal matching of unbounded samples

We obtain new bounds for the optimal matching cost for empirical measures with unbounded support. For a large class of radially symmetric and rapidly decaying probability laws, we prove for the first time the asymptotic rate of convergence for the whole range of power exponents $p$ and dimensions $d$. Moreover we identify the exact prefactor when $p\le d$. We cover in particular the Gaussian case, going far beyond the currently known bounds. Our proof technique is based on approximate sub- and super-additivity bounds along a geometric decomposition adapted to some features the density, such as its radial symmetry and its decay at infinity.

math.PR↗