Euler integration over definable functions

Abstract

We extend the theory of Euler integration from the class of constructible functions to that of "tame" real-valued functions (definable with respect to an o-minimal structure). The corresponding integral operator has some unusual defects (it is not a linear operator); however, it has a compelling Morse-theoretic interpretation. In addition, we show that it is an appropriate setting in which to do numerical analysis of Euler integrals, with applications to incomplete and uncertain data in sensor networks.

6 pages

References in corpus (1)

• The topography of multivariate normal mixtures

Cited by in corpus (9)

• Persistent Homology for Random Fields and Complexes
• Euler Integration of Gaussian Random Fields and Persistent Homology
• Topological Approach to Microcanonical Thermodynamics and Phase Transition of Interacting Classical Spins
• Euler-Bessel and Euler-Fourier Transforms
• A complexity theory of constructible functions and sheaves
• Hybrid transforms of constructible functions
• Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
• A New Approach to Euler Calculus for Continuous Integrands
• Lecture notes on sheaves and perverse sheaves