{
  "schema_version": 1,
  "problem_number": "OWR-15212-005",
  "title": "A Negative Answer to Wolansky's Question on Mutually Dominating Multiphase Measure Spaces",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "In an Oberwolfach report of 2017, Wolansky introduced a domination order between vector-valued measure spaces (X, σ) and (Y, η) with k components, defined by one Markov kernel that transports every σ_i to η_i, and asked whether two atomless spaces that dominate each other must admit deterministic maps T : X → Y and S : Y → X with T_#σ_i = η_i and S_#η_i = σ_i. We show that the answer is no as posed, already for k = 2 and compact atomless spaces. Mutual domination is equality of the colour laws (Blackwell equivalence), and a deterministic transport has to respect colours, so it must carry colour fibres onto colour fibres. This gives explicit examples on [0,1] and [0,1]² in which only one of the two maps exists, and an example on [0,1] in which neither exists. On the positive side, for standard Borel spaces with equal colour laws, T exists whenever the colour fibres of X are atomless, for instance for atomless spaces with k = 1 or with finitely many colours. We give necessary conditions in general and an exact classification for finite spaces. The results are consequences of the classical comparison of experiments (Blackwell, Le Cam, Torgersen), and we claim no novelty beyond answering this question with explicit atomless examples and the atomless-fibre positive case. This is an unrefereed note.",
  "result_type": "COMPLETE_NEGATIVE_ANSWER",
  "categories": [
    "math.PR",
    "math.OC",
    "math.ST"
  ],
  "keywords": [
    "Oberwolfach Reports",
    "multiphase optimal transport",
    "vector-valued measures",
    "Blackwell equivalence",
    "comparison of statistical experiments",
    "deterministic transport",
    "counterexample",
    "UnsolvedMath",
    "OWR-15212-005",
    "math.PR",
    "math.OC",
    "math.ST",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-02",
  "publication_date": "2026-10-02",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-02",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-15212-005/",
  "pdf_url": "https://eulersolve.org/papers/owr-15212-005/paper.pdf?v=ba25f8852584",
  "doi": "10.5281/zenodo.23107180",
  "zenodo_record_url": "https://zenodo.org/records/23107180",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers Wolansky's Open Question (OWR 7/2017, p. 388) negatively as posed: two atomless multiphase measure spaces that dominate each other in the Markov-kernel sense need not admit deterministic transports T and S, already for two phases on compact spaces. Mutual domination is equality of the colour laws (Blackwell equivalence), so the result is a folklore-level consequence of the classical comparison of experiments; the new parts are the explicit atomless examples and the positive case of atomless colour fibres. For general standard Borel spaces with atomic colour fibres, existence of T is not characterised.",
  "files": {
    "paper.pdf": {
      "sha256": "ba25f8852584df11a9da23177bb17f81724e85618a5572243a5f074332b23079"
    },
    "source.zip": {
      "sha256": "40ef21eb1fa8f8474d9b0015d6821733dfc928cf37c59c53d3d30194bf382b54"
    },
    "verification_report.md": {
      "sha256": "aa7783f186d7a7ce820856b1bb359d6c58a62bcd401531b9e897723bab9aeecc"
    }
  },
  "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."
}