{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
  "title": "Does there exist a bijection of $\\mathbb{R}^n$ to itself such that the forward map is connected but the inverse is not?",
  "canonical_statement": "Willie Wong asked on MathOverflow in April 2016: if $f:\\mathbb R^n\\to\\mathbb R^n$ is a bijection that maps every connected set to a connected set, must $f^{-1}$ do the same? By Tanaka's theorem and invariance of domain this is equivalent to asking whether every connectedness-preserving bijection of $\\mathbb R^n$ is continuous. For $n=1$ the answer is yes. For $n\\ge 2$ the question stayed open for a decade: the top-voted answer constructs such a bijection only from $\\mathbb R$ to $\\mathbb R^2$, and Banakh and Banakh (2020) proved continuity in several compact settings while calling Wong's problem still open.",
  "plain_summary": "VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.",
  "current_status": "candidate",
  "solution_events": [
    {
      "id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:event",
      "problem_id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
      "type": "disproved",
      "status": "candidate",
      "occurred_at": "2026-09-05T00:00:00.000Z",
      "title": "Recurrent tubes and connectedness-preserving bijections of Euclidean spaces (Zenodo preprint, 5 Sep 2026)",
      "summary": "Answered in the negative for every $n\\ge 2$. The preprint constructs a bijection $F:\\mathbb R^n\\to\\mathbb R^n$ that maps every connected set to a connected set, is continuous exactly off the closed ray $[0,\\infty)\\times\\{0\\}^{n-1}$, and pulls the straight segment $\\{(1,0,\\dots,0)\\}\\times[0,1]$ back to the middle-thirds Cantor set on that ray, so $F^{-1}$ is not connectedness-preserving. The construction extends a thin solid tube by finger moves so its cross-sections recur near every point of the complementary compactum, collapses the ray onto the tube's ideal end, and certifies arbitrary connected sets by a separation argument; $F$ and $F^{-1}$ can be taken Borel. The same author's companion note on Darboux injections from closed manifolds (Banakh-Banakh Problems 1.7 and 1.8) is a separate result and belongs in its own entry.",
      "ai_contribution": "ai_discovered",
      "attempt_ids": [
        "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:attempt"
      ],
      "method_family_ids": [
        "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:method"
      ],
      "source_assertion_ids": [
        "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:attempt",
      "problem_id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
      "model": "GPT-6 (Codex, Ultra effort), Claude Fable 5.1",
      "provider": "OpenAI, Anthropic",
      "attempted_at": "2026-09-05T00:00:00.000Z",
      "human_collaborators": [
        "Peter L."
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "The preprint's own disclosure: the paper \"is the outcome of a research program conducted with two AI systems under the author's direction: OpenAI's Codex (GPT-6, Ultra effort), which produced the structural theory, the constructions, the adversarial audits, the verification of the argument, and the draft; and Anthropic's Claude Fable 5.1 (Extra effort), which planned the program, reviewed the successive run reports, and proposed the single-line coloring that makes the construction uniform in the dimension.\" The author chose the problem, wrote the briefs and ran the audits between systems. Appendix A separates ideas taken from the literature from ideas first recorded within the program.",
      "failed_routes": [],
      "artifacts": [
        {
          "label": "Proof of Banakh-Banakh's Problems 1.7 and 1.8",
          "url": "https://doi.org/10.5281/zenodo.22347647",
          "kind": "paper",
          "license": null
        },
        {
          "label": "Wong's question on MathOverflow (2016), with the five partial answers",
          "url": "https://mathoverflow.net/questions/235893",
          "kind": "problem-record",
          "license": null
        },
        {
          "label": "Banakh and Banakh, The continuity of Darboux injections between manifolds (2020), which calls the problem still open",
          "url": "https://arxiv.org/abs/1809.00401",
          "kind": "paper",
          "license": null
        }
      ],
      "sources": [
        {
          "label": "Recurrent tubes and connectedness-preserving bijections of Euclidean spaces (Zenodo preprint, 5 Sep 2026)",
          "url": "https://doi.org/10.5281/zenodo.22346412",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Does there exist a bijection of $\\mathbb{R}^n$ to itself such that the forward map is connected but the inverse is not?",
          "url": "https://vibemathed.com/problem/does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:verification",
      "problem_id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
      "solution_event_id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": "Unreviewed. The 17-page preprint (Zenodo 10.5281/zenodo.22346412, version 1, dated 5 September 2026) was read here on the day it appeared; the theorem, the construction outline and the disclosure match the submission. Nobody outside the author's program has checked the argument, and the preprint is visibly unfinished: its acknowledgements read \"to be supplied by the author\" and its disclosure ends with a bracketed statement \"to be completed after review\" that the author has verified the mathematics and accepts responsibility. Candidate until that statement is filled in and someone independent has read the proof. The question's history warrants care: it drew five answers over ten years, all partial, and a 2020 paper by Banakh and Banakh devoted to it.",
      "sources": [
        {
          "label": "VibeMathed: Does there exist a bijection of $\\mathbb{R}^n$ to itself such that the forward map is connected but the inverse is not?",
          "url": "https://vibemathed.com/problem/does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "Recurrent tubes and connectedness-preserving bijections of Euclidean spaces (Zenodo preprint, 5 Sep 2026)",
          "url": "https://doi.org/10.5281/zenodo.22346412",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "Recurrent tubes and connectedness-preserving bijections of Euclidean spaces (Zenodo preprint, 5 Sep 2026)",
      "url": "https://doi.org/10.5281/zenodo.22346412",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Does there exist a bijection of $\\mathbb{R}^n$ to itself such that the forward map is connected but the inverse is not?",
      "url": "https://vibemathed.com/problem/does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "verify",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i:signal:verify_now",
      "problem_id": "vibemathed:does-there-exist-a-bijection-of-mathbb-r-n-to-itself-such-that-the-forward-map-i",
      "kind": "verify_now",
      "reason": "The source labels this result as a candidate; verification should precede reuse.",
      "generated_at": "2026-09-13T16:28:40.178Z"
    }
  ],
  "uncertainties": [
    "The source status is candidate and must not be represented as solved.",
    "VibeMath has not independently verified the mathematical claim.",
    "AI-attempt independence and training-data exposure are unknown unless explicitly documented.",
    "VibeMath has not independently audited the mathematical statement, proof, or novelty claim."
  ],
  "generated_at": "2026-09-13T16:28:40.178Z"
}