{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $n \\ge 1$ and let $f_1, \\dots, f_n$ be Laurent polynomials in $\\C[x_1^{\\pm 1}, \\dots, x_n^{\\pm 1}]$.\nFor each $i$, let $P_i \\subset \\R^n$ be the [[Newton polytope|CYTTX8KHC8]] of $f_i$.\nIt is the convex hull of the exponents of the monomials of $f_i$ with nonzero coefficient.\nLet $\\operatorname{MV}(P_1, \\dots, P_n)$ be the mixed volume, the coefficient of $\\lambda_1 \\lambda_2 \\cdots \\lambda_n$ in the polynomial $\\operatorname{vol}_n(\\lambda_1 P_1 + \\cdots + \\lambda_n P_n)$ in $\\lambda_1, \\dots, \\lambda_n \\ge 0$.\nThen:\n\n1. The number of isolated common zeros of $f_1, \\dots, f_n$ in the [[algebraic torus|66FQFAJNS4]] $(\\C^*)^n$, counted with multiplicity, is at most $\\operatorname{MV}(P_1, \\dots, P_n)$.\n2. Fix the supports and take generic coefficients. Then all common zeros in $(\\C^*)^n$ are simple, and their number equals $\\operatorname{MV}(P_1, \\dots, P_n)$.\n3. (Kushnirenko) In particular, if $P_1 = \\cdots = P_n = P$, the generic number of common zeros in $(\\C^*)^n$ is $n! \\operatorname{vol}_n(P)$.\n\n## Remarks\n\nBernstein's proof deforms the system along a curve and studies the solutions as Puiseux series; the leading exponents of these series are governed by the faces of the Newton polytopes.\nBernstein also gave an explicit sufficient condition on the coefficients, stated with initial forms.\nSuppose that, for every nonzero $w \\in \\R^n$, the initial forms of $f_1, \\dots, f_n$ in direction $w$ have no common zero in $(\\C^*)^n$.\nThen all common zeros in $(\\C^*)^n$ are isolated, and their number with multiplicity equals $\\operatorname{MV}(P_1, \\dots, P_n)$.\nTake $n = 1$ and $f = a_0 + a_1 x + \\cdots + a_d x^d$ with $a_0 a_d \\ne 0$.\nThe Newton polytope is $[0, d]$, of length $d$, and the theorem says $f$ has $d$ roots in $\\C^*$ counted with multiplicity.\nFor two bilinear equations $a + bx + cy + dxy = 0$ and $a' + b'x + c'y + d'xy = 0$, both polytopes are the unit square, so the generic number of solutions in $(\\C^*)^2$ is $2! \\cdot 1 = 2$.\nLet $f_i$ be a generic dense polynomial of degree $d_i$, so that $P_i$ is $d_i$ times the standard simplex.\nThen the mixed volume is $d_1 d_2 \\cdots d_n$, and the bound agrees with [[Bézout's theorem|KWNVF194D8]].\nFor sparse systems the mixed volume can be much smaller than the Bézout number, which is why the theorem is useful.\nThe count concerns only zeros in the torus: zeros with some coordinate equal to $0$ are not counted.\n\n## Explanations\n\n### L1 human\n\nHow many solutions does a system of $n$ polynomial equations in $n$ unknowns have?\nThe theorem answers this using only the shapes formed by the exponents of the monomials that appear.\nEach equation gives a polygon or polytope, and a volume computed from these shapes is the number of solutions with all coordinates nonzero, for typical coefficients.\nSo a question of algebra becomes a question of geometry of polytopes.\n\n### L2 human\n\nThe theorem is the sparse refinement of Bézout's theorem: it sees which monomials actually occur.\nIt is central in toric geometry, where the mixed volume becomes an intersection number of divisors on a toric variety attached to the polytopes.\nIn tropical geometry, the same count appears as the number of intersection points of tropical hypersurfaces, counted with lattice multiplicities.\nIn numerical algebraic geometry, polyhedral homotopy methods start from the mixed volume to track exactly the generic number of solutions.\nComputing the mixed volume uses mixed subdivisions of the Minkowski sum $P_1 + \\cdots + P_n$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "CYTTX8KHC8",
      "66FQFAJNS4"
    ],
    "kind": "statement",
    "msc": [
      "14M25",
      "52A39",
      "14T90"
    ],
    "name": "Bernstein–Kushnirenko theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q19596039",
      "wikipedia": "Bernstein–Kushnirenko theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Bernstein–Kushnirenko_theorem"
      }
    ],
    "tag": "VP32769PVR",
    "uses": [
      "66FQFAJNS4",
      "CYTTX8KHC8"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/VP32769PVR/",
  "links": [
    {
      "field": "about",
      "target": "CYTTX8KHC8"
    },
    {
      "field": "about",
      "target": "66FQFAJNS4"
    },
    {
      "field": "uses",
      "target": "66FQFAJNS4"
    },
    {
      "field": "uses",
      "target": "CYTTX8KHC8"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/VP32769PVR.md",
  "msc": [
    "14M25",
    "52A39",
    "14T90"
  ],
  "name": "Bernstein–Kushnirenko theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/VP3/VP32769PVR.md",
  "status": null,
  "tag": "VP32769PVR",
  "uri": "m2://VP32769PVR",
  "url": "https://tamnd.github.io/math2/wiki/bernstein-kushnirenko-theorem/",
  "writing": {
    "tag": "VP32769PVR",
    "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
      }
    ]
  }
}