Skip to main content
Log in

Binomial Inequalities for Chromatic, Flow, and Tension Polynomials

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

Abstract

A famous and wide-open problem, going back to at least the early 1970s, concerns the classification of chromatic polynomials of graphs. Toward this classification problem, one may ask for necessary inequalities among the coefficients of a chromatic polynomial, and we contribute such inequalities when a chromatic polynomial \(\chi _G(n)=\chi ^*_0\left( {\begin{array}{c}n+d\\ d\end{array}}\right) +\chi ^*_1\left( {\begin{array}{c}n+d-1\\ d\end{array}}\right) +\dots +\chi ^*_d\left( {\begin{array}{c}n\\ d\end{array}}\right) \) is written in terms of a binomial-coefficient basis. For example, we show that \(\chi ^*_j\le \chi ^*_{d-j}\), for \(0\le j\le d/2\). Similar results hold for flow and tension polynomials enumerating either modular or integral nowhere-zero flows/tensions of a graph. Our theorems follow from connections among chromatic, flow, tension, and order polynomials, as well as Ehrhart polynomials of lattice polytopes that admit unimodular triangulations. Our results use Ehrhart inequalities due to Athanasiadis and Stapledon and are related to recent work by Hersh–Swartz and Breuer–Dall, where inequalities similar to some of ours were derived using algebraic-combinatorial methods.

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. If we do not specify a basis when talking about the coefficients of a polynomial, we are thinking of the standard monomial basis.

  2. There is a subtlety here that differentiates \(\chi _G(n)\) from \(\phi _G(n)\), \(f_G(n)\), and \(t_G(z)\), and thus one needs to treat the accompanying generating functions with some care. Namely, \(\chi _G(n)\) has constant term 0, which is not true for \(\phi _G(n)\), \(f_G(n)\), and \(t_G(z)\). Note that we chose all of our generating functions to start with \(n=1\); the alternative choice of starting with \(n=0\) would result in a different definition of the binomial transform.

  3. The equality (7) of \(h^*_{\mathscr {O}}(z)\) and \(h^*_{ \mu ({\mathscr {O}}) } (z)\) can be also seen by noticing that the triangulations T and \(T_\mu \) are regular and therefore shellable, and they have the same h-polynomial. See, e.g., [11] why order polytopes are compressed, and therefore have regular unimodular triangulations, and also how these properties are preserved under the projection \(\mu \). We also note that projected order polytopes are examples of alcoved polytopes [17].

  4. An orientation is acyclic if it does not contain any coherently directed cycles.

  5. An orientation is totally cyclic if every edge lies in a coherently directed cycle.

References

  1. Athanasiadis, C.A.: \(h^\ast \)-Vectors, Eulerian polynomials and stable polytopes of graphs. Electron. J. Comb. 11(2), # R6 (2004/06)

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

    MATH  Google Scholar 

  3. Betke, U., McMullen, P.: Lattice points in lattice polytopes. Monatsh. Math. 99(4), 253–265 (1985)

    Article  MathSciNet  Google Scholar 

  4. Brenti, F.: Expansions of chromatic polynomials and log-concavity. Trans. Am. Math. Soc. 332(2), 729–756 (1992)

    Article  MathSciNet  Google Scholar 

  5. Breuer, F., Dall, A.: Bounds on the coefficients of tension and flow polynomials. J. Algebraic Comb. 33(3), 465–482 (2011)

    Article  MathSciNet  Google Scholar 

  6. Breuer, F., Sanyal, R.: Ehrhart theory, modular flow reciprocity, and the Tutte polynomial. Math. Z. 270(1–2), 1–18 (2012)

    Article  MathSciNet  Google Scholar 

  7. De Loera, J.A., Rambau, J., Santos, F.: Triangulations. Algorithms and Computation in Mathematics, vol. 25. Springer, Berlin (2010)

    MATH  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  9. Gansner, E.R., Vo, K.P.: The chromatic generating function. Linear Multilinear Algebra 22(1), 87–93 (1987)

    Article  MathSciNet  Google Scholar 

  10. Gessel, I.M.: Acyclic orientations and chromatic generating functions. Discret. Math. 232(1–3), 119–130 (2001)

    Article  MathSciNet  Google Scholar 

  11. Haase, C., Paffenholz, A., Piechnik, L.C., Santos, F.: Existence of unimodular triangulations—positive results (2014). arXiv:1405.1687

  12. Hersh, P., Swartz, E.: Coloring complexes and arrangements. J. Algebraic Comb. 27(2), 205–214 (2008)

    Article  MathSciNet  Google Scholar 

  13. Jaeger, F.: Nowhere-zero flow problems. In: Selected Topics in Graph Theory, vol. 3, pp. 71–95. Academic Press, San Diego (1988)

  14. Kochol, M.: Polynomials associated with nowhere-zero flows. J. Comb. Theory Ser. B 84(2), 260–269 (2002)

    Article  MathSciNet  Google Scholar 

  15. Kochol, M.: Tension polynomials of graphs. J. Graph Theory 40(3), 137–146 (2002)

    Article  MathSciNet  Google Scholar 

  16. Korfhage, R.R.: \(\sigma \)-Polynomials and graph coloring. J. Comb. Theory Ser. B 24(2), 137–153 (1978)

    Article  MathSciNet  Google Scholar 

  17. Lam, T., Postnikov, A.: Alcoved polytopes, I. Discret. Comput. Geom. 38(3), 453–478 (2007)

    Article  MathSciNet  Google Scholar 

  18. León, E.: Stapledon decompositions and inequalities for coefficients of chromatic polynomials. Sém. Lothar. Combin. 78B, # 24 (2017)

  19. Linial, N.: Graph coloring and monotone functions on posets. Discret. Math. 58(1), 97–98 (1986)

    Article  MathSciNet  Google Scholar 

  20. Macdonald, I.G.: Polynomials associated with finite cell-complexes. J. Lond. Math. Soc. 4, 181–192 (1971)

    Article  MathSciNet  Google Scholar 

  21. Payne, S.: Ehrhart series and lattice triangulations. Discret. Comput. Geom. 40(3), 365–376 (2008)

    Article  MathSciNet  Google Scholar 

  22. Seymour, P.D.: Nowhere-zero flows. In: Handbook of Combinatorics, vol. 1, pp. 289–299. Elsevier, Amsterdam (1995)

  23. Stanley, R.P.: A chromatic-like polynomial for ordered sets. In: 2nd Chapel Hill Conference on Combinatorial Mathematics and its Applications (Chapel Hill 1970), pp. 421–427. Univ. North Carolina, Chapel Hill (1970)

  24. Stanley, R.P.: Decompositions of rational convex polytopes. Ann. Discret. Math. 6, 333–342 (1980)

    Article  MathSciNet  Google Scholar 

  25. Stanley, R.P.: Two poset polytopes. Discret. Comput. Geom. 1(1), 9–23 (1986)

    Article  MathSciNet  Google Scholar 

  26. Stanley, R.P.: Enumerative Combinatorics, vol. 1. Cambridge Studies in Advanced Mathematics, vol. 49. Cambridge University Press, Cambridge (2012)

  27. Stapledon, A.: Inequalities and Ehrhart \(\delta \)-vectors. Trans. Am. Math. Soc. 361(10), 5615–5626 (2009)

    Article  MathSciNet  Google Scholar 

  28. Tomescu, I.: Graphical Eulerian numbers and chromatic generating functions. Discret. Math. 66(3), 315–318 (1987)

    Article  MathSciNet  Google Scholar 

  29. Tutte, W.T.: A ring in graph theory. Proc. Camb. Philos. Soc. 43, 26–40 (1947)

    Article  MathSciNet  Google Scholar 

  30. Wilf, H.S.: Which polynomials are chromatic? In: Colloquio Internazionale sulle Teorie Combinatorie (Roma 1973), vol. 1. Atti dei Convegni Lincei, vol. 17, pp. 247–256. Accad. Naz. Lincei, Rome (1976)

Download references

Acknowledgements

We thank Tristram Bogart, Tricia Hersh, Florian Kohl, Julián Pulido, Alan Stapledon, Tom Zaslavsky, and two anonymous referees for many useful conversations and comments. Also thanks to the organizers of ECCO 2016 (Escuela Colombiana de Combinatoria 2016 in Medellín, Colombia) where this research collaboration started, and to the Universidad de los Andes for their support.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthias Beck.

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.

A preliminary version of this paper [18] appeared as an extended abstract in the conference proceedings for FPSAC 2017 (Formal Power Series and Combinatorics at Queen Mary University of London), published in Séminaire Lotharingien Combinatoire.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Beck, M., León, E. Binomial Inequalities for Chromatic, Flow, and Tension Polynomials. Discrete Comput Geom 66, 464–474 (2021). https://doi.org/10.1007/s00454-021-00314-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00454-021-00314-3

Keywords

Mathematics Subject Classification

Navigation