{
  "schema_version": 1,
  "problem_number": "OWR-17288-004",
  "title": "Loose Embeddings in a Fixed Euclidean Space: Countable Counterexamples and Flat Tori",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "A loose embedding of a metric space (X, d) in R^N, in the sense of Chirvasitu, is a continuous map φ such that |φx − φy| = |φx′ − φy′| if and only if d(x, y) = d(x′, y′). In his abstract in an Oberwolfach report of 2019, Chirvasitu asked whether a compact metric space all of whose finite subspaces are loosely embeddable in R^N, for one fixed N, is itself loosely embeddable there, and whether every compact Riemannian manifold with its geodesic distance satisfies this hypothesis. We answer both questions negatively, the first in the reading in which the conclusion asks for a loose embedding in the same R^N, which is the reading of the problem record we work from. For every N ≥ 1 we construct a countable compact metric space all of whose finite subspaces are loosely embeddable in R^N but which is not loosely embeddable in R^N. This does not answer Chirvasitu's later Question 2.1 of arXiv:2101.01242, which asks only for a loose embedding in some finite-dimensional Euclidean space: our example for N = 1 is loosely embeddable in R^2, and that question remains open. For the second question we prove that every flat torus of dimension at least 2 has, for every N, a finite subset that is not loosely embeddable in R^N. This proof is non-constructive: for general N it gives no explicit finite subset and no bound on its size (for N ≤ 2 we give an explicit four-point subset of the hexagonal torus). The argument also shows that no flat torus of dimension at least 2 is loosely embeddable in any Euclidean space, whereas round spheres and real and complex projective spaces are. The key lemma for tori is the flat-torus analogue of a theorem of Heitzig on maps between Euclidean spaces that preserve equality of distances, and its proof follows his method. The definitions and the questions are Chirvasitu's. We found no printed answer to either question in the sources searched; a search that finds nothing is not a proof of novelty. This is an unrefereed note.",
  "result_type": "COMPLETE_NEGATIVE_ANSWER",
  "categories": [
    "math.MG",
    "math.GN",
    "math.OA"
  ],
  "keywords": [
    "loose embeddings",
    "compact metric spaces",
    "distance patterns",
    "finite subspaces",
    "Euclidean embeddings",
    "flat tori",
    "Riemannian manifolds",
    "geodesic distance",
    "quantum isometries",
    "negative answer",
    "Oberwolfach Reports problems",
    "UnsolvedMath",
    "OWR-17288-004",
    "math.MG",
    "math.GN",
    "math.OA",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-20",
  "publication_date": "2026-10-20",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-20",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-17288-004/",
  "pdf_url": "https://eulersolve.org/papers/owr-17288-004/paper.pdf?v=2d0142767650",
  "doi": "10.5281/zenodo.23513444",
  "zenodo_record_url": "https://zenodo.org/records/23513444",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Chirvasitu's weaker Question 2.1 (a loose embedding in some R^M) stays open; the flat-torus result is non-constructive for general N.",
  "files": {
    "paper.pdf": {
      "sha256": "2d0142767650454c884d6543983836c4a6dde53f559b6a41b47c65cf0fb4ab5f"
    },
    "source.zip": {
      "sha256": "d27b3c350032359f6b4496744c56bf9f4549d33a293506cf1261a8fb663b386c"
    },
    "verification_report.md": {
      "sha256": "ee9a8e53c5772a608003a2feb5d468f5a7c22134cca79f5e9c0b922f80d76e17"
    }
  },
  "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."
}