Universality of persistent homology distributions for uniform measures

From papers

Let XRmX\subseteq\mathbb{R}^m be compact with positive Lebesgue measure, and let μ\mu be Lebesgue measure restricted to XX and rescaled to have total mass one. Let F^n(i)\hat{F}^{(i)}_n denote the empirical cumulative distribution function of the lengths of the ii-dimensional persistent homology intervals of an i.i.d. sample of nn points. Uniform persistent homology distribution conjecture. The limit

F^(i)(t)=limnF^n(i)(n1/mt)\hat{F}^{(i)}(t)=\lim_{n\to\infty}\hat{F}^{(i)}_n(n^{-1/m}t)

exists and depends only on mm, ii, and the volume of XX. The paper states that this claim is false for non-uniform measures; its validity in the uniform case is not established generally.

Progress summary

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

Sources & referencesView supporting material

Primary source

Henry Adams, Manuchehr Aminian, Elin Farnell, Michael Kirby, Chris Peterson, Joshua Mirth, Rachel Neville, Patrick Shipman and Clayton Shonkwiler, “A fractal dimension for measures via persistent homology”, arXiv:1808.01079 (2019).

Solutions 0

No solutions have been posted yet.