{
  "id": "2412.18558",
  "version": "v1",
  "published": "2024-12-24T17:21:07.000Z",
  "updated": "2024-12-24T17:21:07.000Z",
  "title": "A new way to prove configuration reducibility using gauge theory",
  "authors": [
    "Scott Baldridge",
    "Ben McCarty"
  ],
  "comment": "22 pages plus references and appendix",
  "categories": [
    "math.CO",
    "math.GT"
  ],
  "abstract": "We show how ideas coming out of gauge theory can be used to prove configurations in the list of ``633 unavoidable configurations\" are reducible. In this paper, we prove the smallest nontrivial example, the Birkhoff diamond, is reducible using our filtered $3$- and $4$-color homology. This is a new proof of a 111-year-old result that is a direct consequence of a special (2+1)-dimensional topological quantum field theory. As part of the proof, we introduce the idea of a state-reducible configuration. Because state-reducibility does not involve Kempe switches, this leads to an independent way to verify the proof of the four color theorem. We conjecture that these gauge theoretic ideas could also lead to a non-computer-based proof of it.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2024-12-24T17:21:07.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "05C10",
      "05C15",
      "05C31",
      "05C70",
      "57R56",
      "57M15",
      "57K16"
    ],
    "keywords": [
      "gauge theory",
      "configuration reducibility",
      "smallest nontrivial example",
      "topological quantum field theory",
      "gauge theoretic ideas"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 22,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}