63f0b5bacbaa5815.tex
1: \begin{abstract}
2:     We give a comprehensive description of Wasserstein gradient flows of maximum mean discrepancy (MMD) functionals $\mathcal F_\nu \coloneqq \text{MMD}_K^2(\cdot, \nu)$ towards given target measures $\nu$ on the real line, where we focus on the negative
3:     distance kernel $K(x,y) \coloneqq -|x-y|$.
4:     In one dimension, the Wasserstein-2 space can be isometrically embedded
5:     into the cone $\mathcal C(0,1) \subset L_2(0,1)$ of quantile functions 
6:     leading to a characterization of Wasserstein gradient flows
7:     via the solution of an associated Cauchy problem on $L_2(0,1)$.
8:     Based on the construction of an appropriate counterpart of $\mathcal F_\nu$ on $L_2(0,1)$
9:     and its subdifferential,
10:     we provide a solution of the Cauchy problem.
11:     For discrete target measures $\nu$, this results in a piecewise linear solution formula.
12:     We prove invariance and smoothing properties of the flow on subsets of $\mathcal C(0,1)$.
13:     For certain $\F_\nu$-flows this implies that initial point measures instantly become absolutely continuous, and stay so over time.
14:     Finally, 
15:     we illustrate the behavior of the flow by various numerical examples using an implicit
16:     Euler scheme and demonstrate differences to the explicit Euler scheme, which is easier to compute, but comes with limited convergence guarantees.
17: \end{abstract}
18: