Universality of persistent homology distributions for uniform measures

About 8 years old · traced to

Let X⊆RmX\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)=lim⁡n→∞F^n(i)(n−1/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.

References

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).

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.