skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on February 1, 2026

Title: Regularity of the Solution to a Real Monge–Ampère Equation on the Boundary of a Simplex
Abstract Motivated by conjectures in Mirror Symmetry, we continue the study of the real Monge–Ampère operator on the boundary of a simplex. This can be formulated in terms of optimal transport, and we consider, more generally, the problem of optimal transport between symmetric probability measures on the boundary of a simplex and of the dual simplex. For suitably regular measures, we obtain regularity properties of the transport map, and of its convex potential. To do so, we exploit boundary regularity results for optimal transport maps by Caffarelli, together with the symmetries of the simplex.  more » « less
Award ID(s):
2154380
PAR ID:
10598019
Author(s) / Creator(s):
; ; ; ;
Publisher / Repository:
Oxford University Press
Date Published:
Journal Name:
International Mathematics Research Notices
Volume:
2025
Issue:
3
ISSN:
1073-7928
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Abstract We show quantitative stability results for the geometric “cells” arising in semi-discrete optimal transport problems. We first show stability of the associated Laguerre cells in measure, without any connectedness or regularity assumptions on the source measure. Next we show quantitative invertibility of the map taking dual variables to the measures of Laguerre cells, under a Poincarè-Wirtinger inequality. Combined with a regularity assumption equivalent to the Ma–Trudinger–Wang conditions of regularity in Monge-Ampère, this invertibility leads to stability of Laguerre cells in Hausdorff measure and also stability in the uniform norm of the dual potential functions, all stability results come with explicit quantitative bounds. Our methods utilize a combination of graph theory, convex geometry, and Monge-Ampère regularity theory. 
    more » « less
  2. We consider an unconstrained tangential Dirichlet boundary control problem for the Stokes equations with an $ L^2 $ penalty on the boundary control.  The contribution of this paper is twofold.  First, we obtain well-posedness and regularity results for the tangential Dirichlet control problem on a convex polygonal domain.  The analysis contains new features not found in similar Dirichlet control problems for the Poisson equation; an interesting result is that the optimal control has higher local regularity on the individual edges of the domain compared to the global regularity on the entire boundary.  Second, we propose and analyze a hybridizable discontinuous Galerkin (HDG) method to approximate the solution.  For convex polygonal domains, our theoretical convergence rate for the control is optimal with respect to the global regularity on the entire boundary.  We present numerical experiments to demonstrate the performance of the HDG method. 
    more » « less
  3. Abstract We apply new results on free boundary regularity to obtain a quantitative convergence rate for the shape optimizers of the first Dirichlet eigenvalue in periodic homogenization. We obtain a linear (with logarithmic factors) convergence rate for the optimizing eigenvalue. Large scale Lipschitz free boundary regularity of almost minimizers is used to apply the optimal homogenization theory in Lipschitz domains of Kenig et al. A key idea, to deal with the hard constraint on the volume, is a combination of a large scale almost dilation invariance with a selection principle argument. 
    more » « less
  4. In this paper we study the existence, the optimal regularity of solutions, and the regularity of the free boundary near the so-called \emph{regular points} in a thin obstacle problem that arises as the local extension of the obstacle problem for the fractional heat operator $$(\partial_t - \Delta_x)^s$$ for $$s \in (0,1)$$. Our regularity estimates are completely local in nature. This aspect is of crucial importance in our forthcoming work on the blowup analysis of the free boundary, including the study of the singular set. Our approach is based on first establishing the boundedness of the time-derivative of the solution. This allows reduction to an elliptic problem at every fixed time level. Using several results from the elliptic theory, including the epiperimetric inequality, we establish the optimal regularity of solutions as well as $$H^{1+\gamma,\frac{1+\gamma}{2}}$$ regularity of the free boundary near such regular points. 
    more » « less
  5. Abstract We construct an unfolding path in Outer space which does not converge in the boundary, and instead it accumulates on the entire 1-simplex of projectivized length measures on a nongeometric arational$${\mathbb R}$$-treeT. We also show thatTadmits exactly two dual ergodic projective currents. This is the first nongeometric example of an arational tree that is neither uniquely ergodic nor uniquely ergometric. 
    more » « less