Implicit representation of sparse hereditary families

For a hereditary family of graphs F , let Fn denote the set of all members of F on n vertices. The speed of F is the function f(n) = |Fn|. An implicit representation of size l(n) for Fn is a function assigning a label of l(n) bits to each vertex of any given graph G ∈ Fn, so that the adjacency between any pair of vertices can be determined by their labels. Bonamy, Esperet, Groenland and Scott proved that the minimum possible size of an implicit representation of Fn for any hereditary family F with speed 2 ) is (1+o(1)) log2 |Fn|/n (= Θ(n)). A recent result of Hatami and Hatami shows that the situation is very different for very sparse hereditary families. They showed that for every δ > 0 there are hereditary families of graphs with speed 2 logn) that do not admit implicit representations of size smaller than n. In this note we show that even a mild speed bound ensures an implicit representation of size O(n) for some c < 1. Specifically we prove that for every ε > 0 there is an integer d ≥ 1 so that if F is a hereditary family with speed f(n) ≤ 2(1/4−ε)n2 then Fn admits an implicit representation of size O(n logn). Moreover, for every integer d > 1 there is a hereditary family for which this is tight up to the logarithmic factor.

[1]  Noga Alon,et al.  Sign rank, VC dimension and spectral gaps , 2014, Electron. Colloquium Comput. Complex..

[2]  N. Alon The number of polytopes, configurations and real matroids , 1986 .

[3]  Colin McDiarmid,et al.  Integer realizations of disk and segment graphs , 2011, J. Comb. Theory, Ser. B.

[4]  Norbert Sauer,et al.  On the Density of Families of Sets , 1972, J. Comb. Theory A.

[5]  Pooya Hatami,et al.  The Implicit Graph Conjecture is False , 2021, 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS).

[6]  N. Alon Tools from higher algebra , 1996 .

[7]  Noga Alon,et al.  Asymptotically optimal induced universal graphs , 2017 .

[8]  V. E. Alekseev On the entropy values of hereditary classes of graphs , 1993 .

[9]  David Haussler,et al.  Sphere Packing Numbers for Subsets of the Boolean n-Cube with Bounded Vapnik-Chervonenkis Dimension , 1995, J. Comb. Theory, Ser. A.

[10]  Noga Alon,et al.  Norm-Graphs: Variations and Applications , 1999, J. Comb. Theory, Ser. B.

[11]  Marthe Bonamy,et al.  Optimal labelling schemes for adjacency, comparability, and reachability , 2020, STOC.

[12]  Moni Naor,et al.  Implicit representation of graphs , 1992, STOC '88.

[13]  V. Sós,et al.  On a problem of K. Zarankiewicz , 1954 .

[14]  Emo Welzl,et al.  Partition trees for triangle counting and other range searching problems , 1988, SCG '88.

[15]  J. Moon,et al.  On minimal n-universal graphs , 1965, Proceedings of the Glasgow Mathematical Association.

[16]  Jirí Matousek,et al.  Discrepancy and approximations for bounded VC-dimension , 1993, Comb..

[17]  Bernard Chazelle,et al.  Quasi-optimal range searching in spaces of finite VC-dimension , 1989, Discret. Comput. Geom..

[18]  J. Milnor On the Betti numbers of real varieties , 1964 .

[19]  Noga Alon,et al.  The structure of almost all graphs in a hereditary property , 2009, J. Comb. Theory B.

[20]  Béla Bollobás,et al.  Hereditary and Monotone Properties of Graphs , 2013, The Mathematics of Paul Erdős II.

[21]  H. Warren Lower bounds for approximation by nonlinear manifolds , 1968 .