On computability and disintegration

Nathanael L. Ackerman,Cameron E. Freer,Daniel M. Roy
DOI: https://doi.org/10.1017/S0960129516000098
2016-05-11
Abstract:We show that the disintegration operator on a complete separable metric space along a projection map, restricted to measures for which there is a unique continuous disintegration, is strongly Weihrauch equivalent to the limit operator Lim. When a measure does not have a unique continuous disintegration, we may still obtain a disintegration when some basis of continuity sets has the Vitali covering property with respect to the measure; the disintegration, however, may depend on the choice of sets. We show that, when the basis is computable, the resulting disintegration is strongly Weihrauch reducible to Lim, and further exhibit a single distribution realizing this upper bound.
Logic,Logic in Computer Science,Probability,Statistics Theory
What problem does this paper attempt to address?