Euler integration over definable functions

We extend the theory of Euler integration from the class of constructible functions to that of “tame” R-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, it is an advantageous setting in which to integrate in applications to diffused and noisy data in sensor networks.

[1]  H. Groemer.  Minkowski addition and mixed volumes , 1977 .

[2]  L. Bröcker,et al.  Integral Geometry of Tame Sets , 2000 .

[3]  Itsuro Kakiuchi.  Unimodality Conditions of the Distribution of a Mixture of Two Distributions , 1981 .

[4]  P. Schapira,et al.  Tomography of Constructible Functions , 1995, AAECC.

[5]  Robert MacPherson,et al.  Chern Classes for Singular Algebraic Varieties , 1974 .

[6]  Algebraically constructible functions: real algebra and topology , 2002, math/0202086.

[7]  Surajit Ray,et al.  The topography of multivariate normal mixtures , 2005 .

[8]  Isidore Eisenberger,et al.  Genesis of Bimodal Distributions , 1964 .

[9]  J. Fu,et al.  Curvature Measures of Subanalytic Sets , 1994 .

[10]  David J. Srolovitz,et al.  The von Neumann relation generalized to coarsening of three-dimensional microstructures , 2007, Nature.

[11]  Frédéric Chazal,et al.  Weak feature size and persistent homology: computing homology of solids in Rn from noisy data samples , 2005, SCG.

[12]  M. Goresky,et al.  Stratified Morse theory , 1988 .

[13]  H. Hadwigeb,et al.  Integralsätze im Konvexring , 1956 .

[14]  M. Edmundo,et al.  Integration of positive constructible functions against Euler characteristic and dimension , 2006, math/0607165.

[15]  Euler Integration and Euler Multiplication , 2005 .

[16]  F. Loeser,et al.  Constructible motivic functions and motivic integration , 2008 .

[17]  J. Behboodian.  On the Modes of a Mixture of Two Normal Distributions , 1970 .

[18]  Daniel A. Klain,et al.  Estimation of Euler Characteristic from Point Data , 2005 .

[19]  Charles Steinhorn,et al.  Tame Topology and O-Minimal Structures , 2008 .

[20]  Pierre Schapira,et al.  Operations on constructible functions , 1991 .

[21]  Yuliy Baryshnikov,et al.  Target Enumeration via Euler Characteristic Integrals , 2009, SIAM J. Appl. Math..

[22]  J. H. B. Kemperman,et al.  Mixtures with a limited number of modal intervals , 1991 .

[23]  Jörg Schürmann,et al.  Topology of Singular Spaces and Constructible Sheaves , 2004 .

[24]  Oleg Viro,et al.  Some integral calculus based on Euler characteristic , 1988 .