Asymptotic disintegrability of compact connected Riemannian manifolds

Let (X,d,μ)(\mathfrak{X},d,\mu) be a metric probability space, where X\mathfrak{X} is a compact, connected, DD-dimensional Riemannian manifold, dd is its geodesic distance, and μ\mu is absolutely continuous with respect to volume measure with density ff satisfying

0<cf(x)C<0<c\leq f(x)\leq C<\infty

for all xXx\in\mathfrak{X}. Riemannian-manifold disintegrability conjecture. For any α(0,)\alpha\in(0,\infty), (X,d,μ)(\mathfrak{X},d,\mu) is asymptotically disintegrable with rate

(O(nα),O ⁣((lnnn)1/max{2,D})).\left(O(n^{-\alpha}),O\!\left(\left(\frac{\ln n}{n}\right)^{1/\max\{2,D\}}\right)\right).

This would extend the paper's examples of asymptotically disintegrable spaces beyond intervals, circles, graphs, and cubes; the proposed rate is intended to support near-optimal high-probability Wasserstein bounds. The conjecture remains open.

Sources & referencesView supporting material

Primary source

James Allen Fill and Lachlan Ewen MacDonald, “Disintegration theorem for multifunctions, with applications to empirical Wasserstein distances and average-case statistical bounds”, arXiv:2507.01236 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.