On a cardinal invariant related to the Haar measure problem (Q2182027)

The article deals with the Haar Measure Problem: Does every infinite compact group have a non-Haar-measurable subgroup? Let \(G\) be an infinite metrizable profinite group. Denote by \(\mathcal{N}\) the ideal of null sets in the Cantor space \(2^\omega\), and by \(non(\mathcal{N})\) the minimal cardinality of a non-null subset of \(2^\omega\). \textit{A. J. Przeździecki} et al. [Proc. Am. Math. Soc. 147, No. 3, 1051--1057 (2019; Zbl 1423.28038)] introduced a certain cardinal invariant \(\mathfrak{fm}(G)\) (= the smallest size of a collection of Fubini-Markov sets whose union has measure 1) and proved: If \(non(\mathcal{N})\leq\mathfrak{fm}(G)\), then G has a non-Haar-measurable subgroup. They conjectured that \(non(\mathcal{N})\leq\mathfrak{fm}(G)\) for any infinite metrizable profinite group \(G\). In the present article the authors refute this conjecture proving: It is consistent with ZFC that there exists an infinite metrizable profinite group \(G_{*}\) such that \(non(\mathcal{N})>\mathfrak{fm}(G_*)\).