Euler integration over definable functions

DOI10.1073/PNAS.0910927107zbMATH Open1205.53081arXiv0909.4054OpenAlexW2109673461WikidataQ34006630 ScholiaQ34006630MaRDI QIDQ3073985FDOQ3073985

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)

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.

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

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

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)

Cites Work

• Chern classes for singular algebraic varieties
• Target Enumeration via Euler Characteristic Integrals
• Operations on constructible functions
• 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

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)