Abstract
While much research has been done on the Ehrhart functions of integral and rational polytopes, little is known in the irrational case. In our main theorem, we determine exactly when the Ehrhart function of a right triangle with legs on the axes and slant edge with irrational slope is a polynomial. We also investigate several other situations where the period of the Ehrhart function of a polytope is less than the denominator of that polytope. For example, we give examples of irrational polytopes with polynomial Ehrhart function in any dimension, and we find triangles with periods dividing any even-index k-Fibonacci number, but with larger denominators.
Similar content being viewed by others
Notes
References
Beck, M., Robins, S.: Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra. Undergraduate Texts in Mathematics. Springer, New York (2007)
Beck, M., Robins, S., Sam, S.V.: Positivity theorems for solid-angle polynomials. Beitr. Algebra Geom. 51(2), 493–507 (2010)
Beck, M., Sottile, F.: Irrational proofs for three theorems of Stanley. Eur. J. Comb. 28(1), 403–409 (2007)
De Loera, J.A., McAllister, T.B.: Vertices of Gelfand–Tsetlin polytopes. Discrete Comput. Geom. 32(4), 459–470 (2004)
Ehrhart, E.: Sur les polyèdres rationnels homothétiques à \(n\) dimensions. C. R. Acad. Sci. Paris Ser. A 254, 616–618 (1962)
Haase, C., McAllister, T.B.: Quasi-period collapse and \({\rm GL}_n({\mathbb{Z}})\)-scissors congruence in rational polytopes. In: Beck, M. (ed.) Integer Points in Polyhedra. Contemporary Mathematics, vol. 452, pp. 115–122. American Mathematical Society, Providence, RI (2008)
McAllister, T.B., Woods, K.M.: The minimum period of the Ehrhart quasi-polynomial of a rational polytope. J. Comb. Theory Ser. A 109(2), 345–352 (2005)
McDuff, D., Schlenk, F.: The embedding capacity of \(4\)-dimensional symplectic ellipsoids. Ann. Math. 175(3), 1191–1282 (2012)
Schlenk, F.: Symplectic embedding problems, old and new. Bull. Am. Math. Soc. 55(2), 139–182 (2018)
Stanley, R.P.: Enumerative Combinatorics, vol. II. Cambridge Studies in Advanced Mathematics, 62. Cambridge University Press, Cambridge (1999)
Woods, K.: Computing the period of an Ehrhart quasi-polynomial. Electron. J. Comb. 12, 1–12 (2005)
Acknowledgements
We thank Bjorn Poonen for his help with Lemma 2.3. We also thank the anonymous referees for many extremely helpful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: János Pach
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first author would like to thank Martin Gardiner for helpful discussions. The first author was partially supported by NSF Grants DMS-1402200 and DMS-1711976. The second author was supported by the National Science Foundation of China (Grant No. 11601440), the Natural Science Foundation of Chongqing (Grant No. cstc2016jcyjA0245) and Fundamental Research Funds for Central Universities (Grant No. XDJK2018C075). The third author was partially supported by NSF Grant DMS-1068625.
Rights and permissions
About this article
Cite this article
Cristofaro-Gardiner, D., Li, T.X. & Stanley, R.P. Irrational Triangles with Polynomial Ehrhart Functions. Discrete Comput Geom 61, 227–246 (2019). https://doi.org/10.1007/s00454-018-0036-7
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-018-0036-7