Randomized Communication and Implicit Graph Representations

Nathaniel Harms,Sebastian Wild,Viktor Zamaraev

2023-07-18

Abstract:We study constant-cost randomized communication problems and relate them to implicit graph representations in structural graph theory. Specifically, constant-cost communication problems correspond to hereditary graph families that admit constant-size adjacency sketches, or equivalently constant-size probabilistic universal graphs (PUGs), and these graph families are a subset of families that admit adjacency labeling schemes of size O(log n), which are the subject of the well-studied implicit graph question (IGQ). We initiate the study of the hereditary graph families that admit constant-size PUGs, with the two (equivalent) goals of (1) understanding randomized constant-cost communication problems, and (2) understanding a probabilistic version of the IGQ. For each family $\mathcal F$ studied in this paper (including the monogenic bipartite families, product graphs, interval and permutation graphs, families of bounded twin-width, and others), it holds that the subfamilies $\mathcal H \subseteq \mathcal F$ admit constant-size PUGs (i.e. adjacency sketches) if and only if they are stable (i.e. they forbid a half-graph as a semi-induced subgraph). The correspondence between communication problems and hereditary graph families allows for a new method of constructing adjacency labeling schemes. By this method, we show that the induced subgraphs of any Cartesian products are positive examples to the IGQ. We prove that this probabilistic construction cannot be derandomized by using an Equality oracle, i.e. the Equality oracle cannot simulate the k-Hamming Distance communication protocol. We also obtain constant-size sketches for deciding $\mathsf{dist}(x, y) \le k$ for vertices $x$, $y$ in any stable graph family with bounded twin-width. This generalizes to constant-size sketches for deciding first-order formulas over the same graphs.

Data Structures and Algorithms,Computational Complexity,Discrete Mathematics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is, in the random communication complexity, which problems have a constant cost, that is, whether there exists a method to determine whether a given communication problem can be solved by a random protocol with a constant cost. Specifically, the paper explores the profound connection between this problem and the implicit graph representation in structural graph theory. In particular, communication problems with a constant cost correspond to hereditary graph families that can accept a fixed - size adjacency sketch (or equivalently, a fixed - size probabilistic universal graph (PUGs)). These graph families are a subset of those graph families that can accept an adjacency label scheme of size \(O(\log n)\), and the latter is the subject of the study of implicit graph problems (IGQ).

The main contributions of the paper include:
1. A series of important graph families regarding IGQ in the literature have been studied and these problems have been solved, such as the single - generated bipartite graph family, interval graphs, permutation graphs, bounded bi - width graph families (including bounded tree - width and clique - width), etc. For each studied graph family \(F\), if its sub - graph family \(H\subseteq F\) accepts a fixed - size PUG, then it is if and only if it is stable (that is, it does not contain a half - graph as a semi - induced sub - graph, or equivalently, it does not contain a "greater - than" communication problem).
2. New positive examples of IGQ have been found using fixed - size PUGs. In particular, it has been proved that any induced sub - graph of a Cartesian product graph accepts an adjacency label scheme of size \(O(\log n)\), which was previously unknown.
3. As part of the results, a fixed - size scheme for small - distance sketches of planar graphs (and more generally, stable and bounded bi - width graphs) has been obtained, answering a question in earlier work.
4. It has been observed that some standard techniques for designing label schemes are equivalent to communication protocols with certain oracle access rights, in particular, equality - based label schemes are equivalent to constant - cost deterministic communication with an equality oracle.

Through these studies, the paper not only deepens the understanding of constant - cost communication problems, but also provides new perspectives and tools for the study of implicit graph problems.