-
Subadditivity and optimal matching of unbounded samples
Authors:
Emanuele Caglioti,
Michael Goldman,
Francesca Pieroni,
Dario Trevisan
Abstract:
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,…
▽ More
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.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Almost sharp rates of convergence for the average cost and displacement in the optimal matching problem
Authors:
Michael Goldman,
Martin Huesmann,
Felix Otto
Abstract:
In this note we prove estimates for the average cost in the quadratic optimal transport problem on the two-dimensional flat torus which are optimal up to a double logarithm. We also prove sharp estimates on the displacement. This is based on the combination of a post-processing of our quantitative linearization result together with a quasi-orthogonality property.
In this note we prove estimates for the average cost in the quadratic optimal transport problem on the two-dimensional flat torus which are optimal up to a double logarithm. We also prove sharp estimates on the displacement. This is based on the combination of a post-processing of our quantitative linearization result together with a quasi-orthogonality property.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Non-convex functionals penalizing simultaneous oscillations along two independent directions: structure of the defect measure
Authors:
Michael Goldman,
Benoît Merlet
Abstract:
We continue the analysis of a family of energies penalizing oscillations in oblique directions: they apply to functions $u(x_1,x_2)$ with $x_l\in\mathbb{R}^{n_l}$ and vanish when $u(x)$ is of the form $u_1(x_1)$ or $u_2(x_2)$. We mainly study the rectifiability properties of the defect measure $\nabla_1\nabla_2u$ of functions with finite energy. The energies depend on a parameter $θ\in(0,1]$ and t…
▽ More
We continue the analysis of a family of energies penalizing oscillations in oblique directions: they apply to functions $u(x_1,x_2)$ with $x_l\in\mathbb{R}^{n_l}$ and vanish when $u(x)$ is of the form $u_1(x_1)$ or $u_2(x_2)$. We mainly study the rectifiability properties of the defect measure $\nabla_1\nabla_2u$ of functions with finite energy. The energies depend on a parameter $θ\in(0,1]$ and the set of functions with finite energy grows with $θ$. For $θ<1$ we prove that the defect measure is $(n_1-1,n_2-1)$-tensor rectifiable in $Ω_1\timesΩ_2$. We first get the result for $n_1=n_2=1$ and deduce the general case through slicing using White's rectifiability criterion. When $θ=1$ the situation is less clear as measures of arbitrary dimensions from zero to $n_1+n_2-1$ are possible. We show however, in the case $n_1=n_2=1$ and for Lipschitz continuous functions, that the defect measures are $1\,$-rectifiable. This case bears strong analogies with the study of entropic solutions of the eikonal equation.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
An exterior optimal transport problem
Authors:
Jules Candau-Tilh,
Michael Goldman,
Benoit Merlet
Abstract:
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 c…
▽ More
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.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
On the concave one-dimensional random assignment problem and Young integration theory
Authors:
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the one-dimensional random assignment problem in the concave case, i.e., the assignment cost is a concave power function, with exponent $0<p<1$, of the distance between $n$ source and $n$ target points, that are i.i.d. random variables with a common law on an interval. We prove that the limit of a suitable renormalization of the costs exists if the exponent $p$ is different than…
▽ More
We investigate the one-dimensional random assignment problem in the concave case, i.e., the assignment cost is a concave power function, with exponent $0<p<1$, of the distance between $n$ source and $n$ target points, that are i.i.d. random variables with a common law on an interval. We prove that the limit of a suitable renormalization of the costs exists if the exponent $p$ is different than $1/2$. Our proof in the case $1/2<p<1$ makes use of a novel version of the Kantorovich optimal transport problem based on Young integration theory, where the difference between two measures is replaced by the weak derivative of a function with finite $q$-variation, which may be of independent interest. We also prove a similar result for the random bipartite Traveling Salesperson Problem.
△ Less
Submitted 16 May, 2023;
originally announced May 2023.
-
From energy bounds to dimensional estimates in a branched transport model for type-I superconductors
Authors:
Guido De Philippis,
Michael Goldman,
Berardo Ruffini
Abstract:
We consider a branched transport type problem which describes the magnetic flux through type-I superconductors in a regime of very weak applied fields. At the boundary of the sample, deviation of the magnetization from being uniform is penalized through a negative Sobolev norm. It was conjectured by S. Conti, F. Otto and S. Serfaty that as a result, the trace of the magnetization on the boundary s…
▽ More
We consider a branched transport type problem which describes the magnetic flux through type-I superconductors in a regime of very weak applied fields. At the boundary of the sample, deviation of the magnetization from being uniform is penalized through a negative Sobolev norm. It was conjectured by S. Conti, F. Otto and S. Serfaty that as a result, the trace of the magnetization on the boundary should be a measure of Hausdorff dimension $8/5$. We prove that this conjecture is equivalent to the proof of local energy bounds with an optimal exponent. We then obtain local bounds which are however not optimal. These yield improved lower bounds on the dimension of the irrigated measure but unfortunately does not improve on the trivial upper bound. In order to illustrate the dependence of this dimension on the choice of penalization, we consider in the last part of the paper a toy model where the boundary energy is given by a Wasserstein distance to Lebesgue. In this case minimizers are finite graphs and thus the trace is atomic.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
A deformation theorem for tensor flat chains and applications (complement to ''Tensor rectifiable G-flat chains'')
Authors:
Michael Goldman,
Benoît Merlet
Abstract:
In this note we extend White's deformation theorem for G-flat chains to the setting of G-flat tensor chains. As a corollary we obtain that the groups of normal tensor chains identify with some subgroups of normal chains. Moreover the corresponding natural group isomorphisms are isometric with respect to norms based on the coordinate slicing mass. The coordinate slicing mass of a k-chain is the int…
▽ More
In this note we extend White's deformation theorem for G-flat chains to the setting of G-flat tensor chains. As a corollary we obtain that the groups of normal tensor chains identify with some subgroups of normal chains. Moreover the corresponding natural group isomorphisms are isometric with respect to norms based on the coordinate slicing mass. The coordinate slicing mass of a k-chain is the integral of the mass of its 0-slices along all coordinate-planes of codimension k. The fact that this quantity is equivalent to the usual mass is not straightforward. To prove it, we use the deformation theorem and a partial extension of the restriction operator defined for all chains (not only of finite mass). On the contrary, except in some limit or degenerate cases, the whole groups of tensor chains and of finite mass tensor chains do not identify naturally with subgroups of chains.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Tensor rectifiable G-flat chains
Authors:
Michael Goldman,
Benoît Merlet
Abstract:
A rigidity result for normal rectifiable $k$-chains in $\mathbb{R}^n$ with coefficients in an Abelian normed group is established. Given some decompositions $k=k_1+k_2$, $n=n_1+n_2$ and some rectifiable $k$-chain $A$ in $\mathbb{R}^n$, we consider the properties:(1) The tangent planes to $μ_A$ split as $T_xμ_A=L^1(x)\times L^2(x)$ for some $k_1$-plane $L^1(x)\subset\mathbb{R}^{n_1}$ and some…
▽ More
A rigidity result for normal rectifiable $k$-chains in $\mathbb{R}^n$ with coefficients in an Abelian normed group is established. Given some decompositions $k=k_1+k_2$, $n=n_1+n_2$ and some rectifiable $k$-chain $A$ in $\mathbb{R}^n$, we consider the properties:(1) The tangent planes to $μ_A$ split as $T_xμ_A=L^1(x)\times L^2(x)$ for some $k_1$-plane $L^1(x)\subset\mathbb{R}^{n_1}$ and some $k_2$-plane $L^2(x)\subset\mathbb{R}^{n_2}$.(2) $A=A_{\vertΣ^1\timesΣ^2}$ for some sets $Σ^1\subset\mathbb{R}^{n_1}$, $Σ^2\subset\mathbb{R}^{n_2}$ such that $Σ^1$ is $k_1$-rectifiable and $Σ^2$ is $k_2$-rectifiable (we say that $A$ is $(k_1,k_2)$-rectifiable).The main result is that for normal chains, (1) implies (2), the converse is immediate. In the proof we introduce the new groups of tensor flat chains (or $(k_1,k_2)$-chains) in $\mathbb{R}^{n_1}\times\mathbb{R}^{n_2}$ which generalize Fleming's $G$-flat chains. The other main tool is White's rectifiable slices theorem. We show that on the one hand any normal rectifiable chain satisfying~(1) identifies with a normal rectifiable $(k_1,k_2)$-chain and that on the other hand any normal rectifiable $(k_1,k_2)$-chain is $(k_1,k_2)$-rectifiable.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Set-decomposition of normal rectifiable G-chains via an abstract decomposition principle
Authors:
Michael Goldman,
Benoît Merlet
Abstract:
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 int…
▽ More
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.
△ Less
Submitted 19 June, 2023; v1 submitted 9 December, 2022;
originally announced December 2022.
-
Optimal transport methods for combinatorial optimization over two random point sets
Authors:
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the minimum cost of a wide class of combinatorial optimization problems over random bipartite geometric graphs in $\mathbb{R}^d$ where the edge cost between two points is given by a $p$-th power of their Euclidean distance. This includes e.g.\ the travelling salesperson problem and the bounded degree minimum spanning tree. We establish in particular almost sure convergence, as $n$ g…
▽ More
We investigate the minimum cost of a wide class of combinatorial optimization problems over random bipartite geometric graphs in $\mathbb{R}^d$ where the edge cost between two points is given by a $p$-th power of their Euclidean distance. This includes e.g.\ the travelling salesperson problem and the bounded degree minimum spanning tree. We establish in particular almost sure convergence, as $n$ grows, of a suitable renormalization of the random minimum cost, if the points are uniformly distributed and $d \ge 3$, $1\le p<d$. Previous results were limited to the range $p<d/2$. Our proofs are based on subadditivity methods and build upon new bounds for random instances of the Euclidean bipartite matching problem, obtained through its optimal transport relaxation and functional analytic techniques.
△ Less
Submitted 19 July, 2023; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Uniform $C^{1,α}$-regularity for almost-minimizers of some nonlocal perturbations of the perimeter
Authors:
Michael Goldman,
Benoît Merlet,
Marc Pegon
Abstract:
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$ go…
▽ More
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$. As a consequence we obtain that volume-constrained minimizers of $\mathcal{F}_{\varepsilon,γ}$ are balls for any $\varepsilon$ small enough. 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 kernel $G$ with sufficiently fast decay at infinity.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Rigidity of the ball for an isoperimetric problem with strong capacitary repulsion
Authors:
Michael Goldman,
Matteo Novaga,
Berardo Ruffini
Abstract:
We consider a variational problem involving competition between surface tension and charge repulsion. We show that, as opposed to the case of weak (short-range) interactions where we proved ill-posedness of the problem in a previous paper, when the repulsion is stronger the perimeter dominates the capacitary term at small scales. In particular we prove existence of minimizers for small charges as…
▽ More
We consider a variational problem involving competition between surface tension and charge repulsion. We show that, as opposed to the case of weak (short-range) interactions where we proved ill-posedness of the problem in a previous paper, when the repulsion is stronger the perimeter dominates the capacitary term at small scales. In particular we prove existence of minimizers for small charges as well as their regularity. Combining this with the stability of the ball under small $C^{1,γ}$ perturbations, this ultimately leads to the minimality of the ball for small charges. We cover in particular the borderline case of the $1-$capacity where both terms in the energy are of the same order.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Compactness and structure of zero-states for unoriented Aviles-Giga functionals
Authors:
Michael Goldman,
Benoit Merlet,
Marc Pegon,
Sylvia Serfaty
Abstract:
Motivated by some models of pattern formation involving an unoriented director field in the plane, we study a family of unoriented counterparts to the Aviles-Giga functional. We introduce a nonlinear curl operator for such unoriented vector fields as well as a family of even entropies which we call "trigonometric entropies". Using these tools we show two main theorems which parallel some results i…
▽ More
Motivated by some models of pattern formation involving an unoriented director field in the plane, we study a family of unoriented counterparts to the Aviles-Giga functional. We introduce a nonlinear curl operator for such unoriented vector fields as well as a family of even entropies which we call "trigonometric entropies". Using these tools we show two main theorems which parallel some results in the literature on the classical Aviles-Giga energy. The first is a compactness result for sequences of configurations with uniformly bounded energies. The second is a complete characterization of zero-states, that is, the limit configurations when the energies go to 0. These are Lipschitz continuous away from a locally finite set of points, near which they form either a vortex pattern or a disclination with degree 1/2. The proof is based on a combination of regularity theory together with techniques coming from the study of the Ginzburg-Landau energy. Our methods provide alternative proofs in the classical Aviles-Giga context.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
On the quadratic random matching problem in two-dimensional domains
Authors:
Luigi Ambrosio,
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the average minimum cost of a bipartite matching, with respect to the squared Euclidean distance, between two samples of n i.i.d. random points on a bounded Lipschitz domain in the Euclidean plane, whose common law is absolutely continuous with strictly positive H{ö}lder continuous density. We confirm in particular the validity of a conjecture by D. Benedetto and E. Caglioti stating…
▽ More
We investigate the average minimum cost of a bipartite matching, with respect to the squared Euclidean distance, between two samples of n i.i.d. random points on a bounded Lipschitz domain in the Euclidean plane, whose common law is absolutely continuous with strictly positive H{ö}lder continuous density. We confirm in particular the validity of a conjecture by D. Benedetto and E. Caglioti stating that the asymptotic cost as n grows is given by the logarithm of n multiplied by an explicit constant times the volume of the domain. Our proof relies on a reduction to the optimal transport problem between the associated empirical measures and a Whitney-type decomposition of the domain, together with suitable upper and lower bounds for local and global contributions, both ultimately based on PDE tools. We further show how to extend our results to more general settings, including Riemannian manifolds, and also give an application to the asymptotic cost of the random quadratic bipartite travelling salesperson problem.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Existence and stability results for an isoperimetric problem with a non-local interaction of Wasserstein type
Authors:
Jules Candau-Tilh,
Michael Goldman
Abstract:
The aim of this paper is to prove the existence of minimizers for a variational problem involving the minimization under volume constraint of the sum of the perimeter and a non-local energy of Wasserstein type. This extends previous partial results to the full range of parameters. We also show that in the regime where the perimeter is dominant, the energy is uniquely minimized by balls.
The aim of this paper is to prove the existence of minimizers for a variational problem involving the minimization under volume constraint of the sum of the perimeter and a non-local energy of Wasserstein type. This extends previous partial results to the full range of parameters. We also show that in the regime where the perimeter is dominant, the energy is uniquely minimized by balls.
△ Less
Submitted 25 August, 2021;
originally announced August 2021.
-
A fluctuation result for the displacement in the optimal matching problem
Authors:
Michael Goldman,
Martin Huesmann
Abstract:
The aim of this paper is to justify in dimensions two and three the ansatz of Caracciolo et al. stating that the displacement in the optimal matching problem is essentially given by the solution to the linearized equation i.e. the Poisson equation. Moreover, we prove that at all mesoscopic scales, this displacement is close in suitable negative Sobolev spaces to a curl-free Gaussian free field. Fo…
▽ More
The aim of this paper is to justify in dimensions two and three the ansatz of Caracciolo et al. stating that the displacement in the optimal matching problem is essentially given by the solution to the linearized equation i.e. the Poisson equation. Moreover, we prove that at all mesoscopic scales, this displacement is close in suitable negative Sobolev spaces to a curl-free Gaussian free field. For this we combine a quantitative estimate on the difference between the displacement and the linearized object, which is based on the large-scale regularity theory recently developed in collaboration with F. Otto, together with a qualitative convergence result for the linearized problem.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Reifenberg flatness for almost-minimizers of the perimeter under minimal assumptions
Authors:
Michael Goldman,
Matteo Novaga,
Berardo Ruffini
Abstract:
The aim of this note is to prove that almost-minimizers of the perimeter are Reifenberg flat, for a very weak notion of minimality. The main observation is that smallness of the excess at some scale implies smallness of the excess at all smaller scales.
The aim of this note is to prove that almost-minimizers of the perimeter are Reifenberg flat, for a very weak notion of minimality. The main observation is that smallness of the excess at some scale implies smallness of the excess at all smaller scales.
△ Less
Submitted 17 June, 2021; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Calculations of the norms for monotone operators on the cones of functions with monotonicity properties
Authors:
E. G. Bakhtigareeva,
M. L. Goldman
Abstract:
The paper is devoted to the problem of exact calculation of the norms in ideal spaces for monotone operators on the cones of functions with monotonicity properties. We implement a general approach to this problem that covers many concrete variants of monotone operators in ideal spaces and different monotonicity conditions for functions. As applications, we calculate the norms of some integral oper…
▽ More
The paper is devoted to the problem of exact calculation of the norms in ideal spaces for monotone operators on the cones of functions with monotonicity properties. We implement a general approach to this problem that covers many concrete variants of monotone operators in ideal spaces and different monotonicity conditions for functions. As applications, we calculate the norms of some integral operators on the cones, associate norms over some cones in Lebesgue spaces, the norms of the dilation operator and embedding operators on weighted Lorentz spaces with general weights. Under some more general conditions, we present order sharp estimates for Hardy-type operators on the cones.
△ Less
Submitted 18 January, 2021;
originally announced January 2021.
-
Convergence of asymptotic costs for random Euclidean matching problems
Authors:
Michael Goldman,
Dario Trevisan
Abstract:
We investigate the average minimum cost of a bipartite matching between two samples of n independent random points uniformly distributed on a unit cube in d $\ge$ 3 dimensions, where the matching cost between two points is given by any power p $\ge$ 1 of their Euclidean distance. As n grows, we prove convergence, after a suitable renormalization, towards a finite and positive constant. We also con…
▽ More
We investigate the average minimum cost of a bipartite matching between two samples of n independent random points uniformly distributed on a unit cube in d $\ge$ 3 dimensions, where the matching cost between two points is given by any power p $\ge$ 1 of their Euclidean distance. As n grows, we prove convergence, after a suitable renormalization, towards a finite and positive constant. We also consider the analogous problem of optimal transport between n points and the uniform measure. The proofs combine sub-additivity inequalities with a PDE ansatz similar to the one proposed in the context of the matching problem in two dimensions and later extended to obtain upper bounds in higher dimensions.
△ Less
Submitted 17 December, 2020; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Optimal Calderón Spaces for generalized Bessel potentials
Authors:
Elza Bakhtigareeva,
Mikhail L. Goldman,
Dorothee D. Haroske
Abstract:
In the paper we investigate the properties of spaces with generalized smoothness, such as Calderón spaces that include the classical Nikolskii-Besov spaces and many of their generalizations, and describe differential properties of generalized Bessel potentials that include classical Bessel potentials and Sobolev spaces. Kernels of potentials may have non-power singularity at the origin. With the h…
▽ More
In the paper we investigate the properties of spaces with generalized smoothness, such as Calderón spaces that include the classical Nikolskii-Besov spaces and many of their generalizations, and describe differential properties of generalized Bessel potentials that include classical Bessel potentials and Sobolev spaces. Kernels of potentials may have non-power singularity at the origin. With the help of order-sharp estimates for moduli of continuity of potentials, we establish the criteria of embeddings of potentials into Calderón spaces, and describe the optimal spaces for such embeddings.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
An $ε$--regularity result for optimal transport maps between continuous densities
Authors:
Michael Goldman
Abstract:
The aim of this short note is to extend the recent variational proof of partial regularity for optimal transport maps to the case of continuous densities.
The aim of this short note is to extend the recent variational proof of partial regularity for optimal transport maps to the case of continuous densities.
△ Less
Submitted 20 November, 2020; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Proper actions of discrete groups of affine transformations
Authors:
Jeffrey Danciger,
Todd A. Drumm,
William M. Goldman,
Ilia Smilga
Abstract:
In the early 1980's Margulis startled the world by showing the existence of proper affine actions of free groups on 3-space, answering a provocative and suggestive question Milnor posed in 1977. In this paper we discuss the historical background motivating this question, recent progress on this subject, and future directions inspired by this discovery.
In the early 1980's Margulis startled the world by showing the existence of proper affine actions of free groups on 3-space, answering a provocative and suggestive question Milnor posed in 1977. In this paper we discuss the historical background motivating this question, recent progress on this subject, and future directions inspired by this discovery.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.
-
The mapping class group action on SU(3)-character varieties
Authors:
William M. Goldman,
Sean Lawton,
Eugene Z. Xia
Abstract:
Let $Σ$ be a compact orientable surface of genus $g=1$ with $n=1$ boundary component. The mapping class group $Γ$ of $Σ$ acts on the SU(3)-character variety of $Σ$. We show that the action is ergodic with respect to the natural symplectic measure on the character variety.
Let $Σ$ be a compact orientable surface of genus $g=1$ with $n=1$ boundary component. The mapping class group $Γ$ of $Σ$ acts on the SU(3)-character variety of $Σ$. We show that the action is ergodic with respect to the natural symplectic measure on the character variety.
△ Less
Submitted 2 May, 2020; v1 submitted 24 September, 2019;
originally announced September 2019.
-
A variational approach to regularity theory in optimal transportation
Authors:
Michael Goldman
Abstract:
This paper describes recent results obtained in collaboration with M. Huesmann and F. Otto on the regularity of optimal transport maps. The main result is a quantitative version of the well-known fact that the linearization of the Monge-Amp{è}re equation around the identity is the Poisson equation. We present two applications of this result. The first one is a variational proof of the partial regu…
▽ More
This paper describes recent results obtained in collaboration with M. Huesmann and F. Otto on the regularity of optimal transport maps. The main result is a quantitative version of the well-known fact that the linearization of the Monge-Amp{è}re equation around the identity is the Poisson equation. We present two applications of this result. The first one is a variational proof of the partial regularity theorem of Figalli and Kim and the second is the rigorous validation of some predictions made by Carraciolo and al. on the structure of the optimal transport maps in matching problems.
△ Less
Submitted 12 July, 2019;
originally announced July 2019.
-
Quantitative linearization results for the Monge-Ampère equation
Authors:
Michael Goldman,
Martin Huesmann,
Felix Otto
Abstract:
This paper is about quantitative linearization results for the Monge-Ampère equation with rough data. We develop a large-scale regularity theory and prove that if a measure $μ$ is close to the Lebesgue measure in Wasserstein distance at all scales, then the displacement of the macroscopic optimal coupling is quantitatively close at all scales to the gradient of the solution of the corresponding Po…
▽ More
This paper is about quantitative linearization results for the Monge-Ampère equation with rough data. We develop a large-scale regularity theory and prove that if a measure $μ$ is close to the Lebesgue measure in Wasserstein distance at all scales, then the displacement of the macroscopic optimal coupling is quantitatively close at all scales to the gradient of the solution of the corresponding Poisson equation. The main ingredient we use is a harmonic approximation result for the optimal transport plan between arbitrary measures. This is used in a Campanato iteration which transfers the information through the scales.
△ Less
Submitted 30 April, 2021; v1 submitted 23 May, 2019;
originally announced May 2019.
-
Non-convex functionals penalizing simultaneous oscillations along independent directions: rigidity estimates
Authors:
Michael Goldman,
B. Merlet
Abstract:
We study a family of non-convex functionals $\{\mathcal{E}\}$ on the space of measurable functions$u: Ω_1\timesΩ_2 \subset \mathbb{R}^{n_1}\times\mathbb{R}^{n_2} \to \mathbb{R}$. These functionals vanish on the non-convex subset $S(Ω_1\timesΩ_2)$ formed by functions of the form $u(x_1,x_2)=u_1(x_1)$ or $u(x_1,x_2)=u_2(x_2)$. We investigate under which conditions the converse implication "…
▽ More
We study a family of non-convex functionals $\{\mathcal{E}\}$ on the space of measurable functions$u: Ω_1\timesΩ_2 \subset \mathbb{R}^{n_1}\times\mathbb{R}^{n_2} \to \mathbb{R}$. These functionals vanish on the non-convex subset $S(Ω_1\timesΩ_2)$ formed by functions of the form $u(x_1,x_2)=u_1(x_1)$ or $u(x_1,x_2)=u_2(x_2)$. We investigate under which conditions the converse implication "$\mathcal{E}(u) = 0 \Rightarrow u \in S(Ω_1\timesΩ_2)$" holds. In particular, we show that the answer depends strongly on the smoothness of u. We also obtain quantitative versions of this implication by proving that (at least for some parameters) $\mathcal{E}(u)$ controls in a strong sense the distance of $u$ to $S(Ω_1\timesΩ_2)$.
△ Less
Submitted 20 May, 2019;
originally announced May 2019.
-
A two-point function approach to connectedness of drops in convex potentials
Authors:
Michael Goldman,
Guido De Philippis
Abstract:
We establish connectedness of volume constrained minimisers of energies involving surface tensions and convex potentials. By a previous result of McCann, this implies that minimisers are convex in dimension two. This positively answers an old question of Almgren. We also prove convexity of minimisers when the volume constraint is dropped. Our proof is based on the introduction of a new "two-point…
▽ More
We establish connectedness of volume constrained minimisers of energies involving surface tensions and convex potentials. By a previous result of McCann, this implies that minimisers are convex in dimension two. This positively answers an old question of Almgren. We also prove convexity of minimisers when the volume constraint is dropped. Our proof is based on the introduction of a new "two-point function" which measures the lack of convexity and which gives rise to a negative second variation of the energy.
△ Less
Submitted 5 September, 2018;
originally announced September 2018.
-
A large-scale regularity theory for the Monge-Ampere equation with rough data and application to the optimal matching problem
Authors:
Michael Goldman,
Martin Huesmann,
Felix Otto
Abstract:
The aim of this paper is to obtain quantitative bounds for solutions to the optimal matching problem in dimension two. These bounds show that up to a logarithmically divergent shift, the optimal transport maps are close to be the identity at every scale. These bounds allow us to pass to the limit as the system size goes to infinity and construct a locally optimal coupling between the Lebesgue meas…
▽ More
The aim of this paper is to obtain quantitative bounds for solutions to the optimal matching problem in dimension two. These bounds show that up to a logarithmically divergent shift, the optimal transport maps are close to be the identity at every scale. These bounds allow us to pass to the limit as the system size goes to infinity and construct a locally optimal coupling between the Lebesgue measure and the Poisson point process which retains the stationarity properties of the Poisson point process only at the level of second-order differences. Our quantitative bounds are obtained through a Campanato iteration scheme based on a deterministic and a stochastic ingredient. The deterministic part, which can be seen as our main contribution, is a regularity result for Monge-Ampère equations with rough right-hand side. Since we believe that it could be useful in other contexts, we prove it for general space dimensions. The stochastic part is a concentration result for the optimal matching problem which builds on previous work by Ambrosio, Stra and Trevisan.
△ Less
Submitted 28 August, 2018;
originally announced August 2018.
-
A gradient flow approach to relaxation rates for the multi-dimensional Cahn-Hilliard equation
Authors:
Michael Goldman,
Lucia De Luca,
Marta Strani
Abstract:
The aim of this paper is to study relaxation rates for the Cahn-Hilliard equation in dimension larger than one. We follow the approach of Otto and Westdickenberg based on the gradient flow structure of the equation and establish differential and algebraic relationships between the energy, the dissipation, and the squared $H^{--1}$ distance to a kink. This leads to a scale separation of the dynami…
▽ More
The aim of this paper is to study relaxation rates for the Cahn-Hilliard equation in dimension larger than one. We follow the approach of Otto and Westdickenberg based on the gradient flow structure of the equation and establish differential and algebraic relationships between the energy, the dissipation, and the squared $H^{--1}$ distance to a kink. This leads to a scale separation of the dynamics into two different stages: a first fast phase of the order $t^{ -- 1/2}$ where one sees convergence to some kink, followed by a slow relaxation phase with rate $t^{-- 1/ 4}$ where convergence to the centered kink is observed.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
Synchronization of electrically coupled resonate-and-fire neurons
Authors:
Thomas Chartrand,
Mark S. Goldman,
Timothy J. Lewis
Abstract:
Electrical coupling between neurons is broadly present across brain areas and is typically assumed to synchronize network activity. However, intrinsic properties of the coupled cells can complicate this simple picture. Many cell types with strong electrical coupling have been shown to exhibit resonant properties, and the subthreshold fluctuations arising from resonance are transmitted through elec…
▽ More
Electrical coupling between neurons is broadly present across brain areas and is typically assumed to synchronize network activity. However, intrinsic properties of the coupled cells can complicate this simple picture. Many cell types with strong electrical coupling have been shown to exhibit resonant properties, and the subthreshold fluctuations arising from resonance are transmitted through electrical synapses in addition to action potentials. Using the theory of weakly coupled oscillators, we explore the effect of both subthreshold and spike-mediated coupling on synchrony in small networks of electrically coupled resonate-and-fire neurons, a hybrid neuron model with linear subthreshold dynamics and discrete post-spike reset. We calculate the phase response curve using an extension of the adjoint method that accounts for the discontinuity in the dynamics. We find that both spikes and resonant subthreshold fluctuations can jointly promote synchronization. The subthreshold contribution is strongest when the voltage exhibits a significant post-spike elevation in voltage, or plateau. Additionally, we show that the geometry of trajectories approaching the spiking threshold causes a "reset-induced shear" effect that can oppose synchrony in the presence of network asymmetry, despite having no effect on the phase-locking of symmetrically coupled pairs.
△ Less
Submitted 17 January, 2018;
originally announced January 2018.
-
Quantitative estimates for bending energies and applications to non-local variational problems
Authors:
Michael Goldman,
Matteo Novaga,
Matthias Röger
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 14 September, 2018; v1 submitted 4 January, 2018;
originally announced January 2018.
-
A Ginzburg-Landau model with topologically induced free discontinuities
Authors:
Michael Goldman,
Benoît Merlet,
Vincent Millot
Abstract:
We study a variational model which combines features of the Ginzburg-Landau model in 2D and of the Mumford-Shah functional. As in the classical Ginzburg-Landau theory, a prescribed number of point vortices appear in the small energy regime; the model allows for discontinuities, and the energy penalizes their length. The novel phenomenon here is that the vortices have a fractional degree $1/m$ with…
▽ More
We study a variational model which combines features of the Ginzburg-Landau model in 2D and of the Mumford-Shah functional. As in the classical Ginzburg-Landau theory, a prescribed number of point vortices appear in the small energy regime; the model allows for discontinuities, and the energy penalizes their length. The novel phenomenon here is that the vortices have a fractional degree $1/m$ with $m\geq 2$ prescribed. Those vortices must be connected by line discontinuities to form clusters of total integer degrees. The vortices and line discontinuities are therefore coupled through a topological constraint. As in the Ginzburg-Landau model, the energy is parameterized by a small length scale $\varepsilon>0$. We perform a complete $Γ$-convergence analysis of the model as $\varepsilon\downarrow0$ in the small energy regime. We then study the structure of minimizers of the limit problem. In particular, we show that the line discontinuities of a minimizer solve a variant of the Steiner problem. We finally prove that for small $\varepsilon>0$, the minimizers of the original problem have the same structure away from the limiting vortices.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
Equilibrium shapes of charged droplets and related problems: (mostly) a review
Authors:
Michael Goldman,
Berardo Ruffini
Abstract:
We review some recent results on the equilibrium shapes of charged liquid drops. We show that the natural variational model is ill-posed and how this can be overcome by either restricting the class of competitors or by adding penalizations in the functional. The original contribution of this note is twofold. First, we prove existence of an optimal distribution of charge for a conducting drop subje…
▽ More
We review some recent results on the equilibrium shapes of charged liquid drops. We show that the natural variational model is ill-posed and how this can be overcome by either restricting the class of competitors or by adding penalizations in the functional. The original contribution of this note is twofold. First, we prove existence of an optimal distribution of charge for a conducting drop subject to an external electric field. Second, we prove that there exists no optimal conducting drop in this setting.
△ Less
Submitted 14 September, 2017;
originally announced September 2017.
-
Comparing distributions by multiple testing across quantiles or CDF values
Authors:
Matt Goldman,
David M. Kaplan
Abstract:
When comparing two distributions, it is often helpful to learn at which quantiles or values there is a statistically significant difference. This provides more information than the binary "reject" or "do not reject" decision of a global goodness-of-fit test. Framing our question as multiple testing across the continuum of quantiles $τ\in(0,1)$ or values $r\in\mathbb{R}$, we show that the Kolmogoro…
▽ More
When comparing two distributions, it is often helpful to learn at which quantiles or values there is a statistically significant difference. This provides more information than the binary "reject" or "do not reject" decision of a global goodness-of-fit test. Framing our question as multiple testing across the continuum of quantiles $τ\in(0,1)$ or values $r\in\mathbb{R}$, we show that the Kolmogorov--Smirnov test (interpreted as a multiple testing procedure) achieves strong control of the familywise error rate. However, its well-known flaw of low sensitivity in the tails remains. We provide an alternative method that retains such strong control of familywise error rate while also having even sensitivity, i.e., equal pointwise type I error rates at each of $n\to\infty$ order statistics across the distribution. Our one-sample method computes instantly, using our new formula that also instantly computes goodness-of-fit $p$-values and uniform confidence bands. To improve power, we also propose stepdown and pre-test procedures that maintain control of the asymptotic familywise error rate. One-sample and two-sample cases are considered, as well as extensions to regression discontinuity designs and conditional distributions. Simulations, empirical examples, and code are provided.
△ Less
Submitted 15 August, 2017;
originally announced August 2017.
-
Mixing Flows on Moduli Spaces of Flat Bundles over Surfaces
Authors:
Giovanni Forni,
William M. Goldman
Abstract:
We extend Teichmueller dynamics to a flow on the total space of a flat bundle of deformation spaces of representations of the fundamental group of a fixed surface S in a Lie group G. The resulting dynamical system is a continuous version of the action of the mapping class group of S on the deformation space. We observe how ergodic properties of this action relate to this flow. When G is compact, t…
▽ More
We extend Teichmueller dynamics to a flow on the total space of a flat bundle of deformation spaces of representations of the fundamental group of a fixed surface S in a Lie group G. The resulting dynamical system is a continuous version of the action of the mapping class group of S on the deformation space. We observe how ergodic properties of this action relate to this flow. When G is compact, this flow is strongly mixing over each component of the derormation space and of each stratum of the Teichmueller unit sphere bundle over the Riemann moduli space. We prove ergodicity for the analogous lift of the Weil-Petersson geodesic local. flow.
△ Less
Submitted 30 July, 2017; v1 submitted 10 July, 2017;
originally announced July 2017.
-
Self-similar minimizers of a branched transport functional
Authors:
Michael Goldman
Abstract:
We solve here completely an irrigation problem from a Dirac mass to the Lebesgue measure. The functional we consider is a two dimensional analog of a functional previously derived in the study of branched patterns in type-I superconductors. The minimizer we obtain is a self-similar tree.
We solve here completely an irrigation problem from a Dirac mass to the Lebesgue measure. The functional we consider is a two dimensional analog of a functional previously derived in the study of branched patterns in type-I superconductors. The minimizer we obtain is a self-similar tree.
△ Less
Submitted 21 June, 2018; v1 submitted 18 April, 2017;
originally announced April 2017.
-
A variational proof of partial regularity for optimal transportation maps
Authors:
Michael Goldman,
F Otto
Abstract:
We provide a new proof of the known partial regularity result for the optimal transportation map (Brenier map) between two sets. Contrary to the existing regularity theory for the Monge-Amp{è}re equation, which is based on the maximum principle, our approach is purely variational. By constructing a competitor on the level of the Eulerian (Benamou-Brenier) formulation, we show that locally, the vel…
▽ More
We provide a new proof of the known partial regularity result for the optimal transportation map (Brenier map) between two sets. Contrary to the existing regularity theory for the Monge-Amp{è}re equation, which is based on the maximum principle, our approach is purely variational. By constructing a competitor on the level of the Eulerian (Benamou-Brenier) formulation, we show that locally, the velocity is close to the gradient of a harmonic function provided the transportation cost is small. We then translate back to the Lagrangian description and perform a Campanato iteration to obtain an $ε$-regularity result.
△ Less
Submitted 24 October, 2017; v1 submitted 18 April, 2017;
originally announced April 2017.
-
A branched transport limit of the Ginzburg-Landau functional
Authors:
Sergio Conti,
Michael Goldman,
Felix Otto,
Sylvia Serfaty
Abstract:
We study the Ginzburg-Landau model of type-I superconductors in the regime of small external magnetic fields. We show that, in an appropriate asymptotic regime, flux patterns are described by a simplified branched transportation functional. We derive the simplified functional from the full Ginzburg-Landau model rigorously via $Γ$-convergence. The detailed analysis of the limiting procedure and the…
▽ More
We study the Ginzburg-Landau model of type-I superconductors in the regime of small external magnetic fields. We show that, in an appropriate asymptotic regime, flux patterns are described by a simplified branched transportation functional. We derive the simplified functional from the full Ginzburg-Landau model rigorously via $Γ$-convergence. The detailed analysis of the limiting procedure and the study of the limiting functional lead to a precise understanding of the multiple scales contained in the model.
△ Less
Submitted 20 March, 2018; v1 submitted 10 April, 2017;
originally announced April 2017.
-
On the optimality of stripes in a variational model with non-local interactions
Authors:
Michael Goldman,
Eris Runa
Abstract:
We study pattern formation for a variational model displaying competition between a local term penalizing interfaces and a non-local term favoring oscillations. By means of a $Γ$--convergence analysis, we show that as the parameter J converges to a critical value J c, the minimizers converge to periodic one-dimensional stripes. A similar analysis has been previously performed by other authors for…
▽ More
We study pattern formation for a variational model displaying competition between a local term penalizing interfaces and a non-local term favoring oscillations. By means of a $Γ$--convergence analysis, we show that as the parameter J converges to a critical value J c, the minimizers converge to periodic one-dimensional stripes. A similar analysis has been previously performed by other authors for related discrete systems. In that context, a central point is that each " angle " comes with a strictly positive contribution to the energy. Since this is not anymore the case in the continuous setting, we need to overcome this difficulty by slicing arguments and a rigidity result.
△ Less
Submitted 21 August, 2017; v1 submitted 22 November, 2016;
originally announced November 2016.
-
Fractional order statistic approximation for nonparametric conditional quantile inference
Authors:
Matt Goldman,
David M. Kaplan
Abstract:
Using and extending fractional order statistic theory, we characterize the $O(n^{-1})$ coverage probability error of the previously proposed confidence intervals for population quantiles using $L$-statistics as endpoints in Hutson (1999). We derive an analytic expression for the $n^{-1}$ term, which may be used to calibrate the nominal coverage level to get $O\bigl(n^{-3/2}[\log(n)]^3\bigr)$ cover…
▽ More
Using and extending fractional order statistic theory, we characterize the $O(n^{-1})$ coverage probability error of the previously proposed confidence intervals for population quantiles using $L$-statistics as endpoints in Hutson (1999). We derive an analytic expression for the $n^{-1}$ term, which may be used to calibrate the nominal coverage level to get $O\bigl(n^{-3/2}[\log(n)]^3\bigr)$ coverage error. Asymptotic power is shown to be optimal. Using kernel smoothing, we propose a related method for nonparametric inference on conditional quantiles. This new method compares favorably with asymptotic normality and bootstrap methods in theory and in simulations. Code is available from the second author's website for both unconditional and conditional methods, simulations, and empirical examples.
△ Less
Submitted 28 September, 2016;
originally announced September 2016.
-
On minimizers of an isoperimetric problem with long-range interactions under a convexity constraint
Authors:
Michael Goldman,
Matteo Novaga,
Berardo Ruffini
Abstract:
We study a variational problem modeling the behavior at equilibrium of charged liquid drops under convexity constraint. After proving well-posedness of the model, we show C 1,1-regularity of minimizers for the Coulombic interaction in dimension two. As a by-product we obtain that balls are the unique minimizers for small charge. Eventually, we study the asymptotic behavior of minimizers, as the ch…
▽ More
We study a variational problem modeling the behavior at equilibrium of charged liquid drops under convexity constraint. After proving well-posedness of the model, we show C 1,1-regularity of minimizers for the Coulombic interaction in dimension two. As a by-product we obtain that balls are the unique minimizers for small charge. Eventually, we study the asymptotic behavior of minimizers, as the charge goes to infinity.
△ Less
Submitted 13 September, 2017; v1 submitted 3 March, 2016;
originally announced March 2016.
-
Affine Coxeter Extensions of the Two-Holed Projective Plane
Authors:
William M. Goldman,
Gregory Laun
Abstract:
A Margulis spacetime is a complete flat affine Lorentzian 3-manifold with free fundamental group. Associated to $M$ is a noncompact complete hyperbolic surface $Σ$. We study double extensions of $π_1 (M) \cong π_1 (Σ)$ when $Σ$ is homeomorphic to a projective plane minus two discs. We classify proper actions of this double extension on Minkowski space and show that there exist proper actions that…
▽ More
A Margulis spacetime is a complete flat affine Lorentzian 3-manifold with free fundamental group. Associated to $M$ is a noncompact complete hyperbolic surface $Σ$. We study double extensions of $π_1 (M) \cong π_1 (Σ)$ when $Σ$ is homeomorphic to a projective plane minus two discs. We classify proper actions of this double extension on Minkowski space and show that there exist proper actions that do not admit crooked fundamental domains.
△ Less
Submitted 5 April, 2016; v1 submitted 16 November, 2015;
originally announced November 2015.
-
Automorphisms of two-generator free groups and spaces of isometric actions on the hyperbolic plane
Authors:
William Goldman,
Greg McShane,
George Stantchev,
Ser Peow Tan
Abstract:
The automorphisms of a two-generator free group acting on the space of orientation-preserving isometric actions of on hyperbolic 3-space defines a dynamical system. Those actions which preserve a hyperbolic plane but not an orientation on that plane is an invariant subsystem, which reduces to an action on R^3 by polynomial automorphisms preserving the cubic polynomial and an area form on the level…
▽ More
The automorphisms of a two-generator free group acting on the space of orientation-preserving isometric actions of on hyperbolic 3-space defines a dynamical system. Those actions which preserve a hyperbolic plane but not an orientation on that plane is an invariant subsystem, which reduces to an action on R^3 by polynomial automorphisms preserving the cubic polynomial and an area form on the level surfaces.
We describe the dynamical decomposition of this action. The domain of discontinuity of this action corresponds to geometric structures: either complete hyperbolic structures on the 2-holed cross-surface (projective plane) with cusps and funnels, or complete hyperbolic structures on a one-holed Klein bottle, or hyperbolic structures on a Klein bottle with one conical singularity. The action is ergodic on the complement of the orbit of the Fricke space of the 2-holed cross-surface, and we show that the orbit of the generalized Fricke space of the one-holed Klein bottle is open and dense.
△ Less
Submitted 7 October, 2016; v1 submitted 12 September, 2015;
originally announced September 2015.
-
McShane-type Identities for Affine Deformations
Authors:
Virginie Charette,
William M. Goldman
Abstract:
We derive an identity for Margulis invariants of affine deformations of a complete orientable one-ended hyperbolic sur- face following the identities of McShane, Mirzakhani and Tan- Wong-Zhang. As a corollary, a deformation of the surface which infinitesimally lengthens all interior simple closed curves must in- finitesimally lengthen the boundary.
We derive an identity for Margulis invariants of affine deformations of a complete orientable one-ended hyperbolic sur- face following the identities of McShane, Mirzakhani and Tan- Wong-Zhang. As a corollary, a deformation of the surface which infinitesimally lengthens all interior simple closed curves must in- finitesimally lengthen the boundary.
△ Less
Submitted 7 October, 2016; v1 submitted 7 July, 2015;
originally announced July 2015.
-
Phase segregation for binary mixtures of Bose-Einstein Condensates
Authors:
Michael Goldman,
Benoït Merlet
Abstract:
We study the strong segregation limit for mixtures of Bose-Einstein condensates modelled by a Gross-Pitaievskii functional. Our first main result is that in presence of a trapping potential, for different intracomponent strengths, the Thomas-Fermi limit is sufficient to determine the shape of the minimizers. Our second main result is that for asymptotically equal intracomponent strengths, one need…
▽ More
We study the strong segregation limit for mixtures of Bose-Einstein condensates modelled by a Gross-Pitaievskii functional. Our first main result is that in presence of a trapping potential, for different intracomponent strengths, the Thomas-Fermi limit is sufficient to determine the shape of the minimizers. Our second main result is that for asymptotically equal intracomponent strengths, one needs to go to the next order. The relevant limit is a weighted isoperimetric problem. We then study the minimizers of this limit problem, proving radial symmetry or symmetry breaking for different values of the parameters. We finally show that in the absence of a confining potential, even for non-equal intracomponent strengths, one needs to study a related isoperimetric problem to gain information about the shape of the minimizers.
△ Less
Submitted 30 November, 2016; v1 submitted 27 May, 2015;
originally announced May 2015.
-
New bounds for the inhomogenous Burgers and the Kuramoto-Sivashinsky equations
Authors:
Michael Goldman,
Marc Josien,
Felix Otto
Abstract:
We give a substantially simplified proof of near-optimal estimate on the Kuramoto-Sivashinsky equation from [F. Otto, "Optimal bounds on the Kuramoto-Sivashinsky equation", JFA 2009], at the same time slightly improving the result. The result in the above cited paper relied on two ingredients: a regularity estimate for capillary Burgers and an a novel priori estimate for the inhomogeneous inviscid…
▽ More
We give a substantially simplified proof of near-optimal estimate on the Kuramoto-Sivashinsky equation from [F. Otto, "Optimal bounds on the Kuramoto-Sivashinsky equation", JFA 2009], at the same time slightly improving the result. The result in the above cited paper relied on two ingredients: a regularity estimate for capillary Burgers and an a novel priori estimate for the inhomogeneous inviscid Burgers equation, which works out that in many ways the conservative transport nonlinearity acts as a coercive term. It is the proof of the second ingredient that we substantially simplify by proving a modified Kármán-Howarth-Monin identity for solutions of the inhomogeneous inviscid Burgers equation. This gives a new interpretation of the results obtained in [F. Golse, B. Perthame "Optimal regularizing effect for scalar conservation laws", Rev. Mat. Iber., 2013].
△ Less
Submitted 20 March, 2015;
originally announced March 2015.
-
Proper affine deformation spaces of two-generator Fuchsian groups
Authors:
Virginie Charette,
Todd A. Drumm,
William M. Goldman
Abstract:
A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decomposes into polyhedra bounded by crooked planes, corresponding to an ideal triangul…
▽ More
A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decomposes into polyhedra bounded by crooked planes, corresponding to an ideal triangulation of S. This paper classifies and analyzes the structure of crooked ideal triangles, which play the same role for Margulis spacetimes as ideal triangles play for hyperbolic surfaces. This extends our previous work on affine deformations of three-holed sphere and two-holed cross surfaces.
△ Less
Submitted 19 January, 2015;
originally announced January 2015.
-
Study of island formation in epitaxially strained films on unbounded domains
Authors:
Peter Bella,
Michael Goldman,
Barbara Zwicknagl
Abstract:
We consider a variational model for the formation of islands in heteroepitaxial growth on unbounded domains. We first derive the scaling regimes of the minimal energy in terms of the volume of the film and the amplitude of the crystallographic misfit. For small volumes, non-existence of minimizers is then proven. This corresponds to the experimentally observed wetting effect. On the other hand, we…
▽ More
We consider a variational model for the formation of islands in heteroepitaxial growth on unbounded domains. We first derive the scaling regimes of the minimal energy in terms of the volume of the film and the amplitude of the crystallographic misfit. For small volumes, non-existence of minimizers is then proven. This corresponds to the experimentally observed wetting effect. On the other hand, we show the existence of minimizers for large volumes. We finally study the asymptotic behavior of the optimal shapes.
△ Less
Submitted 11 September, 2014; v1 submitted 17 February, 2014;
originally announced February 2014.
-
Sharp interface limit for two components Bose-Einstein condensates
Authors:
Michael Goldman,
Jimena Royo-Letelier
Abstract:
We study a double Cahn-Hilliard type functional related to the Gross-Pitaevskii energy of two-components Bose-Einstein condensates. In the case of large but same order intercomponent and intracomponent coupling strengths, we prove $Γ$-convergence to a perimeter minimisation functional with an inhomogeneous surface tension. We study the asymptotic behavior of the surface tension as the ratio betwee…
▽ More
We study a double Cahn-Hilliard type functional related to the Gross-Pitaevskii energy of two-components Bose-Einstein condensates. In the case of large but same order intercomponent and intracomponent coupling strengths, we prove $Γ$-convergence to a perimeter minimisation functional with an inhomogeneous surface tension. We study the asymptotic behavior of the surface tension as the ratio between the intercomponent and intracomponent coupling strengths becomes very small or very large. We obtain as a consequence, symmetry breaking of the minimisers for the harmonic potential when this radio is sufficiently large.
△ Less
Submitted 2 September, 2014; v1 submitted 8 January, 2014;
originally announced January 2014.
-
Nucleation barriers at corners for cubic-to-tetragonal phase transformation
Authors:
Peter Bella,
Michael Goldman
Abstract:
We are interested in the energetic cost of a martensitic inclusion of volume $V$ in austenite for the cubic-to-tetragonal phase transformation. In contrast with the work of [Knüpfer, Kohn, Otto: Comm. Pure Appl. Math. 66 (2013), no. 6, 867--904], we consider domain with a corner and obtain a better scaling law for the minimal energy ($E_{min} \sim \min(V^{2/3},V^{7/9})$). Our predictions are in a…
▽ More
We are interested in the energetic cost of a martensitic inclusion of volume $V$ in austenite for the cubic-to-tetragonal phase transformation. In contrast with the work of [Knüpfer, Kohn, Otto: Comm. Pure Appl. Math. 66 (2013), no. 6, 867--904], we consider domain with a corner and obtain a better scaling law for the minimal energy ($E_{min} \sim \min(V^{2/3},V^{7/9})$). Our predictions are in a good agreement with physical experiments where nucleation of martensite is usually observed near the corners of the specimen.
△ Less
Submitted 22 November, 2013;
originally announced November 2013.