3
$\begingroup$

(Sorry I'm outsider in this field.)

I need to count the number of integral points in a convex polytope in $\mathbf{R}^3$. The cones in the dual fan are not necessarily regular (does it create any problem?)

So, I need the $c_1$ coefficient of the Ehrhart polynomial. There're some formulas (complicated enough for me) but I heard one can express $c_1$ as the sum (over all the edges of the polytope) of the integral lengths of the edges times some correction factors.

  1. Can someone give the formula? (In the simple English, please.) Or a reference to something very down-to-earth?
  2. In fact I do not need the precise expression but only a very good lower bound. Does something like this exist?
$\endgroup$

2 Answers 2

10
$\begingroup$

Jamie Pommersheim gave a general formula for $c_1$ in his 1993 paper in Math. Ann. for the case of a tetrahedron. So if you can easily triangulate your polytope, this might be useful.

If you're "only" interested in bounds, you might want to look at the Ehrhart series instead, i.e., the generating function of the Ehrhart polynomial. This is a rational function with denominator (1-x)^4, so the information encoded in the numerator is the same information encoded in the Ehrhart polynomial (in fact, it's a linear transformation). A famous theorem of Stanley states that the numerator coefficients of the Ehrhart series are nonnegative, and of course this gives you inequalities among the coefficients of the Ehrhart polynomial. For more inequalities of this type, check out Alan Stapledon's work (e.g., https://arxiv.org/abs/0904.3035 or https://arxiv.org/abs/0801.0873).

(And thanks for your kind words, Andres.)

$\endgroup$
1
  • $\begingroup$ (Hi Matthias, you are welcome. I have enjoyed the book very much, and wish I had more time to study it as it merits.) $\endgroup$ Nov 19, 2010 at 7:05
3
$\begingroup$

Hi. You probably will be interested in the beautiful book by Matthias Beck and Sinai Robins, "Computing the Continuous Discretely. Integer-Point Enumeration in Polyhedra", Springer 2009. A pdf is available from Beck's website.

$\endgroup$
1
  • $\begingroup$ yes, thanks. Just I didn't want to enter the subject. I only need this particular coefficient $c_1$ in the particular case of convex polytope in R^3 $\endgroup$ Nov 17, 2010 at 19:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.