All quiet on the blog for the past few weeks on account of multiple trips abroad (including visits to the Institute for Disease Modeling, the Institute for Health Metrics Evaluation & the Bill & Melinda Gates Founation in Seattle, and the Swiss Tropical & Public Health Institute in Basel). Astronomers wondering what sort of role BigData(Trademark) ideas play in healthcare economics might well be interested in the brand new biography of IHME’s Chris Murray, Epic Measures.

Having thus been so busy with travel & work I could find time to do little more than *glance* over astro ph each day, with three results: (1) that I have a few papers downloaded to read in the future; (2) that I went apeshit when I saw a paper (re-)introducing ABC for astronomers that managed to ignore all past ABC work in astronomy including my own (cf. a Xian’s Og for some context); and finally (3) that I found cause to dig into ~~the~~ a definition of the Poisson Point Process as I will describe below.

The beginning on my saga is with Mario Gennaro et al.’s recent arXival presenting “A new method for deriving the stellar birth function of resolved stellar populations”, in which the authors take a Poisson Point Process approach to constructing a likelihood function for observations that might be used to reconstuct the global population parameters of a collections of stars. Personally I find this presentation (of starting with a complex PPP form for the upper layer of the eventual hierarchical likelihood) to be more confusing than necessary in comparison to the alternative (of starting from the bottom of the hierarchy to define the population level distribution). But as it yields the same solution more power to the authors. One quirky detail in this paper that caught my eye and triggered an investigation leading down the rabbit hole of measure theory and Hausdorff metrics was their Eqn 6, which transcribes Eqn 2.11 from Streit’s 2010 book, “Poisson Point Processes” (whose notation I will use):

In Streit’s introductory book the Poisson Point Process on a compact subset of (with more-or-less assumed to be ) is defined via an algorithmic construction: first, one draws the integer number of points, , from the ordinary Poisson distribution with mean parameter set equal to the integral of the intensity function, , over ; second, for , points, , are drawn iid according to the density, , corresponding to a normalized version of ; and third, is returned as the ‘unordered set’, . Elements of the space of such unordered sets (known to mathematical physicists as configuration space, ) in Streit’s book are denoted (for given ) to distinguish them from elements of the space of ordered n-tuples, . The Eqn 2.11 above is therefore presented as the conditional pdf of . However, from a measure theory (and, hence, formal probability theory) perspective it seems to me the statement of Eqn 2.11 is meaningless.

To see what’s going on we first need to observe what is meant by ‘ordered’ here. The ordered n-tuple places the simulated in the order by which they were simulated: so we’re not talking [yet] about a total ordering on the space, , rather we’re talking about having ‘visible’ the labels, , that tell us which is which. When we construct we simply lose the labels. Now the measure (dropping the notation reminding us of the conditioning on ) to which might be thought of as a density given an underlying measure on the configuration space, , (though I know of no automatic equivalent to Lebesgue measure on this space) is an induced measure from our base measure, , on the space of ordered n-tuples of , . To understand how this induced measure works (following the classic Halmos approach) we introduce the measurable mapping given by the losing the labels operation; here the definition of measurable is that the pullback of any set in is in (with denoting the generated Borel sigma algebra on the respective metric spaces: taking Euclidean distance for and the equivalent Hausdorff distance for ); with the first of those algebra-set pairs having the base measure to form a probability triple. For any -measurable function, , the induced measure is evaluated as

with the latter equal to . With a little visualisation one can see that for some small sets, which we’ll denote , the pullback operation effectively makes symmetric subsets (call these copies of, say, the set with the -tuple of lowest value, ) in which have equal measure so that , but that generally this isn’t true: take for instance the whole of for which the induced measure obviously evaluates to one.

Interestingly, if we were to make a measure that would have for every measurable set, , the relation it would have to be induced from the ordered n-tuple where here the ordering no longer refers to labelling but to a total ordering on the space . For one-dimensional this could be simply the real line ordering, but for multi-dimensional we would need to introduce a function playing the role of the likelihood in nested sampling).

Is any of this important? Not really, in Bayesian parameter estimation (for a parametric model of the underlying intensity function) any normalizing constants in front of the likelihood function drop out so applying either formula 2.11 or 2.12 as if they apply to with labels known or unknown will give the same result. Likewise, in any case Streit comes by (IMO) fudgy means to a formula in Eqn 2.23 that will (if we close our eyes and forget we don’t know the labels) allow us to solve for posterior functionals. But, it does give me an idea of how I’d improve the constructivist approach to introduce the PPP (to readers uninterested in measure or stochastic process theory): do Steit’s algorithm steps (1) and (2) but then instead of (3) which returns the unordered list I’d introduce a random label switching operation to return an n-tuple being a random permutation of . This would remove all confusion about ordering (ie. meaning label-switching or total ordering), remove all confusion about factors in densities, and give a neat explanation for the symmetrization operation of Streit’s Eqn 2.24.

Much respect to anyone who actually read this far!