{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\mathcal{A}$ be a [[hyperplane arrangement|N602W0WAVT]] in $\\R^d$.\nLet $L(\\mathcal{A})$ be its intersection poset: the nonempty intersections of subsets of $\\mathcal{A}$, with $\\R^d$ included.\nIt is [[ordered|0QV2JS9RJ3]] by reverse inclusion, so that $\\R^d$ is the least element.\nFor $x \\in L(\\mathcal{A})$ let $\\mu(x) = \\mu(\\R^d, x)$, where $\\mu$ is the [[Möbius function|2Y75S8NG5B]] of $L(\\mathcal{A})$.\nThe characteristic polynomial of $\\mathcal{A}$ is\n$$\\chi_{\\mathcal{A}}(t) = \\sum_{x \\in L(\\mathcal{A})} \\mu(x) \\, t^{\\dim x}.$$\nLet $r(\\mathcal{A})$ be the number of regions of $\\mathcal{A}$, the connected components of $\\R^d \\setminus \\bigcup_{H \\in \\mathcal{A}} H$, and let $b(\\mathcal{A})$ be the number of bounded regions.\nLet $\\rank \\mathcal{A}$ be the dimension of the span of the normal vectors of the hyperplanes of $\\mathcal{A}$.\nThen:\n\n1. $r(\\mathcal{A}) = (-1)^d \\chi_{\\mathcal{A}}(-1) = \\sum_{x \\in L(\\mathcal{A})} \\abs{\\mu(x)}$.\n2. $b(\\mathcal{A}) = (-1)^{\\rank \\mathcal{A}} \\chi_{\\mathcal{A}}(1)$.\n\n## Remarks\n\nThe theorem is due to Thomas Zaslavsky, in 1975.\nProof idea: fix $H \\in \\mathcal{A}$, and let $\\mathcal{A}'$ be $\\mathcal{A}$ without $H$ and $\\mathcal{A}''$ the arrangement induced on $H$.\nEach region of $\\mathcal{A}'$ is either untouched by $H$ or cut in two, and the cut regions correspond to regions of $\\mathcal{A}''$, so $r(\\mathcal{A}) = r(\\mathcal{A}') + r(\\mathcal{A}'')$.\nThe characteristic polynomial satisfies the matching recursion $\\chi_{\\mathcal{A}} = \\chi_{\\mathcal{A}'} - \\chi_{\\mathcal{A}''}$, and induction on the number of hyperplanes finishes the proof; the second count is similar.\n\nExample: $n$ lines in general position in $\\R^2$, no two parallel and no three through a point.\nHere $\\chi(t) = t^2 - n t + \\binom{n}{2}$, so $r = 1 + n + \\binom{n}{2}$ and $b = 1 - n + \\binom{n}{2} = \\binom{n-1}{2}$.\nFor $n = 3$ this gives $7$ regions, $1$ of them bounded.\n\nExample: the braid arrangement of the hyperplanes $x_i = x_j$, $1 \\le i \u003c j \\le n$, in $\\R^n$ has $\\chi(t) = t(t-1)\\cdots(t-n+1)$, so it has $n!$ regions, one for each ordering of the coordinates.\n\n## Explanations\n\n### L1 human\n\nCut space with finitely many flat walls; how many pieces do you get?\nZaslavsky's theorem says that the answer depends only on how the walls meet, not on their exact positions.\nYou record which intersections occur, compute one polynomial from this data, and evaluate it at $-1$ to count all pieces and at $1$ to count the bounded ones.\n\n### L2 human\n\nThe theorem turns a geometric counting problem into a computation in the intersection poset, through its [[Möbius function|2Y75S8NG5B]].\nFor a central arrangement, $L(\\mathcal{A})$ is a geometric lattice, and $\\chi_{\\mathcal{A}}$ is the characteristic polynomial of the associated [[matroid|PX31ZNYS3Z]].\nThe graphic arrangement of a graph $G$ on $n$ vertices has the hyperplanes $x_i = x_j$ for the edges $ij$.\nIts characteristic polynomial is the [[chromatic polynomial|0B621RBVS9]] $\\chi_G$ of $G$.\nSo the theorem says that $(-1)^n \\chi_G(-1)$ counts the acyclic orientations of $G$, a result of Stanley.\nWhen the hyperplanes have integer equations, $\\chi_{\\mathcal{A}}(q)$ counts the points of $\\F_q^d$ off the reduced hyperplanes for every large enough prime $q$, which gives another route to computing it.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "N602W0WAVT"
    ],
    "kind": "statement",
    "msc": [
      "52C35",
      "05B35",
      "06A07"
    ],
    "name": "Zaslavsky's theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Arrangement_of_hyperplanes"
      }
    ],
    "tag": "MV1CFTH98T",
    "uses": [
      "N602W0WAVT",
      "2Y75S8NG5B",
      "0QV2JS9RJ3",
      "PX31ZNYS3Z",
      "0B621RBVS9"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/MV1CFTH98T/",
  "links": [
    {
      "field": "about",
      "target": "N602W0WAVT"
    },
    {
      "field": "uses",
      "target": "N602W0WAVT"
    },
    {
      "field": "uses",
      "target": "2Y75S8NG5B"
    },
    {
      "field": "uses",
      "target": "0QV2JS9RJ3"
    },
    {
      "field": "uses",
      "target": "PX31ZNYS3Z"
    },
    {
      "field": "uses",
      "target": "0B621RBVS9"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/MV1CFTH98T.md",
  "msc": [
    "52C35",
    "05B35",
    "06A07"
  ],
  "name": "Zaslavsky's theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/MV1/MV1CFTH98T.md",
  "status": null,
  "tag": "MV1CFTH98T",
  "uri": "m2://MV1CFTH98T",
  "url": "https://tamnd.github.io/math2/wiki/zaslavskys-theorem/",
  "writing": {
    "tag": "MV1CFTH98T",
    "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
      }
    ]
  }
}