Researcher profile

Jun Kitagawa

Jun Kitagawa contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
8works
0followers
5topics
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

8 published item(s)

preprint2021arXiv

Quantitative stability in the geometry of semi-discrete optimal transport

We show quantitative stability results for the geometric "cells" arising in semi-discrete optimal transport problems. Our results show two types of stability, the first is stability of the associated Laguerre cells in measure, without any connectedness or regularity assumptions on the source measure. The second is stability in Hausdorff measure, under a Poincar{è}-Wirtinger inequality and a regularity assumption equivalent to the Ma-Trudinger-Wang conditions of regularity in Monge-Amp{è}re. This last result also yields stability in the uniform norm of the dual potential functions, all three stability results come with explicit quantitative bounds. Our methods utilize a combination of graph theory, convex geometry, and Monge-Amp{è}re regularity theory.

preprint2020arXiv

$\mathcal{W}_\infty$-transport with discrete target as a combinatorial matching problem

In this short note, we show that given a cost function $c$, any coupling $π$ of two probability measures where the second is a discrete measure can be associated to a certain bipartite graph containing a perfect matching, based on the value of the infinity transport cost $\norm{c}_{L^\infty(π)}$. This correspondence between couplings and bipartite graphs is explicitly constructed. We give two applications of this result to the $\mathcal{W}_\infty$ optimal transport problem when the target measure is discrete, the first is a condition to ensure existence of an optimal plan induced by a mapping, and the second is a numerical approach to approximating optimal plans.

preprint2020arXiv

A Newton algorithm for semi-discrete optimal transport with storage fees

We introduce and prove convergence of a damped Newton algorithm to approximate solutions of the semi-discrete optimal transport problem with storage fees, corresponding to a problem with hard capacity constraints. This is a variant of the optimal transport problem arising in queue penalization problems, and has applications to data clustering. Our result is novel as it is the first numerical method with proven convergence for this variant problem; additionally the algorithm applies to the classical semi-discrete optimal transport problem but does not require any connectedness assumptions on the support of the source measure, in contrast with existing results. Furthermore we find some stability results of the associated Laguerre cells. All of our results come with quantitative rates. We also present some numerical examples.

preprint2020arXiv

Inverse Iteration for the Monge-Ampère Eigenvalue Problem

We present an iterative method based on repeatedly inverting the Monge-Ampère operator with Dirichlet boundary condition and prescribed right-hand side on a bounded, convex domain $Ω\subset \mathbb{R}^n$. We prove that the iterates $u_k$ generated by this method converge as $k \to \infty$ to a solution of the Monge-Ampère eigenvalue problem $$\begin{cases} \text{det} D^2u = λ_{MA} (-u)^n & \quad \text{in } Ω,\\ u = 0 & \quad \text{on } \partial Ω. \end{cases}$$ Since the solutions of this problem are unique up to a positive multiplicative constant, the normalized iterates $\hat{u}_k := \frac{u_k}{||u_k||_{L^{\infty}(Ω)}}$ converge to the eigenfunction of unit height. In addition, we show that $\lim\limits_{k \to \infty} R(u_k) = \lim\limits_{k \to \infty} R(\hat{u}_k) = λ_{MA}$, where the Rayleigh quotient $R(u)$ is defined as $$R(u) := \frac{\int_Ω (-u) \ \text{det} D^2u}{\int_Ω (-u)^{n+1}}.$$ Our method converges for a wide class of initial choices $u_0$ that can be constructed explicitly, and does not rely on prior knowledge of the Monge-Ampère eigenvalue $λ_{MA}$.

preprint2020arXiv

Optimal transport and the Gauss curvature equation

In this short note, we consider the problem of prescribing the Gauss curvature and image of the Gauss map for the graph of a function over a domain in Euclidean space. The prescription of the image of the Gauss map turns this into a second boundary value problem. Our main observation is that this problem can be posed as an optimal transport problem where the target is a subset of the lower hemisphere of $\mathbb{S}^n$. As a result we obtain existence and regularity of solutions under mild assumptions on the curvature, as well as a quantitative version of a gradient blowup result due to Urbas, which turns out to fall within the optimal transport framework.

preprint2017arXiv

Free discontinuities in optimal transport

We prove a nonsmooth implicit function theorem applicable to the zero set of the difference of convex functions. This theorem is explicit and global: it gives a formula representing this zero set as a difference of convex functions which holds throughout the entire domain of the original functions. As applications, we prove results on the stability of singularities of envelopes of semi-convex functions, and solutions to optimal transport problems under appropriate perturbations, along with global structure theorems on certain discontinuities arising in optimal transport maps for Ma-Trudinger-Wang costs. For targets whose components satisfy additional convexity, separation, multiplicity and affine independence assumptions we show these discontinuities occur on submanifolds of the appropriate codimension which are parameterized locally as differences of convex functions (DC, hence $C^2$ rectifiable), and --- depending on the precise assumptions --- $C^{1,α}$ smooth. In this case the highest codimension submanifolds consists of isolated points, each uniquely identified by the (affinely independent) components of the target to which it is transported.