Definition
Informally, if P is any polyhedron or polytope, and tP is the polytope formed by expanding P by a factor of t in each dimension, then L(int P, t) is the number of integer lattice points in tP.
More formally, consider a lattice L in Euclidean space Rn and a d-dimensional polytope P in Rn, and assume that all the vertices of the polytope are points of the lattice. (A common example is L = Zn and a polytope with all its vertex coordinates being integers.) For any positive integer t, let tP be the t-fold dilation of P (the polytope formed by multiplying each vertex coordinate, in a basis for the lattice, by a factor of t), and let
be the number of lattice points contained in tP. Ehrhart showed in 1962 that L is a rational polynomial of degree d in t, i.e. there exist rational numbers a0,...,ad such that:
- L(P, t) = adtd + ad−1td−1 + … + a0 for all positive integers t.
The Ehrhart polynomial of the interior of a closed convex polytope P can be computed as:
- L(int P, t) = (−1)n L(P, −t).
Read more about this topic: Ehrhart Polynomial
Famous quotes containing the word definition:
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
—Nadine Gordimer (b. 1923)