Euler integration over definable functions

DOI10.1073/PNAS.0910927107MaRDI QIDQ3073985zbMATH OpenOpenAlexWikidataFDO

Authors Yuliy M. Baryshnikov, Robert Ghrist

Publication date 12 February 2011

Published in Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0909.4054

zbMATH Keywords

Euler characteristicsensor networko-minimal structuresdefinable functions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Integral geometry (53C65) Abstract critical point theory (Morse theory, Lyusternik-Shnirel'man theory, etc.) in infinite-dimensional spaces (58E05) Communication networks in operations research (90B18) Semialgebraic sets and related spaces (14P10)

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.

Recommendations

• Integral characterization of elementary definitizable functions
• Euler's Integrals
• scientific article; zbMATH DE number 5360907
• scientific article; zbMATH DE number 5775483
• Discrete Euler integration over functions on finite categories
• Euler and elliptic integrals
• scientific article; zbMATH DE number 3927710
• Integration with respect to the Euler characteristic and its applications
• scientific article; zbMATH DE number 4123876

Cites work

• Chern classes for singular algebraic varieties
• Constructible motivic functions and motivic integration
• Integral geometry of tame sets
• Integralsätze im Konvexring
• Integration of positive constructible functions against Euler characteristic and dimension
• Operations on constructible functions
• Target Enumeration via Euler Characteristic Integrals

Cited in

(9)

• A complexity theory of constructible functions and sheaves
• Efficient algorithms for computing the Euler-Poincaré characteristic of symmetric semi-algebraic sets
• Discrete Euler integration over functions on finite categories
• Euler characteristic surfaces
• Euler integration of Gaussian random fields and persistent homology
• Discrete Morse theory for computing cellular sheaf cohomology
• Topological approach to microcanonical thermodynamics and phase transition of interacting classical spins
• Hadwiger's theorem for definable functions
• Mean geometry for 2D random fields: level perimeter and level total curvature integrals

This page was built for publication: Euler integration over definable functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3073985)