On a result of K. P. Hart about non-existence of measurable solutions to the discrete expectation maximization problem

Pestov, Vladimir G.. "On a result of K. P. Hart about non-existence of measurable solutions to the discrete expectation maximization problem." Commentationes Mathematicae Universitatis Carolinae 64.3 (2023): 353-358. <http://eudml.org/doc/299217>.

@article{Pestov2023,
abstract = {It was shown that there is a statistical learning problem – a version of the expectation maximization (EMX) problem – whose consistency in a domain of cardinality continuum under the family of purely atomic probability measures and with finite hypotheses is equivalent to a version of the continuum hypothesis, and thus independent of ZFC. K. P. Hart had subsequently proved that no solution to the EMX problem can be Borel measurable with regard to an uncountable standard Borel structure on $X$, and so the independence result could just be an artefact of a model allowing non-measurable learning rules. In this note we reinforce the point somewhat by observing that such a solution cannot even be Lebesgue measurable.},
author = {Pestov, Vladimir G.},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {expectation maximization problem; EMX; continuum hypothesis; independence of ZFC; measurability},
language = {eng},
number = {3},
pages = {353-358},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {On a result of K. P. Hart about non-existence of measurable solutions to the discrete expectation maximization problem},
url = {http://eudml.org/doc/299217},
volume = {64},
year = {2023},
}

TY - JOUR
AU - Pestov, Vladimir G.
TI - On a result of K. P. Hart about non-existence of measurable solutions to the discrete expectation maximization problem
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2023
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 64
IS - 3
SP - 353
EP - 358
AB - It was shown that there is a statistical learning problem – a version of the expectation maximization (EMX) problem – whose consistency in a domain of cardinality continuum under the family of purely atomic probability measures and with finite hypotheses is equivalent to a version of the continuum hypothesis, and thus independent of ZFC. K. P. Hart had subsequently proved that no solution to the EMX problem can be Borel measurable with regard to an uncountable standard Borel structure on $X$, and so the independence result could just be an artefact of a model allowing non-measurable learning rules. In this note we reinforce the point somewhat by observing that such a solution cannot even be Lebesgue measurable.
LA - eng
KW - expectation maximization problem; EMX; continuum hypothesis; independence of ZFC; measurability
UR - http://eudml.org/doc/299217
ER -