A counter-example to the probabilistic universal graph conjecture via randomized communication complexity

We refute the Probabilistic Universal Graph Conjecture of Harms, Wild, and Zamaraev, which states that a hereditary graph property admits a constant-size probabilistic universal graph if and only if it is stable and has at most factorial speed. Our counter-example follows from the existence of a sequence of n×n Boolean matrices Mn, such that their public-coin randomized communication complexity tends to infinity, while the randomized communication complexity of every √ n × √n submatrix of Mn is bounded by a universal constant.

[1]  A. Razborov Communication Complexity , 2011 .

[2]  Sebastian Wild,et al.  Randomized Communication and the Implicit Graph Conjecture , 2021, ArXiv.

[3]  S. Shelah,et al.  Regularity lemmas for stable graphs , 2011, 1102.3904.

[4]  Nathaniel Harms,et al.  Universal Communication, Universal Graphs, and Graph Labeling , 2019, ITCS.

[5]  Emanuele Viola,et al.  The communication complexity of addition , 2013, Comb..

[6]  W. Hodges CLASSIFICATION THEORY AND THE NUMBER OF NON‐ISOMORPHIC MODELS , 1980 .

[7]  Pooya Hatami,et al.  Dimension-free bounds and structural results in communication complexity , 2022, Israel Journal of Mathematics.

[8]  Makrand Sinha,et al.  On the communication complexity of greater-than , 2015, 2015 53rd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

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

[10]  Gábor Lugosi,et al.  Concentration Inequalities , 2008, COLT.

[11]  Béla Bollobás,et al.  The Speed of Hereditary Properties of Graphs , 2000, J. Comb. Theory B.

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