Hausdorff dimensions of finitely generated profinite groups

Characterize the left-Sigma-two real values that can occur as Hausdorff dimensions of computable profinite groups that are also topologically finitely generated.

Background

Every left-Sigma-two real is known to occur for a computable profinite group with a computable subgroup. The additional requirement of topological finite generation may restrict the possible values.

References

Which values can occur for $r$ when $G$ is also topologically finitely generated?

Open Problems in Mathematical Logic  (2608.26628 - Barmpalias et al., 27 Aug 2026) in 2025 Section 6, subsection Profinite groups