{
  "abstract": "We characterize the Borel sets with an infinite version of Karchmer and Wigderson's game linking finite circuit complexity to communication complexity. To this end, we formulate an infinite version of communication complexity and prove that a given subset of the Cantor space is Borel if and only if a certain infinite communication game is solvable. We utilize this connection to provide new elementary and purely combinatorial proofs of some classical results in descriptive set theory, including the analytic separation theorem and the equivalence of monotone and positive Borel sets. Another consequence is a characterization of Borel separability via the winner of a certain \"cut-and-choose\" game, which we use to obtain new combinatorial proofs that neither the set of ill-founded trees nor any infinite parity function is Borel.",
  "abstract_shown": true,
  "affiliations": [],
  "article_type": null,
  "arxiv": "2609.00633",
  "author_total": 1,
  "authors": [
    {
      "name": "Evan Leach"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/bme62v2qjmfzx.bib",
  "cited_by": 0,
  "doi": "10.48550/arxiv.2609.00633",
  "fulltext_url": null,
  "id": "bme62v2qjmfzx",
  "issns": [],
  "landing_url": "https://arxiv.org/abs/2609.00633",
  "language": null,
  "licence": "LicenseRef-arXiv-nonexclusive-1.0",
  "licence_label": "arXiv licence",
  "licence_source": "article",
  "licence_url": "http://arxiv.org/licenses/nonexclusive-distrib/1.0/",
  "metadata_licence": "CC0-1.0",
  "native_subjects": [
    [
      "arxiv",
      "math.LO"
    ],
    [
      "openalex",
      "2608|Advanced Topology and Set Theory"
    ]
  ],
  "openalex": "W7206200705",
  "pdf_url": "https://arxiv.org/pdf/2609.00633",
  "pmcid": null,
  "pmid": null,
  "published": "2026-09-01",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/bme62v2qjmfzx.ris",
  "sources": [
    {
      "first_seen": "2026-10-30T12:18:04Z",
      "native_id": "2609.00633",
      "source": "arxiv",
      "url": "https://arxiv.org/abs/2609.00633"
    }
  ],
  "subjects": [
    {
      "field": "mathematics",
      "origin": "arxiv:math.LO",
      "subfield": "logic-foundations"
    }
  ],
  "title": "Infinite Communication Complexity and KW Games",
  "title_text": "Infinite Communication Complexity and KW Games",
  "type": "preprint",
  "updated_at": "2026-10-30T12:18:04Z",
  "url": "https://research.draconitic.com/paper/bme62v2qjmfzx",
  "venue": "arXiv",
  "versions": []
}