{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nA diagram of a [[knot|QYEAZTYGPT]] is *alternating* if the crossings alternate between over and under along the knot.\nIt is *reduced* if no crossing can be removed by turning one side of the diagram over, that is, it has no nugatory crossing.\nLet $K$ be a knot that has an alternating diagram.\n\n1. Every reduced alternating diagram of $K$ has $c(K)$ crossings, where $c(K)$ is the [[crossing number|SWJZ4QRF9W]] of $K$.\n2. Any two reduced alternating diagrams of $K$ have the same writhe.\n3. If $K$ is prime, then any two reduced alternating diagrams of $K$ are related by a finite sequence of flypes.\n\n## Remarks\n\nPart 1 was proved in 1987 by Kauffman, Murasugi and Thistlethwaite, independently, with the [[Jones polynomial|4SPC17FPXE]].\nPart 2 was proved soon after, also with polynomial invariants.\nThe key fact is that the span of the Jones polynomial is at most the number of crossings of any connected diagram, with equality for reduced alternating diagrams.\nPart 3, the flyping conjecture, was proved by Menasco and Thistlethwaite.\nExample: the standard diagram of the [[figure-eight knot|C01XBGAHC6]] is reduced and alternating, so its crossing number is $4$ and its writhe $0$ is the same in every reduced alternating diagram.\nThe hypothesis that the diagram is reduced is needed: adding a nugatory kink keeps a diagram alternating but adds a crossing.\nPart 2 shows that an alternating knot with a reduced alternating diagram of nonzero writhe is not isotopic to its mirror image.\n\n## Explanations\n\n### L1 human\n\nPeter Guthrie Tait made knot tables in the nineteenth century and guessed some rules about alternating drawings.\nIn such a drawing, travelling along the knot you go over, under, over, under, and so on.\nThe first rule says that a clean alternating drawing already uses the fewest possible crossings.\nThe second says that all clean alternating drawings of one knot have the same twist count.\nThe third says that they are all related by a simple local flip, the flype.\n\n### L2 human\n\nThe theorems make the tabulation of alternating knots possible: crossing number is read off any reduced alternating diagram, and diagrams can be compared through flypes.\nThe proof of part 1 is an early triumph of the Jones polynomial and of the [[Kauffman bracket|JYKVYS4N32]] state sum.\nFor a reduced alternating diagram, the extreme states of the bracket each contribute a single monomial that cannot cancel.\nThe writhe result gives a quick test for chirality of alternating knots.\nFor non-alternating knots, finding the crossing number is much harder.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "about": [
      "QYEAZTYGPT",
      "SWJZ4QRF9W"
    ],
    "kind": "statement",
    "msc": [
      "57K10",
      "57K14"
    ],
    "name": "Tait conjectures",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q7676466",
      "wikipedia": "Tait conjectures"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Tait_conjectures"
      }
    ],
    "tag": "J0EVKMWT94",
    "uses": [
      "QYEAZTYGPT",
      "SWJZ4QRF9W",
      "4SPC17FPXE"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/J0EVKMWT94/",
  "links": [
    {
      "field": "about",
      "target": "QYEAZTYGPT"
    },
    {
      "field": "about",
      "target": "SWJZ4QRF9W"
    },
    {
      "field": "uses",
      "target": "QYEAZTYGPT"
    },
    {
      "field": "uses",
      "target": "SWJZ4QRF9W"
    },
    {
      "field": "uses",
      "target": "4SPC17FPXE"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/J0EVKMWT94.md",
  "msc": [
    "57K10",
    "57K14"
  ],
  "name": "Tait conjectures",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/J0E/J0EVKMWT94.md",
  "status": null,
  "tag": "J0EVKMWT94",
  "uri": "m2://J0EVKMWT94",
  "url": "https://math2.tamnd.com/wiki/tait-conjectures/",
  "writing": {
    "tag": "J0EVKMWT94",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}