arXiv subjects

Liane Xu

Publications and source records attributed to Liane Xu.

3 recordsLinked to original sources

arXiv2026

Convergence of the Sinkhorn Riemannian metric for finitely supported measures

The Sinkhorn Riemannian metric characterizes the local behavior of the Sinkhorn divergence, a debiased version of entropy-regularized optimal transport. Although the Sinkhorn divergence is known to approximate the squared Wasserstein-2 distance as the regularization parameter $\varepsilon$ goes to $0$, the behavior of the Sinkhorn Riemannian metric as $\varepsilon\to 0$ remains largely open. To the best of our knowledge, the only existing argument is for measures with a density and is still a formal computation. In this work, we prove the convergence of the Sinkhorn Riemannian metric as $\varepsilon\to 0$ in the case of finitely supported measures undergoing horizontal perturbations. Under our assumptions, our techniques additionally allow us to prove the convergence of higher order derivatives of the Sinkhorn Riemannian metric, thereby ensuring the convergence of the associated Riemann curvature tensor and Christoffel symbols as $\varepsilon\to 0$. We also compare with the absolutely continuous setting and show where our approach fails for measures with a density.

math.OC↗

arXiv2026

On the convergence of graph Laplacians with a symmetric divergence

When analyzing a manifold learning algorithm for data lying on a smooth, compact, connected Riemannian submanifold $(\mathcal{M}, g)$ of $\mathbb{R}^d$, a key estimate for the geodesic distance $d_g$ is that there exists $K > 0$ such that $0 \leq d_g(p, q)^2 - \|p-q\|^2 \leq K d_g(p, q)^4$ for all $p, q \in \mathcal{M}$. We observe that more generally, when $\mathcal{M}$ is equipped with a smooth symmetric divergence $D$ satisfying a non-degeneracy condition and $g$ is given by $g_p := \frac{1}{2}\mathrm{Hess}_p(D(p, \cdot))$ for all $p \in \mathcal{M}$, there exists $K > 0$ such that $\left| D(p, q) - d_g(p, q)^2 \right| \leq K d_g(p, q)^4$ for all $p, q \in \mathcal{M}$. We demonstrate that this is sufficient for the pointwise convergence of graph Laplacians constructed with $D$ and discuss examples where $D$ is given by the Sinkhorn divergence on a family of probability measures parametrized by a manifold.

stat.ML↗

arXiv2025

Manifold learning in metric spaces

Laplacian-based methods are popular for the dimensionality reduction of data lying in $\mathbb{R}^N$. Several theoretical results for these algorithms depend on the fact that the Euclidean distance locally approximates the geodesic distance on the underlying submanifold which the data are assumed to lie on. However, for some applications, other metrics, such as the Wasserstein distance, may provide a more appropriate notion of distance than the Euclidean distance. We provide a framework that generalizes the problem of manifold learning to metric spaces and study when a metric satisfies sufficient conditions for the pointwise convergence of the graph Laplacian.

cs.LG↗