BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Young-Heon Kim

Young-Heon Kim contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.APmath.DGmath.PRmath.CAmath.FAmath.OC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2026arXiv

Uniqueness of the maximal solution of the supercooled Stefan problem in 1D

We prove uniqueness of the maximal weak solutions to the supercooled Stefan problem in 1 dimension. This follows by showing that in 1 dimension, the optimal solution of the corresponding free target optimal transport problem given in \cite{GeneralDimensions}, is independent of the choice of the cost function. Moreover, we show that the supercooled Stefan problem lacks monotonicity and $L^1$-Lipschitz stability, which are available in a similar problem considered in a previous paper \cite{freetarget}. However, in $1$ dimension, it has stability in the weak convergence of measures.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

The Stefan problem and free targets of optimal Brownian martingale transport

We formulate and solve a free target optimal Brownian stopping problem from a given distribution while the target distribution is free and is conditioned to satisfy a given density height constraint. The free target optimization problem exhibits monotonicity, from which a remarkable universality follows, in the sense that the optimal target is independent of its Lagrangian cost type. In particular, the solutions to this optimization problem generate solutions to both unstable and stable type of the Stefan problem, where former stands for freezing of supercooled fluid $(St_1)$ and the latter for ice melting $(St_2)$. This unified approach to both types of Stefan problem is new. In particular we obtain global-time existence and weak-strong uniqueness for the ill-posed freezing problem $(St_1)$, for a given initial data and for a well-prepared class of initial domains generated from the initial data.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Multi-marginal optimal transport on Riemannian manifolds

We study a multi-marginal optimal transportation problem on a Riemannian manifold, with cost function given by the average distance squared from multiple points to their barycenter. Under a standard regularity condition on the first marginal, we prove that the optimal measure is unique and concentrated on the graph of a function over the first variable, thus inducing a Monge solution. This result generalizes McCann's polar factorization theorem on manifolds from 2 to several marginals, in the same sense that a well known result of Gangbo and Swiech generalizes Brenier's polar factorization theorem on $\mathbb{R}^n$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Generalization of Caffarelli's Contraction Theorem via (reverse) Heat Flow

A theorem of L. Caffarelli implies the existence of a map pushing forward a source Gaussian measure to a target measure which is more log-concave than the source one, which contracts Euclidean distance (in fact, Caffarelli showed that the optimal-transport Brenier map $T_{opt}$ is a contraction in this case). We generalize this result to more general source and target measures, using a condition on the third derivative of the potential, using two different proofs. The first uses a map $T$, whose inverse is constructed as a flow along an advection field associated to an appropriate heat-diffusion process. The contraction property is then reduced to showing that log-concavity is preserved along the corresponding diffusion semi-group, by using a maximum principle for parabolic PDE. In particular, Caffarelli's original result immediately follows by using the Ornstein-Uhlenbeck process and the Prékopa--Leindler Theorem. The second uses the map $T_{opt}$ by generalizing Caffarelli's argument, employing in addition further results of Caffarelli. As applications, we obtain new correlation and isoperimetric inequalities.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Hölder continuity and injectivity of optimal maps

Consider transportation of one distribution of mass onto another, chosen to optimize the total expected cost, where cost per unit mass transported from x to y is given by a smooth function c(x,y). If the source density f^+(x) is bounded away from zero and infinity in an open region U' \subset R^n, and the target density f^-(y) is bounded away from zero and infinity on its support \cl V \subset R^n, which is strongly c-convex with respect to U', and the transportation cost c satisfies the A3w condition of Trudinger and Wang \cite{TrudingerWang07p}, we deduce local Hölder continuity and injectivity of the optimal map inside U' (so that the associated potential u belongs to C^{1,α}_{loc}(\U')). Here the exponent α>0 depends only on the dimension and the bounds on the densities, but not on c. Our result provides a crucial step in the low/interior regularity setting: in a sequel \cite{FigalliKimMcCann09p}, we use it to establish regularity of optimal maps with respect to the Riemannian distance squared on arbitrary products of spheres. Three key tools are introduced in the present paper. Namely, we first find a transformation that under A3w makes c-convex functions level-set convex (as was also obtained independently from us by Liu \cite{Liu09}). We then derive new Alexandrov type estimates for the level-set convex c-convex functions, and a topological lemma showing optimal maps do not mix interior with boundary. This topological lemma, which does not require A3w, is needed by Figalli and Loeper \cite{FigalliLoeper08p} to conclude continuity of optimal maps in two dimensions. In higher dimensions, if the densities f^\pm are Hölder continuous, our result permits continuous differentiability of the map inside U' (in fact, C^{2,α}_{loc} regularity of the associated potential) to be deduced from the work of Liu, Trudinger and Wang \cite{LiuTrudingerWang09p}.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Parabolic optimal transport equations on manifolds

We study a parabolic equation for finding solutions to the optimal transport problem on compact Riemannian manifolds with general cost functions. We show that if the cost satisfies the strong MTW condition and the stay-away singularity property, then the solution to the parabolic flow with any appropriate initial condition exists for all time and it converges exponentially to the solution to the optimal transportation problem. Such results hold in particular, on the sphere for the distance squared cost of the round metric and for the far-field reflector antenna cost, among others.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Regularity of optimal transport maps on multiple products of spheres

This article addresses regularity of optimal transport maps for cost="squared distance" on Riemannian manifolds that are products of arbitrarily many round spheres with arbitrary sizes and dimensions. Such manifolds are known to be non-negatively cross-curved [KM2]. Under boundedness and non-vanishing assumptions on the transfered source and target densities we show that optimal maps stay away from the cut-locus (where the cost exhibits singularity), and obtain injectivity and continuity of optimal maps. This together with the result of Liu, Trudinger and Wang [LTW] also implies higher regularity (C^{1,α}/C^\infty) of optimal maps for more smooth (C^α/C^\infty)) densities. These are the first global regularity results which we are aware of concerning optimal maps on non-flat Riemannian manifolds which possess some vanishing sectional curvatures. Moreover, such product manifolds have potential relevance in statistics (see [S]) and in statistical mechanics (where the state of a system consisting of many spins is classically modeled by a point in the phase space obtained by taking many products of spheres). For the proof we apply and extend the method developed in [FKM1], where we showed injectivity and continuity of optimal maps on domains in R^n for smooth non-negatively cross-curved cost. The major obstacle in the present paper is to deal with the non-trivial cut-locus and the presence of flat directions.

0 citations0 reviewsNo code linkedOpen access