{"id":"arxiv/2605.30756","url":"https://arxiv.org/abs/2605.30756","tags":["math.AP"],"score":0,"title":"A Liouville theorem for bounded empirical-harmonic functions on $\\mathcal{P}_2(M)$","domain":"math.AP","source":"arxiv","authors":["Hongwei Yuan"],"reviews":0,"subject":"math.AP","summary":"The classical Liouville theorem states that every bounded harmonic function on Euclidean space is constant. On complete Riemannian manifolds, analogous conclusions hold under geometric assumptions such as nonnegative Ricci curvature. The quadratic Wasserstein space $\\mathcal{P}_2(M)$ has no canonical infinite-dimensional Riemannian volume and hence no canonical Laplace--Beltrami operator. We introduce a natural finite-particle notion of harmonicity: a continuous function $u:\\mathcal{P}_2(M)\\to\\mathbb{R}$ is called empirically harmonic if, for every $N\\geq1$, its pullback under the empirical…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-29","reactions":{}}