On the number of cliques in graphs with a forbidden minor

Reed and Wood and independently Norine, Seymour, Thomas, and Wollan proved that for each positive integer $t$ there is a constant $c(t)$ such that every graph on $n$ vertices with no $K_t$-minor has at most $c(t)n$ cliques. Wood asked in 2007 if we can take $c(t) = c^t$ for some absolute constant $c$. This question was recently answered affirmatively by Lee and Oum. In this paper, we determine the exponential constant. We prove that every graph on $n$ vertices with no $K_t$-minor has at most $3^{2t/3+o(t)}n$ cliques. This bound is tight for $n \geq 4t/3$. More generally, let $H$ be a connected graph on $t$ vertices, and $x$ denote the size (i.e., the number edges) of the largest matching in the complement of $H$. We prove that every graph on $n$ vertices with no $H$-minor has at most $\max(3^{2t/3-x/3+o(t)}n,2^{t+o(t)}n)$ cliques, and this bound is tight for $n \geq \max (4t/3-2x/3,t)$ by a simple construction. Even more generally, we determine explicitly the exponential constant for the maximum number of cliques an $n$-vertex graph can have in a minor-closed family of graphs which is closed under disjoint union.

[1]  A. Thomason An extremal function for contractions of graphs , 1984, Mathematical Proceedings of the Cambridge Philosophical Society.

[2]  David R. Wood,et al.  Cliques in Graphs Excluding a Complete Graph Minor , 2015, Electron. J. Comb..

[3]  Paul D. Seymour,et al.  Graph Minors. XX. Wagner's conjecture , 2004, J. Comb. Theory B.

[4]  Robin Thomas,et al.  Testing first-order properties for subclasses of sparse graphs , 2011, JACM.

[5]  A. Kostochka The minimum Hadwiger number for graphs with a given mean degree of vertices , 1982 .

[6]  Dimitrios M. Thilikos,et al.  Rank-width and tree-width of H-minor-free graphs , 2009, Eur. J. Comb..

[7]  G. Dirac Some Theorems on Abstract Graphs , 1952 .

[8]  W. Mader Homomorphiesätze für Graphen , 1968 .

[9]  Daniel J. Kleitman,et al.  On the number of graphs without 4-cycles , 1982, Discret. Math..

[10]  W. Mader Homomorphieeigenschaften und mittlere Kantendichte von Graphen , 1967 .

[11]  Paul Wollan,et al.  Proper minor-closed families are small , 2006, J. Comb. Theory B.

[12]  Sang-il Oum,et al.  Number of Cliques in Graphs with a Forbidden Subdivision , 2015, SIAM J. Discret. Math..

[13]  Paul D. Seymour,et al.  Graph Minors: XV. Giant Steps , 1996, J. Comb. Theory, Ser. B.

[14]  L. Moser,et al.  AN EXTREMAL PROBLEM IN GRAPH THEORY , 2001 .

[15]  Bruce A. Reed,et al.  A linear-time algorithm to find a separator in a graph excluding a minor , 2009, TALG.

[16]  P. Erdös On an extremal problem in graph theory , 1970 .

[17]  Alexandr V. Kostochka,et al.  Lower bound of the hadwiger number of graphs by their average degree , 1984, Comb..

[18]  Andrew Thomason,et al.  The Extremal Function for Complete Minors , 2001, J. Comb. Theory B.

[19]  David R. Wood,et al.  On the Maximum Number of Cliques in a Graph , 2006, Graphs Comb..