Skip to main content
Log in

Irrational Triangles with Polynomial Ehrhart Functions

  • Published:
Discrete & Computational Geometry Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. This might seem like an abuse of notation, since we also defined a function \(\sigma (t)\) in (2.4). Notice, however, that under the assumptions of Proposition 2.2, in particular under the assumption that \(\alpha \) and \(\alpha \beta \) are both integers, the functions in (2.4) and (2.9) agree.

References

  1. Beck, M., Robins, S.: Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra. Undergraduate Texts in Mathematics. Springer, New York (2007)

    MATH  Google Scholar 

  2. Beck, M., Robins, S., Sam, S.V.: Positivity theorems for solid-angle polynomials. Beitr. Algebra Geom. 51(2), 493–507 (2010)

    MathSciNet  MATH  Google Scholar 

  3. Beck, M., Sottile, F.: Irrational proofs for three theorems of Stanley. Eur. J. Comb. 28(1), 403–409 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  4. De Loera, J.A., McAllister, T.B.: Vertices of Gelfand–Tsetlin polytopes. Discrete Comput. Geom. 32(4), 459–470 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ehrhart, E.: Sur les polyèdres rationnels homothétiques à \(n\) dimensions. C. R. Acad. Sci. Paris Ser. A 254, 616–618 (1962)

    MathSciNet  MATH  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Article  MathSciNet  MATH  Google Scholar 

  8. McDuff, D., Schlenk, F.: The embedding capacity of \(4\)-dimensional symplectic ellipsoids. Ann. Math. 175(3), 1191–1282 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  9. Schlenk, F.: Symplectic embedding problems, old and new. Bull. Am. Math. Soc. 55(2), 139–182 (2018)

    Article  MathSciNet  Google Scholar 

  10. Stanley, R.P.: Enumerative Combinatorics, vol. II. Cambridge Studies in Advanced Mathematics, 62. Cambridge University Press, Cambridge (1999)

    Book  Google Scholar 

  11. Woods, K.: Computing the period of an Ehrhart quasi-polynomial. Electron. J. Comb. 12, 1–12 (2005)

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Richard P. Stanley.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00454-018-0036-7

Keywords

Mathematics Subject Classification

Navigation