{
  "schema_version": 1,
  "problem_number": "AMR-150-0035",
  "title": "Hausdorff Dimensions of Computable Closed Subgroups of Finitely Generated Profinite Groups",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "In a 2025 list of open problems in computability theory, A. Nies notes that every left-Σ₂ real r ∈ [0, 1] is the Hausdorff dimension of a computable subgroup of a computable profinite group, and asks which values occur when the group is topologically finitely generated. Reading \"computable subgroup\" as computable closed subgroup, and taking the dimension, as Mayordomo and Nies do, with respect to the given computable inverse system, we show that finite generation imposes no restriction: the values are exactly the left-Σ₂ reals in [0, 1]. All of them occur for computable closed subgroups of the 2-generated pro-p lamplighter group Z_p ⋉ F_p[[t]], simultaneously for its presentation by the wreath products C_p ≀ C_{p^k} and for its p-power, iterated p-power, Frattini and dimension subgroup series; for its lower p-series the values are the left-Σ₂ reals in [0, 1/2], the numbers 1/2 + m/(2pⁿ) with 0 < m < pⁿ, and 1. If \"computable subgroup\" meant \"closed subgroup generated by finitely many computable elements\", the question would become an effective version of the problem of finitely generated Hausdorff spectra, which we do not address. The question and the statement without finite generation are from Nies's section of the list; the statement is given there without proof and follows from an example of Mayordomo and Nies (essentially due to Barnea and Shalev) and the theorem of Downey, Jockusch and Schupp that the lower densities of computable sets are exactly the left-Σ₂ reals. The Hausdorff spectra of this group are classical (Klopsch; Klopsch and Thillaisundaram; de las Heras and Klopsch). The note is a straightforward effective version of these results, built on a lemma that makes one computable set give the prescribed dimension along several filtrations at once; its novelty is modest. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.LO",
    "math.GR"
  ],
  "keywords": [
    "Hausdorff dimension",
    "Hausdorff spectrum",
    "computable profinite groups",
    "computable closed subgroups",
    "left-Σ2 reals",
    "asymptotic density",
    "pro-p groups",
    "lamplighter group",
    "standard filtration series",
    "lower p-series",
    "computability theory",
    "Open Problems in Computability Theory and Descriptive Set Theory",
    "UnsolvedMath",
    "AMR-150-0035",
    "math.LO",
    "math.GR",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-18",
  "publication_date": "2026-10-18",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-18",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-150-0035/",
  "pdf_url": "https://eulersolve.org/papers/amr-150-0035/paper.pdf?v=949d5cf14e4b",
  "doi": "10.5281/zenodo.23445978",
  "zenodo_record_url": "https://zenodo.org/records/23445978",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "For computable closed subgroups, with the dimension taken with respect to the given computable inverse system as in Mayordomo and Nies; the reading with subgroups generated by finitely many computable elements is not addressed. An effective version of classical constructions; novelty modest. Unrefereed note.",
  "files": {
    "paper.pdf": {
      "sha256": "949d5cf14e4b0b6ac2855d0c053b5d5be33e5aa8b251fca58c95e001e14d0a31"
    },
    "source.zip": {
      "sha256": "5bb8939ac6289fdecb7aa050f7f6cedce0182201a7a6027ee8b2b9c040b69025"
    },
    "verification_report.md": {
      "sha256": "39e5a1746d5119acc6a1f7427ffa92235c05a5a69fc5547e796b4af9e7424774"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}