Skip to main content
Log in

Abstract

We introduce a general definition of hybrid transforms for constructible functions. These are integral transforms combining Lebesgue integration and Euler calculus. Lebesgue integration gives access to well-studied kernels and to regularity results, while Euler calculus conveys topological information and allows for compatibility with operations on constructible functions. We conduct a systematic study of such transforms and introduce two new ones: the Euler–Fourier and Euler–Laplace transforms. We show that the first has a left inverse and that the second provides a satisfactory generalization of Govc and Hepworth’s persistent magnitude to constructible sheaves, in particular to multi-parameter persistent modules. Finally, we prove index-theoretic formulae expressing a wide class of hybrid transforms as generalized Euler integral transforms. This yields expectation formulae for transforms of constructible functions associated with (sub)level-sets persistence of random Gaussian filtrations.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Notes

  1. Since \(f_{|\text {supp}(\varphi )}\) is proper and Y is Hausdorff and locally compact, it is a closed map.

References

  1. Robert J. Adler and Jonathan E. Taylor. Random fields and geometry. Springer Science & Business Media, 2009 (cit. on p. 41).

  2. Yuliy Baryshnikov and Robert Ghrist. “Target enumeration via Euler characteristic integrals”. In: SIAM Journal on Applied Mathematics 70.3 (2009), pp. 825-844 (cit. on p. 2).

  3. Yuliy Baryshnikov and Robert Ghrist. “Euler integration over definable functions”. In: Proceedings of the National Academy of Sciences 107.21 (2010), pp. 9525-9530 (cit. on pp. 35, 38).

  4. Gabriele Beltramo et al. Euler Characteristic Surfaces. 2021. arXiv preprint: arXiv:2102.08260 (cit. on p. 32).

  5. Nicolas Berkouk and Francois Petit. “Ephemeral persistence modules and distance comparison”. In: Algebraic and Geometric Topology 21.1 (2021), pp. 247-277 (cit. on pp. 10, 15).

  6. Nicolas Berkouk and François Petit. Projected distances for multi-parameter persistence modules. 2022. arXiv preprint: arXiv:2206.08818 (cit. on p. 32).

  7. Omer Bobrowski and Matthew Strom Borman. “Euler integration of Gaussian random fields and persistent homology”. In: Journal of Topology and Analysis 4.1 (2012), pp. 49-70 (cit. on pp. 2, 4, 35, 37, 41).

  8. Justin Curry, Robert Ghrist, and Michael Robinson. “Euler calculus with applications to signals and sensing”. In: Proceedings of Symposia in Applied Mathematics. Vol. 70. 2012, pp. 75-146 (cit. on p. 2).

  9. Justin Curry, Sayan Mukherjee, and Katharine Turner. How many directions determine a shape and other sufficiency results for two topological transforms. 2018. arXiv preprint: arXiv:1805.09782 (cit. on p. 2).

  10. Robert Ghrist and Michael Robinson. “Euler-Bessel and Euler-Fourier transforms”. In: Inverse Problems 27.12 (2011) (cit. on pp. 2, 11, 35, 40).

  11. Dejan Govc and Richard Hepworth. “Persistent magnitude”. In: Journal of Pure and Applied Algebra 225.3 (2021) (cit. on pp. 2, 15, 16, 34).

  12. Leo Guibas, Lyle Ramshaw, and Jorge Stolfi. “A kinetic framework for computational geometry”. In: 24th Annual Symposium on Foundations of Computer Science (sfcs 1983). IEEE Computer Society. 1983, pp. 100-111 (cit. on p. 2).

  13. R. M. Hardt. “Triangulation of Subanalytic Sets and Proper Light Subanalytic Maps”. In: Inventiones mathematicae 38 (1976), pp. 207-218 (cit. on p. 6).

  14. Wolfram Research Inc. Mathematica, Version 12.3. Champaign, IL, 2021 (cit. on p. 18).

  15. Masaki Kashiwara and Pierre Schapira. Sheaves on Manifolds. Vol. 292. Grundlehren der Mathematischen Wissenschaften. Berlin: Springer-Verlag, 1990 (cit. on pp. 5, 6, 8, 9, 15, 21, 29, 31, 35).

  16. Masaki Kashiwara and Pierre Schapira. “Persistent homology and microlocal sheaf theory”. In: Journal of Applied and Computational Topology 2.1 (2018), pp. 83-113 (cit. on pp. 4, 5, 15, 31).

  17. Henry Kirveslahti and Sayan Mukherjee. Representing Fields without Correspondences: the Lifted Euler Characteristic Transform. 2021. arXiv preprint: arXiv:2111.04788 (cit. on p. 32).

  18. Ralph Tyrell Rockafellar. Convex analysis. Princeton University Press, 2015 (cit. on p. 8).

  19. Pierre Schapira. “Operations on constructible functions”. In: Journal of Pure and Applied Algebra 72.1 (1991), pp. 83-93 (cit. on pp. 2, 5, 6, 21).

  20. Pierre Schapira. “Tomography of constructible functions”. In: International Symposium on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes. Springer. 1995, pp. 427-435 (cit. on pp. 2, 4, 27).

  21. Pierre Schapira. “Constructible sheaves and functions up to infinity”. arXiv preprint. 2020 (cit. on pp. 8, 10, 12, 13, 15, 16).

  22. Pierre Schapira. “Cycles lagrangiens, fonctions constructibles et applications”. In: Séminaire Équations aux dérivées partielles (Polytechnique) dit aussi "Séminaire Goulaouic-Schwartz" (1988-1989) (cit. on pp. 2, 5, 6).

  23. Rolf Schneider. Convex bodies: the Brunn-Minkowski theory. 151. Cambridge University Press, 2014 (cit. on pp. 8, 19).

  24. Jonathan E Taylor. “A Gaussian kinematic formula”. In: Annals of probability 34.1 (2006), pp. 122-158 (cit. on p. 42).

  25. Katharine Turner, Sayan Mukherjee, and Doug M. Boyer. “Persistent homology transform for modeling shapes and surfaces”. In: Information and Inference: A Journal of the IMA 3.4 (2014), pp. 310-344 (cit. on p. 32).

  26. Oleg Yanovich Viro. “Some integral calculus based on Euler characteristic”. In: Topology and geometry–Rohlin seminar. Springer. 1988, pp. 127-138 (cit. on pp. 2, 5).

  27. Anders Vretblad. Fourier analysis and its applications. Vol. 223. Springer Science & Business Media, 2003 (cit. on p. 30).

  28. Günter M Ziegler. Lectures on polytopes. Vol. 152. Springer Science & Business Media, 2012 (cit. on p. 19).

Download references

Acknowledgements

The author is grateful to François Petit and Steve Oudot for their continuous support and their scientific advice through the development of this paper. We also express our gratitude to Nicolas Berkouk for taking the time to discuss and offer useful explanations on sheaf theory.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Vadim Lebovici.

Additional information

Communicated by Peter Bubenik.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lebovici, V. Hybrid Transforms of Constructible Functions. Found Comput Math (2022). https://doi.org/10.1007/s10208-022-09596-2

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10208-022-09596-2

Keywords

Mathematics Subject Classification

Navigation