Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

(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?
share|improve this question

2 Answers 2

up vote 8 down vote accepted

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., http://front.math.ucdavis.edu/0904.3035 or http://front.math.ucdavis.edu/0801.0873).

(And thanks for your kind words, Andres.)

share|improve this answer
    
(Hi Matthias, you are welcome. I have enjoyed the book very much, and wish I had more time to study it as it merits.) –  Andres Caicedo Nov 19 '10 at 7:05
    
Thanks a lot, hopefully this help! –  Dmitry Kerner Nov 22 '10 at 14:42

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.

share|improve this answer
    
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 –  Dmitry Kerner Nov 17 '10 at 19:53

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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