{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $d \\ge 1$ and let $P$ be a [[convex polytope|300K6CB1KH]] of dimension $d$.\nLet $G(P)$ be the [[graph|00C0BR7D7H]] whose vertices are the vertices of $P$ and whose edges are the edges of $P$.\nThen $G(P)$ is [[d-vertex-connected|7FZB7YYBXA]]: it has more than $d$ vertices, and it stays connected after the removal of any $d - 1$ vertices.\n\n## Remarks\n\nThe theorem was proved by Michel Balinski in 1961.\nProof idea: remove a set $S$ of $d - 1$ vertices, and pass a hyperplane through $S$ and one further vertex.\nFrom every vertex that does not maximise a linear function on $P$ there is an edge along which the function increases, as in the simplex method.\nUse this for the linear function defining the hyperplane and for its negative.\nIt connects every remaining vertex, avoiding $S$, to the top face or the bottom face of $P$.\nThese pieces are then joined through the extra vertex.\n\nExample: the graph of the $3$-cube is $3$-connected; removing the $3$ neighbours of a vertex isolates it, so the bound $d$ is sharp.\n\n## Explanations\n\n### L1 human\n\nTake a convex polytope in $d$ dimensions and look at its network of corners and edges.\nBalinski's theorem says that this network is very robust: you must delete at least $d$ corners to cut it into pieces.\nFor a solid in space you need to remove at least three corners.\n\n### L2 human\n\nFor $d = 3$ this is the easy half of Steinitz's theorem on graphs of $3$-polytopes.\nThe bound is sharp for every simple polytope, since a vertex has only $d$ neighbours.\nIt is one of the few general facts known about graphs of polytopes in high dimension, along with results and open questions about their diameter, such as the Hirsch conjecture.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "300K6CB1KH",
      "7FZB7YYBXA"
    ],
    "kind": "statement",
    "msc": [
      "52B05",
      "05C40"
    ],
    "name": "Balinski's theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q32182",
      "wikipedia": "Balinski's theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Balinski%27s_theorem"
      }
    ],
    "tag": "YBNZWCG8AC",
    "uses": [
      "300K6CB1KH",
      "7FZB7YYBXA",
      "00C0BR7D7H"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/YBNZWCG8AC/",
  "links": [
    {
      "field": "about",
      "target": "300K6CB1KH"
    },
    {
      "field": "about",
      "target": "7FZB7YYBXA"
    },
    {
      "field": "uses",
      "target": "300K6CB1KH"
    },
    {
      "field": "uses",
      "target": "7FZB7YYBXA"
    },
    {
      "field": "uses",
      "target": "00C0BR7D7H"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/YBNZWCG8AC.md",
  "msc": [
    "52B05",
    "05C40"
  ],
  "name": "Balinski's theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YBN/YBNZWCG8AC.md",
  "status": null,
  "tag": "YBNZWCG8AC",
  "uri": "m2://YBNZWCG8AC",
  "url": "https://tamnd.github.io/math2/wiki/balinskis-theorem/",
  "writing": {
    "tag": "YBNZWCG8AC",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}