{
  "abstract": "Version 2. Remark (2) of Section 10 now states that, conditionally on Theorem 2.3 of the OpenAI preprint, the identity α₁(R²) = m₁(R²) gives the asymptotic statement f(n)/n = m₁(R²) + o(1) of Conjecture 1 of Dúcz and Varga (arXiv:2606.28157); the further statement of that conjecture about Croft's constant is not addressed. The note thanks Dániel Varga for pointing out this connection, and credits Ákos Dúcz for the observation that, conditionally, every Fourier-analytic upper bound on m₁(R²) is approached by the independence ratios of finite unit-distance graphs, with no control on their size. Koshelev, Kupavskii and Voronov (arXiv:2610.18907) independently proved, from the same theorem of OpenAI, that χ(R³) = χm(R³) and hence 7 ≤ χ(R³) ≤ 15; version 2 cites their work in the abstract, the related-work paragraph and Section 9. The mathematics of version 1 is unchanged.\n\nVersion 2. Remark (2) of Section 10 now states that, conditionally on Theorem 2.3 of the OpenAI preprint, the identity α₁(R²) = m₁(R²) gives the asymptotic statement f(n)/n = m₁(R²) + o(1) of Conjecture 1 of Dúcz and Varga (arXiv:2606.28157); the further statement of that conjecture about Croft's constant is not addressed. The note thanks Dániel Varga for pointing out this connection, and credits Ákos Dúcz for the observation that, conditionally, every Fourier-analytic upper bound on m₁(R²) is approached by the independence ratios of finite unit-distance graphs, with no control on their size. Koshelev, Kupavskii and Voronov (arXiv:2610.18907) independently proved, from the same theorem of OpenAI, that χ(R³) = χm(R³) and hence 7 ≤ χ(R³) ≤ 15; version 2 cites their work in the abstract, the related-work paragraph and Section 9. The mathematics of version 1 is unchanged.\n\nAssume Theorem 2.3 (rigidity of wild character laws) of the OpenAI preprint The Euclidean plane is not five-colorable. We prove that, for every n ≥ 2 and every set Λ of positive real algebraic numbers, a Λ-avoiding k-colouring of Rn (with no regularity assumption) yields a conull Borel partition of Rn into k sets, each containing no two points at a distance in Λ. Consequently, conditionally on that theorem, χ(Rn) ≥ ⌈1/m₁(Rn)⌉, where m₁(Rn) is the supremum of the upper densities of measurable sets avoiding distance 1. With the published bound on m₁(R³) (DeCorte, de Oliveira Filho and Vallentin) this gives χ(R³) ≥ 7 (previously known lower bound: 6, Nechushtan 2002).\n\nWe also derive conditional consequences for unbounded and m-element sets of forbidden distances and for finitary fractional chromatic parameters, whose conditional novelty lies in dimensions 2 and 3. For n ≥ 4 and distances with rational squares, James Davies (arXiv:2610.12301) has independently proved, unconditionally and by a different method, that the chromatic and measurable chromatic numbers coincide; his theorems do not cover dimensions 2 and 3. The transfer in the plane is due to OpenAI; our contribution is its extension to higher dimensions (for n = 3 see also Koshelev, Kupavskii and Voronov, below).\n\nStatus. All main results are conditional on Theorem 2.3 of OpenAI's preprint (github.com/openai/math, item 158), which has not been refereed. The note was written with AI assistance (Claude, Anthropic), directed by the author, who is not a professional mathematician, and was checked by independent AI referee passes (OpenAI's ChatGPT and Google's Gemini). It has not yet been reviewed by a human expert. Corrections are very welcome.",
  "abstract_shown": true,
  "affiliations": [
    "Independent researcher"
  ],
  "article_type": null,
  "arxiv": null,
  "author_total": 1,
  "authors": [
    {
      "affs": [
        0
      ],
      "name": "Carson Crocker",
      "orcid": "0009-0009-2790-1187"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/8gmb33qad5kz6.bib",
  "cited_by": 0,
  "doi": "10.5281/zenodo.23633577",
  "fulltext_url": null,
  "id": "8gmb33qad5kz6",
  "issns": [],
  "landing_url": "https://zenodo.org/records/23633577",
  "language": "eng",
  "licence": "CC-BY-4.0",
  "licence_label": "CC BY 4.0",
  "licence_source": "article",
  "licence_url": "https://creativecommons.org/licenses/by/4.0/",
  "metadata_licence": null,
  "native_subjects": [],
  "openalex": null,
  "pdf_url": "https://zenodo.org/api/records/23633577/files/Crocker_2026_conditional_transfer_chi_R3_ge_7_v2.pdf/content",
  "pmcid": null,
  "pmid": null,
  "published": "2026-10-24",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/8gmb33qad5kz6.ris",
  "sources": [
    {
      "first_seen": "2026-11-07T12:20:30Z",
      "native_id": "23633577",
      "source": "zenodo",
      "url": "https://zenodo.org/records/23633577"
    }
  ],
  "subjects": [],
  "title": "A conditional transfer for colourings of R^n, with the conditional consequence χ(R^3) ≥ 7",
  "title_text": "A conditional transfer for colourings of R^n, with the conditional consequence χ(R^3) ≥ 7",
  "type": "preprint",
  "updated_at": "2026-11-07T12:20:30Z",
  "url": "https://research.draconitic.com/paper/8gmb33qad5kz6",
  "venue": "Zenodo",
  "versions": []
}