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.
Similar content being viewed by others
Notes
If we do not specify a basis when talking about the coefficients of a polynomial, we are thinking of the standard monomial basis.
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.
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].
An orientation is acyclic if it does not contain any coherently directed cycles.
An orientation is totally cyclic if every edge lies in a coherently directed cycle.
References
Athanasiadis, C.A.: \(h^\ast \)-Vectors, Eulerian polynomials and stable polytopes of graphs. Electron. J. Comb. 11(2), # R6 (2004/06)
Beck, M., Robins, S.: Computing the Continuous Discretely. Integer-Point Enumeration in Polyhedra. Undergraduate Texts in Mathematics. Springer, New York (2015)
Betke, U., McMullen, P.: Lattice points in lattice polytopes. Monatsh. Math. 99(4), 253–265 (1985)
Brenti, F.: Expansions of chromatic polynomials and log-concavity. Trans. Am. Math. Soc. 332(2), 729–756 (1992)
Breuer, F., Dall, A.: Bounds on the coefficients of tension and flow polynomials. J. Algebraic Comb. 33(3), 465–482 (2011)
Breuer, F., Sanyal, R.: Ehrhart theory, modular flow reciprocity, and the Tutte polynomial. Math. Z. 270(1–2), 1–18 (2012)
De Loera, J.A., Rambau, J., Santos, F.: Triangulations. Algorithms and Computation in Mathematics, vol. 25. Springer, Berlin (2010)
Ehrhart, E.: Sur les polyèdres rationnels homothétiques à \(n\) dimensions. C. R. Acad. Sci. Paris 254, 616–618 (1962)
Gansner, E.R., Vo, K.P.: The chromatic generating function. Linear Multilinear Algebra 22(1), 87–93 (1987)
Gessel, I.M.: Acyclic orientations and chromatic generating functions. Discret. Math. 232(1–3), 119–130 (2001)
Haase, C., Paffenholz, A., Piechnik, L.C., Santos, F.: Existence of unimodular triangulations—positive results (2014). arXiv:1405.1687
Hersh, P., Swartz, E.: Coloring complexes and arrangements. J. Algebraic Comb. 27(2), 205–214 (2008)
Jaeger, F.: Nowhere-zero flow problems. In: Selected Topics in Graph Theory, vol. 3, pp. 71–95. Academic Press, San Diego (1988)
Kochol, M.: Polynomials associated with nowhere-zero flows. J. Comb. Theory Ser. B 84(2), 260–269 (2002)
Kochol, M.: Tension polynomials of graphs. J. Graph Theory 40(3), 137–146 (2002)
Korfhage, R.R.: \(\sigma \)-Polynomials and graph coloring. J. Comb. Theory Ser. B 24(2), 137–153 (1978)
Lam, T., Postnikov, A.: Alcoved polytopes, I. Discret. Comput. Geom. 38(3), 453–478 (2007)
León, E.: Stapledon decompositions and inequalities for coefficients of chromatic polynomials. Sém. Lothar. Combin. 78B, # 24 (2017)
Linial, N.: Graph coloring and monotone functions on posets. Discret. Math. 58(1), 97–98 (1986)
Macdonald, I.G.: Polynomials associated with finite cell-complexes. J. Lond. Math. Soc. 4, 181–192 (1971)
Payne, S.: Ehrhart series and lattice triangulations. Discret. Comput. Geom. 40(3), 365–376 (2008)
Seymour, P.D.: Nowhere-zero flows. In: Handbook of Combinatorics, vol. 1, pp. 289–299. Elsevier, Amsterdam (1995)
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)
Stanley, R.P.: Decompositions of rational convex polytopes. Ann. Discret. Math. 6, 333–342 (1980)
Stanley, R.P.: Two poset polytopes. Discret. Comput. Geom. 1(1), 9–23 (1986)
Stanley, R.P.: Enumerative Combinatorics, vol. 1. Cambridge Studies in Advanced Mathematics, vol. 49. Cambridge University Press, Cambridge (2012)
Stapledon, A.: Inequalities and Ehrhart \(\delta \)-vectors. Trans. Am. Math. Soc. 361(10), 5615–5626 (2009)
Tomescu, I.: Graphical Eulerian numbers and chromatic generating functions. Discret. Math. 66(3), 315–318 (1987)
Tutte, W.T.: A ring in graph theory. Proc. Camb. Philos. Soc. 43, 26–40 (1947)
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)
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
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.
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
About this article
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
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-021-00314-3
Keywords
- Chromatic polynomial
- Flow polynomial
- Tension polynomial
- Classification
- Binomial coefficient
- Binomial transform
- Lattice polytope
- Ehrhart polynomial
- \(h^*\)-polynomial
- Unimodular triangulation
- Order polynomial