Incidence and lattice calculus with applications to stochastic geometry and image analysis

Incidence between subsets is a basic concept of stochastic geometry and mathematical morphology. In this note we discuss a formal generalisation of incidence (and the dual notion of dominance) in the setting of complete lattices. We discuss applications to mathematical morphology, random set theory and combinatorial geometrical probability. We also suggest possible applications to transmission microscopy, digital image discretization and robot motion planning. The generalised incidence structure turns out to be equivalent to the established idea of a lattice adjunction. Using this, many problems in stochastic geometry (Buffon-Sylvester problem, local knowledge, overprojection effects) can be reformulated as lattice calculations.

[1]  J. Sylvester.  On a funicular solution of Buffon's “problem of the needle” in its most general form , 1890 .

[2]  G. Matheron.  Random Sets and Integral Geometry , 1976 .

[3]  L. Santaló.  Integral geometry and geometric probability , 1976 .

[4]  Steven A. Orszag,et al.  CBMS-NSF REGIONAL CONFERENCE SERIES IN APPLIED MATHEMATICS , 1978 .

[5]  K. Hofmann,et al.  A Compendium of Continuous Lattices , 1980 .

[6]  R. Coleman.  The Sizes of Spheres from Profiles in a Thin Slice I. Opaque Spheres , 1982 .

[7]  Jean Serra,et al.  Image Analysis and Mathematical Morphology , 1983 .

[8]  R. Coleman.  The Sizes of Spheres from Profiles in a Thin Slice II. Transparent Spheres , 1983 .

[9]  L. Cruz-Orive,et al.  Distribution‐free estimation of sphere size distributions from slabs showing overprojection and truncation, with a review of previous methods , 1983 .

[10]  H. Gundersen.  Stereology of arbitrary particles * , 1986, Journal of microscopy.

[11]  H. Heijmans,et al.  The algebraic basis of mathematical morphology , 1988 .

[12]  J. Roerdink,et al.  Mathematical morphology for structure without translation symmetry , 1988 .

[13]  D. Stoyan,et al.  Stochastic Geometry and Its Applications , 1989 .

[14]  Henk J. A. M. Heijmans,et al.  The algebraic basis of mathematical morphology. I Dilations and erosions , 1990, Comput. Vis. Graph. Image Process..

[15]  Christian Ronse,et al.  Why mathematical morphology needs complete lattices , 1990, Signal Process..

[16]  Jean-Claude Latombe,et al.  Robot motion planning , 1970, The Kluwer international series in engineering and computer science.

[17]  Henk J. A. M. Heijmans,et al.  The algebraic basis of mathematical morphology : II. Openings and closings , 1991, CVGIP Image Underst..

[18]  Henk J. A. M. Heijmans,et al.  Discretization of morphological operators , 1992, J. Vis. Commun. Image Represent..

[19]  H. Heijmans.  Morphological image operators , 1994 .

[20]  F. Knight.  Combinatorial integral geometry with applications to mathematical stereology , 2007 .